
Constructivism: An expert's view
Harvey Friedman tells us about a mathematical movement called constructivism and why we need it.
Can a mathematical object be said to exist if you can't construct it?
Introducing an indispensable tool of mathematical logic.
If you can prove that a statement can't possibly be false, does this mean it's true?
There are limits to how much you can simultaneously squeeze the quantum fuzziness of an electron's position and momentum