Philosophy of Mathematics : An Introduction to the World of Proofs and Pictures

@inproceedings{Faris2000PhilosophyOM,
  title={Philosophy of Mathematics : An Introduction to the World of Proofs and Pictures},
  author={William G. Faris},
  year={2000}
}
This example indicates that there is more than one way to look at the role of pictures in proof. The weakest claim is that a picture can serve as an aid to inspire a proof. The mathematician presenting the Bolzano proof could agree to this. A stronger position is that a picture may be taken to be an element of a formal proof. If one can specify syntactic rules for words that constitute a proof, then one might also be able to specify syntactic rules for pictures that constitute a proof. There… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
23 Citations
6 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-6 of 6 references

The Infamous Boundary: Seven Decades of Controversy in Quantum Physics

  • DAVID WICK
  • Springer (Copernicus)
  • 1996
1 Excerpt

editors

  • GERARD ALLWEIN, JON BARWISE
  • Logical Reasoning with Diagrams, Oxford Univ…
  • 1996
1 Excerpt

Understanding the Infinite

  • SHAUGHAN LAVINE
  • Harvard Univ. Press, Cambridge, MA
  • 1994
1 Excerpt

Predicative Arithmetic

  • EDWARD NELSON
  • Princeton Univ. Press, Princeton, NJ
  • 1986
1 Excerpt

Invisible Cities

  • ITALO CALVINO
  • Harcourt, San Diego
  • 1978
1 Excerpt

Similar Papers

Loading similar papers…