Profili: Kurt Gödel

Kurt Gödel (1906-1978) è stato certamente il logico più influente del ‘900. A lui si devono alcuni dei risultati più noti nel campo delle ricerche fondazionali, come il teorema di completezza semantica per il calcolo logico del prim’ordine, i due teoremi di incompletezza, la dimostrazione di consistenza dell’ipotesi del continuo di Cantor con gli assiomi della teoria degli insiemi. Egli è noto anche per alcune prese di posizione di tipo filosofico molto discusse, come l’approccio di tipo platonista al problema relativo all’esistenza e alla natura degli enti matematici. La complessa personalità di Gödel, insieme alla sua straordinaria produzione scientifica, lo hanno portato ad acquisire una fama che va ben oltre i confini della disciplina.