Deutsch   English   Français   Italiano  
<1004id3$331gh$10@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: How the requirements that Professor Sipser agreed to are exactly
 met
Date: Thu, 15 May 2025 13:15:47 +0200
Organization: A noiseless patient Spider
Lines: 48
Message-ID: <1004id3$331gh$10@dont-email.me>
References: <vvte01$14pca$29@dont-email.me> <10013fp$2a1j4$2@dont-email.me>
 <1001u7c$2fl5b$1@dont-email.me> <1002dvp$2i4bk$15@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 15 May 2025 13:15:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f01669ad5be46e37f414bf63360950cd";
	logging-data="3245585"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18q61VxeYfQfGhICLYZYxgI"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:T7kOipnvS5QnFon5ltxf/uJW1B0=
In-Reply-To: <1002dvp$2i4bk$15@dont-email.me>
Content-Language: nl, en-GB

Op 14.mei.2025 om 17:48 schreef olcott:
> On 5/14/2025 6:19 AM, Fred. Zwarts wrote:
>> Op 14.mei.2025 om 05:42 schreef olcott:
>>> On 5/12/2025 1:17 PM, olcott wrote:
>>>> Introduction to the Theory of Computation 3rd Edition
>>>> by Michael Sipser (Author)
>>>> 4.4 out of 5 stars    568 rating
>>>>
>>>> https://www.amazon.com/Introduction-Theory-Computation-Michael- 
>>>> Sipser/ dp/113318779X
>>>>
>>>> int DD()
>>>>   {
>>>>    int Halt_Status = HHH(DD);
>>>>    if (Halt_Status)
>>>>      HERE: goto HERE;
>>>>    return Halt_Status;
>>>>   }
>>>>
>>>> DD correctly simulated by any pure simulator
>>>> named HHH cannot possibly terminate thus proving
>>>> that this criteria has been met:
>>>>
>>>> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>>>>      If simulating halt decider H correctly simulates its
>>>>      input D until H correctly determines that its simulated D
>>>>      would never stop running unless aborted then
>>>>
>>>>      H can abort its simulation of D and correctly report that D
>>>>      specifies a non-halting sequence of configurations.
>>>>   </MIT Professor Sipser agreed to ONLY these verbatim words 
>>>> 10/13/2022>
>>>>
>>>
>>> People tried for more than a year to get away with saying
>>> that DDD was not emulated by HHH correctly until I stipulated
>>> that DDD is emulated by HHH according to the rules of the
>>> x86 language. Then they shut up about this.
>>
>> Olcott tried to get away by claiming that his simulator follows the 
>> rules of the x86 language, but he ignores the proofs that the x86 
>> language was violated with a premature abort.
> 
> *THE SPEC REQUIRES THIS PREMATURE ABORT*
Please cite the page of the specs of the x86 language where you read 
this. You can't.
Please face the facts, not your dreams. Come out of rebuttal mode. Try 
to think!