Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure

Liste des GroupesRevenir à c theory 
Sujet : Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 26. Jun 2024, 04:17:38
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v5fto2$14bcm$9@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
User-Agent : Mozilla Thunderbird
On 6/25/24 9:59 PM, olcott wrote:
On 6/25/2024 8:47 PM, Richard Damon wrote:
On 6/25/24 9:02 AM, olcott wrote:
On 6/25/2024 6:04 AM, Richard Damon wrote:
On 6/24/24 11:13 PM, olcott wrote:
On 6/24/2024 9:48 PM, Richard Damon wrote:
On 6/24/24 10:38 PM, olcott wrote:
On 6/24/2024 9:26 PM, Richard Damon wrote:
On 6/24/24 10:21 PM, olcott wrote:
On 6/24/2024 9:02 PM, Richard Damon wrote:
On 6/24/24 9:55 PM, olcott wrote:
>
*We can get to that as soon as you reverse your lie*
*We can get to that as soon as you reverse your lie*
*We can get to that as soon as you reverse your lie*
>
You still haven't shown where I lied, on where you don't like what I say.
>
>
You said that D correctly simulated by H must
have the behavior of the directly executed D(D).
>
Right, the steps that H sees are IDENTIAL to the steps of the directly executed D(D) until H stops its simulation,
>
NOT ONE DIFFERENCE.
>
>
Honest mistake or liar?
>
The directly executed D(D) has identical behavior to
D correctly simulated by H1
*the call from D to H(D,D) returns*
>
This is not the same behavior as
D correctly simulated by H
*the call from D to H(D,D) DOES NOT return*
>
>
And what instruction did H's simulation differ from the direct executions trace?
>
>
D correctly simulated by H
*the call from D to H(D,D) DOES NOT return*
>
Which isn't "Behavior of the input"
>
The "not happening" of something that could have happened except that the processing was stoped is NOT behavior.
>
>
D correctly simulated by H1 --- Identical to D(D)
*the call from D to H(D,D) returns*
>
>
Right, and it contains ALL of the behavior of the correct simulation of D by H, plus more.
>
H doesn't see DIFFERENT behavior, just LESS, and that differnce isn't due to the input, but due to H.
>
*These are not the same behaviors*
>
(Assuming unlimited memory)
When 1 to a googolplex of steps of D are correctly simulated by H
*the call from D to H(D,D) NEVER RETURNS*
>
Correction, 1 to a googleplex of steps if DIFFERENT Ds, each paired with a DIFFERENT H, when simulated by that H, the DIFFFERENT routines called by those DIFFERENT Ds to that DIFFERENT H(D,D) is never simulated to an end.
>
>
_P()
[000020e2] 55               push ebp         ; housekeeping
[000020e3] 8bec             mov ebp,esp      ; housekeeping
[000020e5] 51               push ecx         ; housekeeping
[000020e6] 8b4508           mov eax,[ebp+08] ; parameter
[000020e9] 50               push eax         ; push parameter
[000020ea] 8b4d08           mov ecx,[ebp+08] ; parameter
[000020ed] 51               push ecx         ; push parameter
[000020ee] e82ff3ffff       call 00001422    ; call H(P,P)
[000020f3] 83c408           add esp,+08
[000020f6] 8945fc           mov [ebp-04],eax
[000020f9] 837dfc00         cmp dword [ebp-04],+00
[000020fd] 7402             jz 00002101
[000020ff] ebfe             jmp 000020ff
[00002101] 8b45fc           mov eax,[ebp-04]
[00002104] 8be5             mov esp,ebp
[00002106] 5d               pop ebp
[00002107] c3               ret
Size in bytes:(0038) [00002107]
>
The call from D to H(D,D) cannot possibly return when D
is correctly simulated by any H that can possibly exist.
>
Unless you say yes you are correct we cannot move on to
the next point.
>
>
No, the call most definitinely DOES return, but that return is after the simulation ended.
>
 Maybe the real problem is that you have insufficient technical competence.
Nope, that isn't the problem. I KNOW what I am talking about, as opposed to you who can't even write a simple Turing Machine.

 
Your problem is that, strictly, by your definition of "Correct Simulation",
 The semantics of the x86 language objectively proves that I am correct.
Have you been faking your technical competence?
Nope.

 Can you do better with this simpler example?
 _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 H0 cannot possibly return.
 
