Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Any honest person that knows the x86 language can see... predict
 INcorrectly
Date: Wed, 31 Jul 2024 07:25:49 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <5a75149096738df073df26d26908834d32ef29dd@i2pn2.org>
References: <v887np$gl15$1@dont-email.me> <v8a2j5$u4t6$1@dont-email.me>
 <v8asse$12hr3$2@dont-email.me> <v8aukp$12grj$1@dont-email.me>
 <v8b00m$12ojm$1@dont-email.me> <v8bchs$15ai5$1@dont-email.me>
 <v8bh32$15une$1@dont-email.me>
 <d89f03c5a605f010ec3c83c50137b983dc85848e@i2pn2.org>
 <v8bl2j$16ibk$2@dont-email.me>
 <9598b8ea0c68296492a4756938aefd1cec99df2a@i2pn2.org>
 <v8d527$1i7t1$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 31 Jul 2024 11:25:49 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="978543"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v8d527$1i7t1$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3098
Lines: 47

On 7/31/24 6:52 AM, olcott wrote:
> On 7/31/2024 3:54 AM, joes wrote:
>> Am Tue, 30 Jul 2024 16:13:55 -0500 schrieb olcott:
>>> On 7/30/2024 4:07 PM, joes wrote:
>>>> Am Tue, 30 Jul 2024 15:05:54 -0500 schrieb olcott:
>>>>> On 7/30/2024 1:48 PM, Fred. Zwarts wrote:
>>>>>> Op 30.jul.2024 om 17:14 schreef olcott:
>>>>>>> On 7/30/2024 9:51 AM, Fred. Zwarts wrote:
>>>>>>>> Op 30.jul.2024 om 16:21 schreef olcott:
>>>>>>>>> On 7/30/2024 1:52 AM, Mikko wrote:
>>>>>>>>>> On 2024-07-29 14:07:53 +0000, olcott said:
>>
>>>>> I proved otherwise. When the abort code is commented out then it keeps
>>>>> repeating again and again, thus conclusively proving that is must be
>>>>> aborted or HHH never halts.
>>>> But the abort is not commented out in the running code!
> 
>>> I modified the original code by commenting out the abort and it does
>>> endlessly repeat just like HHH correctly predicted.
> 
>> Yes, and that modification makes HHH not call itself
> 
> Not at all. It makes HHH stop aborting DDD.
> So that HHH and DDD endlessly repeat.
> 

But it makes a *DIFFERENT* program DDD, that doesn't halt.

You just don't understand what a "Program" actually is, because of your 
self-imposed IGNORANCE of the FACTS.

>> but a different
>> program. You'd need to also comment out the outermost abort; then it
>> wouldn't halt, but if you change HHH to abort, you change all copies
>> of it at the same time (to keep the recursive call structure).
>>
> 
> If your name is Charlie and your leg gets amputated you
> are still yourself, you don't get renamed to Bill.
> 

But programs are different.

People are willful, malleable entities.

Programs are fixed deterministic constructs.

And you are just showing your stupidity.,