# 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

#### Topics from this paper

#### 16 Citations

Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics

- Computer Science
- Logica Universalis
- 2011

INFORMAL PROOF, FORMAL PROOF, FORMALISM

- Computer Science, Mathematics
- The Review of Symbolic Logic
- 2015

Pluralism and "Bad" Mathematical Theories: Challenging our Prejudices

- Political Science, Computer Science
- Paraconsistency: Logic and Applications
- 2013

#### References

SHOWING 1-10 OF 19 REFERENCES

A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices

- Philosophy
- 2007