Date: Sun, 01 Sep 2002 08:02:12 -0700 From: Dave Hayes <dave@jetcafe.org> To: Giorgos Keramidas <keramida@ceid.upatras.gr> Cc: David Schultz <dschultz@uclink.berkeley.edu>, Terry Lambert <tlambert2@mindspring.com>, chat@FreeBSD.ORG Subject: Re: Proofs, correctness, and other boring stuff (was: Why did evolution fail?) Message-ID: <200209011502.g81F2H142697@hokkshideh2.jetcafe.org>
next in thread | raw e-mail | index | archive | help
Giorgos Keramidas <keramida@ceid.upatras.gr> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200209011502.g81F2H142697>