display all the ideas for this combination of texts
1 idea
| 8190 | Intuitionists rely on the proof of mathematical statements, not their truth [Dummett] |
| Full Idea: The intuitionist account of the meaning of mathematical statements does not employ the notion of a statement's being true, but only that of something's being a proof of the statement. | |
| From: Michael Dummett (Truth and the Past [2001], 2) | |
| A reaction: I remain unconvinced that anyone could give an account of proof that didn't discreetly employ the notion of truth. What are we to make of "we suspect this is true, but no one knows how to prove it?" (e.g. Goldbach's Conjecture). |