From: Trivik Bhavneni (trivik@stwing.upenn.edu)
Date: Wed Apr 16 2003 - 01:11:20 BST
> > Is not Goedel's Theorem itself absolute?
> It is only "absolute" within the system based on the axioms of arithmetic.
> Change an axiom and it ceases to be a theorem.
it is only a theorem in any system powerfull enough to provide a user with
operations which can be interpreted as addtion and multiplication (both).
though it does not say much.
MOQ.ORG - http://www.moq.org
Mail Archives:
Aug '98 - Oct '02 - http://alt.venus.co.uk/hypermail/moq_discuss/
Nov '02 Onward - http://www.venus.co.uk/hypermail/moq_discuss/summary.html
MD Queries - horse@darkstar.uk.net
To unsubscribe from moq_discuss follow the instructions at:
http://www.moq.org/md/subscribe.html
This archive was generated by hypermail 2.1.5 : Wed Apr 16 2003 - 01:11:53 BST