intuitionist mathematics

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?

If you like mathematics because things are either true or false, then you'll be worried to hear that in some quarters this basic concept is hotly disputed. In this article Phil Wilson looks at constructivist mathematics, which holds that some things are neither true, nor false, nor anything in between.