Incompletezza. La dimostrazione e il paradosso di Kurt Gödel

Goldstein presenta la formazione e la maturazione del pensiero logico-filosofico di Kurt Gödel, inscrivendole entrambe in un ampio e approfondito panorama storico culminante nel risultato più discusso e fecondo del logico matematico prussiano. La figura del più grande logico matematico del Novecento è disegnata nella sua pienezza: se ne mostrano il rigore deduttivo e gli inevitabili collegamenti tra la speculazione logico-matematica e le convinzioni filosofiche generali. Goldstein ripercorre gli anni di Gödel all'Università di Vienna, dove, inizialmente interessato alla fisica, Gödel si vota definitivamente alla matematica e segue i corsi di storia della filosofia tenuti da Gomperz. Interessante la coincidenza per cui, proprio durante la frequenza di tali corsi, Gödel decide di dedicarsi allo studio della logica matematica: secondo Goldstein, l'influenza dei corsi di Gomperz sulla formazione del platonismo matematico di Gödel è indubbia. L'autrice descrive anche la partecipazione di Gödel ai seminari per pochi eletti del Circolo neopositivista di Schlick, completandone il percorso filosofico ed esistenziale con una panoramica degli scritti e degli anni di Princeton. Una particolare attenzione è rivolta all'accoglienza dedicata all'annuncio di Gödel alla conferenza di Könisberg del 1930 e a un'esposizione discorsiva dei risultati di incompletezza.   Francesca Boccuni