• intuizione matematica
• incompletezza
• Kurt Gödel
• fenomenologia matematica
• platonismo matematico

Il lavoro si divide in tre capitoli. Nel primo prendo in considerazione gli scritti di Gödel precedenti al 1959. Il secondo capitolo tratta invece di scritti e appunti successivi al 1959, con particolare riferimento ai frammenti raccolti da Hao Wang. Il terzo capitolo è infine una panoramica su alcuni dei presupposti del programma filosofico gödeliano e adotta un approccio più teoretico, rispetto ai due capitoli precedenti, che hanno invece un'impostazione più storica e compilativa (con la sola eccezione per la discussione sulla natura del platonismo "maturo" di Gödel nel secondo capitolo). Lo scopo del lavoro è mostrare come non si possa parlare di una vera e propria svolta nel pensiero e negli interessi di Gödel a partire dallo studio della fenomenologia, che risale al 1959, perché gli interessi del matematico rimangono i medesimi nella sostanza dopo di essa, anche se i problemi, che prima erano strettamente appartenenti all'ambito della filosofia della matematica, ora si rivolgono a una platea di questioni filosofiche più ampia. La questione centrale di cui si analizza lo sviluppo durante tutto l'arco della produzione gödeliana è quella della nozione di intuizione, che viene discussa anche sulla base del suo accostamento con quella categoriale della fenomenologia husserliana. Il mio intento è quello di mostrare come la nozione si colleghi strettamente alla posizione platonista di Gödel e come mantenga il proprio nucleo sostanziale, che emerge già negli anni Trenta, durante tutte le successive riflessioni, fino a quelle più tarde degli anni Settanta. Dal punto di vista degli influssi da parte di Husserl sul programma gödeliano, la conclusione che traggo è la seguente: se è innegabile che il metodo previsto dal programma sia husserliano (una sorte di fenomenologia), è tuttavia vero che il contenuto rimane leibniziano.