Liste des Groupes | Revenir à theory |
On 6/1/2024 2:02 PM, joes wrote:But DD(DD) halts, so HH isn't a correct HALT decider.Am Sat, 01 Jun 2024 10:44:09 -0500 schrieb olcott:HH(DD,DD) halts
>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.
>
DD correctly simulated by HH DOES NOT HALT
I can say it 10,000 more times and it never changes
it remains a verified fact.
Les messages affichés proviennent d'usenet.