On 10/28/2025 3:34 AM, joes wrote:Am Tue, 21 Oct 2025 18:54:33 -0500 schrieb olcott:
D simulated by H cannot possibly reach past its first line.That DD() halts depends on HHH(DD) rejecting its input.Which it does, therefore DD halts.
It totally can if you actually mean the program that calls H which aborts
instead of the incomplete diagonal template.
H simulates D that calls H(D) to simulate D that calls H(D) to simulateWhich already happens after two recursive simulations.
D that calls H(D) to simulate D that calls H(D) to simulate D that calls
H(D) to simulate D until H sees this repeating pattern.
--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.
Les messages affichés proviennent d'usenet.