Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site bbncca.ARPA
Path: utzoo!linus!decvax!bbncca!jsol
From: jsol@bbncca.ARPA (Jon Solomon)
Newsgroups: net.ai
Subject: Re: Halting Problem Discussion
Message-ID: <365@bbncca.ARPA>
Date: Thu, 1-Dec-83 20:37:31 EST
Article-I.D.: bbncca.365
Posted: Thu Dec  1 20:37:31 1983
Date-Received: Fri, 2-Dec-83 08:16:39 EST
References: <13222@sri-arpa.UUCP> <195@pyuxss.UUCP>
Organization: Bolt, Beranek and Newman, Cambridge, Ma.
Lines: 15

Can a method be formulated for deciding whether or not your are on the right
track? Yes. It's call interaction. Ask someone you feel you can trust about
whether or not you are getting anywhere, and to offer any advice to help you
get where you want to go.

Students do it all the time, they come to their teachers and ask them to
help them. Looping programs could decide that they have looped for as long
as they care to and reality check them. An algorithm to do this is available
if anyone wants it (read that to mean I will produce one).
-- 
[--JSol--]

JSol@Usc-Eclc/JSol@Bbncca (Arpa)
JSol@Usc-Eclb/JSol@Bnl (Milnet)
{decvax, wjh12, linus}!bbncca!jsol