Le due filosofie esatte - Un saggio sulle macchine di Turing Problemi risolti in Python

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.

Über den Autor / die Autorin

Juan Manuel Dato est un chercheur dans le domaine de la calculabilité qui mène depuis des années des recherches sur des résultats qui ont une incidence sur le monde des mathématiques et de la logique. Aujourd'hui, il est freelance et vend des cellules dans un boulevard d'un hôpital espagnol.

Produktdetails

• Autoren: Juan Manuel Dato Ruiz
• Verlag: Edizioni Sapienza
• Sprache: Italienisch
• Produktform: Taschenbuch
• Erschienen: 30.06.2025
• EAN: 9786202496469
• ISBN: 9786202496469
• Seiten: 56
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Informatik