|
![](/i/fill.gif) |
>> I didn't say that set theory is not *important*. I said it is not
>> *interesting*.
>
> It's interesting if you want to know whether arithmetic is complete and
> consistent, for example. Godel's theorem certainly is an interesting
> insight.
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"?
> And *that* is what makes it interesting! Set theory is like the lambda
> calculus - it's tiny and trivial, but you can prove anything with it.
I presume you mean "prove anything that is true", since a system that
can prove *anything* is a system that's inconsistent...
Post a reply to this message
|
![](/i/fill.gif) |