Re: Every D(D) simulated by H presents non-halting behavior to H ###

Am Thu, 09 May 2024 22:08:19 -0500 schrieb olcott:

On 5/9/2024 9:25 PM, Mike Terry wrote:

On 10/05/2024 02:07, olcott wrote:

On 5/9/2024 6:43 PM, Mike Terry wrote:

On 09/05/2024 04:46, olcott wrote:

On 5/8/2024 10:05 PM, Mike Terry wrote:

On 08/05/2024 20:05, olcott wrote:

My issue is that too many people in this forum insist on directly
contradicting the easily verified facts AND THEN CALL ME A LIAR BOUT
THIS SAME ISSUE!!!

Has it occurred to you that maybe you have misunderstood something,
rather than Turing, Gödel et al. being wrong?

I really need someone to shut down the liars about this specific point
so I can move on to the next point and complete an actual honest review
of my work before my pod24 diagnosis kills me.

Shutting down dissenting views?
Nobody ist stopping you from moving on. If you don’t like us, you can go
elsewhere. We don’t owe you anything.

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 int main()
10 {
11   H(D,D);
12 }
 
Any H/D pair matching the above template where D(D) is simulated by the
same H(D,D) that it calls cannot possibly reach past its own line 03.

Only if H doesn’t return, which can only happen when an inner H returned
True, which it can’t, since it is the same H. Now, if H returned False,
it would be wrong about itself.

--
joes