Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Mike Terry Proves --- How the requirements that Professor Sipser
 agreed to are exactly met
Date: Tue, 20 May 2025 13:49:05 -0500
Organization: A noiseless patient Spider
Lines: 56
Message-ID: <100iir2$2chbn$1@dont-email.me>
References: <1005jsk$3akrk$1@dont-email.me>
 <bc6f0f045212bdfb7f7d883426873a09e37789ea@i2pn2.org>
 <1005u6v$3cpt2$1@dont-email.me> <1006oi9$3l93f$1@dont-email.me>
 <1007kan$3qb7l$8@dont-email.me> <1009n2d$b9ol$1@dont-email.me>
 <100ag73$g1r8$1@dont-email.me> <100c83u$tspg$1@dont-email.me>
 <100ctuc$121rs$1@dont-email.me> <100d5b7$13m1e$1@dont-email.me>
 <221167c1bbedbbda1934b12f6b2c72de2c3a1f78@i2pn2.org>
 <100dckr$1586e$1@dont-email.me>
 <c5c825970bebea6bd8bfde7077f7ffc5ba0c30f5@i2pn2.org>
 <100dedr$15dil$3@dont-email.me>
 <771e0f3f36c9914146f675bc9e2c1c0e7903c116@i2pn2.org>
 <100dfc8$15qbo$1@dont-email.me>
 <35c9fb020e868823c3e46c006d9ac4698eaf4f82@i2pn2.org>
 <100dl6g$16vdn$1@dont-email.me>
 <f02a2fb26f6e1dedd29638f9b42befaab4781f17@i2pn2.org>
 <100dst7$18epo$1@dont-email.me> <100f18f$1iree$1@dont-email.me>
 <100gvv6$22oen$2@dont-email.me> <100h9le$24iha$1@dont-email.me>
 <100i43k$292ko$2@dont-email.me> <100if5d$2bf5g$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 20 May 2025 20:49:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7b186bbc1de8333ac6766257195eacc5";
	logging-data="2508151"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Otkpsl2DVoOzJPwKkQyg4"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tmKhqgXVgLTh1PoDrs+KQWEhRgU=
X-Antivirus: Norton (VPS 250520-8, 5/20/2025), Outbound message
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <100if5d$2bf5g$1@dont-email.me>

On 5/20/2025 12:46 PM, Fred. Zwarts wrote:
> Op 20.mei.2025 om 16:37 schreef olcott:
>> 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*
> 
> That is a wild guess of HHH,

void DDD()
{
   HHH(DDD);
   return;
}

Sure and people that have no idea what
infinite recursion is would say the same thing.
-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer