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, sempli...