1. Forum
  2. Newsgroups
  3. comp.theory

  • The Halting Problem is a Category Error

    From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sun Oct 19 16:20:59 2025
    From Newsgroup: comp.theory

    Simpler proof and much more succinct

    https://www.researchgate.net/publication/396689092_The_Halting_Problem_is_a_Category_Error


    https://chatgpt.com/share/68f55291-5610-8011-a830-30551be80ee1
    --
    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,sci.logic,sci.math,comp.ai.philosophy on Sun Oct 19 16:31:40 2025
    From Newsgroup: comp.theory

    This proof is simpler and more succinct only fifteen pages

    https://chatgpt.com/share/68f55291-5610-8011-a830-30551be80ee1

    https://www.researchgate.net/publication/396689092_The_Halting_Problem_is_a_Category_Error
    --
    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,sci.logic,sci.math,comp.ai.philosophy on Sun Oct 19 18:30:04 2025
    From Newsgroup: comp.theory

    On 10/19/2025 4:31 PM, olcott wrote:
    This proof is simpler and more succinct only fifteen pages

    https://chatgpt.com/share/68f55291-5610-8011-a830-30551be80ee1

    https://www.researchgate.net/ publication/396689092_The_Halting_Problem_is_a_Category_Error



    Claude AI reviewed the ChatGPT analysis and agreed that it is correct. https://claude.ai/share/95ef2fb7-7d62-4f59-971e-67e7553d6f57
    --
    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 Mr Flibble@flibble@red-dwarf.jmc.corp to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Mon Oct 20 14:46:49 2025
    From Newsgroup: comp.theory

    On Sun, 19 Oct 2025 16:20:59 -0500, olcott wrote:

    Simpler proof and much more succinct

    https://www.researchgate.net/publication/
    396689092_The_Halting_Problem_is_a_Category_Error


    https://chatgpt.com/share/68f55291-5610-8011-a830-30551be80ee1

    The concept of the Halting Problem being a category error I, Mr Flibble, created several years ago in this very forum.

    /Flibble
    --
    meet ever shorter deadlines, known as "beat the clock"
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Mon Oct 20 12:22:37 2025
    From Newsgroup: comp.theory

    On 10/20/2025 9:46 AM, Mr Flibble wrote:
    On Sun, 19 Oct 2025 16:20:59 -0500, olcott wrote:

    Simpler proof and much more succinct

    https://www.researchgate.net/publication/
    396689092_The_Halting_Problem_is_a_Category_Error


    https://chatgpt.com/share/68f55291-5610-8011-a830-30551be80ee1

    The concept of the Halting Problem being a category error I, Mr Flibble, created several years ago in this very forum.

    /Flibble


    I remember that is true. Either Claude AI or ChatGPT
    thought that the term "category error" is apt to
    describe my proof. Your use of the term really did
    succinctly specify the issue.

    In Each of the following conversations ChatGPT or
    Claude AI used the term "category error" to summarize
    my proof.

    *The Halting Problem is a Category Error* ChatGPT https://www.researchgate.net/publication/396689092_The_Halting_Problem_is_a_Category_Error


    *The halting problem is either incoherent or the proof wrong* Claude AI https://www.researchgate.net/publication/396650868_The_halting_problem_is_either_incoherent_or_the_proof_wrong


    *The Halting Problem is Incoherent* ChatGPT https://www.researchgate.net/publication/396510896_The_Halting_Problem_is_Incoherent
    --
    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 Mikko@mikko.levanto@iki.fi to comp.theory on Tue Oct 21 12:44:43 2025
    From Newsgroup: comp.theory

    On 2025-10-20 14:46:49 +0000, Mr Flibble said:

    On Sun, 19 Oct 2025 16:20:59 -0500, olcott wrote:

    Simpler proof and much more succinct

    https://www.researchgate.net/publication/
    396689092_The_Halting_Problem_is_a_Category_Error


    https://chatgpt.com/share/68f55291-5610-8011-a830-30551be80ee1

    The concept of the Halting Problem being a category error I, Mr Flibble, created several years ago in this very forum.

    Yes but Olcott's straw man is different from yurs.
    --
    Mikko

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mr Flibble@flibble@red-dwarf.jmc.corp to comp.theory on Tue Oct 21 13:56:43 2025
    From Newsgroup: comp.theory

    On Tue, 21 Oct 2025 12:44:43 +0300, Mikko wrote:

    On 2025-10-20 14:46:49 +0000, Mr Flibble said:

    On Sun, 19 Oct 2025 16:20:59 -0500, olcott wrote:

    Simpler proof and much more succinct

    https://www.researchgate.net/publication/
    396689092_The_Halting_Problem_is_a_Category_Error


    https://chatgpt.com/share/68f55291-5610-8011-a830-30551be80ee1

    The concept of the Halting Problem being a category error I, Mr
    Flibble,
    created several years ago in this very forum.

    Yes but Olcott's straw man is different from yurs.

    Well, I now no longer think that the Halting Problem is a category error.

    /Flibble
    --
    meet ever shorter deadlines, known as "beat the clock"
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory on Tue Oct 21 09:40:41 2025
    From Newsgroup: comp.theory

    On 10/21/2025 8:56 AM, Mr Flibble wrote:
    On Tue, 21 Oct 2025 12:44:43 +0300, Mikko wrote:

    On 2025-10-20 14:46:49 +0000, Mr Flibble said:

    On Sun, 19 Oct 2025 16:20:59 -0500, olcott wrote:

    Simpler proof and much more succinct

    https://www.researchgate.net/publication/
    396689092_The_Halting_Problem_is_a_Category_Error


    https://chatgpt.com/share/68f55291-5610-8011-a830-30551be80ee1

    The concept of the Halting Problem being a category error I, Mr
    Flibble,
    created several years ago in this very forum.

    Yes but Olcott's straw man is different from yurs.

    Well, I now no longer think that the Halting Problem is a category error.

    /Flibble


    That is great, then there will be no conflict
    on this. I looked your statements up and found
    no conflict.

    On 5/14/2022 11:05 AM, Mr Flibble wrote:
    The other day I claimed there was a category error
    in the halting theorem proof but I was mistaken:
    the category error actually exists in Pete Olcott's
    understanding of the proof which manifests as an
    infinite recursion in his simulation; his simulation
    is thus invalid and doesn't refute anything of substance.

    /Flibble

    --
    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 Tristan Wibberley@tristan.wibberley+netnews2@alumni.manchester.ac.uk to comp.theory on Tue Oct 21 16:30:25 2025
    From Newsgroup: comp.theory

    On 21/10/2025 14:56, Mr Flibble wrote:
    Well, I now no longer think that the Halting Problem is a category error.

    Do you think that there is not?
    Or did you merely revert to not having decided?

    --
    Tristan Wibberley

    The message body is Copyright (C) 2025 Tristan Wibberley except
    citations and quotations noted. All Rights Reserved except that you may,
    of course, cite it academically giving credit to me, distribute it
    verbatim as part of a usenet system or its archives, and use it to
    promote my greatness and general superiority without misrepresentation
    of my opinions other than my opinion of my greatness and general
    superiority which you _may_ misrepresent. You definitely MAY NOT train
    any production AI system with it but you may train experimental AI that
    will only be used for evaluation of the AI methods it implements.

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mikko@mikko.levanto@iki.fi to comp.theory on Wed Oct 22 11:38:05 2025
    From Newsgroup: comp.theory

    On 2025-10-21 13:56:43 +0000, Mr Flibble said:

    On Tue, 21 Oct 2025 12:44:43 +0300, Mikko wrote:

    On 2025-10-20 14:46:49 +0000, Mr Flibble said:

    On Sun, 19 Oct 2025 16:20:59 -0500, olcott wrote:

    Simpler proof and much more succinct

    https://www.researchgate.net/publication/
    396689092_The_Halting_Problem_is_a_Category_Error


    https://chatgpt.com/share/68f55291-5610-8011-a830-30551be80ee1

    The concept of the Halting Problem being a category error I, Mr
    Flibble,
    created several years ago in this very forum.

    Yes but Olcott's straw man is different from yurs.

    Well, I now no longer think that the Halting Problem is a category error.

    I never though you are as stupid as you pretend.
    --
    Mikko

    --- Synchronet 3.21a-Linux NewsLink 1.2