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: Why do people here insist on denying these verified facts?
Date: Sat, 22 Jun 2024 14:49:04 -0500
Organization: A noiseless patient Spider
Lines: 96
Message-ID: <v579rg$3t97b$3@dont-email.me>
References: <v56n8h$3pr25$1@dont-email.me> <v56ntj$onl3$7@i2pn2.org>
 <v56ps2$3q4ea$1@dont-email.me> <v56sk3$p1du$2@i2pn2.org>
 <v56tfv$3ql1v$2@dont-email.me> <v570n5$onl4$11@i2pn2.org>
 <v571lc$3rrgk$1@dont-email.me> <v57603$onl3$12@i2pn2.org>
 <v576cg$3soh6$2@dont-email.me> <v576nv$onl3$14@i2pn2.org>
 <v5775h$3soh6$5@dont-email.me> <v57837$onl3$15@i2pn2.org>
 <v5792v$3t97b$1@dont-email.me> <v579gn$onl3$17@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Jun 2024 21:49:04 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="52f855e26d0a069f32049d753a1d455d";
	logging-data="4105451"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX180AZaiyraNVhdVZPO0hWOZ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Pe4aEMd6xRnMox3rKQ0oYrM1E7g=
In-Reply-To: <v579gn$onl3$17@i2pn2.org>
Content-Language: en-US
Bytes: 4918

On 6/22/2024 2:43 PM, Richard Damon wrote:
> On 6/22/24 3:35 PM, olcott wrote:
>> On 6/22/2024 2:19 PM, Richard Damon wrote:
>>> On 6/22/24 3:03 PM, olcott wrote:
>>>> On 6/22/2024 1:55 PM, Richard Damon wrote:
>>>>> On 6/22/24 2:49 PM, olcott wrote:
>>>>>> On 6/22/2024 1:43 PM, Richard Damon wrote:
>>>>>>> On 6/22/24 1:29 PM, olcott wrote:
>>>>>>>> On 6/22/2024 12:13 PM, Richard Damon wrote:
>>>>>>>>> On 6/22/24 12:18 PM, olcott wrote:
>>>>>>>>>>
>>>>>>>>>> void DDD()
>>>>>>>>>> {
>>>>>>>>>>    HHH0(DDD);
>>>>>>>>>> }
>>>>>>>>>>
>>>>>>>>>> The input to HHH0(DDD) includes itself.
>>>>>>>>>> The input to HHH1(DDD) DOES NOT include itself.
>>>>>>>>>>
>>>>>>>>>> It is stipulated that correct emulation is defined by the
>>>>>>>>>> semantics of the x86 programming language and nothing else.
>>>>>>>>>
>>>>>>>>> And thus, your emulation traces show that your "Simulating Halt 
>>>>>>>>> Deciders" do not do a "Correct Simulation" 
>>>>>>>>
>>>>>>>> Apparently your ADD preventing you from paying close attention
>>>>>>>> to ALL of my words.
>>>>>>>>
>>>>>>>> *Function names adapted to correspond to my updated paper*
>>>>>>>>
>>>>>>>> void DDD()
>>>>>>>> {
>>>>>>>>    H0(DDD);
>>>>>>>> }
>>>>>>>>
>>>>>>>> *When we stipulate that the only measure of a correct*
>>>>>>>> *emulation is the semantics of the x86 programming language*
>>>>>>>>
>>>>>>>> *When we stipulate that the only measure of a correct*
>>>>>>>> *emulation is the semantics of the x86 programming language*
>>>>>>>>
>>>>>>>> *When we stipulate that the only measure of a correct*
>>>>>>>> *emulation is the semantics of the x86 programming language*
>>>>>>>>
>>>>>>>> *When we stipulate that the only measure of a correct*
>>>>>>>> *emulation is the semantics of the x86 programming language*
>>>>>>>>
>>>>>>>> *When we stipulate that the only measure of a correct*
>>>>>>>> *emulation is the semantics of the x86 programming language*
>>>>>>>>
>>>>>>>> then we see that when DDD is correctly emulated by H0 that
>>>>>>>> its call to H0(DDD) cannot possibly return.
>>>>>>>
>>>>>>> Since your H0 has never demonstrated that is actually DOES the 
>>>>>>> correct simulation per your stipulation, 
>>>>>>
>>>>>> Liar
>>>>>>
>>>>>
>>>>> Then where is it?
>>>>>
>>>> When we stipulate that the only measure of a correct emulation
>>>> is the semantics of the x86 programming language then we see that
>>>> when DDD is correctly emulated by H0 that its call to H0(DDD)
>>>> cannot possibly return.
>>>
>>> But that isn't what H0 should be answering about.
>>>
>>
>> That you and others lack a sufficient understanding of the nuanced
>> details of the theory of computation is your mistake and not mine.
> 
> No, it is that you don't have enough honest cells in your body to 
> understand that you have to follow the requirements for something to say 
> you are doing it.
> 
>>
>> The correct measure of the behavior of the actual input is DDD
>> correctly simulated by H0 according to the definition of the
>> semantics of the x86 programming language.
> 
> FRKM WHERE?
> 
> That is just YOUR LIE!!!!!
> 

Now you are trying to get away with disbelieving in the
semantics of the x86 language and you can't even spell "from"

That you have the audacity to call me a liar over this
might condemn you to Hell (I sincerely hope not).

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