Path: ...!eternal-september.org!feeder3.eternal-september.org!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 11:16:11 -0500
Organization: A noiseless patient Spider
Lines: 41
Message-ID: <1007ocb$3rglr$1@dont-email.me>
References: <1007icj$3qb7l$1@dont-email.me> <1007nuk$3rb4n$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 16 May 2025 18:16:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a793c50ac46b1404361ae4f1062ef558";
	logging-data="4047547"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19+pTA4/sgtSkYCH6qX9h4D"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:McorxCD4344q0nObxby7i+w+RfA=
In-Reply-To: <1007nuk$3rb4n$2@dont-email.me>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250516-6, 5/16/2025), Outbound message
Content-Language: en-US
Bytes: 2765

On 5/16/2025 11:08 AM, Mike Terry wrote:
> On 16/05/2025 15:33, 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>
>>
> 
> Please stop telling other people what you think I agree and do not agree 
> with.  It serves no possible purpose other than as some kind of warped 
> Appeal To Authority.
> 
> Just argue whatever point you are making in your own words.
> 
> Mike.
> 

The ultimate measure of truth is the correct reasoning
that you provided showing exactly how a correct SHD
can be derived from the exact meaning of the quoted words.

You carefully evaluated the exact meaning of the quoted
words and showed how a correct SHD can be derived from
these words. Everyone else changes the words and then
dishonestly rebuts the changed words.

Everyone else is dishonest with me, yet will not
be dishonest with you.


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