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,sci.logic
Subject: Re: Why do people here insist on denying these verified facts?
Date: Sat, 22 Jun 2024 14:55:59 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v576nv$onl3$14@i2pn2.org>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Jun 2024 18:55:59 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="810659"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v576cg$3soh6$2@dont-email.me>
Content-Language: en-US
Bytes: 3395
Lines: 63

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?

Both your long PDF were traces of the main emulator showing the sequence 
from main to the decider and the steps the decider did to do its 
simulation. Really strange that you made the exact same error the second 
time.

NEVER (that I know of) have you posted a simulation where we see the 
decider starting at the first instruction of the input, and then into 
the instructions of the decider, as required by your stipulated definiton.