From owner-freebsd-chat Sun Sep 1 2: 9: 2 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 AD35B37B400 for ; Sun, 1 Sep 2002 02:08:59 -0700 (PDT) Received: from scaup.mail.pas.earthlink.net (scaup.mail.pas.earthlink.net [207.217.120.49]) by mx1.FreeBSD.org (Postfix) with ESMTP id 561AC43E4A for ; Sun, 1 Sep 2002 02:08:59 -0700 (PDT) (envelope-from tlambert2@mindspring.com) Received: from pool0024.cvx40-bradley.dialup.earthlink.net ([216.244.42.24] helo=mindspring.com) by scaup.mail.pas.earthlink.net with esmtp (Exim 3.33 #1) id 17lQiv-0002WI-00; Sun, 01 Sep 2002 02:08:49 -0700 Message-ID: <3D71D8E6.71248CEB@mindspring.com> Date: Sun, 01 Sep 2002 02:07:50 -0700 From: Terry Lambert X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: David Schultz Cc: Dave Hayes , chat@FreeBSD.ORG Subject: Re: Why did evolution fail? References: <200208310608.g7V68h128080@hokkshideh2.jetcafe.org> <3D707754.1981EA36@mindspring.com> <20020831100938.GA262@HAL9000.homeunix.com> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org David Schultz wrote: > Thus spake Terry Lambert : > > 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=F6del's > Incompleteness Theorem. ;-) (And yes, I took great pains to > get the umlaut correct this time.) > = > Do *you* believe in the Axiom of Choice? Sure. We're not talking about correctness, here, we're talking about truth. 8-). I think it was Grog who pointed out the =F6/oe equivalency, last time... -- Terry To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message