What is Mathematical Rigor?

Aphex 25:1-17 (2022)
  Copy   BIBTEX

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.

Author Profiles

John Burgess
Princeton University
Silvia De Toffoli
University School of Advanced Studies IUSS Pavia

Analytics

Added to PP
2022-07-03

Downloads
994 (#11,704)

6 months
401 (#3,851)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?