Article
Constructivism: An expert's view
Harvey Friedman tells us about a mathematical movement called constructivism and why we need it.
If you can prove that a statement can't possibly be false, does this mean it's true?