Switch to: References

Citations of:

Mathematical Method and Proof

Synthese 153 (1):105-159 (2006)

Add citations

You must login to add citations.
  1. Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
    The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and evaluate such alternative accounts, it appears as a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Challenging Epistemology: Interactive Proofs and Zero Knowledge.Justin Bledin - 2008 - Journal of Applied Logic 6 (4):490-501.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.
    Using Carnap’s concept explication, we propose a theory of concept formation in mathematics. This theory is then applied to the problem of how to understand the relation between the concepts formal proof and informal, mathematical proof.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • What is a Proof?Reinhard Kahle - 2015 - Axiomathes 25 (1):79-91.
    In this programmatic paper we renew the well-known question “What is a proof?”. Starting from the challenge of the mathematical community by computer assisted theorem provers we discuss in the first part how the experiences from examinations of proofs can help to sharpen the question. In the second part we have a look to the new challenge given by “big proofs”.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Gauss' Quadratic Reciprocity Theorem and Mathematical Fruitfulness.Audrey Yap - 2011 - Studies in History and Philosophy of Science Part A 42 (3):410-415.
  • Informal Proofs and Mathematical Rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.
    The aim of this paper is to provide epistemic reasons for investigating the notions of informal rigour and informal provability. I argue that the standard view of mathematical proof and rigour yields an implausible account of mathematical knowledge, and falls short of explaining the success of mathematical practice. I conclude that careful consideration of mathematical practice urges us to pursue a theory of informal provability.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations