Liste des Groupes | Revenir à theory |
On 5/14/2025 2:20 PM, Ben Bacarisse wrote:And *yet again* you lie by implying Sipser agrees with your interpretation of the above when definitive proof has been repeatedly provided that he did not:joes <noreply@example.org> writes:That is an incorrect paraphrase of the actual truth.
>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:>He agreed that I could publish this.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.
>
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.
>
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>
Les messages affichés proviennent d'usenet.