Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: HHH(DDD)==0 is correct
Date: Fri, 4 Jul 2025 13:22:42 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <85f05c8b6ceeefbe07791b4dd06b25b83d8297a4@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>
	<a60543ff9feb748df80b32970c67bb8c7ab13d89@i2pn2.org>
	<tJA8Q.6$r61e.2@fx11.ams4>
	<5e7f84c84b4ed51e195dd33afd9ed7eca89be454@i2pn2.org>
	<F9U8Q.300$ZQ4b.16@fx16.ams4> <1044r60$3v2k1$1@dont-email.me>
	<1045gll$37j5$1@dont-email.me> <1045uma$5p40$1@dont-email.me>
	<1048077$n883$1@dont-email.me> <1048imf$qd4f$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 4 Jul 2025 13:22:42 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3321465"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0

Am Fri, 04 Jul 2025 07:50:23 -0500 schrieb olcott:
> On 7/4/2025 2:35 AM, Mikko wrote:
>> On 2025-07-03 12:56:42 +0000, olcott said:
>>> On 7/3/2025 3:57 AM, Mikko wrote:
>>>> On 2025-07-03 02:50:40 +0000, olcott said:
>>>>> On 7/1/2025 11:37 AM, Mr Flibble wrote:
>>>>>> On Mon, 30 Jun 2025 21:12:48 -0400, Richard Damon wrote:
>>>>>>> On 6/30/25 2:30 PM, Mr Flibble wrote:

>>>>>> No. A simulator does not have to run a simulation to completion if
>>>>>> it can determine that the input, A PROGRAM, never halts.
If. But here it confuses that with not being able to simulate past the
recursive call.

>>> That is *not* the actual question.
>> THe actual question is whatever someone asks.
> What is the area of a square circle with a radius of 2?
DDD halts.

>>> HHH(DDD) is asked: Does your input specify a computation that halts*?
>>> DDD correctly simulated by HHH cannot possibly reach its own "return"
>>> statement final halt state, so NO.
*when executed directly, which is what should be simulated. HHH can't.

>> THat is the same question if the input specifies the computation as
>> DDD. If it does not then HHH(DDD) is irrelevant and either the user's
>> manual of HHH species another input for the purpose or HHH is not
>> relevant to the halting problem.

>>> HHH1(DDD) is asked: Does your input specify a computation that halts?
>>> DDD correctly simulated by HHH1 reaches its own "return" statement
>>> final halt state, so YES.
>> The user's manual of HHH1 apparently dpecifies different encoding
>> rules.
> The full execution trace of the input to HHH1(DDD) is different than The
> full execution trace of the input to HHH(DDD)
> because DDD calls HHH in recursive simulation and does not call HHH1 in
> recursive simulation.
Uh, the traces both show a call to HHH. 

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.