Liste des Groupes | Revenir à theory |
Am Tue, 02 Jul 2024 22:55:12 -0500 schrieb olcott:An aborted simulation does not count as halting.On 7/2/2024 10:50 PM, joes wrote:Am Tue, 02 Jul 2024 14:46:38 -0500 schrieb olcott:On 7/2/2024 2:17 PM, Fred. Zwarts wrote:Op 02.jul.2024 om 21:00 schreef olcott:On 7/2/2024 1:42 PM, Fred. Zwarts wrote:Op 02.jul.2024 om 14:22 schreef olcott:On 7/2/2024 3:22 AM, Fred. Zwarts wrote:Op 02.jul.2024 om 03:25 schreef olcott:WTF? It only calls HHH, which you just said halts.HHH halts on input DDD.Whatever HHH does, it does not run forever but aborts.HHH repeats the process twice and aborts too soon.>
DDD is correctly emulated by any HHH that can exist which calls this
emulated HHH(DDD) to repeat the process until aborted (which may be
never).
>
DDD correctly simulated by HHH cannot possibly halt.
Les messages affichés proviennent d'usenet.