From owner-cse584-sp07-list@LISTSERV.BUFFALO.EDU Thu Apr 12 11:49:41 2007 Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id l3CFnfI0019233 for ; Thu, 12 Apr 2007 11:49:41 -0400 (EDT) Received: from front2.acsu.buffalo.edu (upfront.acsu.buffalo.edu [128.205.4.140]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id l3CFnToN073865 for ; Thu, 12 Apr 2007 11:49:29 -0400 (EDT) Received: (qmail 8330 invoked from network); 12 Apr 2007 15:49:29 -0000 Received: from mailscan6.acsu.buffalo.edu (128.205.7.95) by front2.acsu.buffalo.edu with SMTP; 12 Apr 2007 15:49:29 -0000 Received: (qmail 20086 invoked from network); 12 Apr 2007 15:49:28 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front3.acsu.buffalo.edu with SMTP; 12 Apr 2007 15:49:28 -0000 Received: (qmail 29467 invoked from network); 12 Apr 2007 15:49:19 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 12 Apr 2007 15:49:19 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 4657209 for CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU; Thu, 12 Apr 2007 11:49:19 -0400 Delivered-To: cse584-sp07-list@listserv.buffalo.edu Received: (qmail 22514 invoked from network); 12 Apr 2007 15:49:19 -0000 Received: from mailscan8.acsu.buffalo.edu (128.205.7.55) by listserv.buffalo.edu with SMTP; 12 Apr 2007 15:49:19 -0000 Received: (qmail 9680 invoked from network); 12 Apr 2007 15:49:18 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp5.acsu.buffalo.edu with SMTP; 12 Apr 2007 15:49:18 -0000 Received: from castor.cse.Buffalo.EDU (rapaport@localhost [127.0.0.1]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id l3CFnIHl019183 for ; Thu, 12 Apr 2007 11:49:18 -0400 (EDT) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id l3CFnI4L019182 for cse584-sp07-list@listserv.buffalo.edu; Thu, 12 Apr 2007 11:49:18 -0400 (EDT) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200704121549.l3CFnI4L019182@castor.cse.Buffalo.EDU> Date: Thu, 12 Apr 2007 11:49:18 -0400 Reply-To: "William J. Rapaport" Sender: "Philosophy of Computer Science, Spring 2007" From: "William J. Rapaport" Subject: ON THE NATURE OF PROOFS To: CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: X-UB-Relay: (castor.cse.buffalo.edu) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1335; Body=0 Fuz1=0 Fuz2=0 X-Spam-Status: No, score=-2.0 required=5.0 tests=AWL,BAYES_00,SUBJ_ALL_CAPS autolearn=no version=3.1.7 X-Spam-Checker-Version: SpamAssassin 3.1.7 (2006-10-05) on ares.cse.buffalo.edu X-Virus-Scanned: ClamAV 0.88.6/3081/Thu Apr 12 09:59:01 2007 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 574 ------------------------------------------------------------------------- Subject: ON THE NATURE OF PROOFS ------------------------------------------------------------------------- Here's an interesting article that is relevant to Fetzer's paper on program verification and the nature of proofs (though it's about mathematical proofs, not proofs of program correctness): Stewart, Ian (2007), "The Future of Proof", Prospect (22 February). http://tinyurl.com/2ofkpu or locally at: http://www.cse.buffalo.edu/~rapaport/Papers/Papers.by.Others/stewart07-futureOfProof.html