display all the ideas for this combination of philosophers
1 idea
3908 | If maths contains unprovable truths, then maths cannot be reduced to a set of proofs [Scruton] |
Full Idea: If there can be unprovable truths of mathematics, then mathematics cannot be reduced to the proofs whereby we construct it. | |
From: Roger Scruton (Modern Philosophy:introduction and survey [1994], 26.7) |