Liste des Groupes | Revenir à theory |
On 4/2/2025 9:11 AM, joes wrote:And thus the HHH that DDD calls always returns to it when properly emulated.Am Mon, 31 Mar 2025 17:11:05 -0500 schrieb olcott:On 3/31/2025 3:33 PM, joes wrote:Am Mon, 31 Mar 2025 13:13:04 -0500 schrieb olcott:Non-halting is always construed as the failure of the input.On 3/31/2025 3:26 AM, Fred. Zwarts wrote:>That is the failure.But we all agree that HHH fails to reach the end of the simulation ofBecause DDD calls HHH(DDD) in recursive emulation DDD EMULATED BY HHH
this finite recursion. An end that exists as proven by direct
execution and world class simulators. Why repeating this agreement as
if someone denies it?
CANNOT POSSIIBLY HALT.What the fuck. A halt *decider* is supposed to halt, even on non-haltingHHH(DDD) has halted since its original version H(P)
inputs.
>
several years ago. DDD emulated by HHH could not
possibly halt since its original version P emulated
by H several years ago.
On 10/14/2022 7:44 PM, Ben Bacarisse wrote:WHich, as Ben has pointed out, your making this quote it just proof that you are just a blantant liar, as you are taking it out of context.
> ... PO really /has/ an H (it's
> trivial to do for this one case) that
> correctly determines that P(P)
> *would* never stop running *unless* aborted.
Les messages affichés proviennent d'usenet.