1. Forum
  2. Newsgroups
  3. comp.lang.c

  • ChatGPT explains why by rebuttal of the halting problem proofs iscorrect

    From olcott@polcott333@gmail.com to comp.lang.c on Fri Oct 11 21:50:44 2024
    From Newsgroup: comp.lang.c

    https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e

    This link is live for the world. You can click on it
    and try to convince ChatGPT that HHH is wrong to reject
    DDD because the executed DDD does halt.

    It will explain your mistake in clear simple language.

    *The paper that this refers to*
    Simulating Termination Analyzer H is Not Fooled by Pathological Input D https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
    --
    Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer

    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.lang.c on Fri Oct 11 20:53:03 2024
    From Newsgroup: comp.lang.c

    On 10/11/2024 7:50 PM, olcott wrote:
    https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e

    This link is live for the world. You can click on it
    and try to convince ChatGPT that HHH is wrong to reject
    DDD because the executed DDD does halt.

    It will explain your mistake in clear simple language.

    *The paper that this refers to*
    Simulating Termination Analyzer H is Not Fooled by Pathological Input D https://www.researchgate.net/ publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D



    Yawn.
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.lang.c on Fri Oct 11 22:47:03 2024
    From Newsgroup: comp.lang.c

    On 10/11/2024 7:50 PM, olcott wrote:
    https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e

    This link is live for the world. You can click on it
    and try to convince ChatGPT that HHH is wrong to reject
    DDD because the executed DDD does halt.

    It will explain your mistake in clear simple language.

    *The paper that this refers to*
    Simulating Termination Analyzer H is Not Fooled by Pathological Input D https://www.researchgate.net/ publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D



    You need an angle:

    (Send Me an Angel - Scorpions lyrics)

    https://youtu.be/NZVUuq0Birc
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Jan van den Broek@balglaas@dds.nl to comp.lang.c on Sat Oct 12 09:32:42 2024
    From Newsgroup: comp.lang.c

    2024-10-12, Chris M. Thomasson <chris.m.thomasson.1@gmail.com> schrieb:
    On 10/11/2024 7:50 PM, olcott wrote:

    [Schnipp]

    As I see it, the main Halting Problem is Olcott not halting.
    --
    Jan van den Broek
    balglaas@dds.nl 0xAFDAD00D
    http://huizen.dds.nl/~balglaas/
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Janis Papanagnou@janis_papanagnou+ng@hotmail.com to comp.lang.c on Sat Oct 12 20:28:15 2024
    From Newsgroup: comp.lang.c

    On 12.10.2024 11:32, Jan van den Broek wrote:
    2024-10-12, Chris M. Thomasson <chris.m.thomasson.1@gmail.com> schrieb:
    On 10/11/2024 7:50 PM, olcott wrote:

    [Schnipp]

    As I see it, the main Halting Problem is Olcott not halting.

    LOL! - A very nice one. Thanks for that. :-)

    Janis

    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.lang.c on Sat Oct 12 12:30:05 2024
    From Newsgroup: comp.lang.c

    On 10/12/2024 11:28 AM, Janis Papanagnou wrote:
    On 12.10.2024 11:32, Jan van den Broek wrote:
    2024-10-12, Chris M. Thomasson <chris.m.thomasson.1@gmail.com> schrieb:
    On 10/11/2024 7:50 PM, olcott wrote:

    [Schnipp]

    As I see it, the main Halting Problem is Olcott not halting.

    LOL! - A very nice one. Thanks for that. :-)

    I second that. :^)
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From olcott@polcott333@gmail.com to comp.lang.c on Sat Oct 12 20:03:01 2024
    From Newsgroup: comp.lang.c

    On 10/11/2024 9:50 PM, olcott wrote:
    https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e

    This link is live for the world. You can click on it
    and try to convince ChatGPT that HHH is wrong to reject
    DDD because the executed DDD does halt.

    It will explain your mistake in clear simple language.

    *The paper that this refers to*
    Simulating Termination Analyzer H is Not Fooled by Pathological Input D https://www.researchgate.net/ publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D



    void DDD()
    {
    HHH(DDD);
    return;
    }

    When HHH is an x86 emulation based termination analyzer
    then each DDD emulated by any HHH that it calls never returns.

    Each of the directly executed HHH emulator/analyzers that returns
    0 correctly reports the above non-terminating behavior of its input.

    Fully operational code is here. https://github.com/plolcott/x86utm/blob/master/Halt7.c
    --
    Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From tTh@tth@none.invalid to comp.lang.c on Sun Oct 13 06:59:46 2024
    From Newsgroup: comp.lang.c

    On 10/13/24 03:03, olcott wrote:


    Fully operational code is here. https://github.com/plolcott/x86utm/blob/master/Halt7.c


    tth@redlady:~/Desktop$ gcc -Wall Halt7.c
    Halt7.c: In function ‘Decide_Halting0’:
    Halt7.c:239:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
    PushBack(*execution_trace, (u32)*decoded,
    sizeof(Decoded_Line_Of_Code));
    ^
    [...]
    Halt7.c:847: Error: too many memory references for `mov'
    Halt7.c:848: Error: too many memory references for `mov'
    Halt7.c:928: Error: too many memory references for `lea'
    Halt7.c:929: Error: too many memory references for `mov'
    Halt7.c:930: Error: too many memory references for `lea'
    Halt7.c:931: Error: too many memory references for `mov'
    Halt7.c:932: Error: too many memory references for `mov'
    Halt7.c:933: Error: too many memory references for `mov'
    tth@redlady:~/Desktop$

    OK boomer.
    --
    +++
    tTh des Bourtoulots
    +++


    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From olcott@polcott333@gmail.com to comp.lang.c on Sun Oct 13 06:37:16 2024
    From Newsgroup: comp.lang.c

    On 10/12/2024 11:59 PM, tTh wrote:
    On 10/13/24 03:03, olcott wrote:


    Fully operational code is here.
    https://github.com/plolcott/x86utm/blob/master/Halt7.c


    tth@redlady:~/Desktop$ gcc -Wall Halt7.c
    Halt7.c: In function ‘Decide_Halting0’:
    Halt7.c:239:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         PushBack(*execution_trace, (u32)*decoded, sizeof(Decoded_Line_Of_Code));
                                    ^
                  [...]
    Halt7.c:847: Error: too many memory references for `mov'
    Halt7.c:848: Error: too many memory references for `mov'
    Halt7.c:928: Error: too many memory references for `lea'
    Halt7.c:929: Error: too many memory references for `mov'
    Halt7.c:930: Error: too many memory references for `lea'
    Halt7.c:931: Error: too many memory references for `mov'
    Halt7.c:932: Error: too many memory references for `mov'
    Halt7.c:933: Error: too many memory references for `mov' tth@redlady:~/Desktop$

                  OK boomer.



    Compiles with Microsoft Visual Studio Community Edition 2017

    This file has all the details https://github.com/plolcott/x86utm/blob/master/__Run_7.bat

    Halt7.c is compiled and not linked with this line
    cl /GS- /FA /FaHalt7.asm /c /arch:IA32 Halt7.c

    The x86utm operating system is compiled and linked with this line
    cl.exe /EHsc x86utm.cpp api.c decode.c mem.c ops.c ops2.c prim_ops.c

    x86utm emulates the object code of Halt7.obj with this line:
    x86utm Halt7.obj > Halt7out.txt
    --
    Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Kaz Kylheku@643-408-1753@kylheku.com to comp.lang.c on Sun Oct 13 16:34:31 2024
    From Newsgroup: comp.lang.c

    On 2024-10-12, Chris M. Thomasson <chris.m.thomasson.1@gmail.com> wrote:
    On 10/12/2024 11:28 AM, Janis Papanagnou wrote:
    On 12.10.2024 11:32, Jan van den Broek wrote:
    2024-10-12, Chris M. Thomasson <chris.m.thomasson.1@gmail.com> schrieb: >>>> On 10/11/2024 7:50 PM, olcott wrote:

    [Schnipp]

    As I see it, the main Halting Problem is Olcott not halting.

    LOL! - A very nice one. Thanks for that. :-)

    I second that. :^)

    You're likely thousand-seconding that. The Olcott not halting joke
    is many years old now, and will likely come up again.
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.lang.c on Mon Oct 14 16:57:47 2024
    From Newsgroup: comp.lang.c

    On 10/13/2024 4:37 AM, olcott wrote:
    [...]
    Compiles with Microsoft Visual Studio Community Edition 2017

    This file has all the details https://github.com/plolcott/x86utm/blob/master/__Run_7.bat

    Oh my.



    Halt7.c is compiled and not linked with this line
    cl  /GS- /FA /FaHalt7.asm  /c /arch:IA32 Halt7.c

    The x86utm operating system is compiled and linked with this line
    cl.exe /EHsc x86utm.cpp api.c decode.c mem.c ops.c ops2.c prim_ops.c

    x86utm emulates the object code of Halt7.obj with this line:
    x86utm Halt7.obj > Halt7out.txt



    --- Synchronet 3.20a-Linux NewsLink 1.114