Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser

Liste des GroupesRevenir à theory 
Sujet : Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 22. Aug 2024, 15:06:37
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <va7d4u$ebdg$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 8/22/2024 3:21 AM, Fred. Zwarts wrote:
Op 21.Aug.2024 OM 20:52 olcott:
>
You keep missing the idea that HHH does a partial
simulation of DDD to predict what would happen if
this HHH never aborted its simulation of DDD.
>
>
You keep missing the idea that HHH must predict the behaviour of its input (the HHH that does a partial simulation), not the behaviour of a different hypothetical non-input (the HHH that never aborted).
The would be stupid. If that was the case then HHH could ignore
its input and accept every input as halting including this one:
void Infinite_Loop()
{
   HERE: goto HERE;
}

There is a reason why HHH has an input. If it were correct to predict the behaviour of a hypothetical non-input, then HHH would not need an input.
That is stupid

Are you still cheating with the Root variable to change the behaviour of HHH from an input to a non-input?
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
10 Nov 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal