back to ideas for this text

---

Single Idea 3908

[from 'Modern Philosophy:introduction and survey' by Roger Scruton, in 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 Reference

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

---