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: My reviewers think that halt deciders must report on the behavior
 of their caller
Date: Tue, 8 Jul 2025 16:10:30 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <02fc4f68e9ac8825dfd66cba44c075c8298e044d@i2pn2.org>
References: <101nq32$99vd$1@dont-email.me>
	<a25b36c514731c7946fc2fb5e003c4dda451452e@i2pn2.org>
	<1049jhv$11mmt$2@dont-email.me>
	<89d2edbab76401270efa67a8fbc135d5c47fefab@i2pn2.org>
	<104bjmr$1hqln$16@dont-email.me>
	<3f64fdd81d67415b7b0e305463d950c0c71e2db7@i2pn2.org>
	<EKKdnXZfl9Qpf_T1nZ2dnZfqlJ-dnZ2d@giganews.com>
	<9dcab3b82e32f9eb8473f8bc5361ab2fbef8b8f8@i2pn2.org>
	<104cud2$1r72a$2@dont-email.me>
	<a346224cd5d8b4001580eb6e5ff8783e58c9b7f5@i2pn2.org>
	<104e46s$28pqb$2@dont-email.me>
	<960c2417e6f691b2b12703506c207990df5b39ab@i2pn2.org>
	<104el09$2dpog$1@dont-email.me>
	<1ca786773f9ff02718c66e082bbc4182b36732ab@i2pn2.org>
	<104fduv$2n8gq$2@dont-email.me> <104ftep$rafj$1@dont-email.me>
	<104h475$324da$1@dont-email.me>
	<a5f81886d091790185fb6434782dba91ad075fa5@i2pn2.org>
	<104hmkm$35gkb$2@dont-email.me>
	<f4f7163b6a6afcf9886f9d72d5b06075c0592338@i2pn2.org>
	<104i0ar$36mma$1@dont-email.me>
	<7dd0a67660651421fc4d6c7bdcdf96052eb9ea3d@i2pn2.org>
	<104j94q$3jrpl$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 8 Jul 2025 16:10:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3921804"; 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 Tue, 08 Jul 2025 09:14:50 -0500 schrieb olcott:
> On 7/8/2025 2:15 AM, joes wrote:
>> Am Mon, 07 Jul 2025 21:38:19 -0500 schrieb olcott:
>> 
>>> "No, that code proves that HHH, as defined,
>>>    always aborts its simulation of DDD"
>>> That is a false statement. If you understood the code you would know
>>> your error.
>> Lolwut? Please explain how HHH runs forever.
> I didn't say that it runs forever.
You said it didn't always abort. How does it halt without aborting?

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