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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,962

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, 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 (#115,894)

6 months
238 (#13,292)

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