Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Flat out dishonest or totally ignorant? --- Richard seems to be
 willfully ignorant
Date: Tue, 2 Jul 2024 22:43:03 -0500
Organization: A noiseless patient Spider
Lines: 66
Message-ID: <v62hc7$20moo$6@dont-email.me>
References: <v5vkun$1b0k9$1@dont-email.me> <v60dci$1ib5p$1@dont-email.me>
 <v60red$1kr1q$2@dont-email.me> <v61hn7$1oec9$1@dont-email.me>
 <v61ipa$1og2o$2@dont-email.me> <v61jod$1oec9$2@dont-email.me>
 <v61leu$1p1uo$1@dont-email.me>
 <7b6a00827bfcc84e99e19a0d0ae6028ebcdc263c@i2pn2.org>
 <v620vu$1qutj$2@dont-email.me>
 <f6e8f5de9a1e61c7970a92145ce8c1f9087ba431@i2pn2.org>
 <v628ts$1s632$1@dont-email.me>
 <178edf6a7c5329df35a9af6852ecbd41c0948ea1@i2pn2.org>
 <v629mp$1s632$3@dont-email.me>
 <168858894febbaa529d1704ea864bbe15cb8f635@i2pn2.org>
 <v62bgv$1s632$6@dont-email.me>
 <211a07c98d1fc183ed3e6c079ec1e883dd45f1cc@i2pn2.org>
 <v62f92$20moo$3@dont-email.me>
 <623debd817e63a256100bb15fed3af8d4fb969fe@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 03 Jul 2024 05:43:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="29a678b7ecb7074967021c8dcb9f1179";
	logging-data="2120472"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19wfkpG7liiZ9RpvclAPchb"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:QFFX8+VVkt8oqBPCOGuWMKoPqAo=
Content-Language: en-US
In-Reply-To: <623debd817e63a256100bb15fed3af8d4fb969fe@i2pn2.org>
Bytes: 4013

On 7/2/2024 10:23 PM, Richard Damon wrote:
> On 7/2/24 11:07 PM, olcott wrote:
>> On 7/2/2024 9:35 PM, Richard Damon wrote:
>>> On 7/2/24 10:03 PM, olcott wrote:
>>>> On 7/2/2024 8:51 PM, Richard Damon wrote:
>>>>> On 7/2/24 9:32 PM, olcott wrote:
>>>>>> On 7/2/2024 8:25 PM, Richard Damon wrote:
>>>>>>> On 7/2/24 9:18 PM, olcott wrote:
>>>>>>>
>>>>>>>> Professor Sipser probably does understand the x86 language.
>>>>>>>> Shared-memory implementation of the Karp-Sipser
>>>>>>>> kernelization process
>>>>>>>> https://inria.hal.science/hal-03404798/file/hipc2021.pdf
>>>>>>>>
>>>>>>>>
>>>>>>> And the x86 language says the same thing,
>>>>>>>
>>>>>>> YOU are just a liar, as proved by the fact that you can not give 
>>>>>>> the Diagonalization proof you claimed you had.
>>>>>>>
>>>>>>> Sorry, you are just too stupid to understand.
>>>>>>
>>>>>> You continue to assume that you can simply disagree
>>>>>> with the x86 language. My memory was refreshed that
>>>>>> called you stupid would be a sin according to Christ.
>>>>>> I really want to do the best I can to repent.
>>>>>>
>>>>>
>>>>> But I am NOT disagreeing with the x86 language.
>>>>>
>>>>> Can you point out what fact of it I am disagreing about it?
>>>>>
>>>>
>>>> You keep trying to get away with saying that the simulation is
>>>> incorrect when the semantics of the x86 language conclusively
>>>> proves that it is correct.
>>>
>>> Nope, and x86n emulation is only fully correct if it continues to the 
>>> final end. 
>>
>> void Infinite_Loop()
>> {
>>    HERE: goto HERE;
>> }
>>
>> Why do you say such ridiculously stupid things that you are are false?
>>
> 
> And the only CORRECT EMULATION of that program is to infiniately loop in 
> the emulation.
> 

Not for a freaking termination analyzer nitwit.

> Nothing says that you can't make a halt decider work with partial 
> emulation for SOME inputs. But the halt Decider just isn't itself a 
> fully correct emulator.
> 

You keep stupidly saying that less than an infinite emulation is an 
incorrect emulation. Why do you keep stupidly doing that?

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