Liste des Groupes | Revenir à s logic |
On 6/1/2024 10:46 AM, Richard Damon wrote:So? Since you definition of "Correct Simulation" is non-canonical, that doesn't mean anything.On 6/1/24 10:00 AM, olcott wrote: >> DD correctly simulated by HH remains stuck in recursive simulationEvery DD correctly simulated by any HH remains stuck in recursive simulation for 1 to ∞ steps of correct simulation.all the time it is simulated even when an infinite number of steps>
are simulated.
So, are you admitting that HH just gets stuck and doesn't answer when asked HH(DD,DD)?
>
As I have repeatedly told you hundreds of times DD correctlySo, when are you going to answer the question of what you mean by that to make it clear which part of your claim is the lie?
simulated by pure simulator HH never gets past its own line 03
and this HH does not halt.
Also DD correctly simulated by pure function HH never gets pastAnd who cares about the fact that DD didn't halt before its simulation was aborted?
its own line 03 and THIS HH DOES HALT.
If you really can't remember that from one post to the next I suggestMaybe you should answer the question put before you and not just be arguing with yourself.
that you print that out so that you can see it immediately before making
any reply.
Les messages affichés proviennent d'usenet.