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
…