Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!bellcore!decvax!genrad!panda!talcott!harvard!seismo!utah-cs!utah-gr!pwa-b!mmintl!franka
From: franka@mmintl.UUCP (Frank Adams)
Newsgroups: net.ai
Subject: Re: A halting problem
Message-ID: <1106@mmintl.UUCP>
Date: Wed, 29-Jan-86 12:11:01 EST
Article-I.D.: mmintl.1106
Posted: Wed Jan 29 12:11:01 1986
Date-Received: Mon, 3-Feb-86 04:49:57 EST
References: <2175@aecom.UUCP> <14551@rochester.UUCP> <3978@kestrel.ARPA> <1060@mmintl.UUCP> <4238@kestrel.ARPA>
Reply-To: franka@mmintl.UUCP (Frank Adams)
Distribution: net
Organization: Multimate International, E. Hartford, CT
Lines: 17


[This is the line after the one eaten by the line-eater bug]

In article <4238@kestrel.ARPA> ladkin@kestrel.ARPA writes:
>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?

This is doubtless not what you are looking for, but consider the recent
poster who claims that the human mind can solve the halting problem,
given enough time.

It is my impression that there are philosophers who object to Church's
thesis, as well, but I can't cite any references.

Frank Adams                           ihpn4!philabs!pwa-b!mmintl!franka
Multimate International    52 Oakland Ave North    E. Hartford, CT 06108