Sujet : Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down --- canonical
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 01. Jun 2024, 17:18:35
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3fhkr$2rsbs$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Mozilla Thunderbird
On 6/1/2024 11:08 AM, Richard Damon wrote:
On 6/1/24 11:58 AM, olcott wrote:
On 6/1/2024 10:46 AM, Richard Damon wrote:
On 6/1/24 10:00 AM, olcott wrote: >> DD correctly simulated by HH remains stuck in recursive simulation
all the time it is simulated even when an infinite number of steps
are simulated.
>
So, are you admitting that HH just gets stuck and doesn't answer when asked HH(DD,DD)?
>
>
Every DD correctly simulated by any HH remains stuck in recursive simulation for 1 to ∞ steps of correct simulation.
So? Since you definition of "Correct Simulation" is non-canonical, that doesn't mean anything.
*When the "canonical" definition tries to get away with refuting this*
DD correctly emulated by HH with an x86 emulator cannot possibly
reach past its own machine instruction [00001c2e] in any finite
number of steps of correct emulation.
*Then the "canonical" definition is empirically proven to be incorrect*
_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; Geniushits a target no one else can see." Arthur Schopenhauer