xkcd: Days of the Week
Rated • 832 reviews • cartoons • xkcd.com
StumbleUpon is a discovery engine that finds the best of the web, recommended just for you.
More Info
Last seen: 50 months ago
Luke is a 27 year old man from Boulder, Colorado, USA
Okay, consider the nonnegative integers and the operations 'plus' and 'times'. There are certain things you can say about these numbers in logic. For example, "there is no number between 2 and 3" is one of the things you can say. "There is no greatest integer" is another.
It turns out that you can neither assert nor deny in logic that there is a number greater than all the standard numbers. So "in some universe" it exists. Call it "X". If X exists, then X+1 does too (because you can say "for any number n, n+1 exists and is greater than n" in logic, and it is true in the usual integers). Also X-1, because if X-1 didn't exist, then X would be 0 (another thing you can say in logic). It turns out that if you keep doing this, you get a whole bunch of copies of the full (not just nonnegative) integers above the usual ones. This is the kind of thing I'm in to.
I'm also a pianist and composer (my website has my music), and out of space on this stupid limited-length profile.