Single Idea 3908

[catalogued under 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