From owner-freebsd-chat Wed May 19 23:17:33 1999 Delivered-To: freebsd-chat@freebsd.org Received: from shell.webmaster.com (mail.webmaster.com [209.133.28.73]) by hub.freebsd.org (Postfix) with ESMTP id 30D7114EBB for ; Wed, 19 May 1999 23:17:29 -0700 (PDT) (envelope-from davids@webmaster.com) Received: from whenever ([209.133.29.2]) by shell.webmaster.com (Post.Office MTA v3.5.3 release 223 ID# 0-12345L500S10000V35) with SMTP id com; Wed, 19 May 1999 23:17:26 -0700 From: "David Schwartz" To: "W Gerald Hicks" , "Chuck Robey" Cc: Subject: RE: c9x (new ANSI C) Date: Wed, 19 May 1999 23:17:26 -0700 Message-ID: <000001bea288$6e58fc10$021d85d1@whenever.youwant.to> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook 8.5, Build 4.71.2377.0 In-Reply-To: <199905200556.BAA54009@bellsouth.net> Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3155.0 Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org >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