PGOETZ@LOYVAX.BITNET (07/24/88)
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