Here is an interesting piece of article I read today, makes your head go in a tizzy trying to figure out the logic. Quite nonsensical and at the same time quite wierdly interesting.
In brief, a set of theorems to prove that Everything in Life is Equally Interesting
Theorem 1:
If everything is equally boring then everything is equally interesting.
Proof:
Assume everything is equally boring but suppose that there exist an X such that X is less interesting than some Y, Y <> X. Clearly X is more boring than Y, which contradicts our assumption. QED.
Theorem 2:
Everything is interesting.*
Proof:
Suppose not. Then there are uninteresting things. Assuming the axiom of choice, the set of uninteresting things can be well ordered. Then there is a least element: a least uninteresting thing**. But this would be interesting.*** QED.
Corollary:
Nothing is boring.
Proof:
Note that if something is interesting it is not boring. QED.
Theorem 3:
Everything is equally boring.
Proof:
This follows immediately from the corollary to theorem 2. QED.
Theorem 4:
Everything is equally interesting.
Proof:
By modus ponens from theorems 1 and 3. QED.
Note : QED = quod erat demonstrandum, which literally means "which was to be demonstrated"
