|
![](/i/fill.gif) |
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
|
![](/i/fill.gif) |