Il recupero dell'evidenza nella considerazione fenomenologica della matematica di Kurt Goedel

L'elaborato intende analizzare e valorizzare l'interessamento di Goedel per la filosofia, smentendo quelle intepretazioni che hanno considerato sprovveduto un tale interessamento. Per questo si àƒ¨ cercato di considerare i suoi contributi alla matematica e alla logica alla luce dei suoi interessi filosofici, facendo evincere come il suo interessamento non fosse avventato, ma ben meditato e lungo tutta la sua vita di logico e matematico. Goedel infatti frequenta la filosofia sin da giovane e riconosce il suo debito con Leibniz, suo costante punto di riferimento, di cui tenta una revisione delle suggestioni. Goedel infatti dovràƒ fare i conti con i limiti di certi suoi concetti, quale quello di ragione che da Leibniz mutua, non solo alla luce dei risvolti filosofici dei suoi teoremi, ma anche dei falliti tentativi di giustificazione di platonismo matematico, contro lo Spirito del tempo di cui, mutua sàƒ¬ argomenti e problemi, ma in direzione diametralmente opposta, smentendo quelle interpretazioni che ce lo restituiscono all'interno del neopositivismo. La critica al contruttivismo, alla concezione sintattica della matematica e, in generale, al nominalismo non gli permettono di fondare la posizione in filosofia della matematica, che da sempre conserva. Goedel ritiene di poter uscire dal queste impasses con il metodo fenomenologico. L'interessamento per la fenomenologia husserliana àƒ¨, dunque, meditato e lo induce a rivedere alcune sue posizioni su autori come Kant, nonchàƒ¨ a intravvedere la possibilitàƒ di una considerazione del soggetto, che fa matematica, e delle sua ragione lontano dal soggettivismo psicologicistico, di cui la fenemenologia husserliana stessa era stata tacciata, ma anche del concetto di ragione, mutuato da Leibniz, quale calculus ratiocinator. L'apprezzamento di essa deriverebbe anche dalla rilettura che tenta della monadologia leibniziana, che anche Goedel considera teoria irrinunciabile per la comprensione del fare matematica, alla luce dei progressi del pensiero fino a Ventesimo secolo.