[Anonymous]

wow.... perhaps my logic class will have a use after all, and here I thought it was the most worthless thing ever.

Logically speaking, that argument's premises and conclusions are the same statment: "this theorem cannot be proved"

in Truth-Functional-Logic it would look like:

~A .:. A
(read "not-A") (sorry about the extra dot "therefore") ("A")

this statement is a self-contradiction, and therefore is an invalid argument, meaning it holds no value or merit.... but by that same token, since it is invalid, it proves itself at the same time by casual reasoning, therefore it's proven.... in an odd sense.

If it's still bugging you, just be glad you're not a computer and don't have to throw an exception or do a hard-boot to fix the problem. ; )