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

    From joes@21:1/5 to All on Fri May 10 07:18:20 2024
    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

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