Plus.Maths.org
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?
