Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: HHH maps its input to the behavior specified by it --- partial
 simulation never reaches its halt state, but the program does.
Date: Fri, 9 Aug 2024 22:57:30 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <69f5a47bf03695a1d24a44c807a8ae6234b8cf78@i2pn2.org>
References: <v8jh7m$30k55$1@dont-email.me> <v8kp6s$3c5h2$2@dont-email.me>
 <v8ld1f$3f6vr$5@dont-email.me> <v8ldl0$3ennf$1@dont-email.me>
 <v8lfb9$3g2jl$1@dont-email.me> <v8lgsr$3gadt$2@dont-email.me>
 <v8lhrr$3gkbk$1@dont-email.me> <v8n6un$3tv08$1@dont-email.me>
 <v8nums$1n09$6@dont-email.me> <v8vah7$29sva$1@dont-email.me>
 <v8vr7e$32fso$2@dont-email.me> <v91vc4$3qp1r$2@dont-email.me>
 <v92ge1$p1$2@dont-email.me> <v933m4$5kjd$1@dont-email.me>
 <v933u7$5r7u$4@dont-email.me> <v934sq$5kjd$2@dont-email.me>
 <v935mp$68mi$1@dont-email.me> <v94e12$jt3i$2@dont-email.me>
 <v95b65$p5rb$3@dont-email.me> <v95ddl$p7lr$1@dont-email.me>
 <v95i28$qh9g$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 10 Aug 2024 02:57:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2032647"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v95i28$qh9g$1@dont-email.me>
Content-Language: en-US
Bytes: 2763
Lines: 35

On 8/9/24 1:02 PM, olcott wrote:
> On 8/9/2024 10:42 AM, Fred. Zwarts wrote:
>> Op 09.aug.2024 om 17:04 schreef olcott:
>  >>>> void Infinite_Loop()
>>> {
>>>    HERE: goto HERE;
>>> }
>>>
>>> The correct simulation of the above never halts.
>>
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> A correct simulation of N instructions of DDD <is>
> A correct simulation of N instructions of DDD.
> You are trying to get away with denying a truism.
> 

But not a correct simulation of ALL the instruction of DDD, so doesn't 
indicate if it halts.

I guess you think if you drive one mile on a highway, and then get off 
because you think the road will never stop, that proves that the road 
will never stop.

Sorry, it doesn't work that way, The only simulation that shows, by 
itself, that an input to be non-halting, is a simulation that runs forever.

Remember, EVERY DDD that calls a different HHH is a different input and 
has a different correct simulation, and all of the ones that use a HHH 
that aborts and returns will halt themselves even though HHH's 
simulation didn't reach there.