1. Forum
  2. Newsgroups
  3. comp.ai.philosophy

  • Re: Alan Turing's Halting Problem is incorrectly formed --- My firstpost on the Halting Problem

    From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Dec 6 06:22:19 2025
    From Newsgroup: comp.ai.philosophy

    On 12/6/2025 2:21 AM, Mikko wrote:
    olcott kirjoitti 5.12.2025 klo 18.36:
    Alan Turing's Halting Problem is incorrectly formed
    Jun 6, 2004, 9:11:19 AM
    https://groups.google.com/g/sci.logic/c/V7wzVvx8IMw/m/ggPE6a-60cUJ

    There is nothing incorrect in Turing's problem formulation. TUring's

    Failing to find a mistake my proof counts as
    not any rebuttal what-so-ever.

    Halting Problem Proof Counter-Example is Isomorphic to the Liar Paradox https://www.researchgate.net/publication/398375553_Halting_Problem_Proof_Counter-Example_is_Isomorphic_to_the_Liar_Paradox

    intent was not to pose problems but siimply to prove that for certain
    types of questions there is not complete method to find the answer.
    That does not prevent to find the answer for particular questions or
    having partial methods that find answers in many cases.

    Note that on the page the link above points to there are comments that
    point out a major error in OP.

    In addition, it does not make nuch sense to say that some problem
    is incorrectly formed without quoting the problem that is claimed
    to be incorrectly formed.

    --
    Copyright 2025 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning" computable.

    This required establishing a new foundation
    for correct reasoning.
    --- Synchronet 3.21a-Linux NewsLink 1.2