Prove that either

a) this problem is solvable

or

b) this problem is unsolvable

If the problem were not self-referential, it would be simplicity itself to prove:

b = ~a

(a ∪ ~a) ⇒ T (a tautology)

The problem is that self-referential problems usually lead to paradox, and this possiblity must be examined first.

Posted by TomM on 2002-08-13 02:51:55