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?