Le due filosofie esatte: Un saggio sulle macchine di Turing Problemi risolti in Python (Italian Edition)

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.