Matematica e realtà

Breve storia delle diverse concezioni della natura degli enti matematici e del loro rapporto con la realtà, dal realismo pitagorico al Mondo delle Idee di Platone alla dottrina dell'astrazione di Aristotele e San Tommaso d'Aquino fino al convenzionalismo dei giorni nostri. Attraverso l'esame di alcuni esempi particolarmente significativi (il teorema di Gödel, le geometrie non euclidee e il metodo assiomatico) si mostra come in realtà non solo il convenzionalismo non è necessariamente implicato dal moderno approccio formalisitico, ma, al contrario, questo, se ben compreso, richiede di riconoscere un fondamento reale agli enti matematici, in una prospettiva che si avvicina molto a quella delineata da San Tommaso.