Carlo Cellucci, nel suo La filosofia della matematica del Novecento (Laterza, 2007), oltre a tracciare un impietoso ritratto delle riflessioni di Frege, Hilbert, Brouwer e delle altre correnti filosofiche del XX secolo, espone brevemente il programma di una filosofia della matematica futura e, soprattutto, matura.
L’idea forte di Cellucci è: la filosofia che si occupa di chiarire ciò che già sappiamo è irrilevante, per essere rilevante deve contribuire al progresso della conoscenza. Occorre quindi lasciar perdere il problema dei fondamenti, e concentrarsi sulla scoperta: la matematica non è dimostrazione di teoremi, ma soluzione di problemi. Continua a leggere “Verità plausibili”