Nome del progetto: Proof and understanding in mathematics

Acronimo del progetto: PUMa

Responsabile scientifico: Prof. Andrea Sereni - https://www.iusspavia.it/it/rubrica/andrea-sereni 

CUP: I53D23004060006

Descrizione: Il progetto nazionale è finalizzato alla esplorazione delle connessioni tra la nozione di dimostrazione in logica e in matematica e la nozione di spiegazione. Il progetto parte dalla constatazione che i soli strumenti formali messi a disposizione dalla teoria della dimostrazione nell'analisi delle prove logico-matematiche non siano sufficienti a dare un resoconto teorico adeguato della produzione di comprensione, dei criteri di comparazione e di scelta tra dimostrazioni e teorie formali alternative, né della capacità che solo alcune prove sembrano avere di fornire spiegazioni adeguate. Anche a partire dal cosiddetto 24esimo problema di Hilbert, e dunque dalla considerazione della nozione di semplicità come elemento cardine nella comparazione di dimostrazioni formali, il progetto mira a una indagine multidisciplinare sulla comprensione adeguata della nozione di prova da un punto di vista logico, matematico, semantico, epistemologico e linguistico.

Ente finanziatore: MUR - Ministero dell’Università e della Ricerca

Data di inizio del progetto: 05/10/2023

Data di fine del progetto: 28/02/2026