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: <4202@kestrel.ARPA>
Date: Thu, 23-Jan-86 15:29:57 EST
Article-I.D.: kestrel.4202
Posted: Thu Jan 23 15:29:57 1986
Date-Received: Sat, 25-Jan-86 03:55:05 EST
References: <2175@aecom.UUCP> <14551@rochester.UUCP> <3978@kestrel.ARPA> <639@harvard.UUCP>
Distribution: net
Organization: Kestrel Institute, Palo Alto, CA
Lines: 21
Xref: watmath net.ai:3213 net.philosophy:3920

In article <639@harvard.UUCP>, macrakis@harvard.UUCP (Stavros Macrakis) writes:
> Could we please get the discussion about the Halting Problem off
> net.ai?  

I find the contributions illuminating, and I hope the discussion
continues for a long time. 
Most of the questions asked by contributors have not yet been
completely answered, and new answers suggest new questions.
Please keep it going. 

Additionally - disparaging remarks such as

> It ought perhaps to go to
>
> 	net.philosophy.naive.computer-science
> 

are intended to be insulting, and thus have no place in
a serious intellectual discussion. Naivety has many forms.

Peter Ladkin