XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 6/23/2025 10:26 AM, Mike Terry wrote:   
   > On 23/06/2025 16:01, olcott wrote:   
   >> On 6/23/2025 2:20 AM, Mikko wrote:   
   >>> On 2025-06-22 14:42:13 +0000, olcott said:   
   >>>   
   >>>> On 6/22/2025 4:32 AM, Mikko wrote:   
   >>>>> On 2025-06-21 22:48:01 +0000, olcott said:   
   >>>>>   
   >>>>>> int DD()   
   >>>>>> {   
   >>>>>>    int Halt_Status = HHH(DD);   
   >>>>>>    if (Halt_Status)   
   >>>>>>      HERE: goto HERE;   
   >>>>>>    return Halt_Status;   
   >>>>>> }   
   >>>>>>   
   >>>>>> https://chatgpt.com/s/t_6857335b37a08191a077d57039fa4a76   
   >>>>>> ChatGPT agrees that I have correctly refuted every   
   >>>>>> halting problem proof technique that relies on the above   
   >>>>>> pattern.   
   >>>>>   
   >>>>> If you like to play with ChatGPT you should ask it for   
   >>>>> a solution to the halting problem.   
   >>>>   
   >>>> I gave you the link showing exactly what ChatGPT agreed to.   
   >>>> https://chatgpt.com/s/t_6857335b37a08191a077d57039fa4a76   
   >>>   
   >>> What an artificial idiot agrees to is not interesting.   
   >>> A solution to the halting problem would be.   
   >>>   
   >>   
   >> On 6/21/2025 6:21 PM, Mike Terry wrote:   
   >>  > Is that the ChatGPT that does the peer reviewing for submissions   
   >>  > for Proceedings of the London Mathematical Society?   
   >>  >   
   >>  > Seems like you're nearly there at last!   
   >>  >   
   >>  > Mike.   
   >   
   > I have no idea why you quoted me on that, but just for the avoidance of   
   > doubt...   
   >   
   > ChatGPT is a chatbot, and /obviously/ does not peer review submissions   
   > for any respectable journal - because it's a chatbot with no actual   
      
   https://chatgpt.com/g/g-xn69svxsw-scientific-paper-reviewer   
      
   > understanding of its subject matter, only recognition of patterns   
   > enabling it to produce plausible sounding responses to requests.  I was   
   > probably being too subtle for you.   
   >   
      
   I always interpret expressions of language according   
   to the literal base meaning of their words. For example   
   a Turing machine that ignores its inputs is not any kind   
   of actual decider at all. The notion of Turing machine   
   computable functions seems to agree.   
      
   https://en.wikipedia.org/wiki/Computable_function   
      
   >   
   > Mike.   
   > ps. and of course, you're /not/ nearly there, even remotely.   
   >   
      
   Actually just based on this review of my work there is   
   only one more step before I am all the way there with you.   
      
   On 5/14/2025 7:36 PM, Mike Terry wrote:   
   https://al.howardknight.net/?STYPE=msgid&MSGI=%3C1003cu5%242p3g1   
   241%40dont-email.me%3E   
      
      
   void Infinite_Recursion()   
   {   
      Infinite_Recursion();   
      return;   
   }   
      
   Thus you probably also know that HHH could correctly   
   determine the halt status of Infinite_Recursion().   
      
   This only requires you to understand this one more detail   
   that the input to simulating termination analyzer HHH(DDD)   
   correctly simulated by HHH cannot possibly reach its own   
   "return" statement final halt state. This means that this   
   input does specify a non-halting sequence of configurations.   
      
   void DDD()   
   {   
      HHH(DDD);   
      return;   
   }   
      
   Once you understand that then the input to   
   HHH(DD) is this exact same thing.   
      
   int DD()   
   {   
      int Halt_Status = HHH(DD);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   >>   
   >> You said:   
   >> Which version of ChatGPT are you?   
   >>   
   >> ChatGPT said:   
   >> You're currently chatting with ChatGPT using the GPT-4-turbo model   
   >> (often referred to as GPT-4o, the "omni" model). This is the most   
   >> advanced model available as of June 2025 and is designed for high   
   >> performance across text, vision, and audio tasks.   
   >>   
   >>   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)