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: Respect [was: The halting problem as defined is a category error]
Date: Sun, 20 Jul 2025 15:47:59 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <20a0296fb457fa17aad4af207296ea8041d5eb5a@i2pn2.org>
References: <105bdps$1g61u$1@dont-email.me> <105c0lk$1k7ip$1@dont-email.me>
	<105c22v$1k9r9$3@dont-email.me> <105c5rt$1l4j7$1@dont-email.me>
	<105cddu$1r7mi$1@dont-email.me> <105e259$26kvp$1@dont-email.me>
	<105h115$ghr$1@news.muc.de> <105h23i$2uj5e$2@dont-email.me>
	<c3815f270bfa85711ee540bfe1776a2476c15fdd@i2pn2.org>
	<105hna4$328it$1@dont-email.me>
	<6bbfb575969993ce9293f348d978b63da2cf48c8@i2pn2.org>
	<105iuhg$3cagp$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 20 Jul 2025 15:47:59 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1438577"; 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 Sun, 20 Jul 2025 09:30:08 -0500 schrieb olcott:
> On 7/20/2025 6:13 AM, Richard Damon wrote:

>> When you add to the input the actual definition of "Non-Halting", as
>> being that the exectuion of the program or its complete simulation will
>> NEVER halt, even if carried out to an unbounded number of steps, they
>> will give a different answer.
> This is a whole other issue that I have addressed.
> They figured out on their own that if DDD was correctly simulated by HHH
> for an infinite number of steps that DDD would never stop running.
That is incorrect. The HHH called by DDD will hit the abort. (Of course
HHH can't simulate that since it aborts before instead of doing an
unlimited simulation.)

-- 
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.