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

Liste des GroupesRevenir à theory 
Sujet : Re: How the requirements that Professor Sipser agreed to are exactly met
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 15. May 2025, 00:27:36
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10038t8$2oddi$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
User-Agent : Mozilla Thunderbird
On 5/14/2025 6:02 PM, Mike Terry wrote:
On 14/05/2025 09:17, joes wrote:
Am Tue, 13 May 2025 21:43:32 -0500 schrieb olcott:
On 5/13/2025 8:58 PM, dbush wrote:
>
Then maybe you should stop implying that Sipser agrees with the above
when it's been proven on multiple occasions that he has not.
*That* is dishonest.
>
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.
>
 What's this?  Some new conspiracy theory?  (Ben + PO conspiring to convince people here that Sipser has become involved?  WHY???)
 PO misunderstands most things, but I simply don't see him inventing a made up email exchange with Sipser.  He gets confused about meanings of things, but he seems honest enough about things like this.  And I don't think Ben would say he'd briefly conversed with Sipser if he hadn't - what would be the point of it all?
 OTOH PO contacting Sipser and trying to get him to accept some PO- wording of a statement about simulating halt deciders seems like EXACTLY the sort of thing PO might do.  PO agreeing to only quote specific words also seems totally plausible.  Sipser agreeing to the words PO quotes seems entirely feasible, although obviously Sipser would not be interpreting them in the same way as PO [and so is not in any shape or form supporting PO's argument].
 There is a slight mystery as to why Sipser would respond to PO at all rather than just ignore him, but hey, maybe Sipser is just a nice guy!  And there's no way Sipser could have forseen PO's bizarre misinterpretation of the quote,
That is easily proved to be counter-factual on the
basis that these words only have a single correct
meaning making all misinterpretations impossible:
<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
This proves that your use of the term *misinterpretation*
is incorrect.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
5 May 25 * Formal systems that cannot possibly be incomplete except for unknowns and unknowable594olcott
5 May 25 +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
5 May 25 +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable19Alan Mackenzie
5 May 25 i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable18olcott
5 May 25 i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable17Alan Mackenzie
5 May 25 i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable16olcott
5 May 25 i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable15Alan Mackenzie
5 May 25 i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable14olcott
5 May 25 i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable13Alan Mackenzie
5 May 25 i      `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable12olcott
5 May 25 i       +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable7Alan Mackenzie
5 May 25 i       i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable6olcott
5 May 25 i       i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable5Alan Mackenzie
5 May 25 i       i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4olcott
6 May 25 i       i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Alan Mackenzie
6 May 25 i       i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
7 May 25 i       i     `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
6 May 25 i       `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4joes
6 May 25 i        `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3olcott
7 May 25 i         +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
7 May 25 i         `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
5 May 25 `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable573Richard Damon
5 May 25  +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable569olcott
6 May 25  i+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Richard Damon
6 May 25  ii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
6 May 25  ii `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
6 May 25  i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable565olcott
6 May 25  i +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable561Alan Mackenzie
6 May 25  i i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable560olcott
6 May 25  i i +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable556Alan Mackenzie
6 May 25  i i i+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable552Richard Heathfield
7 May 25  i i ii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable5Ben Bacarisse
7 May 25  i i iii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4Richard Heathfield
7 May 25  i i iii +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
7 May 25  i i iii +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
9 May 25  i i iii `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
7 May 25  i i ii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable544olcott
7 May 25  i i iii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable532Richard Heathfield
7 May 25  i i iiii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable529olcott
7 May 25  i i iiiii+- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1dbush
7 May 25  i i iiiii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable527Richard Heathfield
7 May 25  i i iiiii `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable526olcott
7 May 25  i i iiiii  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable525Richard Heathfield
7 May 25  i i iiiii   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable524olcott
7 May 25  i i iiiii    +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable511dbush
7 May 25  i i iiiii    i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable510olcott
7 May 25  i i iiiii    i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable509dbush
8 May 25  i i iiiii    i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable508olcott
8 May 25  i i iiiii    i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable507dbush
8 May 25  i i iiiii    i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable506olcott
8 May 25  i i iiiii    i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable505dbush
8 May 25  i i iiiii    i      `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable504olcott
8 May 25  i i iiiii    i       `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable503dbush
8 May 25  i i iiiii    i        +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
8 May 25  i i iiiii    i        i`- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1dbush
8 May 25  i i iiiii    i        +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable499olcott
8 May 25  i i iiiii    i        i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable498dbush
8 May 25  i i iiiii    i        i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable497olcott
8 May 25  i i iiiii    i        i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable496dbush
8 May 25  i i iiiii    i        i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable495olcott
8 May 25  i i iiiii    i        i    +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3dbush
8 May 25  i i iiiii    i        i    i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
8 May 25  i i iiiii    i        i    i `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1dbush
8 May 25  i i iiiii    i        i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable491Richard Heathfield
8 May 25  i i iiiii    i        i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable490olcott
8 May 25  i i iiiii    i        i      +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable488Richard Heathfield
8 May 25  i i iiiii    i        i      i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable487Mike Terry
8 May 25  i i iiiii    i        i      i +* Incorrect requirements --- Computing the mapping from the input to HHH(DD)485olcott
8 May 25  i i iiiii    i        i      i i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)474Fred. Zwarts
8 May 25  i i iiiii    i        i      i ii`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)473olcott
8 May 25  i i iiiii    i        i      i ii +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)468Richard Heathfield
8 May 25  i i iiiii    i        i      i ii i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)6olcott
8 May 25  i i iiiii    i        i      i ii ii`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)5Richard Heathfield
8 May 25  i i iiiii    i        i      i ii ii `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4olcott
9 May 25  i i iiiii    i        i      i ii ii  `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3Richard Damon
9 May 25  i i iiiii    i        i      i ii ii   `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)2olcott
9 May 25  i i iiiii    i        i      i ii ii    `- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
8 May 25  i i iiiii    i        i      i ii i+- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Heathfield
8 May 25  i i iiiii    i        i      i ii i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)460Keith Thompson
8 May 25  i i iiiii    i        i      i ii i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Keith Thompson
8 May 25  i i iiiii    i        i      i ii i +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)127olcott
9 May 25  i i iiiii    i        i      i ii i i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)126Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)125olcott
9 May 25  i i iiiii    i        i      i ii i i  +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)12Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)11olcott
9 May 25  i i iiiii    i        i      i ii i i  i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  i +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4Richard Heathfield
9 May 25  i i iiiii    i        i      i ii i i  i i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3olcott
9 May 25  i i iiiii    i        i      i ii i i  i i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Heathfield
9 May 25  i i iiiii    i        i      i ii i i  i i `- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  i `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4Fred. Zwarts
9 May 25  i i iiiii    i        i      i ii i i  i  `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3olcott
9 May 25  i i iiiii    i        i      i ii i i  i   +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
10 May 25  i i iiiii    i        i      i ii i i  i   `- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Fred. Zwarts
9 May 25  i i iiiii    i        i      i ii i i  +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)100Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)2olcott
9 May 25  i i iiiii    i        i      i ii i i  ii`- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)10Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  ii`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)9Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  ii +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)2olcott
9 May 25  i i iiiii    i        i      i ii i i  ii +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  ii `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3olcott
9 May 25  i i iiiii    i        i      i ii i i  i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)67Fred. Zwarts
9 May 25  i i iiiii    i        i      i ii i i  i+- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
10 May 25  i i iiiii    i        i      i ii i i  i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)19Mike Terry
9 May 25  i i iiiii    i        i      i ii i i  +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3Richard Heathfield
9 May 25  i i iiiii    i        i      i ii i i  `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)9Fred. Zwarts
8 May 25  i i iiiii    i        i      i ii i `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)331olcott
9 May 25  i i iiiii    i        i      i ii `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4Fred. Zwarts
9 May 25  i i iiiii    i        i      i i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)10olcott
8 May 25  i i iiiii    i        i      i `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
8 May 25  i i iiiii    i        i      `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
8 May 25  i i iiiii    i        `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1olcott
7 May 25  i i iiiii    +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable11Richard Heathfield
8 May 25  i i iiiii    `- Re: faithful simulations [was: Formal systems that cannot possibly be incomplete except for unknowns and unknowable]1joes
7 May 25  i i iiii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2Richard Heathfield
7 May 25  i i iii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable11dbush
7 May 25  i i ii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
6 May 25  i i i+- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1olcott
7 May 25  i i i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2Mikko
7 May 25  i i +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
7 May 25  i i +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
7 May 25  i i `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
6 May 25  i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Richard Damon
5 May 25  +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2Richard Heathfield
6 May 25  `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal