Filosofia della matematica. L'eredità del Novecento

Description

La sistemazione strutturalista sembrava aver chiuso le ricerche logiche, drammatiche ed esaltanti, che avevano caratterizzato la crisi dei fondamenti tra fine Ottocento e inizio Novecento. Ma nuove scoper­te e nuove attività, in particolare connesse con il calcolatore, sono venu­te affermandosi nel mondo reale e non nella astratta rarefazione bour­bakista, riqualificando la matematica come attività umana. L'autore presenta in modo rigoroso e informato, dissipando molti fraintendi­menti, le principali correnti di filosofia della matematica che hanno caratterizzato il Novecento e che ancora restano significative: non solo le più note come platonismo, formalismo e costruttivismo, ma anche la posizione fenomenologica di Godel, il naturalismo, il fallibilismo, l'em­pirismo, le discussioni sulla dimostrazione. Ad ispirare il libro è la con­vinzione che le conquiste del logicismo, del deduttivismo, dello struttu­ralismo, della logica siano un patrimonio di conoscenze sulla matema­tica con valore permanente: non è necessario adottare le filosofie che li hanno prodotti per riconoscere il valore di tali risultati.