Path: ...!news.misty.com!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: Who here is too stupid to know that DDD correctly simulated by
 HHH cannot possibly reach its own return instruction?
Date: Sun, 4 Aug 2024 14:54:27 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <a7d98f536ed0dfcab52215e73ff85556026f3f0a@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 4 Aug 2024 18:54:27 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1459494"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v8nums$1n09$6@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2285
Lines: 30

On 8/4/24 9:11 AM, olcott wrote:
> On 8/4/2024 1:26 AM, Fred. Zwarts wrote:
>> Op 03.aug.2024 om 17:20 schreef olcott:>>
>>> When you try to show how DDD simulated by HHH does
>>> reach its "return" instruction you must necessarily
>>> must fail unless you cheat by disagreeing with the
>>> semantics of C. That you fail to have a sufficient
>>> understanding of the semantics of C is less than no
>>> rebuttal what-so-ever.
>>
>> Fortunately that is not what I try, because I understand that HHH 
>> cannot possibly simulate itself correctly.
>>
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> In other words when HHH simulates itself simulating DDD it
> is supposed to do something other than simulating itself
> simulating DDD ???  Do you expect it to make a cup of coffee?
> 

No, but to be correct it need to complete that to the end.

Of course to do that you need to find some N that is greater than N+1, 
which is an impossible task.

Thus, HHH can not correctly emulate itself.