Search found 1 match

by fvieira
Mon Nov 08, 2010 1:26 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 0816: "Applied Math"
Replies: 88
Views: 28548

Re: 0816: "Applied Math"

Assume such a proof exists. Then P and not P. Contradiction. Therefore, no such proof exists.

If you assume such a proof exists, that is, that logic is invalid, then you can't use logic to make the rest of your proof, can you?

Go to advanced search