[FoRK] Re: Gödel's theorem (was: Anything to be learned from religion?)

Corinna schultz
Tue Aug 16 05:50:13 PDT 2005

We're treading into more unfamiliar waters for me. I'll leave it at that,
and see if I can develop my ideas further. I think you're right, though...

Thanks for the conversation.

"Russell Turpin" <deafbox at hotmail.com> wrote:
> theorem about the incompleteness of arithmetic says
> any finite formalization of arithmetic fails to PROVE
> some of the truths of arithmetic.

> Gödel's theorem surprised only in
> proving that some of mathematics also includes
> things that never will be known. (a) If you think
> about it, the fact of that may be less surprising than
> that it can be rigorously proven. (b) Not everything
> is as deep as numbers. There are many kinds of
> mathematics that are complete. Euclidean geometry.
> Real algebra.
> _______________________________________________
> FoRK mailing list
> http://xent.com/mailman/listinfo/fork

More information about the FoRK mailing list