From owner-freebsd-chat  Sun Sep  1  5: 7:26 2002
Delivered-To: freebsd-chat@freebsd.org
Received: from mx1.FreeBSD.org (mx1.FreeBSD.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id C97E437B400
	for <chat@FreeBSD.ORG>; Sun,  1 Sep 2002 05:07:23 -0700 (PDT)
Received: from HAL9000.homeunix.com (12-232-220-15.client.attbi.com [12.232.220.15])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 3639043E81
	for <chat@FreeBSD.ORG>; Sun,  1 Sep 2002 05:07:23 -0700 (PDT)
	(envelope-from dschultz@uclink.berkeley.edu)
Received: from HAL9000.homeunix.com (localhost [127.0.0.1])
	by HAL9000.homeunix.com (8.12.5/8.12.5) with ESMTP id g81C8Elp001311;
	Sun, 1 Sep 2002 05:08:14 -0700 (PDT)
	(envelope-from dschultz@uclink.berkeley.edu)
Received: (from das@localhost)
	by HAL9000.homeunix.com (8.12.5/8.12.5/Submit) id g81C8DqR001310;
	Sun, 1 Sep 2002 05:08:13 -0700 (PDT)
	(envelope-from dschultz@uclink.berkeley.edu)
Date: Sun, 1 Sep 2002 05:08:13 -0700
From: David Schultz <dschultz@uclink.berkeley.edu>
To: Terry Lambert <tlambert2@mindspring.com>
Cc: Dave Hayes <dave@jetcafe.org>, chat@FreeBSD.ORG
Subject: Re: Why did evolution fail?
Message-ID: <20020901120813.GA1227@HAL9000.homeunix.com>
Mail-Followup-To: Terry Lambert <tlambert2@mindspring.com>,
	Dave Hayes <dave@jetcafe.org>, chat@FreeBSD.ORG
References: <200208310608.g7V68h128080@hokkshideh2.jetcafe.org> <3D707754.1981EA36@mindspring.com> <20020831100938.GA262@HAL9000.homeunix.com> <3D71D8E6.71248CEB@mindspring.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii:iso-8859-1"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <3D71D8E6.71248CEB@mindspring.com>
Sender: owner-freebsd-chat@FreeBSD.ORG
Precedence: bulk
List-ID: <freebsd-chat.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20freebsd-chat>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20freebsd-chat>
X-Loop: FreeBSD.org

Thus spake Terry Lambert <tlambert2@mindspring.com>:
> David Schultz wrote:
> > Thus spake Terry Lambert <tlambert2@mindspring.com>:
> > > If it's not provable, then it's not true.  All things which are
> > > true are, at least eventually, provable.
> > 
> > ``This statement cannot be proved.''  You should read Gödel's
> > Incompleteness Theorem.  ;-)  (And yes, I took great pains to
> > get the umlaut correct this time.)
[...]
> We're not talking about correctness, here, we're talking about
> truth.  8-).

So was Gödel.  I'm not sure what you're trying to say---but can
you prove it?  If I discussed the correctness of such a proof,
wouldn't that automatically make it wrong?

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-chat" in the body of the message