Sujet : Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 20. May 2025, 15:37:40
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <100i43k$292ko$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
User-Agent : Mozilla Thunderbird
On 5/20/2025 2:06 AM, Mikko wrote:
On 2025-05-20 04:20:54 +0000, olcott said:
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then
>
Do you understand that we are only evaluating whether
or not HHH/DDD meets this above criteria?
I do understand that the meaning of the behaviour is not mentioned
in the creteria and is therefore irrelevant, an obvious consequence
of which is that your "WRONG!" above is false.
*H correctly simulates its input D until*
specifies that HHH must simulate DDD according
to the meaning of the rules of the x86 language.
The meaning of every step of the behavior is
precisely specified by the x86 language.
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
*H correctly simulates its input D*
00002172 00002173 00002175 0000217a
H correctly simulates itself simulating DDD
00002172 00002173 00002175 0000217a
*until H correctly determines that its simulated D*
*would never stop running unless aborted*
H sees DDD call the same function with the same
parameter and there are no conditional branch
instructions from the beginning of DDD to calling
HHH(DDD) again. This repeating pattern proves
non-termination.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer