• Re: D correctly simulated by H cannot possibly halt --- Try to prove ot

    From immibis@21:1/5 to olcott on Thu May 30 23:50:25 2024
    XPost: sci.logic

    On 30/05/24 23:22, olcott wrote:
    *TO ANYONE HAVING SUFFICIENT KNOWLEDGE OF THE X86 LANGUAGE*
    When you compare the x86 source code of D to the trace produced by
    a blind drunk monkey you can tell that the trace is perfectly correct
    because the x86 instructions specified by D are correctly simulated
    and simulated in the correct order by this blind drunk monkey.

    A whole section of instructions is missing: the instructions inside H.

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