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
The Rules: If I haven’t seen it, the film is italicized. If I saw it but would never watch it again, the […]
A plug for the worthy– Warren Ellis is just about to release FreakAngels, a free webcomic saga told in 5-page weekly installments.
These are my links for February 22nd through February 24th: Logic and Formal Semantics for Epistemology Longversion.pdf (application/pdf Object) – This essay […]
These are my links for February 12th from 15:54 to 16:01: Revolutions: Video: What is R? – By popular demand, we've made […]