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