Path: ...!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: Defining a correct simulating halt decider
Date: Thu, 5 Sep 2024 12:24:15 +0200
Organization: A noiseless patient Spider
Lines: 46
Message-ID: <vbc0sg$9vqh$2@dont-email.me>
References: <vb4plc$2tqeg$1@dont-email.me> <vb4u1g$2u7sn$4@dont-email.me>
 <vb59cg$3057o$1@dont-email.me>
 <f0ff8a5345087a3b89853b26af12e38d433afc7b@i2pn2.org>
 <vb7l68$3efl8$1@dont-email.me>
 <e31c9b03d979de12131d3043f3f09dcd94273e7e@i2pn2.org>
 <vb7rbl$3fd42$1@dont-email.me> <vb99qf$3plip$3@dont-email.me>
 <vb9m01$3rh1t$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 05 Sep 2024 12:24:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="cd6d1c22fae3e918120ed484b6f53aff";
	logging-data="327505"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/4NRVPSzBvFOG92ym/wMPh"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Yue7oYrZNvdfsaFDMTN+xRpXWCM=
In-Reply-To: <vb9m01$3rh1t$2@dont-email.me>
Content-Language: en-GB
Bytes: 3391

Op 04.sep.2024 om 15:06 schreef olcott:
> On 9/4/2024 4:38 AM, Fred. Zwarts wrote:
>> Op 03.sep.2024 om 22:25 schreef olcott:
>>> On 9/3/2024 2:01 PM, joes wrote:
>>>> Am Tue, 03 Sep 2024 13:40:08 -0500 schrieb olcott:
>>>>> On 9/3/2024 9:42 AM, joes wrote:
>>>>>> Am Mon, 02 Sep 2024 16:06:24 -0500 schrieb olcott:
>>>>>>> On 9/2/2024 12:52 PM, Fred. Zwarts wrote:
>>>>>>>> Op 02.sep.2024 om 18:38 schreef olcott:
>>>>>>>>> A halt decider is a Turing machine that computes the mapping from
>>>>>>>>> its finite string input to the behavior that this finite string
>>>>>>>>> specifies.
>>>>>>>>> If the finite string machine string machine description specifies
>>>>>>>>> that it cannot possibly reach its own final halt state then this
>>>>>>>>> machine description specifies non-halting behavior.
>>>>>> Which DDD does not.
>>>>> DDD emulated by HHH cannot possibly reach its final halt state no 
>>>>> matter
>>>>> what HHH does.
>>>> But DDD halts, so it „specifies halting behaviour”.
>>>> HHH can’t simulate itself.
>>>>
>>>
>>> HHH does simulate itself simulating DDD
>>> why do you insist on lying about this?
>>>
>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>> HHH *tries* to simulate itself, but it fails to reach the end of its 
>> simulation of the halting program.
> 
> The source code proves otherwise that you are not bright
> enough to understand this code is no rebuttal at all.
> 
Olcott's only rebuttal is a ad hominem attacks.
No evidence for another incorrect claim.
Even olcott agreed that HHH cannot reach the end of DDD and now he 
contradicts himself.
The source code describes a halting program. Just as the finite string 
that is the result of the source code and is given to HHH as input.
This same finite string, when given for direct execution, when simulated 
by the unmodified world class simulator and when processed by HHH1, 
describe a halting program.
But olcott's HHH fails to reach the end of this program.
This is not unexpected, because HHH cannot possible simulate itself 
correctly up to the end.