[FoRK] Re: Gödel's theorem (was: Anything to be learned from religion?)
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
More information about the FoRK