• Halting problem proof converted to Liar Paradox --- 2004 post converted to C

    From olcott@polcott333@gmail.com to comp.theory,comp.lang.c++,comp.lang.c,comp.ai.philosophy on Thu Oct 9 10:33:40 2025
    From Newsgroup: comp.ai.philosophy

    // The pseudo code shown below has been converted
    // to C compiled as C++
    // the pseudo code is easier to read.
    // the C code is fully operational.

    /***
    As I first published here back in 2004:
    On 6/23/2004 9:34 PM, Olcott wrote:

    function LoopIfYouSayItHalts (bool YouSayItHalts):
    if YouSayItHalts () then
    while true do {}
    else
    return false;

    Does this program Halt?

    (Your (YES or NO) answer is to be considered
    translated to Boolean as the function's input
    parameter)

    Please ONLY PROVIDE CORRECT ANSWERS!
    ***/

    #include <stdio.h>
    #include <conio.h>

    void LoopIfYouSayItHalts(bool YouSayItHalts)
    {
    if (YouSayItHalts)
    while(true)
    ;
    else
    return;
    }

    void OutputProgram()
    {
    printf("\n\n\nvoid LoopIfYouSayItHalts "
    "(bool YouSayItHalts)\n");
    printf("{\n");
    printf(" if (YouSayItHalts)\n");
    printf(" while(true)\n");
    printf(" ;\n");
    printf(" else\n");
    printf(" return;\n");
    printf("}\n\n\n");
    }

    void Prompt()
    {
    char choice = 'x';
    printf("Does this program Halt?\n");
    printf("(Y or N) translated to Boolean argument"
    " to LoopIfYouSayItHalts()\n");
    printf("\nPlease ONLY PROVIDE CORRECT (Y or N) ANSWERS!\n");
    while (choice != 'Y'&& choice != 'y' &&
    choice != 'N' && choice != 'n')
    {
    choice = getch();
    if (choice != 'Y'&& choice != 'y' &&
    choice != 'N' && choice != 'n')
    printf("Must be (Y or N)\n");
    }

    if (choice == 'Y' || choice == 'y')
    {
    printf("\nWrong Answer!\n"
    "LoopIfYouSayItHalts(true) is stuck in a loop!\n\n");
    LoopIfYouSayItHalts(true);
    }
    if (choice == 'N' || choice == 'n')
    {
    printf("\nWrong Answer!\n"
    "LoopIfYouSayItHalts(false) halts now!\n\n");
    LoopIfYouSayItHalts(false);
    }
    }


    int main()
    {
    OutputProgram();
    Prompt();
    return 0;
    }
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,comp.ai.philosophy on Fri Oct 10 10:44:24 2025
    From Newsgroup: comp.ai.philosophy

    On 10/10/2025 2:57 AM, Mikko wrote:
    On 2025-10-09 17:13:36 +0000, Bonita Montero said:

    Am 09.10.2025 um 17:33 schrieb olcott:
    // The pseudo code shown below has been converted
    // to C compiled as C++
    // the pseudo code is easier to read.
    // the C code is fully operational.

    /***
    As I first published here back in 2004:
    On 6/23/2004 9:34 PM, Olcott wrote:

    function LoopIfYouSayItHalts (bool YouSayItHalts):
    -a-a-a-a if YouSayItHalts () then
    -a-a-a-a-a-a-a-a while true do {}
    -a-a-a-a-a else
    -a-a-a-a-a-a-a-a return false;

    Does this program Halt?

    (Your (YES or NO) answer is to be considered
    -a-a translated to Boolean as the function's input
    -a-a parameter)

    Please ONLY PROVIDE CORRECT ANSWERS!
    ***/

    #include <stdio.h>
    #include <conio.h>

    void LoopIfYouSayItHalts(bool YouSayItHalts)
    {
    -a if (YouSayItHalts)
    -a-a-a while(true)
    -a-a-a-a-a ;
    -a else
    -a-a-a return;
    }

    void OutputProgram()
    {
    -a printf("\n\n\nvoid LoopIfYouSayItHalts "
    -a-a-a-a-a-a-a-a "(bool YouSayItHalts)\n");
    -a printf("{\n");
    -a printf("-a if (YouSayItHalts)\n");
    -a printf("-a-a-a while(true)\n");
    -a printf("-a-a-a-a-a ;\n");
    -a printf("-a else\n");
    -a printf("-a-a-a return;\n");
    -a printf("}\n\n\n");
    }

    void Prompt()
    {
    -achar choice = 'x';
    -aprintf("Does this program Halt?\n");
    -aprintf("(Y or N) translated to Boolean argument"
    -a-a-a-a-a-a-a " to LoopIfYouSayItHalts()\n");
    -aprintf("\nPlease ONLY PROVIDE CORRECT (Y or N) ANSWERS!\n");
    -awhile (choice != 'Y'&& choice != 'y' &&
    -a-a-a-a-a-a-a choice != 'N' && choice != 'n')
    -a{
    -a-a choice = getch();
    -a-a if (choice != 'Y'&& choice != 'y' &&
    -a-a-a-a-a-a choice != 'N' && choice != 'n')
    -a-a-a-a printf("Must be (Y or N)\n");
    -a}

    -aif (choice == 'Y' || choice == 'y')
    -a{
    -a-a printf("\nWrong Answer!\n"
    -a-a-a-a-a-a-a-a-a "LoopIfYouSayItHalts(true) is stuck in a loop!\n\n"); >>> -a-a LoopIfYouSayItHalts(true);
    -a}
    -aif (choice == 'N' || choice == 'n')
    -a{
    -a-a printf("\nWrong Answer!\n"
    -a-a-a-a-a-a-a-a-a "LoopIfYouSayItHalts(false) halts now!\n\n");
    -a-a LoopIfYouSayItHalts(false);
    -a}
    }


    int main()
    {
    -a OutputProgram();
    -a Prompt();
    -a return 0;
    }

    Complete idiot !

    I don't think a complete idiot could write a stupid C program.
    The lack of the ability to think rationally is common among
    normal humans.


    It is a matter of thinking at a deeper philosophical
    level to verify whether or not the elements that comprise
    undecidable instances of decision problems fit coherently
    together.

    The non-philosophical position is to take conventional
    wisdom as the infallible word of God and to consider
    any challenges to this mere conventional view as a sort
    of blasphemy to be ridiculed.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Alan Mackenzie@acm@muc.de to comp.theory,comp.ai.philosophy on Fri Oct 10 18:49:56 2025
    From Newsgroup: comp.ai.philosophy

    [ Followup-To: set ]

    In comp.theory olcott <polcott333@gmail.com> wrote:
    The non-philosophical position is to take conventional
    wisdom as the infallible word of God and to consider
    any challenges to this mere conventional view as a sort
    of blasphemy to be ridiculed.

    No, not blasphemy, just stupidity. The circle squarers, angle trisectors
    and cube duplicators are not blasphemous, just stupid. Their
    intelligence doesn't reach the level needed to appreciate their ignorance
    of the pertinent proven mathematics.

    To those can be added the halting problemists.

    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --
    Alan Mackenzie (Nuremberg, Germany).

    --- Synchronet 3.21a-Linux NewsLink 1.2