Re: Proof that DD correctly simulated by HH provides the correct halt status criteria

Liste des GroupesRevenir à theory 
Sujet : Re: Proof that DD correctly simulated by HH provides the correct halt status criteria
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 08. Jun 2024, 07:53:36
Autres entêtes
Organisation : -
Message-ID : <v40rl0$2g7gn$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-06-07 21:48:57 +0000, olcott said:

*That no counter-example to the following exists proves that it is true*
Not wihout a proof that no counter-example exists.
--
Mikko

Date Sujet#  Auteur
7 Jun 24 * Proof that DD correctly simulated by HH provides the correct halt status criteria14olcott
7 Jun 24 +* Re: Proof that DD correctly simulated by HH provides the correct halt status criteria2Python
8 Jun 24 i`- Re: Proof that DD correctly simulated by HH provides the correct halt status criteria1olcott
8 Jun 24 +- Re: Proof that DD correctly simulated by HH provides the correct halt status criteria1Richard Damon
8 Jun 24 +* Re: Proof that DD correctly simulated by HH provides the correct halt status criteria7Mikko
8 Jun 24 i`* Re: Proof that DD correctly simulated by HH provides the correct halt status criteria6olcott
8 Jun 24 i +- Re: Proof that DD correctly simulated by HH provides the correct halt status criteria1Richard Damon
9 Jun 24 i `* Re: Proof that DD correctly simulated by HH provides the correct halt status criteria4Mikko
9 Jun 24 i  `* Re: Proof that DD correctly simulated by HH provides the correct halt status criteria3olcott
9 Jun 24 i   +- Re: Proof that DD correctly simulated by HH provides the correct halt status criteria1Mikko
9 Jun 24 i   `- Re: Proof that DD correctly simulated by HH provides the correct halt status criteria1Richard Damon
8 Jun 24 `* Re: Proof that DD correctly simulated by HH provides the correct halt status criteria3Fred. Zwarts
8 Jun 24  `* Re: Proof that DD correctly simulated by HH provides the correct halt status criteria2olcott
8 Jun 24   `- Re: Proof that DD correctly simulated by HH provides the correct halt status criteria1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal