Path: ...!news.nobody.at!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: HHH maps its input to the behavior specified by it --- never
 reaches its halt state ---natural number mapping
Date: Sun, 11 Aug 2024 12:45:36 +0200
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <v9a4og$284k5$1@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8oj1n$6kik$3@dont-email.me>
 <v8pvke$ih0a$1@dont-email.me> <4-qdnbdw1JzlRS37nZ2dnZfqlJydnZ2d@giganews.com>
 <v8v7p3$29r2r$1@dont-email.me> <v8vub1$32fso$14@dont-email.me>
 <1e1fa9bc4bbc00aa65c1a7974bd1bda87687c92b@i2pn2.org>
 <v90di8$38oni$1@dont-email.me>
 <47a76378d634bf0db4017f879d0160793b57125e@i2pn2.org>
 <v9161o$3gaju$1@dont-email.me>
 <b84374e766c199e1ba38ef1dc3bc8f6ab2c39dfc@i2pn2.org>
 <v91i97$3n4m0$1@dont-email.me> <v91unh$3rbor$1@dont-email.me>
 <v92gja$p1$3@dont-email.me> <v94m0l$ljf4$1@dont-email.me>
 <v95ae9$p5rb$1@dont-email.me> <v978dv$h1ib$1@dont-email.me>
 <v97j0q$ilah$2@dont-email.me>
 <ccc5dafb53acf66239baac0183a6291687794963@i2pn2.org>
 <v97l3j$kof0$2@dont-email.me> <v97pgq$l4f4$2@dont-email.me>
 <v97qf0$lise$2@dont-email.me> <v97rq3$l4f4$4@dont-email.me>
 <v97t7g$m8l6$1@dont-email.me> <v98bu1$s12e$1@dont-email.me>
 <v98c7u$s5bj$1@dont-email.me> <v98d4g$s12e$3@dont-email.me>
 <v98dmd$sddi$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 11 Aug 2024 12:45:37 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a3e9dec726585d02d0676d1ac6d9e647";
	logging-data="2364037"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/mvi6+f4hVmpFqkHJkRAWJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8gW7FmGamLRODrh1zLTZA6CRBzQ=
Content-Language: en-GB
In-Reply-To: <v98dmd$sddi$1@dont-email.me>
Bytes: 4318

Op 10.aug.2024 om 21:05 schreef olcott:
> On 8/10/2024 1:56 PM, Fred. Zwarts wrote:
>> Op 10.aug.2024 om 20:41 schreef olcott:
>>> On 8/10/2024 1:35 PM, Fred. Zwarts wrote:
>>>>
>>>> No evidence for these claims. We know that a simulation of a halting 
>>>> program is correct only when it reaches the halt state, 
>>>
>>> void Infinite_Recursion()
>>> {
>>>    Infinite_Recursion();
>>> }
>>>
>>> void Infinite_Loop()
>>> {
>>>    HERE: goto HERE;
>>> }
>>>
>>> You seem to be an ignoramus. Ordinary ignorance can be corrected.
>>
>> Completely irrelevant. There is no infinite loop in HHH because HHH 
>> aborts after N recursions, not after an Infinite_Recursion.
> 
> Thus you already knew that your statement was false before you
> said it. Infinite_Loop() need not be emulated to non-existent
> completion before HHH recognizes its infinite behavior pattern.
> 
> Why say things that you know are false?
> 

Irrelevant text about olcott dreams of a non-halting simulation ignored.

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

This is not an infinite recursion.

Olcott's own trace showed that HHH halts. So, it does not have infinite 
behaviour. It has an end. Further, this trace showed that the simulation 
failed to reach that end. That does not show infinite behaviour, but a 
failed simulation.
Dreams are no substitute for facts.

Olcott has a circular reasoning.
1) The simulation does not reach the end, so there must be infinite 
behaviour.
2) There is infinite behaviour, so the simulation must abort and must be 
correct.
He has no evidence for it, neither for 1, nor for 2, but he uses 1 as 
evidence for 2 and 2 as evidence for 1.
The simple facts are that the simulation is incorrect, because it failed 
to reach the end. The end is there, as shown by direct execution, by the 
simulation by another simulator (such as HHH1) and by inspection of the 
code and of the trace. So, there is plenty of evidence that there is an end.
Olcott prefers to ignore all the evidence, because he really, really 
wants his claims to be true, so he keeps repeating them, without any 
evidence. But repetition does not make things true.
That is something he probably just does not want to know.