Jonathan,
JONATHAN:
As Glenn points out I was careless about using the word "absolute" rather
than "complete" in referring to Goedel's theorem. However, I do not believe that
it changes the essence of my argument.
I believe it does if your argument has anything to do with Godel's thm.
> JONATHAN:
> In an earlier post, reference was made to Goedels theorem, which states
> that an infinite number of axioms are needed to make a system absolute.
>
GLENN:
>No, this is not what Godel's theorem states.
JONATHAN:
Had I written "complete", Glenn would probably have accepted the
definition.
Pretty much.
JONATHAN:
Goedel's "incompleteness" theorem states that no statement
can be proved without reference to an external fact or axiom.
No, this is not what Godel's theorem states. This is what any formal
system demands.
JONATHAN:
Once you internalize the "external" axiom, still more external axioms are
needed. Thus no statement can ever be "absolutely" complete.
No, it's not that no statement can ever be "absolutely" complete. It's that
no system can be absolutely complete. The theorems (statements) in the
system are fine.
JONATHAN:
If it always depends on reference to external axioms, it must also be
RELATIVE to the external axioms chosen (i.e. non absolute).
All theorems are directly or indirectly proved from the axioms, but
this is true of any formal system and has nothing to do with the
conclusions of Godel's Thm.
Glenn
__________________________________________________________________
Get your own FREE, personal Netscape Webmail account today at http://webmail.netscape.com/
MOQ.ORG - http://www.moq.org
Mail Archive - http://alt.venus.co.uk/hypermail/moq_discuss/
MD Queries - horse@wasted.demon.nl
To unsubscribe from moq_discuss follow the instructions at:
http://www.moq.org/md/subscribe.html
This archive was generated by hypermail 2b30 : Sat Aug 17 2002 - 16:01:02 BST