>> 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