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,net.philosophy
Subject: Re: A halting problem: a meaty response
Message-ID: <1070@mmintl.UUCP>
Date: Thu, 23-Jan-86 13:36:41 EST
Article-I.D.: mmintl.1070
Posted: Thu Jan 23 13:36:41 1986
Date-Received: Thu, 30-Jan-86 04:38:26 EST
References: <2175@aecom.UUCP> <14551@rochester.UUCP> <3978@kestrel.ARPA> <11452@ucbvax.BERKELEY.EDU>
Reply-To: franka@mmintl.UUCP (Frank Adams)
Distribution: net
Organization: Multimate International, E. Hartford, CT
Lines: 17
Xref: watmath net.ai:3231 net.philosophy:3975

In article <11452@ucbvax.BERKELEY.EDU> weemba@brahms.UUCP (Matthew P. Wiener) writes:
>>                                             Sure there are hard
>>problems, but cleverer people pop up over the centuries and solve some
>>of the outstanding problems, but then the remaining problems are
>>harder, etc.
>
>That etc. is the topic of this response.
>
>There are problems now known which are believed forever insoluble.

Just a note here -- this discussion gives examples of problems which are
*believed* forever insoluble.  This is not the same as being *known* to
be insoluble.  There does not seem to be any way to know that a problem
is definitely insoluble (as distinct from undecidable in a formal system).

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