Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Olcott seems to be willfully ignorant --- AKA is Fred a Liar ?
Date: Wed, 3 Jul 2024 19:18:41 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <284a7a7e2cf9178e44809f57aa0cd1e74607583f@i2pn2.org>
References: <v5vkun$1b0k9$1@dont-email.me>
 <211a07c98d1fc183ed3e6c079ec1e883dd45f1cc@i2pn2.org>
 <v62f92$20moo$3@dont-email.me>
 <623debd817e63a256100bb15fed3af8d4fb969fe@i2pn2.org>
 <v62hc7$20moo$6@dont-email.me>
 <e3c734b6a1ce3386210f7700bf03d183334d4d55@i2pn2.org>
 <v63jkc$26loi$7@dont-email.me>
 <0600a243a3bb843ec505712dc7746d41e0ca66dc@i2pn2.org>
 <v63n8u$27f1a$3@dont-email.me> <v63rd7$24jon$1@dont-email.me>
 <v63s2c$28dpi$1@dont-email.me> <v63sq3$28goi$4@dont-email.me>
 <v63t32$28dpi$5@dont-email.me> <v63tjq$23vu$1@news.muc.de>
 <v63tve$28dpi$9@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 3 Jul 2024 23:18:41 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2057085"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v63tve$28dpi$9@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3810
Lines: 63

On 7/3/24 12:24 PM, olcott wrote:
> On 7/3/2024 11:18 AM, Alan Mackenzie wrote:
>> olcott <polcott333@gmail.com> wrote:
>>> On 7/3/2024 11:04 AM, Fred. Zwarts wrote:
>>>> Op 03.jul.2024 om 17:51 schreef olcott:
>>>>> On 7/3/2024 10:40 AM, Fred. Zwarts wrote:
>>
>> [ .... ]
>>
>>>>>>> _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]
>>
>>>>>>> *This is the repeating state*
>>
>>>>>> But not an *infinitely* repeating state.
>>
>>>>> The criteria that I spent two years writing and the best selling
>>>>> author of theory of computation textbooks agrees with says nothing
>>>>> about *infinitely* repeating state.
>>
>>>> Irrelevant, because that is about a correct simulation. Your simulation
>>>> is incorrect, so Sipser does not apply here.
>>
>>> OK you are a liar then.
>>
>> I don't think so.  There is only one liar on this newsgroup, and it's not
>> Fred.
>>
> 
> *A liar is anyone that denies this*
> 
> _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]
> 
> DDD is correctly emulated by HHH which calls an emulated HHH(DDD) to 
> repeat this process until the emulated DDD is aborted.

Except that is a LIE, as the simulation by that HHH never gets back to 
the beginning of DDD, but stays inside of HHH.

At best, HHH can decide that HHH(DDD) is non-halting, and then prove 
itself wrong by halting.

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