Path: ...!feed.opticnetworks.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: 197 page execution trace of DDD incorrectly simulated by HHH
Date: Fri, 28 Jun 2024 16:52:17 -0500
Organization: A noiseless patient Spider
Lines: 93
Message-ID: <v5nbah$3h58i$1@dont-email.me>
References: <v4vrfg$2793f$1@dont-email.me> <v5f3j8$1m2fl$2@dont-email.me>
 <v5f54f$1lp16$3@dont-email.me> <v5f5sd$1mcif$1@dont-email.me>
 <v5ght9$21jrt$1@dont-email.me> <v5h3rd$24jbd$6@dont-email.me>
 <v5jbub$2m18t$1@dont-email.me> <v5k72o$2qsdr$4@dont-email.me>
 <v5lqul$386u3$1@dont-email.me> <v5mgd9$3cds2$1@dont-email.me>
 <v5mi5t$3cmj8$1@dont-email.me> <v5mj8m$3cibm$3@dont-email.me>
 <v5mobr$1d3t3$3@i2pn2.org> <v5mv5n$3f3fn$1@dont-email.me>
 <v5n2n4$1d3t3$11@i2pn2.org> <v5n8e9$3gt9c$1@dont-email.me>
 <v5n9ph$2i0b$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 28 Jun 2024 23:52:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8e198617313100a552662932ac49ce17";
	logging-data="3708178"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+TFXoTinuEl22RULAO8kO2"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:wBd9PkVK+HJFfJdjTfENvCNn67E=
Content-Language: en-US
In-Reply-To: <v5n9ph$2i0b$1@news.muc.de>
Bytes: 5086

On 6/28/2024 4:26 PM, Alan Mackenzie wrote:
> olcott <polcott333@gmail.com> wrote:
>> On 6/28/2024 2:25 PM, joes wrote:
>>> Am Fri, 28 Jun 2024 13:24:55 -0500 schrieb olcott:
>>>> On 6/28/2024 11:28 AM, joes wrote:
>>>>> Am Fri, 28 Jun 2024 10:01:41 -0500 schrieb olcott:
>>>>>> On 6/28/2024 9:43 AM, Fred. Zwarts wrote:
>>>>>>> Op 28.jun.2024 om 16:12 schreef olcott:
>>>>>>>> On 6/28/2024 3:06 AM, Fred. Zwarts wrote:
>>>>>>>>> Op 27.jun.2024 om 19:21 schreef olcott:
> 
>>>>>>>>>> The call from DDD to H0(DDD) when DDD is correctly emulated by x86
>>>>>>>>>> emulator H0 cannot possibly return.
>>>>>> That is counter-factual. HHH(DDD) does correctly emulate the call from
>>>>>> DDD to HHH(DDD) emulating itself emulating DDD.
>>> You are really immune to contradictions, are you?
> 
>>>> HHH correctly emulates DDD including emulating itself emulating DDD and
>>>> sees that this proves that DDD is stuck in recursive simulation thus
>>>> aborts DDD and correctly returns 0 indicating it has rejected its input
>>>> according to this criterion:
>>> If it were able to correctly simulate itself it would see that its
>>> recursive call also aborts, and could accept DDD as halting.
> 
> 
>> *You might just be too dumb to comprehend this*
> 
> The gratuitous insult is uncalled for.  It's quite clear that Joes
> understands the matter adequately.
> 

IDK. You only started treating me more reasonably after I started
taking the harsher tone. Before then it seems that people thought
they could get away with bullying me. I am very happy the Joe Biden
finally came out and called Trump a liar.

>> <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
> 
>>      H can abort its simulation of D and correctly report that D
>>      specifies a non-halting sequence of configurations.
>> </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
> 
> But it seems you're not clever enough to understand the above.
> 
Objectively I am a genius.

> Professor Sipser would have agreed to these words knowing that the first
> "if" clause, with its "correctly simulates" can never hold. 

That seems to be a very stupid thing to say in light of
these two examples:

void Infinite_Loop()
{
   HERE: goto HERE;
}

void Infinite_Recursion()
{
   Infinite_Recursion();
}

>  He would
> have wanted to get you, a crank, off his back so that he could continue
> uninterrupted with his work. 

In light of the very stupid mistake that you just made it
seems that you are probably stupidly wrong on this assessment
too. He agreed that I could quote him in my papers.

It is as some reviewers have noted a tautology.

>  He surely has real students who want to
> learn, to teach.  Agreeing to that vacuous truth, which wouldn't stain
> his conscience, seems to have been effective.  You appear not to have
> troubled Professor Sipser in over a year.
> 
 From what I recall your replies are not typically as stupid
as this reply. I thought that I remember your feedback was
of a much higher quality.

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

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