Profili

Nato a Brünn (all'epoca città tedesca, che prenderà il nome di Brno dopo la prima guerra mondiale) il 28 aprile 1906, da famiglia benestante, Kurt Gödel ottiene il diploma di scuola superiore nel 1924. Per proseguire gli studi si trasferisce a Vienna dove, durante il primo periodo di formazione universitaria, compie incontri destinati a lasciare un segno profondo nella sua attività scientifica. Grazie ad uno dei suoi docenti, il matematico Hans Hahn, e a Karl Menger, uno dei migliori studenti di Hahn e professore associato all'Università di Vienna, Gödel entra in contatto con i componenti di quello che diverrà noto come il Circolo di Vienna. Lungi dall'essere influenzato dalle idee prevalenti del Circolo, Gödel finirà per sviluppare precocemente una posizione filosofica ben delineata e per gran parte in opposizione al positivismo logico. Come si avrà modo di approfondire nel seguito, quest'aspetto si rivelerà tutt'altro che marginale per una parte considerevole dell'opera gödeliana.

Furono le lezioni di logica di Carnap e la pubblicazione del volume Hilbert e Ackermann [1928] a dirigere l'interesse di Gödel verso la logica matematica. Questo interesse si concretizzerà con la tesi di dottorato del 1929 che contiene il suo primo, notevole contributo: la dimostrazione del teorema di completezza semantica per il calcolo predicativo classico del prim'ordine. Nel decennio successivo, quello dal 1929 al 1939, si colloca la gran parte di quei risultati ai quali Gödel deve la sua fama.