Date: 21 May 1999 09:49:41 +0200 From: Dag-Erling Smorgrav <des@flood.ping.uio.no> To: W Gerald Hicks <wghicks@bellsouth.net> Cc: Chuck Robey <chuckr@picnic.mat.net>, freebsd-chat@FreeBSD.ORG Subject: Re: c9x (new ANSI C) Message-ID: <xzpiu9mrhey.fsf@localhost.ping.uio.no> In-Reply-To: W Gerald Hicks's message of "Thu, 20 May 1999 01:56:11 -0400" References: <199905200556.BAA54009@bellsouth.net>
next in thread | previous in thread | raw e-mail | index | archive | help
W Gerald Hicks <wghicks@bellsouth.net> writes: > [...] 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. You end with axioms. You start with axioms, and use proofs to derive theorems from them. Alternatively, you start with theorems and use backward proof construction to reduce them to axioms or previously proven lemmas or theorems. DES -- Dag-Erling Smorgrav - des@flood.ping.uio.no 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?xzpiu9mrhey.fsf>