From owner-cse584-sp07-list@LISTSERV.BUFFALO.EDU Tue Apr 3 20:26:15 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 l340QELu029083 for ; Tue, 3 Apr 2007 20:26:15 -0400 (EDT) Received: from front1.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 l340QDUe094310 for ; Tue, 3 Apr 2007 20:26:13 -0400 (EDT) Received: (qmail 3299 invoked from network); 4 Apr 2007 00:26:12 -0000 Received: from mailscan7.acsu.buffalo.edu (128.205.6.158) by front1.acsu.buffalo.edu with SMTP; 4 Apr 2007 00:26:12 -0000 Received: (qmail 3275 invoked from network); 4 Apr 2007 00:26:12 -0000 Received: from defer.acsu.buffalo.edu (128.205.7.58) by front1.acsu.buffalo.edu with SMTP; 4 Apr 2007 00:26:12 -0000 Received: (qmail 19393 invoked from network); 4 Apr 2007 00:25:57 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by defer.acsu.buffalo.edu with SMTP; 4 Apr 2007 00:25:57 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 4356440 for CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU; Tue, 3 Apr 2007 20:25:57 -0400 Delivered-To: cse584-sp07-list@listserv.buffalo.edu Received: (qmail 28866 invoked from network); 4 Apr 2007 00:25:45 -0000 Received: from mailscan6.acsu.buffalo.edu (128.205.7.95) by listserv.buffalo.edu with SMTP; 4 Apr 2007 00:25:45 -0000 Received: (qmail 28129 invoked from network); 4 Apr 2007 00:25:39 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp4.acsu.buffalo.edu with SMTP; 4 Apr 2007 00:25:39 -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 l340PcEZ029040 for ; Tue, 3 Apr 2007 20:25:38 -0400 (EDT) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id l340Pcta029039 for cse584-sp07-list@listserv.buffalo.edu; Tue, 3 Apr 2007 20:25:38 -0400 (EDT) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200704040025.l340Pcta029039@castor.cse.Buffalo.EDU> Date: Tue, 3 Apr 2007 20:25:38 -0400 Reply-To: "William J. Rapaport" Sender: "Philosophy of Computer Science, Spring 2007" From: "William J. Rapaport" Subject: PROGRAM VERIFICATION 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 1029; 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/3008/Tue Apr 3 18:32:35 2007 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 1323 ------------------------------------------------------------------------ Subject: PROGRAM VERIFICATION ------------------------------------------------------------------------ Without giving you more required reading, I want to "promote" one of the *merely* "recommended" readings to at least "highly recommended" if not "strongly recommended" (i.e., "highly" is somewhere between "strongly" and "mere" :-), namely, Barwise 1989: http://www.cse.buffalo.edu/~rapaport/584/S07/canprogsbeverified.html#barwise89 Here's why: Besides being an admirably clear and calm summary of the Fetzer debate (which we'll be looking at starting Wednesday), it discusses: * the relation between algorithms and programs * the possibility of finding fault with an argument yet believing its conclusion (shades of our position papers) * the nature of "philosophy of X" (remember my first lecture on the nature of philosophy?) * the difference between the truth of a premise and agreeing with it (more shades of our position papers) * the relation of math to the world * the nature of models, and the difference between models and the "real thing" * Smith's article on "Limits of Correctness" In other words, it's almost a very nice summary of a large section of the course!