A gem from Mathematics Stack Exchange:
Q: Are there any areas of mathematics that are known to be impossible to formalise in terms of set theory?
A:Â Yes — set theory.
It’s funny ’cause it’s true!
You may also like
These are my links for April 12th through April 22nd: Gilbert Harman, Sanjeev Kulkarni – Reliable Reasoning: Induction and Statistical Learning Theory […]
These are my links for October 20th through October 25th: Book of Odds – The Odds of Everyday Life – Book of […]
“Were they reborn into a modern university, Plato and Aristotle and Leibniz would most suitably take up appointments in the department of […]
Let me share my pain. In the talk section of the Occam’s Razor entry of Wikipedia a debate was raging between AceMyth […]