| 
|
QuoteRef: tymoT2_1979
topics >
all references >
ThesaHelp:
references t-z
Topic:
mathematical proof as a social process
Topic:
mathematics as a formal system
Reference
Tymoczko, T., "The four-color problem and its philosophical significance", The Journal of Philosophy, 76, 2, February 1979, pp. 57-83. Google
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 four-color theorem; but there is a convincing experiment that establishes the existence of a formal proof
ThesaHelp: references t-z (309 items)
Topic: mathematical proof as a social process (14 items)
Topic: mathematics as a formal system (30 items)