Path: ...!npeer.as286.net!npeer-ng0.as286.net!weretis.net!feeder8.news.weretis.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: Who here is too stupid to know that DDD correctly simulated by
 HHH cannot possibly reach its own return instruction?
Date: Sat, 3 Aug 2024 16:08:30 +0200
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <v8ldl0$3ennf$1@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kp6s$3c5h2$2@dont-email.me>
 <v8ld1f$3f6vr$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 03 Aug 2024 16:08:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c008484573dc3f0f1f8d22b16f79247c";
	logging-data="3628783"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX183dYlPQdBFdzUytpQroxDh"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:F2QxML1gJRk6B0uJMorgKrLcet0=
In-Reply-To: <v8ld1f$3f6vr$5@dont-email.me>
Content-Language: en-GB
Bytes: 2516

Op 03.aug.2024 om 15:58 schreef olcott:
> On 8/3/2024 3:19 AM, Mikko wrote:
>> On 2024-08-02 20:57:26 +0000, olcott said:
>>
>>> Who here is too stupid to know that DDD correctly simulated
>>> by HHH cannot possibly reach its own return instruction?
>>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>
>> Everyone here understands that that depends on whther HHH returns.
>>
> 
> Fred's understanding is worse than that.
> Some have deeper understanding than that.
> 
> *Ben has the best understanding of all*
> 
> On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
>  > I don't think that is the shell game.  PO really /has/ an H
>  > (it's trivial to do for this one case) that correctly determines
>  > that P(P) *would* never stop running *unless* aborted.
> ...
>  > But H determines (correctly) that D would not halt if it
>  > were not halted.  That much is a truism.
> 

we are talking about H that aborts and halts.
Dreaming of a HHH that does not halt if it were no halted may be 
relaxing, but it is completely irrelevant.
Olcott still does not understand that such dreams have no effect on the 
coded HHH that is programmed to abort and halt.
When it halts it halts, but that is already too difficult for olcott.
He keeps dreaming of HHH that does not halt.