non-constructive proof

Harvey Friedman tells us about a mathematical movement called constructivism and why we need it.

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

If you can prove that a statement can't possibly be false, does this mean it's true?

A game involving biscuits and maths — what could be better?