Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
Technologia jest pełna słów, ludzi, którzy chcą wyrazić, jak wszystko działa. Ale nigdy nie mamy możliwości sprawdzenia, czy opisywana technologia istnieje, czy nie. Ta książka jest okazją do samodzielnego eksperymentowania z rzeczywistością twierdzenia o niekompletności Gödla, rzeczywistością rozwiązywania problemów logicznych, rzeczywistością udowadniania na naszych własnych komputerach, jak działa technologia. Dlatego też jest to głównie kod w języku Python 3.x z komentarzami. Jest to po prostu uporządkowana konfiguracja problemów logicznych, aby je rozwiązać lub uzyskać ich najlepsze przybliżenie w ograniczonym czasie.