ThesaHelp: references tz
Topic: mathematical proof as a social process
Topic: mathematics as a formal system
 
Reference
Tymoczko, T.,
"The fourcolor problem and its philosophical significance",
The Journal of Philosophy, 76, 2, February 1979, pp. 5783.
Google
Quotations
247 ;;Quote: proofs are convincing to an arbitrary mathematician. This is why proofs are the arbiter of judgment in mathematics
 247 ;;Quote: a proof is a construction that can be understood, reviewed , and verified by a mathematician
 248 ;;Quote: proofs can be formalized as a finite sequence of formulas of a formal theory; a part of why proofs are convincing to mathematicians
 250 ;;Quote: there is no surveyable proof of the fourcolor theorem; but there is a convincing experiment that establishes the existence of a formal proof

Related Topics
ThesaHelp: references tz (309 items)
Topic: mathematical proof as a social process (14 items)
Topic: mathematics as a formal system (30 items)
