Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Two dozen people were simply wrong --- Try to prove otherwise
Date: Thu, 30 May 2024 08:21:37 -0500
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <v39uh1$1mtd9$4@dont-email.me>
References: <v3501h$lpnh$1@dont-email.me> <v362eu$2d367$3@i2pn2.org>
 <v363js$vg63$2@dont-email.me> <v36803$2d368$3@i2pn2.org>
 <v368je$100kd$3@dont-email.me> <v373mr$2d367$5@i2pn2.org>
 <v37bpa$15n0b$1@dont-email.me> <v37i9p$lls$1@news.muc.de>
 <87y17smqnq.fsf@bsb.me.uk> <v37sap$18mfo$1@dont-email.me>
 <v38eq4$2foi0$1@i2pn2.org> <v38fe0$1bndb$1@dont-email.me>
 <v38g31$2foi0$11@i2pn2.org> <v38gi5$1bndb$3@dont-email.me>
 <v38ici$2fohv$2@i2pn2.org> <v38j17$1c8ir$2@dont-email.me>
 <v38jgo$2foi0$14@i2pn2.org> <v38jv9$1c8ir$4@dont-email.me>
 <v38kh7$2foi0$15@i2pn2.org> <v38lsl$1ggjs$1@dont-email.me>
 <v38o71$2foi0$17@i2pn2.org> <v38ogh$1grj4$1@dont-email.me>
 <v39fll$2grvb$2@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 30 May 2024 15:21:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0a722b73a14c6c7bef786c05822a9348";
	logging-data="1799593"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18qDEdv834WFMBmf8EC7m0c"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:kwi7ZHMpUn/Had8rmhcq/3WCDRs=
In-Reply-To: <v39fll$2grvb$2@i2pn2.org>
Content-Language: en-US
Bytes: 3837

On 5/30/2024 4:08 AM, joes wrote:
> Am Wed, 29 May 2024 21:32:49 -0500 schrieb olcott:
>> On 5/29/2024 9:27 PM, Richard Damon wrote:
>>> On 5/29/24 9:48 PM, olcott wrote:
>>>> On 5/29/2024 8:24 PM, Richard Damon wrote:
>>>>> On 5/29/24 9:15 PM, olcott wrote:
>>>>>> On 5/29/2024 8:07 PM, Richard Damon wrote:
>>>>>>> On 5/29/24 8:59 PM, olcott wrote:
>>>>>>>> On 5/29/2024 7:48 PM, Richard Damon wrote:
>>>>>>>>> On 5/29/24 8:17 PM, olcott wrote:
>>>>>>>>>> On 5/29/2024 7:09 PM, Richard Damon wrote:
>>>>>>>>>>> On 5/29/24 7:57 PM, olcott wrote:
>>>>>>>>>>>> On 5/29/2024 6:47 PM, Richard Damon wrote:
>>>>>>>>>>>>> On 5/29/24 2:31 PM, olcott wrote:
>>>>>>>>>>>>>> On 5/29/2024 1:14 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>> Alan Mackenzie <acm@muc.de> writes:
>>>>>>>>>>>>>>>> How about a bit of respect?  Mike specifically asked you
>>>>>>>>>>>>>>>> not to cite his
>>>>>>>>>>>>>>>> name as a back up for your points.  Why do you keep doing it?
> 
>>>>>>>>>>>>>> It turns out that two dozen people are easily proven wrong when
>>>>>>>>>>>>>> they claimed that the correct simulation of the input to H(D,D)
>>>>>>>>>>>>>> is the behavior of int main() { D(D); }
>>>>>>>>>>>>>>
>>>>>>>>>>>>> How is that?
> 
>>>>>>>>>>>>> Which isn't a "Correct Simulation" by the definition that
>>>>>>>>>>>>> allow the relating of a "Simulation" to the behavior of an
>>>>>>>>>>>>> input.
>>>>>>>>>>>> Right the execution trace of D simulated by pure function H using
>>>>>>>>>>>> an x86 emulator must show that D cannot possibly reach its own
>>>>>>>>>>>> simulated final state and halt or the simulation of the machine
>>>>>>>>>>>> language of D is incorrect or in the wrong order.
> Or aborts prematurely.
> 

It has already been acknowledged when D is correctly simulated by
pure simulator H that D never reaches its own simulated final state
and halts after an infinite number of steps of correct simulation.

When an infinite number of steps is not enough then less than an
infinite number of steps cannot help.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer