Re: MD Undeniable Facts

From: Scott R (jse885@spinn.net)
Date: Fri Apr 18 2003 - 02:21:57 BST

  • Next message: Scott R: "Re: MD Undeniable Facts"

    ----- Original Message -----
    From: "Trivik Bhavneni" <trivik@stwing.upenn.edu>

    [Platt]> > > Is not Goedel's Theorem itself absolute?
    > > It is only "absolute" within the system based on the axioms of
    arithmetic.
    [Scott]> > Change an axiom and it ceases to be a theorem.
    >
    [Trivik]> 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.

    Well, I would say that it says that mathematics is forever open, and hence
    an arena in which DQ can play.

    - Scott

    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 : Fri Apr 18 2003 - 02:29:17 BST