Sujet : Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)
De : Bonita.Montero (at) *nospam* gmail.com (Bonita Montero)
Groupes : comp.theoryDate : 10. May 2025, 13:37:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vvnh9u$3hd96$1@raubtier-asyl.eternal-september.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
Am 09.05.2025 um 04:22 schrieb olcott:
Look at their replies to this post.
Not a one of them will agree that
void DDD()
{
HHH(DDD);
return; // final halt state
}
When 1 or more instructions of DDD are correctly
simulated by HHH then the correctly simulated DDD cannot
possibly reach its "return" instruction (final halt state).
They have consistently disagreed with this
simple point for three years.
I guess that not even a professor of theoretical computer
science would spend years working on so few lines of code.
…