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

  • Re: ChatGPT explains why by rebuttal of the halting problem proofs is c

    From Jan van den Broek@21:1/5 to Chris M. Thomasson on Sat Oct 12 09:32:42 2024
    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/

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Janis Papanagnou@21:1/5 to Jan van den Broek on Sat Oct 12 20:28:15 2024
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Kaz Kylheku@21:1/5 to Chris M. Thomasson on Sun Oct 13 16:34:31 2024
    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

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