more from this thinker | more from this text
Full Idea
When you have proved something you know not only that it is true, but why it must be true.
Gist of Idea
Proof shows that it is true, but also why it must be true
Source
John Mayberry (What Required for Foundation for Maths? [1994], p.405-2)
Book Ref
'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.405
A Reaction
Note the word 'must'. Presumably both the grounding and the necessitation of the truth are revealed.
8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege] |
1885 | Proof moves from agreed premises to a non-evident inference [Sext.Empiricus] |
8627 | Leibniz is inclined to regard all truths as provable [Leibniz, by Frege] |
17495 | Proof aims to remove doubts, but also to show the interdependence of truths [Frege] |
16878 | We must be clear about every premise and every law used in a proof [Frege] |
2898 | Anything which must first be proved is of little value [Nietzsche] |
19067 | A successful proof requires recognition of truth at every step [Dummett] |
17773 | Proof shows that it is true, but also why it must be true [Mayberry] |