Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!hao!ames!ptsfa!ihnp4!chinet!nucsrl!coray
From: coray@nucsrl.UUCP (Elizabeth)
Newsgroups: comp.ai
Subject: Re: The success of AI (misunderstandings)
Message-ID: <3800013@nucsrl.UUCP>
Date: Fri, 23-Oct-87 17:23:31 EST
Article-I.D.: nucsrl.3800013
Posted: Fri Oct 23 17:23:31 1987
Date-Received: Mon, 26-Oct-87 03:43:30 EST
References: <213@PT.CS.CMU.EDU>
Organization: Northwestern U, Evanston IL, USA
Lines: 15

in reponse to:  spe@SPICE.CS.CMU.EDU (Sean Engelson) /  9:21 am  Oct 22, 1987 /

> This is reasonable because the human body is finite in extent, 
> and thus there is a finite amount of information to discover, 
> thus it can be discovered in finite (although possibly very large) time. 

I am planning on gracefully failing my qualifiers in just two weeks, and 
one of the questions I plan to fail will have to do with decidability. 
Because now I know that I will blithely point out that language is finite in
extent and thus there is only a finite amount of information which it
can convey, so why worry about unprovable true theorems?  We'll just
prove all the true ones (in possibly very large finite time?) and then
see if the theorem of interest is in this finite set.  

Grade -2.