Date: Sun, 01 Sep 2002 02:07:50 -0700 From: Terry Lambert <tlambert2@mindspring.com> To: David Schultz <dschultz@uclink.Berkeley.EDU> Cc: Dave Hayes <dave@jetcafe.org>, chat@FreeBSD.ORG Subject: Re: Why did evolution fail? Message-ID: <3D71D8E6.71248CEB@mindspring.com> References: <200208310608.g7V68h128080@hokkshideh2.jetcafe.org> <3D707754.1981EA36@mindspring.com> <20020831100938.GA262@HAL9000.homeunix.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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=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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3D71D8E6.71248CEB>