From owner-freebsd-chat Sat Aug 31 3: 8:53 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 B85A137B400 for ; Sat, 31 Aug 2002 03:08:49 -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 E15B543E4A for ; Sat, 31 Aug 2002 03:08:48 -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 g7VA9dfe000649; Sat, 31 Aug 2002 03:09:39 -0700 (PDT) (envelope-from dschultz@uclink.Berkeley.EDU) Received: (from das@localhost) by HAL9000.homeunix.com (8.12.5/8.12.5/Submit) id g7VA9chN000648; Sat, 31 Aug 2002 03:09:38 -0700 (PDT) (envelope-from dschultz@uclink.Berkeley.EDU) Date: Sat, 31 Aug 2002 03:09:38 -0700 From: David Schultz To: Terry Lambert Cc: Dave Hayes , chat@FreeBSD.ORG Subject: Re: Why did evolution fail? Message-ID: <20020831100938.GA262@HAL9000.homeunix.com> Mail-Followup-To: Terry Lambert , Dave Hayes , chat@FreeBSD.ORG References: <200208310608.g7V68h128080@hokkshideh2.jetcafe.org> <3D707754.1981EA36@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: <3D707754.1981EA36@mindspring.com> 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 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ödel's Incompleteness Theorem. ;-) (And yes, I took great pains to get the umlaut correct this time.) Do *you* believe in the Axiom of Choice? To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message