From owner-cse584-sp07-list@LISTSERV.BUFFALO.EDU Mon Mar 26 21:09:23 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 l2R19NO5009846 for ; Mon, 26 Mar 2007 21:09:23 -0400 (EDT) Received: from front3.acsu.buffalo.edu (coldfront.acsu.buffalo.edu [128.205.6.89]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id l2R19KEX060178 for ; Mon, 26 Mar 2007 21:09:20 -0400 (EDT) Received: (qmail 28265 invoked from network); 27 Mar 2007 01:09:20 -0000 Received: from mailscan8.acsu.buffalo.edu (128.205.7.55) by front3.acsu.buffalo.edu with SMTP; 27 Mar 2007 01:09:20 -0000 Received: (qmail 19156 invoked from network); 27 Mar 2007 01:09:20 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front1.acsu.buffalo.edu with SMTP; 27 Mar 2007 01:09:20 -0000 Received: (qmail 21818 invoked from network); 27 Mar 2007 01:09:15 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 27 Mar 2007 01:09:15 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 4123230 for CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU; Mon, 26 Mar 2007 21:09:15 -0400 Delivered-To: cse584-sp07-list@listserv.buffalo.edu Received: (qmail 98 invoked from network); 27 Mar 2007 01:09:14 -0000 Received: from mailscan4.acsu.buffalo.edu (128.205.6.136) by listserv.buffalo.edu with SMTP; 27 Mar 2007 01:09:14 -0000 Received: (qmail 1740 invoked from network); 27 Mar 2007 01:09:14 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp1.acsu.buffalo.edu with SMTP; 27 Mar 2007 01:09:14 -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 l2R19DOt009835 for ; Mon, 26 Mar 2007 21:09:14 -0400 (EDT) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id l2R19D6g009834 for cse584-sp07-list@listserv.buffalo.edu; Mon, 26 Mar 2007 21:09:13 -0400 (EDT) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200703270109.l2R19D6g009834@castor.cse.Buffalo.EDU> Date: Mon, 26 Mar 2007 21:09:13 -0400 Reply-To: "William J. Rapaport" Sender: "Philosophy of Computer Science, Spring 2007" From: "William J. Rapaport" Subject: POSITION PAPER 3 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 1336; 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/2937/Mon Mar 26 19:20:45 2007 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 1043 ------------------------------------------------------------------------ Subject: POSITION PAPER 3 ------------------------------------------------------------------------ A student writes: | Regarding premise 1 do I need to give reason for all the sub premises | (1a-1e) why i agree/disagree You only need to give a "global" reason for agreeing. If you disagree, it suffices to give a reason for any one of the parts of the definition. It would be useful to give reasons for those parts that you might discuss later. | Secondly, regarding premise 4,I do feel it is true but it violates | premise 1(Knuth defination for "algorithm") which i agree. So can | there be situation where I can agree with both even though premise 4 | violates premise 1. Nope! If you think they're inconsistent, then you have to disagree with at least one of them (logically speaking). So, if you feel premise 4 is true but "violates" premise 1, then you must think there's something wrong with premise 1 (else why would you think that 4 "violates" it?).