Gödel e Turing. La nascita del computer

Nell'epoca dei tablet dalle tecnologie sempre più sofisticate, di processori sempre più rapidi e innovativi, Piergiorgio Odifreddi ci invita a conoscere la nascita del computer attraverso le vicende di due padri dell'informatica, Kurt Gödel e Alan Turing. Dal teorema di incompletezza di Gödel all'idea del calcolatore universale di Turing allo sviluppo dei primi elaboratori elettronici, le tappe che hanno segnato il cammino dell'intelligenza artificiale e le prospettive dell'informatica nel prossimo futuro.

ELENCO CONTENUTI
LA LOGICA E IL CALCOLO
1. Le macchine per fare calcoli
2. La macchina analitica
3. Boole e la logica matematica
4. Alla ricerca delle leggi del ragionamento
5. Logica e matematica
6. Kurt Gödel
7. Consistenza e completezza
8. Un curioso paradosso

ALAN TURING
9. La vita
10. Una drammatica vicenda
11. La macchina di Turing
12. L?idea del calcolatore universale
13. Il test di Turing

IL COMPUTER MODERNO
14. Dall?idea alla costruzione pratica
15. La nascita dell?informatica
16. Un cambiamento epocale in 50 anni
17. Cosa non può fare un computer