XPost: sci.logic

On 10/14/2022 7:51 PM, Python wrote:

Ridiculously dishonest Peter Olcott wrote:

On 10/14/2022 7:04 PM, Python wrote:

Demented crank Peter Olcott wrote:

On 10/14/2022 6:21 PM, Python wrote:

Pathological liar Peter Olcott wrote:

On 10/14/2022 6:11 PM, Richard Damon wrote:

On 10/14/22 6:34 PM, olcott wrote:

*When you deny this you deny a tautology*
It is dead obvious that the correct simulation of D by H would >>>>>>>> never stop running unless aborted by H thus meeting the criteria >>>>>>>> that Professor Sipser has agreed with.

No, he agreed that if the CORRECT simulation of the input would
never stop running then H is correct to answer non-halting. (Not >>>>>>> the correct simulation of the input if H doesn't abort).

*Professor Sipser has agreed to these verbatim words* (and no more) >>>>>> If simulating halt decider H correctly simulates its input D until H >>>>>> correctly determines that its simulated D would never stop running >>>>>> unless aborted then H can abort its simulation of D and correctly
report
that D specifies a non-halting sequence of configurations.

Read: "If ... H correctly simulates ...".

Your simulator does not *correctly* simulates its input.

*When you deny this you deny a tautology*
When the line-by-line execution trace of D simulated by H exactly
matches the line-by-line behavior that the x86 source-code of D
specifies then we know that the simulation is correct.

_Sipser_D()
[000012ae] 55             push ebp
[000012af] 8bec           mov ebp,esp
[000012b1] 8b4508         mov eax,[ebp+08]
[000012b4] 50             push eax
[000012b5] 8b4d08         mov ecx,[ebp+08]
[000012b8] 51             push ecx
[000012b9] e880fdffff     call 0000103e
[000012be] 83c408         add esp,+08
[000012c1] 85c0           test eax,eax
[000012c3] 7404           jz 000012c9
[000012c5] 33c0           xor eax,eax
[000012c7] eb05           jmp 000012ce
[000012c9] b801000000     mov eax,00000001
[000012ce] 5d             pop ebp
[000012cf] c3             ret
Size in bytes:(0034) [000012cf]

Sipser_H: Begin Simulation   Execution Trace Stored at:111fa8
  machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[000012ae][00111f94][00111f98] 55         push ebp     // Begin
Sipser_D
[000012af][00111f94][00111f98] 8bec       mov ebp,esp
[000012b1][00111f94][00111f98] 8b4508     mov eax,[ebp+08]
[000012b4][00111f90][000012ae] 50         push eax      // push
Sipser_D
[000012b5][00111f90][000012ae] 8b4d08     mov ecx,[ebp+08]
[000012b8][00111f8c][000012ae] 51         push ecx      // push
Sipser_D
[000012b9][00111f88][000012be] e880fdffff call 0000103e // call
Sipser_H
Sipser_H: Infinitely Recursive Simulation Detected Simulation Stopped

You deliberately omitted part of traces.

Not at all, that is the entire simulation of D that H performs.
With the updated (Turing computable) H it never calls its simulated self.

You did, and you snapped the part of my post containing the part you
omitted. This is ridiculous.

reestablishing my original post:

You deliberately omitted part of traces.

$ diff -u t1 t2
--- t1    2022-10-14 18:49:42.510901630 +0200
+++ t2    2022-10-14 18:50:02.430905326 +0200
@@ -5,11 +5,3 @@
 mov ecx,[ebp+08]
 push ecx
 call 0000103e
-add esp,+08
-test eax,eax
-jz 000012c9
-xor eax,eax
-jmp 000012ce
-mov eax,00000001
-pop ebp
-ret

Actual execution differs from alleged simulation.

Execution traces differ, as you've shown yourself.

And, again, H answer is wrong. H answer is 0 while D halts.

H is not an halt-decider, and does not even simulates correctly
its input. DOUBLE FAIL.

test

--
Copyright 2024 Olcott

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

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)