Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: HHH maps its input to the behavior specified by it --- never
 reaches its halt state
Date: Sat, 10 Aug 2024 10:07:32 +0200
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <v97744$gh2a$1@dont-email.me>
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> <v95rlb$7ps5$2@dont-email.me>
 <v95s8v$26nek$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 10:07:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="143c8b99553830e826ac2a08c0df4c26";
	logging-data="541770"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+r6Ca09NZAtOYd1kyZVbNQ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:pgWM9m17IbAm9nkw5OqG+60czi0=
In-Reply-To: <v95s8v$26nek$1@dont-email.me>
Content-Language: en-GB
Bytes: 2867

Op 09.aug.2024 om 21:56 schreef olcott:
> On 8/9/2024 2:45 PM, Fred. Zwarts wrote:
>> Op 09.aug.2024 om 19:02 schreef olcott:
>>> 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.
>>
>> Irrelevant.
>> We are not interested in the simulation of only a few instructions, 
>> but in the simulation of the whole halting program, to determine its 
>> halting behaviour.
>>
> 
> That is a pretty stupid requirement for non-halting inputs.

A stupid an irrelevant remark when we are talking about a HHH that 
aborts and halts. HHH is required to halt. Dreams of another HHH that 
does not halt are no substitute for facts.
If you have nothing to say, don't reply.

> You don't even know what halting is yet.

Another irrelevant and false remark.