Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: How the requirements that Professor Sipser agreed to are exactly
 met
Date: Wed, 14 May 2025 17:25:52 -0500
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <100359g$2mtsb$10@dont-email.me>
References: <vvte01$14pca$29@dont-email.me> <vvut31$1mfgr$1@dont-email.me>
 <vvviu7$1rc7v$3@dont-email.me>
 <7d1bfcbed36e6754f82e4f73117f30113b763e61@i2pn2.org>
 <1002do3$2i4bk$13@dont-email.me> <1002vmu$2mbr6$2@dont-email.me>
 <100325m$2n1is$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 15 May 2025 00:25:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="66a8f7019eb14522c3a913b396c0eecb";
	logging-data="2848651"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19oqKbz02P7nZUeLtI8pJQl"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:YVjvXZiVNg7PlCZl0S77UBMeZJk=
In-Reply-To: <100325m$2n1is$2@dont-email.me>
X-Antivirus: Norton (VPS 250514-4, 5/14/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean

On 5/14/2025 4:32 PM, Richard Heathfield wrote:
> On 14/05/2025 21:50, dbush wrote:
>> On 5/14/2025 11:44 AM, olcott wrote:
> 
> <snip>
> 

<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

>>> THE SPEC REQUIRES A PARTIAL SIMULATION OF SOME INPUTS.
>>
>> Simulation is not a requirement, merely an implementation detail. 
>> Mapping the halting function is the requirement:
> 
> I think Mr Olcott sees simulation as a requirement, if not /the/ 
> requirement.
> 

This whole post and every single message is only
about how HHH/DDD and HHH/DD meet the EXACT WORDS
OF THE ABOVE SPEC. All divergence from this was
a dishonest dodge.


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