Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
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 08:58:07 -0500
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <v8ld1f$3f6vr$5@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kp6s$3c5h2$2@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 15:58:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6697133516c971b81fd53169bb6a94ea";
	logging-data="3644411"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18KDTwW4TkQncGwNN+l7lfr"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:cwB57G+tucKpvi6VpgG9NH/sQK4=
Content-Language: en-US
In-Reply-To: <v8kp6s$3c5h2$2@dont-email.me>
Bytes: 2059

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.


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer