more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 3908

[filed under theme 6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism ]

Full Idea

If there can be unprovable truths of mathematics, then mathematics cannot be reduced to the proofs whereby we construct it.

Gist of Idea

If maths contains unprovable truths, then maths cannot be reduced to a set of proofs

Source

Roger Scruton (Modern Philosophy:introduction and survey [1994], 26.7)

Book Ref

Scruton,Roger: 'Modern Philosophy: introduction and survey' [Sinclair-Stevenson 1994], p.395