Hypothetical possibilities V2

Liste des GroupesRevenir à theory 
Sujet : Hypothetical possibilities V2
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory comp.ai.philosophy
Date : 22. Jul 2024, 18:08:31
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7m05v$n73h$1@dont-email.me>
User-Agent : Mozilla Thunderbird
void DDD()
{
   HHH(DDD);
   return;
}
int main()
{
   HHH(DDD);
}
Of the two hypothetical possible ways that HHH can be encoded:
(a) HHH(DDD) is encoded to abort its simulation.
(b) HHH(DDD) is encoded to never abort its simulation.
We can know that (b) is wrong because this fails to meet the design requirement that HHH must itself halt.
We also know that any simulation that must be aborted to prevent the infinite execution of the simulator is necessarily a non-halting 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
22 Jul 24 * Hypothetical possibilities V26olcott
22 Jul 24 +- Re: Hypothetical possibilities V21Fred. Zwarts
23 Jul 24 +- Re: Hypothetical possibilities V21Richard Damon
23 Jul 24 `* Re: Hypothetical possibilities V23Mikko
23 Jul 24  `* Re: Hypothetical possibilities V22olcott
25 Jul 24   `- Re: Hypothetical possibilities V21Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal