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
I seem to have a gift for being drawn into trenchant conversations. The latest involves the usefulness of philosophy of science: I […]
A plug for the worthy– Warren Ellis is just about to release FreakAngels, a free webcomic saga told in 5-page weekly installments.
John S Canning, an engineer at the Naval Surface Warfare Centre, proposes (PDF) that “machines target other machines and men target men” […]
These are my links for April 3rd through April 8th: List of resources: Article text extraction from HTML documents | My tech […]