Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site pyuxss.UUCP
Path: utzoo!linus!security!genrad!decvax!harpo!eagle!mhuxl!mhuxm!pyuxi!pyuxss!aaw
From: aaw@pyuxss.UUCP
Newsgroups: net.ai
Subject: Re: Halting Problem Discussion
Message-ID: <195@pyuxss.UUCP>
Date: Thu, 3-Nov-83 16:03:22 EST
Article-I.D.: pyuxss.195
Posted: Thu Nov  3 16:03:22 1983
Date-Received: Sun, 6-Nov-83 18:44:19 EST
References: <13222@sri-arpa.UUCP>
Organization: Bell Labs, Piscataway
Lines: 9

A point missing in this discussion is that the halting problem is
equivalent to the question:
	Can a method be formulated to attempt to solve ANY problem
	which can determine if it is not getting closer to the 
	solution
so the meta-halters (not the clothing) can't be more than disguised
time limits etc. for the general problem, since they CAN NOT MAKE
INFERENCES ABOUT THE PROCESS they are to halt
		Aaron Werman pyuxi!pyuxss!aaw