Le due filosofie esatte

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.