Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!maths.tcd.ie!usenet.csail.mit.edu!xmission!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: My reviewers think that halt deciders must report on the behavior
 of their caller
Date: Wed, 9 Jul 2025 07:36:40 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <498ab8c180f5735b5ff174996a854877feab5bc3@i2pn2.org>
References: <101nq32$99vd$1@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>
 <02fc4f68e9ac8825dfd66cba44c075c8298e044d@i2pn2.org>
 <104jgks$3lk58$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 9 Jul 2025 12:00:51 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="4037452"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <104jgks$3lk58$2@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Lines: 34

On 7/8/25 12:22 PM, olcott wrote:
> On 7/8/2025 11:10 AM, joes wrote:
>> 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?
>>
> 
> *I denied these words not your paraphrase of them*
> "No, that code proves that HHH, as defined,
> always aborts its simulation of DDD"
> 
> 

DO you deny that truth?

Does not you big trace of the running of HHH show that it does abort and 
return 0?

Do you think that programs are not deterministic in behavior?

I guess you are just showing that you think computers, as currently 
being used, can't exists as somethig useful, as programms can end up 
doing what ever they want, and aren't limited by what the programming 
says they must do,

Sorry, you are just proving your stupidity,