Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping

Liste des GroupesRevenir à c theory 
Sujet : Re: HHH maps its input to the behavior specified by it --- never reaches its halt state ---natural number mapping
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory
Date : 13. Aug 2024, 08:29:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9f203$3pfoq$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
User-Agent : Mozilla Thunderbird
Op 12.aug.2024 om 14:42 schreef olcott:
On 8/11/2024 2:54 PM, Fred. Zwarts wrote:
Op 11.aug.2024 om 13:45 schreef olcott:
>
void DDD()
{
   HHH(DDD);
   return;
}
>
None-the-less it is clear that of the above specified infinite
set DDD correctly emulated by each element of that set never
reaches its own "return" instruction halt state.
>
Since no DDD is correctly simulated by HHH, we are talking about the properties of an empty set.
But, indeed, the simulation of DDD by HHH fails to reach the halt state. It aborts one cycle before the simulated HHH would reach its 'return' instruction, after which DDD would reach its halt state.
>
>
My words must be understandable by ordinary C programmers
and computer scientists. The latter tend to conclude that
my work is incorrect as soon as they know the subject matter
before actually seeing what I said.
>
Every C programmer understands that a simulation fails if it does not reach the end of a halting program.
 Four expert C programmers (two with masters degrees in
computer science) agree that DDD correctly simulated by
HHH does not halt.
 
Many more experts with master degrees tell you that it does halt.
Show evidence instead of authority.

Date Sujet#  Auteur
5 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal