Path: ...!weretis.net!feeder8.news.weretis.net!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: Two dozen people were simply wrong --- Try to prove otherwise ---
 pinned down
Date: Sun, 2 Jun 2024 09:08:49 -0500
Organization: A noiseless patient Spider
Lines: 72
Message-ID: <v3hudh$3bkv5$9@dont-email.me>
References: <v3501h$lpnh$1@dont-email.me> <v38gi5$1bndb$3@dont-email.me>
 <v38ici$2fohv$2@i2pn2.org> <v38j17$1c8ir$2@dont-email.me>
 <v38jgo$2foi0$14@i2pn2.org> <v38jv9$1c8ir$4@dont-email.me>
 <v39agi$1jiql$1@dont-email.me> <v39v3h$1mtd9$5@dont-email.me>
 <v3b9kj$2im02$1@i2pn2.org> <v3bale$222n5$1@dont-email.me>
 <v3bbs2$2im01$1@i2pn2.org> <v3bcre$22a8n$1@dont-email.me>
 <v3bduk$2im01$2@i2pn2.org> <v3bedb$22f8h$1@dont-email.me>
 <v3bfbm$2im01$3@i2pn2.org> <v3bg39$22o6m$1@dont-email.me>
 <v3cbhu$2k3ld$1@i2pn2.org> <v3clo2$28p7n$1@dont-email.me>
 <v3dft1$2lfup$1@i2pn2.org> <v3dhob$2dio8$1@dont-email.me>
 <v3dk0d$2lfup$2@i2pn2.org> <v3dkf2$2e2po$1@dont-email.me>
 <v3dmnc$2lfup$3@i2pn2.org> <v3do66$2ejq2$1@dont-email.me>
 <v3dqka$2lfup$4@i2pn2.org> <v3dsev$2f6ul$1@dont-email.me>
 <v3dtt4$2lfup$5@i2pn2.org> <v3dvr3$2jgjd$1@dont-email.me>
 <v3e0rj$2lfup$6@i2pn2.org> <v3e1m6$2jmc2$1@dont-email.me>
 <v3f09p$2n53o$1@i2pn2.org> <v3feqn$2rdp3$1@dont-email.me>
 <v3hah6$39d3v$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 02 Jun 2024 16:08:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3e1a2626012d6c432c11247ed1bf0353";
	logging-data="3527653"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/HTOa/74GFovcVVI2oKutX"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:SeBXNdrYxNBUnc2JpL/GzT7bWak=
In-Reply-To: <v3hah6$39d3v$1@dont-email.me>
Content-Language: en-US
Bytes: 4263

On 6/2/2024 3:29 AM, Mikko wrote:
> On 2024-06-01 15:30:30 +0000, olcott said:
> 
>> On 6/1/2024 6:22 AM, Richard Damon wrote:
>   ...
>> *I will not discuss any other points with you until after you either*
> 
> That is a good idea!
> 
>> (a) Acknowledge that DD correctly simulated by HH and ⟨Ĥ⟩ ⟨Ĥ⟩ correctly
>>      simulated by embedded_H remain stuck in recursive simulation for
>>      1 to ∞ of correct simulation or
>>
>> (b) Correctly prove otherwise.
> 

Richard continually uses the CHANGE-THE-SUBJECT Straw-man deception
fake rebuttal to make sure there is NEVER ANY closure on any points.
He has been consistently doing this on every point for the last
three years.

Everyone here has been doing the exact same thing on the
point of the behavior of DD correctly simulated by HH.

typedef int (*ptr)();  // ptr is pointer to int function in C
00       int HH(ptr p, ptr i);
01       int DD(ptr p)
02       {
03         int Halt_Status = HH(p, p);
04         if (Halt_Status)
05           HERE: goto HERE;
06         return Halt_Status;
07       }
08
09       int main()
10       {
11         HH(DD,DD);
12         return 0;
13       }


DD correctly emulated by HH with an x86 emulator cannot possibly
reach past its own machine instruction [00001c2e] in any finite
(or infinite) number of steps of correct emulation.

_DD()
[00001c22] 55         push ebp
[00001c23] 8bec       mov ebp,esp
[00001c25] 51         push ecx
[00001c26] 8b4508     mov eax,[ebp+08]
[00001c29] 50         push eax        ; push DD 1c22
[00001c2a] 8b4d08     mov ecx,[ebp+08]
[00001c2d] 51         push ecx        ; push DD 1c22
[00001c2e] e80ff7ffff call 00001342   ; call HH
[00001c33] 83c408     add esp,+08
[00001c36] 8945fc     mov [ebp-04],eax
[00001c39] 837dfc00   cmp dword [ebp-04],+00
[00001c3d] 7402       jz 00001c41
[00001c3f] ebfe       jmp 00001c3f
[00001c41] 8b45fc     mov eax,[ebp-04]
[00001c44] 8be5       mov esp,ebp
[00001c46] 5d         pop ebp
[00001c47] c3         ret
Size in bytes:(0038) [00001c47]




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