From owner-freebsd-chat Fri May 21 0:49:48 1999 Delivered-To: freebsd-chat@freebsd.org Received: from flood.ping.uio.no (flood.ping.uio.no [129.240.78.31]) by hub.freebsd.org (Postfix) with ESMTP id 0D4F815938 for ; Fri, 21 May 1999 00:49:45 -0700 (PDT) (envelope-from des@flood.ping.uio.no) Received: (from des@localhost) by flood.ping.uio.no (8.9.3/8.9.1) id JAA78573; Fri, 21 May 1999 09:49:41 +0200 (CEST) (envelope-from des) To: W Gerald Hicks Cc: Chuck Robey , freebsd-chat@FreeBSD.ORG Subject: Re: c9x (new ANSI C) References: <199905200556.BAA54009@bellsouth.net> From: Dag-Erling Smorgrav Date: 21 May 1999 09:49:41 +0200 In-Reply-To: W Gerald Hicks's message of "Thu, 20 May 1999 01:56:11 -0400" Message-ID: Lines: 14 X-Mailer: Gnus v5.5/Emacs 19.34 Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org W Gerald Hicks 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