What Is Mathematical Rigor?

Abstract

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

Una dimostrazione rigorosa dovrebbe garantire che le premesse che vengono invocate implichino la conclusione raggiunta, e il problema del rigore consiste nel conciliare la prospettiva della logica formale e quella della pratica matematica su come ciò avvenga. Questo problema ha recentemente sollevato molte discussioni tra i filosofi della matematica. Esamineremo qui alcune possibili soluzioni e mostreremo che la mancata chiarezza sui termini del problema ha portato a incomprensioni nella letteratura.