Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Mike Terry Proves --- How the requirements that Professor Sipser
 agreed to are exactly met
Date: Fri, 16 May 2025 18:46:57 -0500
Organization: A noiseless patient Spider
Lines: 49
Message-ID: <1008iph$j63$1@dont-email.me>
References: <1007icj$3qb7l$1@dont-email.me>
 <6510833bd5ded8aacc3edcba5b55da467ce29e25@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 17 May 2025 01:46:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6ea8251727358be87ec7627194d1f4d0";
	logging-data="19651"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19fCg1d/cWLjUSY6VadkwFf"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:b2YRUtiBkXnAS16rFfH5IYE9XIc=
X-Antivirus: Norton (VPS 250516-6, 5/16/2025), Outbound message
In-Reply-To: <6510833bd5ded8aacc3edcba5b55da467ce29e25@i2pn2.org>
X-Antivirus-Status: Clean
Content-Language: en-US

On 5/16/2025 10:40 AM, Richard Damon wrote:
> On 5/16/25 10:33 AM, olcott wrote:
>> Mike does not agree that HHH(DD) gets the correct
>> answer. He does agree that an HHH derived from the
>> exact meaning of these words is correct:
>>
>> <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>
>>
>> On 5/14/2025 7:36 PM, Mike Terry wrote:
>>  > There is a natural (and correct) statement that Sipser
>>  > is far more likely (I'd say) to have agreed to.
>>  >
>>  > First you should understand the basic idea behind a
>>  > "Simulating Halt Decider" (*SHD*) that /partially/
>>  > simulates its input, while observing each simulation
>>  > step looking for certain halting/non-halting patterns
>>  > in the simulation.  A simple (working) example here
>>  > is an input which goes into a tight loop.
>> (Mike says much more about this)
>>
>> *Click here to get the whole article*
>> https://al.howardknight.net/? 
>> STYPE=msgid&MSGI=%3C1003cu5%242p3g1%241%40dont-email.me%3E
>>
>> Message-ID: <1003cu5$2p3g1$1@dont-email.me>
>>
> 
> If he so agrees with you, why are you arguing with him about what he said?
> 

He made one key big mistake that has nothing to do
with the actual subject matter of this post that
you keep trying to weasel out of.

> It is also clear from the quotes that Mike is NOT agreeing with your 
> stateent, but you just don't understand him.
> 


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