Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!usenet.network!news.neodome.net!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: ChatGPT agrees that HHH refutes the standard halting problem
 proof method
Date: Sun, 29 Jun 2025 22:39:10 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <a60543ff9feb748df80b32970c67bb8c7ab13d89@i2pn2.org>
References: <103jmr5$3h0jc$1@dont-email.me> <103k0sc$2q38$1@news.muc.de>
 <103k1mc$3j4ha$1@dont-email.me> <103lfn1$ml0$1@dont-email.me>
 <103m813$6dce$1@dont-email.me> <103ol2u$raq9$1@dont-email.me>
 <103onmp$rq7e$1@dont-email.me> <103r0ce$1esb9$1@dont-email.me>
 <103rhf6$1hc53$8@dont-email.me>
 <0c50a8ee4efb36cef4271674792a090125187f9d@i2pn2.org>
 <gPg8Q.1988877$4AM6.189428@fx17.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 30 Jun 2025 02:46:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2658344"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <gPg8Q.1988877$4AM6.189428@fx17.ams4>
X-Spam-Checker-Version: SpamAssassin 4.0.0

On 6/29/25 3:51 PM, Mr Flibble wrote:
> On Sun, 29 Jun 2025 15:00:35 -0400, Richard Damon wrote:
> 
>> Remember, the simulator must be simulating the INPUT, and thus to go
>> past the call HHH instruction, the code must be part of the input, and
>> the input needs to be a constant.
>   
> No. If HHH is simulating DDD then HHH can detect a call to itself being
> passed DDD within DDD and can assert at that point that the input is non-
> halting.
> 
> /Flibble

And thus isn't simu;ating THE INPUT, and that the input isn't a PROGRAM.

Also, what if DDD is using a copy of HHH, as per the proof program, 
which might have variations in the code.

Sorry, just shows you don't understand the problem.