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)
La tecnologia è piena di parole, di persone che vogliono esprimere come funziona tutto. Ma non abbiamo mai modo di vedere se la tecnologia descritta esiste davvero o meno. Questo libro è un’opportunità per sperimentare di persona la realtà del Teorema di incompletezza di Gödel, la realtà della risoluzione dei problemi di logica, la realtà della dimostrazione nei nostri computer di come funziona la tecnologia. Ecco perché è principalmente un codice in Python 3.x commentato. Si tratta, semplicemente, di una configurazione ordinata di problemi logici da risolvere o di cui ottenere la migliore approssimazione in un tempo limitato.