Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mike Terry <news.dead.person.stones@darjeeling.plus.com>
Newsgroups: comp.theory
Subject: Re: Bad faith and dishonesty
Date: Mon, 26 May 2025 03:00:05 +0100
Organization: A noiseless patient Spider
Lines: 46
Message-ID: <1010hv5$1m2v4$1@dont-email.me>
References: <m99YP.725664$B6tf.610565@fx02.ams4>
 <100uct4$184ak$1@dont-email.me> <100v9ta$1d5lg$7@dont-email.me>
 <100ve61$1e53o$2@dont-email.me> <100vh47$1f7a8$1@dont-email.me>
 <100via6$1lno$1@news.muc.de> <100vo5n$1go1g$1@dont-email.me>
 <100vomn$1fqmu$1@dont-email.me> <100vpkf$1h90o$1@dont-email.me>
 <100vrlj$1hntd$1@dont-email.me> <100vrnm$1hnk3$2@dont-email.me>
 <100vs81$os9$1@news.muc.de> <100vskl$1hu7f$1@dont-email.me>
 <100vt68$1hntd$3@dont-email.me> <100vukd$1i93o$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 26 May 2025 04:00:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="824ec189e1b0880e63794ece1cd2d54b";
	logging-data="1772516"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+y0AH+TI2lbvJCFyYBt7ToqfHZN3SyDRw="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:zsUuVKkrRPT9ZXAdBESQ+NSoaU8=
In-Reply-To: <100vukd$1i93o$1@dont-email.me>

On 25/05/2025 21:30, olcott wrote:
> On 5/25/2025 3:05 PM, dbush wrote:
>> On 5/25/2025 3:56 PM, olcott wrote:
>>> *Mike understood this perfectly*
>>> On 5/14/2025 7:36 PM, Mike Terry wrote:
>>> --------- Sipser quote -----
>>>     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.
>>> ----------------------------
>>>
>>> we can easily interpret that as saying exactly what I said a SHD
>>> does above.  It tells PO that in the tight loop example, H correctly
>>> simulates as far as [A], at which point it correctly determines that
>>> "its simulated input would never stop running unless aborted", so
>>> it can decide "non-halting".
>>>
>>> All correct and natural, and no deliberately
>>> false premises to mislead PO.
>>>
>>> On 5/14/2025 7:36 PM, Mike Terry wrote:
>>> https://al.howardknight.net/? STYPE=msgid&MSGI=%3C1003cu5%242p3g1%241%40dont-email.me%3E 
>>
>> And you dishonestly left out the part that immediately follows where he states that you are wrong:
>>
> 
> *VERFIED FACT*
> Mike Terry Proves ---
> How the requirements that Professor Sipser agreed to are exactly met

Just for the record:

1)  I didn't offer any proofs of /anything/

-  I did explain how Sipser's words can be naturally interpreted as explaining
    how a simulating halt decider can operate.  [That is not a proof.]

-  I also explained why that explanation *doesn't* apply to your HHH/DDD pair

i.e. the exact opposite of what you're claiming as *VERIFIED FACT*.

STOP MISREPRESENTING MY WORDS.

Mike.