Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Mike Terry 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: <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.