Re: V5 --- Professor Sipser

Liste des GroupesRevenir à c theory 
Sujet : Re: V5 --- Professor Sipser
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 27. Aug 2024, 09:12:46
Autres entêtes
Organisation : To protect and to server
Message-ID : <vak1pu$2lf96$1@paganini.bofh.team>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Unison/2.2
On 2024-08-21 20:01:38 +0000, olcott said:

On 8/21/2024 2:55 PM, joes wrote:
Am Wed, 21 Aug 2024 13:52:46 -0500 schrieb olcott:>> You keep missing the idea that HHH does a partial simulation of DDD to
predict what would happen if this HHH never aborted its simulation of
DDD.
 
That HHH is not simulating itself.
 
 <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>
 HHH only needs to simulate itself simulating DDD once to
   correctly determine that its simulated DDD would
   never stop running unless aborted...
It seems to be unable to simulate even once beyond the call to HHH.
--
Mikko

Date Sujet#  Auteur
20 Aug 24 * Anyone that disagrees with this is not telling the truth --- V5326olcott
20 Aug 24 +* Re: Anyone that disagrees with this is not telling the truth --- V5323Richard Damon
20 Aug 24 i`* Re: Anyone that disagrees with this is not telling the truth --- V5322olcott
20 Aug 24 i `* Re: Anyone that disagrees with this is not telling the truth --- V5321Richard Damon
20 Aug 24 i  +* Re: Anyone that disagrees with this is not telling the truth --- V515olcott
20 Aug 24 i  i+* Re: Anyone that disagrees with this is not telling the truth --- V55joes
20 Aug 24 i  ii`* Re: Anyone that disagrees with this is not telling the truth --- V54olcott
21 Aug 24 i  ii +- Re: Anyone that disagrees with this is not telling the truth --- V51Richard Damon
21 Aug 24 i  ii +- Re: Anyone that disagrees with this is not telling the truth --- V51Mikko
27 Aug 24 i  ii `- Re: Anyone that disagrees with this is not telling the truth --- V51Mikko
20 Aug 24 i  i+* Re: Anyone that disagrees with this is not telling the truth --- V58Fred. Zwarts
20 Aug 24 i  ii`* Re: Anyone that disagrees with this is not telling the truth --- V57olcott
20 Aug 24 i  ii +* Re: Anyone that disagrees with this is not telling the truth --- V53joes
20 Aug 24 i  ii i`* Re: Anyone that disagrees with this is not telling the truth --- V52olcott
21 Aug 24 i  ii i `- Re: Anyone that disagrees with this is not telling the truth --- V51Richard Damon
21 Aug 24 i  ii +- Re: Anyone that disagrees with this is not telling the truth --- V51Richard Damon
21 Aug 24 i  ii `* Re: Anyone that disagrees with this is not telling the truth --- V52Fred. Zwarts
27 Aug 24 i  ii  `- Re: Anyone that disagrees with this is not telling the truth --- V51Mikko
27 Aug 24 i  i`- Re: Anyone that disagrees with this is not telling the truth --- V51Mikko
20 Aug 24 i  `* Re: Anyone that disagrees with this is not telling the truth --- V5305olcott
21 Aug 24 i   `* Re: Anyone that disagrees with this is not telling the truth --- V5304Richard Damon
21 Aug 24 i    `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser303olcott
21 Aug 24 i     +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser300Richard Damon
21 Aug 24 i     i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser299olcott
21 Aug 24 i     i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser296Richard Damon
21 Aug 24 i     i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser295olcott
21 Aug 24 i     i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser293Richard Damon
21 Aug 24 i     i i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser292olcott
21 Aug 24 i     i i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser284Mikko
21 Aug 24 i     i i i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser283olcott
21 Aug 24 i     i i i i +* Re: V5 --- Professor Sipser3joes
21 Aug 24 i     i i i i i`* Re: V5 --- Professor Sipser2olcott
22 Aug 24 i     i i i i i `- Re: V5 --- Professor Sipser1Richard Damon
21 Aug 24 i     i i i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser11Fred. Zwarts
21 Aug 24 i     i i i i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser10olcott
21 Aug 24 i     i i i i i +* Re: V5 --- Professor Sipser3joes
21 Aug 24 i     i i i i i i`* Re: V5 --- Professor Sipser2olcott
27 Aug 24 i     i i i i i i `- Re: V5 --- Professor Sipser1Mikko
22 Aug 24 i     i i i i i +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Richard Damon
22 Aug 24 i     i i i i i `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser5Fred. Zwarts
22 Aug 24 i     i i i i i  `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser4olcott
22 Aug 24 i     i i i i i   +- Re: V5 --- Professor Sipser1joes
23 Aug 24 i     i i i i i   +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Richard Damon
23 Aug 24 i     i i i i i   `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Fred. Zwarts
22 Aug 24 i     i i i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser267Richard Damon
22 Aug 24 i     i i i i i+* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser3olcott
22 Aug 24 i     i i i i ii+- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Richard Damon
27 Aug 24 i     i i i i ii`- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
22 Aug 24 i     i i i i i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser263olcott
22 Aug 24 i     i i i i i `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser262Richard Damon
22 Aug 24 i     i i i i i  `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser261olcott
22 Aug 24 i     i i i i i   +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser84Richard Damon
22 Aug 24 i     i i i i i   i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser83olcott
22 Aug 24 i     i i i i i   i `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser82Richard Damon
22 Aug 24 i     i i i i i   i  `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser81olcott
22 Aug 24 i     i i i i i   i   +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser29Fred. Zwarts
22 Aug 24 i     i i i i i   i   i`* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser28olcott
22 Aug 24 i     i i i i i   i   i +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Python
22 Aug 24 i     i i i i i   i   i +* Re: V5 --- Professor Sipser24joes
22 Aug 24 i     i i i i i   i   i i`* Re: V5 --- Professor Sipser23olcott
22 Aug 24 i     i i i i i   i   i i +* Re: V5 --- Professor Sipser5joes
22 Aug 24 i     i i i i i   i   i i i`* Re: V5 --- Professor Sipser4olcott
23 Aug 24 i     i i i i i   i   i i i +- Re: V5 --- Professor Sipser1Richard Damon
23 Aug 24 i     i i i i i   i   i i i +- Re: V5 --- Professor Sipser1joes
23 Aug 24 i     i i i i i   i   i i i `- Re: V5 --- Professor Sipser1Fred. Zwarts
23 Aug 24 i     i i i i i   i   i i +* Re: V5 --- Professor Sipser15Richard Damon
23 Aug 24 i     i i i i i   i   i i i`* Re: V5 --- Professor Sipser14olcott
23 Aug 24 i     i i i i i   i   i i i +* Re: V5 --- Professor Sipser11Richard Damon
23 Aug 24 i     i i i i i   i   i i i i`* Re: V5 --- Professor Sipser10olcott
23 Aug 24 i     i i i i i   i   i i i i +* Re: V5 --- Professor Sipser8Richard Damon
23 Aug 24 i     i i i i i   i   i i i i i`* Re: V5 --- Professor Sipser7olcott
23 Aug 24 i     i i i i i   i   i i i i i `* Re: V5 --- Professor Sipser6Richard Damon
23 Aug 24 i     i i i i i   i   i i i i i  `* Re: V5 --- Professor Sipser5olcott
23 Aug 24 i     i i i i i   i   i i i i i   +* Re: V5 --- Professor Sipser3Richard Damon
23 Aug 24 i     i i i i i   i   i i i i i   i`* Re: V5 --- Professor Sipser2olcott
23 Aug 24 i     i i i i i   i   i i i i i   i `- Re: V5 --- Professor Sipser1Richard Damon
23 Aug 24 i     i i i i i   i   i i i i i   `- Re: V5 --- Professor Sipser1Mikko
27 Aug 24 i     i i i i i   i   i i i i `- Re: V5 --- Professor Sipser1Mikko
23 Aug 24 i     i i i i i   i   i i i +- Re: V5 --- Professor Sipser1Mikko
23 Aug 24 i     i i i i i   i   i i i `- Re: V5 --- Professor Sipser1Fred. Zwarts
23 Aug 24 i     i i i i i   i   i i +- Re: V5 --- Professor Sipser1Fred. Zwarts
27 Aug 24 i     i i i i i   i   i i `- Re: V5 --- Professor Sipser1Mikko
23 Aug 24 i     i i i i i   i   i +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Fred. Zwarts
27 Aug 24 i     i i i i i   i   i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Fred. Zwarts
22 Aug 24 i     i i i i i   i   +* Re: V5 --- Professor Sipser31joes
22 Aug 24 i     i i i i i   i   i`* Re: V5 --- Professor Sipser30olcott
23 Aug 24 i     i i i i i   i   i +- Re: V5 --- Professor Sipser1Richard Damon
23 Aug 24 i     i i i i i   i   i `* Re: V5 --- Professor Sipser28joes
23 Aug 24 i     i i i i i   i   i  `* Re: V5 --- Professor Sipser27olcott
24 Aug 24 i     i i i i i   i   i   `* Re: V5 --- Professor Sipser26Fred. Zwarts
24 Aug 24 i     i i i i i   i   i    `* Re: V5 --- Professor Sipser --- Execution trace of simulating termination analyzer HHH on DDD input25olcott
24 Aug 24 i     i i i i i   i   i     +* Re: V5 --- Professor Sipser --- trace of HHH on DDD input10joes
24 Aug 24 i     i i i i i   i   i     i`* Re: V5 --- Professor Sipser --- trace of HHH on DDD input9olcott
24 Aug 24 i     i i i i i   i   i     i `* Re: V5 --- Professor Sipser --- trace of HHH on DDD input8Fred. Zwarts
24 Aug 24 i     i i i i i   i   i     i  +* Re: V5 --- Professor Sipser --- trace of HHH on DDD input3olcott
24 Aug 24 i     i i i i i   i   i     i  i+- Re: V5 --- Professor Sipser --- trace of HHH on DDD input1Richard Damon
25 Aug 24 i     i i i i i   i   i     i  i`- Re: V5 --- Professor Sipser --- trace of HHH on DDD input1Fred. Zwarts
25 Aug 24 i     i i i i i   i   i     i  `* Re: V5 --- Professor Sipser --- trace of HHH on DDD input4Mikko
25 Aug 24 i     i i i i i   i   i     i   `* Re: V5 --- Professor Sipser --- trace of HHH on DDD input3olcott
25 Aug 24 i     i i i i i   i   i     i    +- Re: V5 --- Professor Sipser --- trace of HHH on DDD input1Richard Damon
25 Aug 24 i     i i i i i   i   i     i    `- Re: V5 --- Professor Sipser --- trace of HHH on DDD input1Fred. Zwarts
24 Aug 24 i     i i i i i   i   i     +- Re: V5 --- Professor Sipser --- Execution trace of simulating termination analyzer HHH on DDD input1Richard Damon
24 Aug 24 i     i i i i i   i   i     `* Re: V5 --- Professor Sipser --- Execution trace of simulating termination analyzer HHH on DDD input13Fred. Zwarts
23 Aug 24 i     i i i i i   i   +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Richard Damon
27 Aug 24 i     i i i i i   i   `* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser19Mikko
22 Aug 24 i     i i i i i   `* Re: V5 --- Professor Sipser176joes
27 Aug 24 i     i i i i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
21 Aug 24 i     i i i +* Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser6Richard Damon
27 Aug 24 i     i i i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
27 Aug 24 i     i i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
21 Aug 24 i     i +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
27 Aug 24 i     i `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
21 Aug 24 i     +- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
27 Aug 24 i     `- Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser1Mikko
20 Aug 24 `* Re: Anyone that disagrees with this is not telling the truth --- V52Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal