Re: D correctly simulated by H cannot possibly reach its own line 06 and halt

Liste des GroupesRevenir à c theory 
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.theory
Date : 02. Jun 2024, 10:51:53
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v3hfbp$2psm0$5@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Sat, 01 Jun 2024 13:37:19 -0500 schrieb olcott:
On 6/1/2024 1:33 PM, joes wrote:
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?
Waiting in 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.
I will not respond to any of your replies while you continue to play
head games.
After how many steps does H halt?

However many steps D takes, if it halts.

*Changing the subject away from this is construed as a head game* DD
correctly simulated by pure function HH cannot possibly reach past its
own line 03 in any finite number of steps of correct simulation.

--
joes

Date Sujet#  Auteur
2 Apr 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal