FOL puzzle

View source | View history | Atom feed for this file

I seem to have written this a long time ago, and it was on one of my backup drives. It’s not too interesting, and I think Tim Gowers posted something similar (it may have been the dual of what I describe here) a while ago. Still, it’s better to put it up here than just have it locally. It’s somewhat amusing looking back on this, because the original document was titled “A Little Number Theory” when the actual point has nothing to do with number theory—a sign of my mathematical immaturity, I suppose. I’ve cleaned up most of the document to reveal the part that most interested me.

Consider the following “proof”:

Let be an integer. Let be the proposition “”, be the proposition “ is prime”, and be the proposition “ is odd”. Then is true because is the only even prime. But . So it must be the case that “if , then is odd; or, if is prime, then is odd”. But this last proposition is false because but is not odd. Also, is prime, but is even. Therefore, .