Sujet : Re: D correctly simulated by H cannot possibly reach its own line 06 and halt
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theoryDate : 01. Jun 2024, 20:33:35
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v3fphv$2o13h$5@i2pn2.org>
References : 1 2 3 4 5 6 7
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Fri, 31 May 2024 10:54:24 -0500 schrieb olcott:
On 5/31/2024 10:37 AM, Fred. Zwarts wrote:
Op 31.mei.2024 om 16:25 schreef olcott:
On 5/31/2024 2:50 AM, Fred. Zwarts wrote:
Op 31.mei.2024 om 00:01 schreef olcott:
On 5/30/2024 4:54 PM, joes wrote:
Am Thu, 30 May 2024 09:55:24 -0500 schrieb olcott:
>
*pure function H definitely halts you are confused*
>
You can assume a unicorn, but that does not make it existent. You can
assume a simulating H that is a pure function and halts, but that does
not make them existent. The set of such H is empty.
You simply ignored my proof that you are wrong.
How about you show a terminating H that behaves the same as an infinite loop?
D correctly simulated by pure function HH cannot possibly reach
its own final state at line 06 in any finite number of steps of
correct simulation.
You keep ignoring that when HH simulates a finite number of steps
of DD that
*this means that HH reaches its final state and halts*
If D doesn't halt, H must likewise simulate an infinite number of steps or
be incorrect.
-- joes
…