Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 05 Aug 2024 15:00:12 +0000
Date: Mon, 5 Aug 2024 10:00:12 -0500
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: Who here is too stupid to know that DDD correctly simulated by
 HHH cannot possibly reach its own return instruction?
Newsgroups: comp.theory
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> <v8pvsv$iius$1@dont-email.me>
Content-Language: en-US
From: olcott <NoOne@NoWhere.com>
In-Reply-To: <v8pvsv$iius$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <c-WdnSrh_5ZhdS37nZ2dnZfqlJydnZ2d@giganews.com>
Lines: 49
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-t4foA4FsYlPFgVwttHDVGM6GD2D2/EopBG5yQRiyHsHGD5/qSQZmGXQp2U7EdvlOx/L7oPdENVv72Tc!7/VkOkUGBzK/uTGMIckYlRiPEp1DHA6y0vtMnzYfrFgKB7n4kER5309o9XTVRojrtW6PfnafNg==
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 3216

On 8/5/2024 2:44 AM, Mikko wrote:
> On 2024-08-04 13:11:56 +0000, olcott said:
> 
>> 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?
> 
> In another message you have said that when HHH simulates itself
> simulating DDD is does not simulate itself simulating itself
> simulating DDD. You have not told whether it makes a cup of coffee.
> Neither action can be seen in the traces you have shown.
> 

HHH and HH and the original H have proved that they simulate
themselves simulating DDD, DD and P for three years now.

They did this by deriving the correct execution trace that
simulating themselves simulating their input would derive.

Maybe all of my reviewers have been saying that I am wrong
about this on the basis of pure bluster in that they are
totally confused by assembly language and don't have the
slightest clue what it means.

-- 
Copyright 2024 Olcott

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