Article
How to tame uncertainty
How can we get a grip on the uncertainties in mathematical models?
Can a mathematical object be said to exist if you can't construct it?
If you can prove that a statement can't possibly be false, does this mean it's true?