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: key error in all the proofs --- Correction of Fred
Date: Fri, 16 Aug 2024 21:41:19 +0200
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <v9oa0v$1hmvf$3@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v9dgvl$3d1an$1@dont-email.me>
 <d289636b1d244acaf00108f46df093a9fd5aa27c@i2pn2.org>
 <v9dk2j$3dp9h$1@dont-email.me>
 <8318f5969aa3074e542747fe6ba2916d7f599bde@i2pn2.org>
 <TyKdnc3hCNvmUyf7nZ2dnZfqn_udnZ2d@brightview.co.uk>
 <v9ekta$3necg$1@dont-email.me>
 <2f8c1b0943d03743fe9894937092bc2832e0a029@i2pn2.org>
 <v9fn50$3ta4u$2@dont-email.me> <v9hmfc$c71c$1@dont-email.me>
 <v9ic89$f16v$6@dont-email.me>
 <06ea0f3a1ff938643b3dfefdf62af15559593733@i2pn2.org>
 <v9iqgc$go4j$2@dont-email.me>
 <LcucnRYb5ZiYhyD7nZ2dnZfqnPednZ2d@brightview.co.uk>
 <v9j6ci$jo32$1@dont-email.me> <v9kdp9$srkm$1@dont-email.me>
 <v9ku3k$v95g$1@dont-email.me> <v9nbqr$1dmui$1@dont-email.me>
 <v9nf3o$1dvef$3@dont-email.me> <v9nkhd$1ertd$1@dont-email.me>
 <v9nmj5$1f34m$1@dont-email.me>
 <6590517a070695b81751db1b64c3d26019ee9b13@i2pn2.org>
 <v9nog5$1fe76$1@dont-email.me>
 <34a22fd138e2e1e41a4dd29cd6c9016064e2343c@i2pn2.org>
 <v9npus$1flup$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 16 Aug 2024 21:41:19 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="905ef987000159018ac19d993d3552cf";
	logging-data="1629167"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18JesWhTd3njlNA9NE1ychf"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:AsNC5/G/n2pjadHsoQCNjNMqZTU=
In-Reply-To: <v9npus$1flup$2@dont-email.me>
Content-Language: en-GB
Bytes: 3487

Op 16.aug.2024 om 17:07 schreef olcott:
> On 8/16/2024 9:59 AM, joes wrote:
>> Am Fri, 16 Aug 2024 09:42:13 -0500 schrieb olcott:
>>> On 8/16/2024 9:28 AM, Richard Damon wrote:
>>>> On 8/16/24 10:09 AM, olcott wrote:
>>>>> On 8/16/2024 8:34 AM, Mikko wrote:
>>>>>> On 2024-08-16 12:02:00 +0000, olcott said:
>>
>>>>> Unless an unlimited emulation of DDD by HHH can reach the "return"
>>>>> instruction of DDD it is construed that this instance of DDD never
>>>>> halts.
>>>> But that also construes that HHH is a program that DOES an unlimited
>>>> emulation of DDD, and thus isn't a decider
>>> Not at all. never has.
>> Yes, because DDD is defined to call its simulator. If you change the
>> simulator to abort, you also change the simulated HHH. Nobody cares
>> about HHH aborting a pure simulator.
> 
>>> HHH must predict what the behavior of an unlimited simulation would be.
>> The HHH that aborts must predict what DDD calling an aborting HHH does -
> 
> NOT AT ALL, NEVER HAS.
> 
> PREDICT WHAT THE BEHAVIOR WOULD BE
> PREDICT WHAT THE BEHAVIOR WOULD BE
> PREDICT WHAT THE BEHAVIOR WOULD BE
> PREDICT WHAT THE BEHAVIOR WOULD BE
> 
> IF IT WAS AN UNLIMITED EMULATION
> IF IT WAS AN UNLIMITED EMULATION
> IF IT WAS AN UNLIMITED EMULATION
> IF IT WAS AN UNLIMITED EMULATION
> 
The correct meaning is: If the simulator was an unlimited simulation. 
But you are not allowed to change input of an aborting simulator to an 
unlimited simulation. That is cheating. We know you do it with the Root 
variable.