Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician

@article{Goethe2010ConfrontingIO,
  title={Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician},
  author={Norma B. Goethe and Mich{\`e}le Friend},
  journal={Studia Logica},
  year={2010},
  volume={96},
  pages={273-288}
}
In this paper, we discuss the prevailing view amongst philosophers and many mathematicians concerning mathematical proof. Following Cellucci, we call the prevailing view the “axiomatic conception” of proof. The conception includes the ideas that: a proof is finite, it proceeds from axioms and it is the final word on the matter of the conclusion. This received view can be traced back to Frege, Hilbert and Gentzen, amongst others, and is prevalent in both mathematical text books and logic text… Expand
MATHEMATICAL INFERENCE AND LOGICAL INFERENCE
  • Yacin Hamami
  • Computer Science
  • The Review of Symbolic Logic
  • 2018
From Euclidean geometry to knots and nets
Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics
INFORMAL PROOF, FORMAL PROOF, FORMALISM
  • A. Weir
  • Computer Science, Mathematics
  • The Review of Symbolic Logic
  • 2015
How to think about informal proofs
Rigour in Proof
Pluralism and "Bad" Mathematical Theories: Challenging our Prejudices
  • Michèle Friend
  • Political Science, Computer Science
  • Paraconsistency: Logic and Applications
  • 2013
...
1
2
...

References

SHOWING 1-10 OF 19 REFERENCES
...
1
2
...