## constructivist mathematics

Harvey Friedman tells us about constructivism and why we need it.

We explore non-constructive proofs and what happens if you try and avoid them.

Can a mathematical object be said to exist if you can't construct it?

**Phil Wilson**looks at

*constructivist mathematics*, which holds that some things are neither true, nor false, nor anything in between.