Vigre Lectures

Abstract

In mathematics, we back up our discoveries with rigorous deductive proofs. Mathematicians develop a keen instinctive sense of what makes a proof rigorous. In logic, we strive for a *theory* of rigorous proofs.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Informal and formal proofs, metalogic, and the groundedness problem.Mario Bacelar Valente - manuscript
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.Jody Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.
Role of Imagination and Anticipation in the Acceptance of Computability Proofs: A Challenge to the Standard Account of Rigor.Keith Weber - 2022 - Philosophia Mathematica 30 (3):343-368.
Proofs for a price: Tomorrow’s ultra-rigorous mathematical culture.Silvia De Toffoli - 2024 - Bulletin (New Series) of the American Mathematical Society 61 (3):395–410.
Proof in the History and Philosophy of Mathematical Practice: An Introduction.Joachim Frans & Bart Van Kerkhove - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 2037-2043.
On the CPT theorem.Hilary Greaves & Teruji Thomas - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 45:46-65.
Mathematical rigor and proof.Yacin Hamami - 2022 - Review of Symbolic Logic 15 (2):409-449.
Rigor and Structure.John P. Burgess - 2015 - Oxford, England: Oxford University Press UK.
Recalcitrant Disagreement in Mathematics: An “Endless and Depressing Controversy” in the History of Italian Algebraic Geometry.Silvia De Toffoli & Claudio Fontanari - 2023 - Global Philosophy 33 (38):1-29.

Analytics

Added to PP
2010-12-22

Downloads
238 (#107,940)

6 months
238 (#10,332)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references