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

On 4/29/2024 4:11 AM, Mikko wrote:

On 2024-04-28 13:13:48 +0000, olcott said:
 

On 4/28/2024 3:40 AM, Mikko wrote:

On 2024-04-27 17:51:17 +0000, olcott said:
>

When you agree that H(D,D) is a correct termination analyzer within
my definition then we can proceed to the next point about whether
my definition is correct or diverges from the standard definition.

>
Nobody will agree that H(D,D) is a correct termination analyzer
until you post a definition of "termination analyzer" and compare
H(D,D) to that definition. And nut even then if the comparison is
insufficient or erronous.

>
Unless they go through every single slight nuance of the details
of my reasoning they won't be able to see that I am correct.

 Then the expected result is that they will never see that you are correct.
 

Unless I insist that they go through every single slight nuance of the
details of my reasoning THEY ALWAYS LEAP TO THE CONCLUSION THAT I AM
WRONG SIMPLY IGNORING WHAT I SAY.

 Is there any reason to expect a differen result if you do insist?
 

I now have an airtight proof that I am correct. People ignore all of
the words and leap to the conclusion that I must be wrong.
I refuse to move past the first step of the proof until we have
mutual agreement on this first step. Here is the fist step:
int H(ptr x, ptr y); // 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 }
Simulating termination analyzer H determines whether or not
D(D) simulated by H can possibly reach its final state at its
own line 06 and halt whether or not H aborts its simulation.
https://github.com/plolcott/x86utm/blob/master/Halt7.c
(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.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer