1. Forum
  2. Usenet
  3. COMP.LANG.C

  • Re: Alan Turing's Halting Problem is incorrectly formed --- My first po

    From olcott@21:1/5 to Peter Olcott on Sun Aug 24 16:56:34 2025
    XPost: sci.logic, comp.theory, comp.lang.c++

    On 6/6/2004 9:11 AM, Peter Olcott wrote:
    One very simple transformation of the problem into a solvable problem
    is to convert the Boolean function DoesItHalt() into a tertiary response: True, False, Neither.

    if (DoesItHalt() == True)
    while(True) // loop forever
    ;
    else if (DoesItHalt() == False)
    return False;

    else if (DoesItHalt() == NeitherTrueNorFalse)
    return NeitherTrueNorFalse;

    So the original Halting Problem was incorrectly formed specifically
    because it was framed as a Boolean function, thus failing to account
    for possible inputs that result in a reply other than True or False.





    --
    Copyright 2024 Olcott

    "Talent hits a target no one else can hit;
    Genius hits a target no one else can see."
    Arthur Schopenhauer

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