From owner-cse584-sp07-list@LISTSERV.BUFFALO.EDU Tue Jan 30 11:44:12 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 l0UGiCYU006515 for ; Tue, 30 Jan 2007 11:44:12 -0500 (EST) 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 l0UGi9wA078591 for ; Tue, 30 Jan 2007 11:44:09 -0500 (EST) Received: (qmail 26297 invoked from network); 30 Jan 2007 16:44:09 -0000 Received: from mailscan7.acsu.buffalo.edu (128.205.6.158) by front2.acsu.buffalo.edu with SMTP; 30 Jan 2007 16:44:09 -0000 Received: (qmail 590 invoked from network); 30 Jan 2007 16:44:09 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front3.acsu.buffalo.edu with SMTP; 30 Jan 2007 16:44:09 -0000 Received: (qmail 8679 invoked from network); 30 Jan 2007 16:43:51 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 30 Jan 2007 16:43:51 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 2996832 for CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU; Tue, 30 Jan 2007 11:43:51 -0500 Delivered-To: cse584-sp07-list@listserv.buffalo.edu Received: (qmail 21968 invoked from network); 30 Jan 2007 16:43:51 -0000 Received: from mailscan1.acsu.buffalo.edu (128.205.6.133) by listserv.buffalo.edu with SMTP; 30 Jan 2007 16:43:51 -0000 Received: (qmail 417 invoked from network); 30 Jan 2007 16:43:49 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp4.acsu.buffalo.edu with SMTP; 30 Jan 2007 16:43:49 -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 l0UGhm9u006465 for ; Tue, 30 Jan 2007 11:43:48 -0500 (EST) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id l0UGhmMF006464 for cse584-sp07-list@listserv.buffalo.edu; Tue, 30 Jan 2007 11:43:48 -0500 (EST) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200701301643.l0UGhmMF006464@castor.cse.Buffalo.EDU> Date: Tue, 30 Jan 2007 11:43:48 -0500 Reply-To: "William J. Rapaport" Sender: "Philosophy of Computer Science, Spring 2007" From: "William J. Rapaport" Subject: LEON HENKIN 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/2505/Tue Jan 30 05:40:21 2007 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 933 ------------------------------------------------------------------------ Subject: LEON HENKIN ------------------------------------------------------------------------ I sent you an obituary of Leon Henkin. You might well ask why :-) He was a famous and influential logician, famed in logic for his proof of the completeness of first-order logic. More to the point, he wrote an interesting article on the relation of logic to the history and development of computers that we will be reading in the near future. I don't know if the version I posted to the listserv was readable. So there are two more versions available, one in RTF format that you can download and probably open in Word or TextEdit or similar programs, and another in "webarchive" format that you can download and open with a browser. (I hope.) /web/faculty/rapaport/584/S07/henkin-obit.rtfd http://www.cse.buffalo.edu/~rapaport/584/S07/henkin-obit.webarchive From owner-cse584-sp07-list@LISTSERV.BUFFALO.EDU Tue Jan 30 12:10: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 l0UHAf6t007643 for ; Tue, 30 Jan 2007 12:10:41 -0500 (EST) Received: from front3.acsu.buffalo.edu (warmfront.acsu.buffalo.edu [128.205.6.88]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id l0UHAYiv080327 for ; Tue, 30 Jan 2007 12:10:34 -0500 (EST) Received: (qmail 24053 invoked from network); 30 Jan 2007 17:10:34 -0000 Received: from mailscan3.acsu.buffalo.edu (128.205.6.135) by front3.acsu.buffalo.edu with SMTP; 30 Jan 2007 17:10:34 -0000 Received: (qmail 15371 invoked from network); 30 Jan 2007 17:10:33 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front2.acsu.buffalo.edu with SMTP; 30 Jan 2007 17:10:33 -0000 Received: (qmail 12101 invoked from network); 30 Jan 2007 17:10:24 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 30 Jan 2007 17:10:24 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 2997268 for CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU; Tue, 30 Jan 2007 12:10:24 -0500 Delivered-To: CSE584-SP07-LIST@listserv.buffalo.edu Received: (qmail 1061 invoked from network); 30 Jan 2007 17:00:24 -0000 Received: from mailscan7.acsu.buffalo.edu (128.205.6.158) by listserv.buffalo.edu with SMTP; 30 Jan 2007 17:00:24 -0000 Received: (qmail 4292 invoked from network); 30 Jan 2007 17:00:23 -0000 Received: from nz-out-0506.google.com (64.233.162.231) by smtp4.acsu.buffalo.edu with SMTP; 30 Jan 2007 17:00:23 -0000 Received: by nz-out-0506.google.com with SMTP id z31so1015526nzd for ; Tue, 30 Jan 2007 09:00:23 -0800 (PST) Received: by 10.115.89.1 with SMTP id r1mr60102wal.1170176423046; Tue, 30 Jan 2007 09:00:23 -0800 (PST) Received: by 10.114.95.3 with HTTP; Tue, 30 Jan 2007 09:00:22 -0800 (PST) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Google-Sender-Auth: 6329ec15f9e6cbf2 X-UB-Relay: (nz-out-0506.google.com) X-PM-Spam-Prob: : 7% Message-ID: Date: Tue, 30 Jan 2007 12:00:22 -0500 Reply-To: Mike Prentice Sender: "Philosophy of Computer Science, Spring 2007" From: Mike Prentice Subject: Webarchive To: CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: X-UB-Relay: (nz-out-0506.google.com) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1029; Body=0 Fuz1=0 Fuz2=0 X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00 autolearn=unavailable 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/2505/Tue Jan 30 05:40:21 2007 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 1279 You can open a webarchive file on Windows using 7zip. I think there's an MS Word converter as well. http://www.7-zip.org/ http://www.microsoft.com/downloads/details.aspx?FamilyID=A275CA6B-95F1-4FE0-BAE4-56E0A61BF936&displaylang=EN -- Mike On 1/30/07, William J. Rapaport wrote: > ------------------------------------------------------------------------ > Subject: LEON HENKIN > ------------------------------------------------------------------------ > > I sent you an obituary of Leon Henkin. You might well ask why :-) > > He was a famous and influential logician, famed in logic for his proof > of the completeness of first-order logic. More to the point, he wrote > an interesting article on the relation of logic to the history and > development of computers that we will be reading in the near future. > > I don't know if the version I posted to the listserv was readable. > So there are two more versions available, one in RTF format that you can > download and probably open in Word or TextEdit or similar programs, and > another in "webarchive" format that you can download and open with a > browser. (I hope.) > > /web/faculty/rapaport/584/S07/henkin-obit.rtfd > > http://www.cse.buffalo.edu/~rapaport/584/S07/henkin-obit.webarchive >