On Wed, 4 Dec 2002, Ken Hirsch wrote:
> Jim Choate says:
>
> > Godel's does -not- say mathematics is incomplete, it says we can't prove
> > completeness -within- mathematics proper. To do so requires a
> > meta-mathematics of some sort.
>
> You are mixing up what Godel says about proving consistency within a system,
> and his incompleteness theorem. Godel most certainly DOES prove that
> mathematics is incomplete.
No Ken, he says you can't prove it. That it is unknowable.
Not being able to know something is -not- the same thing as proving it
isn't something. Mathematics may be complete, we just can't know it if we
use only mathematics itself.
--
____________________________________________________________________
We don't see things as they are, [EMAIL PROTECTED]
we see them as we are. www.ssz.com
[EMAIL PROTECTED]
Anais Nin www.open-forge.org
--------------------------------------------------------------------