But the call will, just not in the simulation that your H0 does.
After all, you still haven't learned to define you terms,
Just put:
int H0(ptr x) {
    static int flag = 0;
    if (flag) return 0;
    flag = 1
    ...
at the begining of your H.
You haven't learned to define it properly, and if you want to claim we need to remember what you said, then H0 is a Halt Decider, and thus the only definition of the behavior of its input is the behavior of the machine represented by it, so we need to look at the direct execution.
You are just showing yourself to be incompetent at your arguments.

Date Sujet#  Auteur
23 Jun 24 * DDD correctly emulated by H0 --- Why Lie?106olcott
23 Jun 24 +- Re: DDD correctly emulated by H0 --- Why Lie? (typo corrected)1olcott
23 Jun 24 +* Re: DDD correctly emulated by H0 --- Why Lie?101Richard Damon
23 Jun 24 i`* Re: DDD correctly emulated by H0 --- Why Lie?100olcott
23 Jun 24 i `* Re: DDD correctly emulated by H0 --- Why Lie?99Richard Damon
24 Jun 24 i  `* Re: DDD correctly emulated by H0 --- Why Lie?98olcott
24 Jun 24 i   `* Re: DDD correctly emulated by H0 --- Why Lie?97Richard Damon
24 Jun 24 i    `* Re: DDD correctly emulated by H0 --- Why Lie?96olcott
24 Jun 24 i     `* Re: DDD correctly emulated by H0 --- Why Lie?95Richard Damon
24 Jun 24 i      `* Re: DDD correctly emulated by H0 --- Why Lie?94olcott
24 Jun 24 i       `* Re: DDD correctly emulated by H0 --- Why Lie?93Richard Damon
24 Jun 24 i        `* Re: DDD correctly emulated by H0 --- Why Lie?92olcott
24 Jun 24 i         `* Re: DDD correctly emulated by H0 --- Why Lie?91Richard Damon
24 Jun 24 i          `* Re: DDD correctly emulated by H0 --- Why Lie?90olcott
24 Jun 24 i           `* Re: DDD correctly emulated by H0 --- Why Lie?89Richard Damon
24 Jun 24 i            `* Re: DDD correctly emulated by H0 --- Why Lie?88olcott
24 Jun 24 i             +* Re: DDD correctly emulated by H0 --- Why Lie?80Richard Damon
24 Jun 24 i             i`* Re: DDD correctly emulated by H0 --- Why Lie?79olcott
24 Jun 24 i             i +* Re: DDD correctly emulated by H0 --- Why Lie?77Richard Damon
24 Jun 24 i             i i`* Re: DDD correctly emulated by H0 --- Why Lie?76olcott
24 Jun 24 i             i i `* Re: DDD correctly emulated by H0 --- Why Lie?75Richard Damon
24 Jun 24 i             i i  `* Re: DDD correctly emulated by H0 --- Why Lie?74olcott
24 Jun 24 i             i i   `* Re: DDD correctly emulated by H0 --- Why Lie?73Richard Damon
24 Jun 24 i             i i    `* Re: DDD correctly emulated by H0 --- Why Lie?72olcott
24 Jun 24 i             i i     +* Re: DDD correctly emulated by H0 --- Why Lie?70olcott
24 Jun 24 i             i i     i`* Re: DDD correctly emulated by H0 --- Why Lie?69Richard Damon
24 Jun 24 i             i i     i `* Re: DDD correctly emulated by H0 --- Why Lie?68olcott
24 Jun 24 i             i i     i  `* Re: DDD correctly emulated by H0 --- Why Lie?67Richard Damon
24 Jun 24 i             i i     i   +* Re: DDD correctly emulated by H0 --- Why Lie?4olcott
25 Jun 24 i             i i     i   i`* Re: DDD correctly emulated by H0 --- Why Lie?3Richard Damon
25 Jun 24 i             i i     i   i `* Re: DDD correctly emulated by H0 --- Why Lie?2olcott
25 Jun 24 i             i i     i   i  `- Re: DDD correctly emulated by H0 --- Why Lie?1Richard Damon
24 Jun 24 i             i i     i   `* Re: DDD correctly emulated by H0 --- Why Lie?62olcott
25 Jun 24 i             i i     i    `* Re: DDD correctly emulated by H0 --- Why Lie?61Richard Damon
25 Jun 24 i             i i     i     `* Re: DDD correctly emulated by H0 --- Why Lie?60olcott
25 Jun 24 i             i i     i      `* Re: DDD correctly emulated by H0 --- Why Lie?59Richard Damon
25 Jun 24 i             i i     i       `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure58olcott
25 Jun 24 i             i i     i        `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure57Richard Damon
25 Jun 24 i             i i     i         `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure56olcott
25 Jun 24 i             i i     i          `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure55Richard Damon
25 Jun 24 i             i i     i           +* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure4olcott
25 Jun 24 i             i i     i           i`* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure3Richard Damon
25 Jun 24 i             i i     i           i `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure2olcott
25 Jun 24 i             i i     i           i  `- Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure1Richard Damon
25 Jun 24 i             i i     i           +* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure (typo)2olcott
25 Jun 24 i             i i     i           i`- Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure (typo)1Richard Damon
25 Jun 24 i             i i     i           +* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure2olcott
25 Jun 24 i             i i     i           i`- Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure1Richard Damon
25 Jun 24 i             i i     i           `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure46olcott
25 Jun 24 i             i i     i            `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure45Richard Damon
25 Jun 24 i             i i     i             +* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure2olcott
25 Jun 24 i             i i     i             i`- Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure1Richard Damon
25 Jun 24 i             i i     i             `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure42olcott
25 Jun 24 i             i i     i              `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure41Richard Damon
25 Jun 24 i             i i     i               `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure40olcott
25 Jun 24 i             i i     i                `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure39Richard Damon
25 Jun 24 i             i i     i                 +* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure2olcott
25 Jun 24 i             i i     i                 i`- Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure1Richard Damon
25 Jun 24 i             i i     i                 `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure36olcott
25 Jun 24 i             i i     i                  `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure35Richard Damon
25 Jun 24 i             i i     i                   `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure34olcott
26 Jun 24 i             i i     i                    `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure33Richard Damon
26 Jun 24 i             i i     i                     `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure32olcott
26 Jun 24 i             i i     i                      `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure31Richard Damon
26 Jun 24 i             i i     i                       `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure30olcott
26 Jun 24 i             i i     i                        `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure29Richard Damon
26 Jun 24 i             i i     i                         `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure28olcott
26 Jun 24 i             i i     i                          `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure27Richard Damon
26 Jun 24 i             i i     i                           `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure26olcott
26 Jun 24 i             i i     i                            `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure25Richard Damon
26 Jun 24 i             i i     i                             `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure24olcott
27 Jun 24 i             i i     i                              `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure23Richard Damon
27 Jun 24 i             i i     i                               `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure22olcott
27 Jun 24 i             i i     i                                `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure21Richard Damon
27 Jun 24 i             i i     i                                 +* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure2olcott
27 Jun 24 i             i i     i                                 i`- Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure1Richard Damon
27 Jun 24 i             i i     i                                 `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure18olcott
27 Jun 24 i             i i     i                                  `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure17Richard Damon
27 Jun 24 i             i i     i                                   `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure16olcott
27 Jun 24 i             i i     i                                    `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure15Richard Damon
27 Jun 24 i             i i     i                                     `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure14olcott
27 Jun 24 i             i i     i                                      `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure13Richard Damon
27 Jun 24 i             i i     i                                       `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure12olcott
27 Jun 24 i             i i     i                                        `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure11Richard Damon
27 Jun 24 i             i i     i                                         `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure10olcott
27 Jun 24 i             i i     i                                          `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure9Richard Damon
27 Jun 24 i             i i     i                                           +* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure2olcott
28 Jun 24 i             i i     i                                           i`- Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure1Richard Damon
28 Jun 24 i             i i     i                                           `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure6olcott
28 Jun 24 i             i i     i                                            `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure5Richard Damon
28 Jun 24 i             i i     i                                             `* Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure4olcott
28 Jun 24 i             i i     i                                              +* Re: Why Lie? -- Repeat until Closure2joes
28 Jun 24 i             i i     i                                              i`- Re: Why Lie? -- Repeat until Closure1olcott
29 Jun 24 i             i i     i                                              `- Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure1Richard Damon
24 Jun 24 i             i i     `- Re: DDD correctly emulated by H0 --- Why Lie?1Richard Damon
25 Jun 24 i             i `- Re: DDD correctly emulated by H0 --- Why Lie?1joes
24 Jun 24 i             `* Re: DDD correctly emulated by H0 --- Why Lie?7olcott
24 Jun 24 i              `* Re: DDD correctly emulated by H0 --- Why Lie?6Richard Damon
24 Jun 24 i               `* Re: DDD correctly emulated by H0 --- Why Lie?5olcott
24 Jun 24 i                +- Re: DDD correctly emulated by H0 --- Why Lie?1Richard Damon
24 Jun 24 i                `* Re: DDD correctly emulated by H0 --- Why Lie?3joes
26 Jun 24 `* Re: DDD correctly emulated by H0 --- Why Lie?3Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal