Path: utzoo!utgpu!water!watmath!clyde!att!pacbell!lll-tis!helios.ee.lbl.gov!pasteur!ucbvax!bloom-beacon!LOYVAX.BITNET!PGOETZ
From: PGOETZ@LOYVAX.BITNET
Newsgroups: comp.ai.digest
Subject: Goedel's Theorem
Message-ID: <19880724055741.6.NICK@HOWARD-JOHNSONS.LCS.MIT.EDU>
Date: 24 Jul 88 05:57:00 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 14
Approved: ailist@ai.ai.mit.edu

Date: Wed, 20 Jul 88 12:02 EDT
From: PGOETZ%LOYVAX.BITNET@mitvma.mit.edu
Subject:  Goedel's Theorem
To: ailist@ai.ai.mit.edu
X-Original-To:  ailist@ai.ai.mit.edu, PGOETZ

    Shame on you, professor! Goedel's Theorem showed that you WILL have an
unbounded number of axioms following the method you propose. That is why most
mathematicians consider it an important theorem - it states you can never have
an axiomatic system "as complex as"
arithmetic without having true statements which are unprovable.

Phil Goetz
PGOETZ@LOYVAX.bitnet