I previously posted bad geek humor — “This sentence has threee erors.” — but I didn’t say why I liked it. Basically, a dumb joke evokes both the incompleteness theorem and the unknowability of the universe.
Whitehead and Russell (1927) devised a hierarchy of “types” in order to eliminate self-referential statements from Principia Mathematica, which purported to derive all of mathematics from logic. A set of the lowest type contained only objects (not sets), a set of the next higher type could contain only objects or sets of the lower type, and so on. Unfortunately, G
Post a Comment