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 February 26th through March 2nd: Practical Foundations of Mathematics – Although it is mainly concerned with a […]
These are my links for August 24th through August 27th: Andrew Wayne & Michal Arciszewski, Emergence in physics | PhilPapers – This […]
These are my links for June 17th through June 18th: Random Walk / Daniel A. Becker – RANDOM WALK asks this question […]