Liste des Groupes | Revenir à c theory |
On 6/1/2024 10:18 AM, Fred. Zwarts wrote:That means it returns, right? Making D proceed past line 4.Op 01.jun.2024 om 17:09 schreef olcott:On 6/1/2024 3:23 AM, Mikko wrote:Similarly:On 2024-05-29 18:31:52 +0000, olcott said:>
>
Because HH correctly simulated by HH remains stuck in recursive
simulation for 1 to ∞ steps of correct simulation this conclusively
proves that it is correct to reject HH as non-halting no matter what
the behavior of the directly executed HH(DD,DD) is.
I am going to simply ignore your disingenuous replies.
HH(DD,DD) halts as an empirical fact.
Les messages affichés proviennent d'usenet.