Switch to: References

Citations of:

Three insufficiently attended to aspects of most mathematical proofs

Roberts Tragesser

In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 162 (1992)

Add citations

You must login to add citations.

(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) Download Export citation Bookmark 2 citations
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.details This paper puts forward a new account of rigorous mathematical proof and its epistemology. One novel feature is a focus on how the skill of reading and writing valid proofs is learnt, as a way of understanding what validity itself amounts to. The account is used to address two current questions in the literature: that of how mathematicians are so good at resolving disputes about validity, and that of whether rigorous proofs are necessarily formalizable. Download Export citation Bookmark 3 citations
Rigour, Proof and Soundness.Oliver M. W. Tatton-Brown - 2020 - Dissertation, University of Bristoldetails The initial motivating question for this thesis is what the standard of rigour in modern mathematics amounts to: what makes a proof rigorous, or fail to be rigorous? How is this judged? A new account of rigour is put forward, aiming to go some way to answering these questions. Some benefits of the norm of rigour on this account are discussed. The account is contrasted with other remarks that have been made about mathematical proof and its workings, and is tested (...) Download Export citation Bookmark

1