Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior

Liste des GroupesRevenir à theory 
Sujet : Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior
De : python (at) *nospam* invalid.org (Python)
Groupes : comp.theory
Date : 13. Aug 2024, 02:53:29
Autres entêtes
Organisation : CCCP
Message-ID : <v9eeap$3fish$10@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
Le 13/08/2024 à 03:43, olcott a écrit :
We prove that the simulation is correct.
No. You didn't.

Date Sujet#  Auteur
13 Aug 24 * Overview of proof that the input to HHH(DDD) specifies non-halting behavior29olcott
13 Aug 24 +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Python
13 Aug 24 +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon
13 Aug 24 +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior23Mikko
13 Aug 24 i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike22olcott
13 Aug 24 i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike15Fred. Zwarts
13 Aug 24 i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point14olcott
13 Aug 24 i i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point12Fred. Zwarts
13 Aug 24 i i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point11olcott
13 Aug 24 i i i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point9Fred. Zwarts
13 Aug 24 i i i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point8olcott
13 Aug 24 i i i i +* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point6Fred. Zwarts
13 Aug 24 i i i i i`* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point5olcott
14 Aug 24 i i i i i +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i i i i i `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point3Fred. Zwarts
14 Aug 24 i i i i i  `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- in our head2olcott
14 Aug 24 i i i i i   `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- in our head1Fred. Zwarts
14 Aug 24 i i i i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i i i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i i `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike --- point by point1Richard Damon
14 Aug 24 i `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike6Mikko
14 Aug 24 i  `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike5olcott
14 Aug 24 i   +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike1Fred. Zwarts
15 Aug 24 i   `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike3Mikko
15 Aug 24 i    `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike2olcott
16 Aug 24 i     `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior --- Mike1Mikko
13 Aug 24 `* Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior3olcott
14 Aug 24  +- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon
14 Aug 24  `- Re: Overview of proof that the input to HHH(DDD) specifies non-halting behavior1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal