Date: Wed, 19 May 1999 23:17:26 -0700 From: "David Schwartz" <davids@webmaster.com> To: "W Gerald Hicks" <wghicks@bellsouth.net>, "Chuck Robey" <chuckr@picnic.mat.net> Cc: <freebsd-chat@freebsd.org> Subject: RE: c9x (new ANSI C) Message-ID: <000001bea288$6e58fc10$021d85d1@whenever.youwant.to> In-Reply-To: <199905200556.BAA54009@bellsouth.net>
next in thread | previous in thread | raw e-mail | index | archive | help
>It is as if mathematicians >would start with axioms. You do not start with axioms - you start with proofs. >Only when you have found a bunch of related proofs, can you come up with >axioms. I thought that a 'proof' was a means of deriving new knowledge from past knowledge. With no past knowledge (axioms), how do you have any proofs? DS 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?000001bea288$6e58fc10$021d85d1>