Logique

2018 — ril. Gigante della logica del Novecento e tra i massimi pensatori di ogni epoca, definito dalla rivista Time «il matematico del secolo», Kurt Gödel ha legato il suo nome al celebre teorema di incompletezza, ma le sue ricerche hanno spaziato in ogni campo, dalla logica alla cosmologia e persino alla teologia, giungendo a esiti visionari e illuminanti, quando non addirittura rivoluzionari. Non a caso, le sue scoperte sono state uno strumento fondamentale per Alan Turing nella progettazione del computer. E non è un caso che a Princeton Albert Einstein cercasse la compagnia di Gödel per conversare con lui di scienza, filosofia e politica durante lunghe passeggiate quotidiane. Nel "Dio della logica", in cui compare anche un prezioso inedito tratto da una conferenza tenuta da Gödel nel 1934, Piergiorgio Odifreddi ci consegna una rigorosa biografia scientifica non priva di gustosi aneddoti e felici divagazioni filosofiche, ricostruendo l'avventura intellettuale di un genio che ebbe una brillante carriera accademica e illustri riconoscimenti in vita, ma fu anche uomo schivo, ipocondriaco e paranoico, preda di ossessioni e paure che lo tormentarono fino alla morte.