Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 alpha 4/15/85; site kestrel.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!bellcore!decvax!decwrl!glacier!kestrel!ladkin
From: ladkin@kestrel.ARPA
Newsgroups: net.ai,net.philosophy
Subject: Re: A halting problem
Message-ID: <4238@kestrel.ARPA>
Date: Fri, 24-Jan-86 16:10:54 EST
Article-I.D.: kestrel.4238
Posted: Fri Jan 24 16:10:54 1986
Date-Received: Sun, 26-Jan-86 04:35:59 EST
References: <2175@aecom.UUCP> <14551@rochester.UUCP> <3978@kestrel.ARPA> <1060@mmintl.UUCP>
Distribution: net
Organization: Kestrel Institute, Palo Alto, CA
Lines: 9
Xref: watmath net.ai:3215 net.philosophy:3940

In article <1060@mmintl.UUCP>, franka@mmintl.UUCP (Frank Adams) writes:
> 
> Need I add that Church's thesis is quite controversial in some quarters?
> 

Can you give references?

Peter Ladkin
ladkin@kestrel