Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic,comp.theory,sci.math
Subject: Re: ChatGPT agrees that HHH refutes the standard halting problem
 proof method
Date: Fri, 27 Jun 2025 13:50:49 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <dffbe44732e183c60e99f3dfaa2e4022546a523d@i2pn2.org>
References: <103jmr5$3h0jc$1@dont-email.me> <103k0sc$2q38$1@news.muc.de>
 <103k1mc$3j4ha$1@dont-email.me>
 <4f80c7a2c5ba0fb456012c8c753adb89c33d719d@i2pn2.org>
 <103maod$6dce$6@dont-email.me>
 <34a4ee630cdb41c899f678237033bad5da5699be@i2pn2.org>
 <103mh6v$8hdt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 27 Jun 2025 17:53:50 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2302004"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <103mh6v$8hdt$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US

On 6/27/25 12:34 PM, olcott wrote:
> On 6/27/2025 10:59 AM, Richard Damon wrote:
>> Something you might want to look at:
>>
>> https://www.youtube.com/watch?v=Q2LCeKpe8R8
>>
>>
> 
> When one divides mere rhetoric from objective truth
> the above point becomes moot.
> 
> Socratic questioning is an educational method named
> after Socrates that focuses on discovering answers
> by asking questions of students.
> https://en.wikipedia.org/wiki/Socratic_questioning
> 
> I know that DDD correctly simulated by HHH cannot
> possibly reach its own simulated "return" statement
> final halt state because the execution trace
> conclusively proves this.
> 
> That no one else can possibly provide a correct
> execution trace that refutes this means there has
> been no actual rebuttal.
> 

In other words, you are just admitting that you use the techniques 
described in the video.

The problem with your claim that "DDD correctly simulated by HHH cannot 
possible reach its own simulated "return" statement" is that it presumes 
a condition that just is not true for the case when HHH answers.

That is like beigning a claim with, "When we assume that 1 is an even 
number, then we can show ..."  as you statement has as much basis as that.

The problem is that the actual correct trace has been provided, it is 
just that you HHH can't do it.

You are just showing that you world is based on you lying to yourself 
that equivocation, the having on one thing be two different things at 
once, is a valid assumption.

There is no world where HHH both does a correct simulation, and gives 
the answer, thus there is no world where your answer has meaning.

Sorry, you are just proving you utter stupidity and ignorance of how 
thinking actually works.