Re: MD Undeniable Facts

From: Steve Peterson (peterson.steve@verizon.net)
Date: Wed Apr 16 2003 - 01:37:35 BST

  • Next message: Richard Loggins: "RE: MD Undeniable Facts"

    >
    >>> 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.

    I think it's the mathematical equivalent of saying, "you can't write a
    dictionary that doesn't use circular definitions." Undeniably true?

    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:36:09 BST