L'intuizionismo di Odifreddi
Grande considerazione per le belle conferenze di Odifreddi sulla storia della logica e della crisi dei fondamenti, che ho scoperto da poco e sto ascoltando, ma qualche discordanza, una dei quali rig uarda l’intuizionismo. Cercherò di parlarne ora ma per favore chi legga tenga conto che sono solo un dilettante. Considero l’intuizionismo una filosofia che corre sul principio “Si conosce solo ciò che si costruisce” che Hobbes prese come principio guida della sua filosofia e che Vico accalappiò al volo per dare inizio alla sua filosofia della storia. Una filosofia che accomuna la storia del “costruire solo con riga e compasso di cui lei parla e la filosofia del sapere di Hobbes, con la differenza che i matematici greci non limitavano l’esercizio della matematica a quei problemi mentre per Hobbes si conosce solo ciò che si riesce a costruire. In questo senso sono diffidente al pensiero che la matematica intuizionista sia una parte della matematica gen...