Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: Sequence of sequence, selection and iteration matters
Date: Fri, 12 Jul 2024 16:42:54 +0200
Organization: A noiseless patient Spider
Lines: 66
Message-ID: <v6rfdd$32501$3@dont-email.me>
References: <v6e7va$c4sv$1@dont-email.me> <v6g444$pdc2$1@dont-email.me>
 <v6go4d$sg7f$1@dont-email.me> <v6ikv5$19h6q$1@dont-email.me>
 <v6jguf$1ctoi$5@dont-email.me> <v6ji1d$1dpoc$1@dont-email.me>
 <v6jig0$1ctoi$11@dont-email.me> <v6jkib$1e3jq$1@dont-email.me>
 <v6jpe5$1eul0$1@dont-email.me> <v6jpqo$1e3jq$2@dont-email.me>
 <v6jqfg$1eul0$2@dont-email.me> <v6k6md$1h3a7$1@dont-email.me>
 <v6k9ef$1hicb$1@dont-email.me> <v6lc9v$1q8jn$1@dont-email.me>
 <v6lva1$1tj30$1@dont-email.me> <v6m4nk$1uean$1@dont-email.me>
 <v6m53s$1ugv5$1@dont-email.me> <v6m6i9$1uean$3@dont-email.me>
 <v6m78d$1uq86$1@dont-email.me> <v6o17i$2bu9u$1@dont-email.me>
 <v6ordc$2fuva$9@dont-email.me> <v6quu5$2vf1t$1@dont-email.me>
 <v6r7pt$30qtt$3@dont-email.me> <v6r8vo$318do$1@dont-email.me>
 <v6rc2j$30qtt$11@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 12 Jul 2024 16:42:54 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7af5eacf7ee35a6bd95a47fb26ac0889";
	logging-data="3216385"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18mZbDLHpHTmv7uiIh4ACnN"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:BQOGSUn2ODvnY/Uw5GmlqrLLWxU=
Content-Language: en-GB
In-Reply-To: <v6rc2j$30qtt$11@dont-email.me>
Bytes: 4300

Op 12.jul.2024 om 15:45 schreef olcott:
> On 7/12/2024 7:53 AM, Fred. Zwarts wrote:
>> Op 12.jul.2024 om 14:33 schreef olcott:
>>>
>>> There is no freaking end you freaking moron.
>>> I apologize for getting harsh, yet nothing else seems to work.
>>>
>>
>> I don't feel offended, because I know you have problems to recognize 
>> the truth.
>> You think that by only wishing and repeating you can make something true.
>>
>> Each HHH that aborts has an end, 
> 
> Maybe you don't understand what halting means.
> When DDD correctly emulated by HHH stops running because
> HHH correctly recognizes that DDD would never otherwise
> stop running THIS DOES NOT MEAN THAT DDD HALTS.

But HHH is wrong in this determination, because one cycle later its 
simulation would halt without a need to abort, because the simulated HHH 
would abort.

> 
> _DDD()
> [00002163] 55         push ebp      ; housekeeping
> [00002164] 8bec       mov ebp,esp   ; housekeeping
> [00002166] 6863210000 push 00002163 ; push DDD
> [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
> [00002170] 83c404     add esp,+04
> [00002173] 5d         pop ebp
> [00002174] c3         ret
> Size in bytes:(0018) [00002174]
> 

We are talking about an HHH that is programmed to abort after N cycles 
(with N = 0 up to an arbitrary large number ∞). Each of them aborts one 
cycle before the simulated HHH would abort. It makes no sense to dream 
about another HHH that does not abort, because we are considering the 
case of an HHH that aborts.
This shows that each HHH aborts the simulation of itself prematurely. 
Therefore, each HHH has an end (that is how it is programmed), but the 
simulation does not reach it.
Therefore, each of these simulations is incorrect.

No matter how much you want to be it correct, or how many times you 
repeat that its is correct, it does not change the fact that the 
simulation is incorrect, because it is unable to reach the end.

DDD has nothing to do with it. It is easy to eliminate DDD:

        int main() {
          return HHH(main);
        }

This has the same problem. Proving that the problem is not in DDD, but 
in HHH, which is required to halt, but it decides that HHH does not halt.

HHH is unable to decide about finite recursions.

void Finite_Recursion (int N) {
   if (N > 0) Finite_Recursion (N - 1);
}

It decides after N recursions that there is an infinite recursion, which 
is incorrect.