Switch to: References

Citations of:

The role of syntactic representations in set theory

Synthese 198 (Suppl 26):6393-6412 (2019)

Add citations

You must login to add citations.
  1. 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.
    In a 2022 paper, Hamami claimed that the orthodox view in mathematics is that a proof is rigorous if it can be translated into a derivation. Hamami then developed a descriptive account that explains how mathematicians check proofs for rigor in this sense and how they develop the capacity to do so. By exploring introductory texts in computability theory, we demonstrate that Hamami’s descriptive account does not accord with actual mathematical practice with respect to computability theory. We argue instead for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation