This is great. The only nitpicky thing I have is this line:
This new proof was created by a friend of mine called Stanley Tennenbaum, who has since dropped out of mathematics.
There's kind of a snobbery in mathematics that goes along the lines of Pure Mathematics > Applicable Math > Applied Math > Programming the Math. Theoretical Comp Sci falls somewhere around Applicable. Why is it that he "dropped out of mathematics" and not "decided he liked [whatever he does now]"?
Otherwise, a great read. Math is so much cooler than high school calculus drills make it seem.
I should probably point out that snobbery is very far from the actual attitude towards Tennenbaum, at least as far as logicians are concerned. For example, in 2006 there was a conference organised to celebrate his contribution to mathematical logic.
Do a little more research on Stanley Tennenbaum. This discovery happened around the 1950s. Tennenbaum didn't drop out of mathematics so much as he dropped out of institutional mathematics. More here, including a post from one of his children in the comments: http://divisbyzero.com/2009/10/06/tennenbaums-proof-of-the-i...
That's ironic because John Conway does a lot of applied math. I think he might have just been explaining why the audience did not know the name. Mathematics is still a relatively small field.
This new proof was created by a friend of mine called Stanley Tennenbaum, who has since dropped out of mathematics.
There's kind of a snobbery in mathematics that goes along the lines of Pure Mathematics > Applicable Math > Applied Math > Programming the Math. Theoretical Comp Sci falls somewhere around Applicable. Why is it that he "dropped out of mathematics" and not "decided he liked [whatever he does now]"?
Otherwise, a great read. Math is so much cooler than high school calculus drills make it seem.