1. Forum
  2. Usenet
  3. SCI.LOGIC

  • Re: The halting problem as defined is a category error

    From Mild Shock@21:1/5 to olcott on Mon Jul 21 14:30:22 2025
    I think your bisimulation is broken.

    olcott schrieb:
    Claude.ai agrees that the halting problem as defined is a
    category error.

    https://claude.ai/share/0b784d2a-447e-441f-b3f0-a204fa17135a

    This can only be directly seen within my notion of a
    simulating halt decider. I used the Linz proof as my basis.

    Sorrowfully Peter Linz passed away 2 days less than
    one year ago on my Mom's birthday July 19, 2024.


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