Re: D simulated by H never halts no matter what H does V3

On 5/4/24 9:46 AM, olcott wrote:

On 5/4/2024 5:56 AM, Alan Mackenzie wrote:

[ Followup-To: set ]
>
In comp.theory olcott <polcott333@gmail.com> wrote:

On 5/3/2024 4:57 PM, Richard Damon wrote:

On 5/3/24 7:38 AM, olcott wrote:

>
[ .... ]
>

(a) It is a verified fact that D(D) simulated by H cannot
possibly reach past line 03 of D(D) simulated by H whether
H aborts its simulation or not.

>

Proven incorrect and you have decline to try to refute it, thus
conceding it to be incorrect, and your restatement just a lie.

>

"proven to be incorrect" by nonsense gibberish
That "D simulated by H" can mean "D NEVER simulated by H"

>

Also you fail to understand that when the executed H(D,D)
aborts its simulated input that all of the nested simulations
(if any) immediately totally stop running. No simulated H ever
returns any value to any simulated D.

>

That is only ordinary software engineering with zero subjective
leeway of interpretation. It is just like I yank the power cord
from the wall and you don't understand that the program immediately
stops running.

>

You are doing better than Alan on this though he doesn't
have a single clue about what execution traces are or how
they work.

>
You should read "How to make friends and influence people" by Dale
Carnegie.  You may not care about the former, but you sure are trying the
latter.  Hint: telling nasty lies about people is not effective.
>

 Perhaps you do understand what an execution trace is and
disparage my work without even looking at it?
 Everyone that does understand what an execution trace is
can directly see that D simulated by H does have the trace
that I provide.
 Can D correctly simulated by H terminate normally?
00 int H(ptr x, ptr x)  // ptr is pointer to int function
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 void main()
10 {
11   H(D,D);
12 }
 *Execution Trace*
Line 11: main() invokes H(D,D);
 *keeps repeating* (unless aborted)
Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
 *Simulation invariant*
D correctly simulated by H cannot possibly reach past its own line 03.

Except this isn't true for ALL H's as proven and you try to ignore.
This makes you just a pathological liar.

 

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

>