Invisible wrote:
> Isn't Godel's theorem the one that says "mathematics is almost 
> guaranteed to be logically self-contradictory, so you're basically 
> wasting your time, guys"?

No?

> I presume you mean "prove anything that is true", since a system that 
> can prove *anything* is a system that's inconsistent...

You can prove anything that you could prove with a more complex mathematical 
system covering the same axioms.

And no, inconsistent isn't always bad.

http://en.wikipedia.org/wiki/Paraconsistent

-- 
Darren New, San Diego CA, USA (PST)
   Serving Suggestion:
     "Don't serve this any more. It's awful."

Post a reply to this message