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?

  • Want facts and want them fast? Our Maths in a minute series explores key mathematical concepts in just a few words.