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: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure
Date: Fri, 28 Jun 2024 23:49:27 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v5o087$1eli4$2@i2pn2.org>
References: <v598l4$c4if$1@dont-email.me> <v5d9s6$10m6p$10@i2pn2.org>
 <v5daji$1bll8$1@dont-email.me> <v5db62$10m6o$13@i2pn2.org>
 <v5dckm$1bteo$1@dont-email.me> <v5e87h$12a1a$2@i2pn2.org>
 <v5ef4n$1ihbr$1@dont-email.me> <v5frvi$14bcm$4@i2pn2.org>
 <v5fslr$1uc3o$1@dont-email.me> <v5fto2$14bcm$9@i2pn2.org>
 <v5fu06$1umhr$1@dont-email.me> <v5fvtf$14bcn$3@i2pn2.org>
 <v5g1nr$1v8bm$1@dont-email.me> <v5g24k$14bcm$10@i2pn2.org>
 <v5g2ds$1v8bm$3@dont-email.me> <v5gs85$15l89$1@i2pn2.org>
 <v5h5c4$24jbd$9@dont-email.me> <v5i8vg$17ej1$3@i2pn2.org>
 <v5i9fh$2cko8$2@dont-email.me> <v5i9j2$17ej0$2@i2pn2.org>
 <v5ibfc$2cko8$5@dont-email.me> <v5icdm$17ej1$7@i2pn2.org>
 <v5ie9f$2dcfs$1@dont-email.me> <v5ieqg$17ej0$4@i2pn2.org>
 <v5ihn6$2hkk4$3@dont-email.me> <v5ijbq$17ej1$10@i2pn2.org>
 <v5ijq1$2i32s$1@dont-email.me> <v5ilj0$17ej1$15@i2pn2.org>
 <v5imqf$2ie27$3@dont-email.me> <v5jink$19368$1@i2pn2.org>
 <v5lafh$35a57$1@dont-email.me> <v5m7n3$1cftk$1@i2pn2.org>
 <v5ma9s$3b1p0$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 29 Jun 2024 03:49:27 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1529412"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v5ma9s$3b1p0$1@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4948
Lines: 77

On 6/28/24 8:28 AM, olcott wrote:
> On 6/28/2024 6:44 AM, Richard Damon wrote:
>> On 6/27/24 11:25 PM, olcott wrote:
>>> On 6/27/2024 6:34 AM, Richard Damon wrote:
>>>>
>>>> That seems to be one of your biggest lies, you claim others are 
>>>> lying to try to disquise your own lies.
>>>>
>>>> You can't show one thing that I have said that is FACTUALY INCORRCT 
>>>> (only that you disagre with them).
>>>>
>>>> I have shown statements of your that ARE DEFINITIONALLY INCORRECT 
>>>> (even if you want to use a different definition, which just isn't 
>>>> allowed, and thus becomes a lie).
>>>
>>> _DDD()
>>> [00002172] 55               push ebp      ; housekeeping
>>> [00002173] 8bec             mov ebp,esp   ; housekeeping
>>> [00002175] 6872210000       push 00002172 ; push DDD
>>> [0000217a] e853f4ffff       call 000015d2 ; call H0(DDD)
>>> [0000217f] 83c404           add esp,+04
>>> [00002182] 5d               pop ebp
>>> [00002183] c3               ret
>>> Size in bytes:(0018) [00002183]
>>>
>>> The call from DDD to H0(DDD) when DDD is correctly
>>> emulated by x86 emulator H0 cannot possibly return.
>>>
>>>
>>
>> You are still using sloppy definition to spread your deceit.
>>
> 
> The call from DDD to H0(DDD) when N steps of DDD are correctly
> emulated by any pure function x86 emulator H0 cannot possibly
> return.

So?

When Completely correctly emulated by an actual correct emulator it will 
because you have said that your H0 WILL abort it emulation and return, 
and thus not do an actually correct emulation by the x86 instruction 
semantics, since part of the semantics of every instruction is that the 
next instruction in sequence WILL be executed.

> 
> The behavior of the directly executed DDD() is irrelevant
> because that is not the behavior of the input. Deciders
> compute the mapping from their actual finite string input
> to an output by a sequence of finite string transformations.

Of course it is. Why isn't it.

Your N Step Emulation of the input (with N being determined by the 
decider) CAN'T be the "behavior" of the input, as it isn't determined by 
just the input itself.

> 
> In this case the sequence is the line-by-line execution
> trace of the behavior of DDD correctly emulated by H0.

Which is INOCRRECT by being INCOMPLETE when the semantic that the input 
was defined to have requries completeness.

> 
> The behavior of this input must include and cannot ignore
> the recursive emulation specified by the fact that DDD is
> calling its own emulator. That people think they can just
> pretend that this is not happening is ridiculous.
> 

Right, and as such, must go into H0, so that is part of the input, and 
thus can not be changed when talking about THE INPUT.;

So, with THIS H0 as the input, the FULL behavior will be to reach the 
final state, unless you admit to lying that H1 did reach that same 
ending, and that H0(DDD) does return.