Re: How the requirements that Professor Sipser agreed to are exactly met

On 5/14/2025 2:20 PM, Ben Bacarisse wrote:

joes <noreply@example.org> writes:
 

Am Wed, 14 May 2025 10:06:02 -0500 schrieb olcott:

On 5/14/2025 3:17 AM, joes wrote:

Am Tue, 13 May 2025 21:43:32 -0500 schrieb olcott:

On 5/13/2025 8:58 PM, dbush wrote:

>

I have the emails where he agreed that I could publish his agreement
with those exact words. Ben also checked this and verified it.

>
Please publish those instead of paraphrasing.
>

He agreed that I could publish this.
Ben checked with him at the time.

>
Ok so you don't have mails. Ben does.

 Just to be clear, I did not "check" anything with Sipser.  I alerted him
to the fact that his agreement to a deceptively worded sentence was
being used in public.  Prof Sipser does not agree with PO's wacky ideas.
 

That is an incorrect paraphrase of the actual truth.
Professor Sipser DID agree with these verbatim words.
<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>
Professor Sipser never could understand the significance
of the above words because he could not afford to take
the time to understand what recursive simulation is.
With 300 students he did not have the extra five minutes
that this would take.
*You agreed that the first half of the above spec <is> met*
On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
 > I don't think that is the shell game. PO really /has/ an H
 > (it's trivial to do for this one case) that correctly determines
 > that P(P) *would* never stop running *unless* aborted.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer