From owner-freebsd-chat Sun Sep 1 8: 4:28 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 0F36637B400 for ; Sun, 1 Sep 2002 08:04:26 -0700 (PDT) Received: from hokkshideh2.jetcafe.org (hokkshideh2.jetcafe.org [64.239.180.8]) by mx1.FreeBSD.org (Postfix) with ESMTP id 8718343E6A for ; Sun, 1 Sep 2002 08:04:25 -0700 (PDT) (envelope-from dave@jetcafe.org) Received: from hokkshideh2.jetcafe.org (localhost [127.0.0.1]) by hokkshideh2.jetcafe.org (8.11.6/8.11.6) with ESMTP id g81F2H142697; Sun, 1 Sep 2002 08:02:17 -0700 (PDT) (envelope-from dave@hokkshideh2.jetcafe.org) Message-Id: <200209011502.g81F2H142697@hokkshideh2.jetcafe.org> X-Mailer: exmh version 2.5 07/13/2001 with nmh-1.0.4 To: Giorgos Keramidas Cc: David Schultz , Terry Lambert , chat@FreeBSD.ORG Subject: Re: Proofs, correctness, and other boring stuff (was: Why did evolution fail?) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Sun, 01 Sep 2002 08:02:12 -0700 From: Dave Hayes 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 Giorgos Keramidas writes: > A correct proof, whose correctness is under > discussion and doubted, can still be proven correct. Not by its very > self, mind you, but by a meta-proof [repeat forever]. Holding up two mirrors accomplishes the same thing. ;) ------ Dave Hayes - Consultant - Altadena CA, USA - dave@jetcafe.org >>> The opinions expressed above are entirely my own <<< A well developed sense of the dramatic has values beyond what people usually imagine. One of these is to realize the limitations of a sense of the dramatic. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message