Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy,sci.math
Subject: Re: ChatGPT totally understands exactly how I refuted the
 conventional halting problem proof technique
Date: Mon, 23 Jun 2025 11:37:53 -0500
Organization: A noiseless patient Spider
Lines: 120
Message-ID: <103bvt3$1cjeg$1@dont-email.me>
References: <1037cr1$1aja4$1@dont-email.me> <1038iil$enlc$1@dont-email.me>
 <10394o5$j159$2@dont-email.me> <103av83$140ie$1@dont-email.me>
 <103bq8n$1a3c8$4@dont-email.me> <103brmh$1bfio$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 23 Jun 2025 18:37:56 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="aba4fd94e23f35feda5a08373e14adce";
	logging-data="1461712"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18VbrKROHLN6loh+dPW/6/g"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:4MvBqRGJKVxUNZFRRYTcL88e+H8=
X-Antivirus: Norton (VPS 250623-2, 6/23/2025), Outbound message
Content-Language: en-US
In-Reply-To: <103brmh$1bfio$1@dont-email.me>
X-Antivirus-Status: Clean

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