Sujet : Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 09. May 2025, 00:41:36
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vvjffg$28g5i$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
User-Agent : Mozilla Thunderbird
On 5/8/2025 6:30 PM, Richard Heathfield wrote:
On 08/05/2025 23:50, olcott wrote:
On 5/8/2025 5:26 PM, Keith Thompson wrote:
<snip>
No, the problem Richard was pointing out with olcott's Halt7.c is that
*it's not valid C".
>
<snip>
>
void DDD()
{
HHH(DDD);
return;
}
>
If you are a competent C programmer
Keith Thompson is a highly-respected and very competent C programmer.
*Then he is just who I need*
You, however, are not.
then you
know that DDD correctly simulated by HHH cannot
possibly each its own "return" instruction.
Assumes facts not in evidence. Whether HHH correctly simulates DDD is disputed by a number of people.
When HHH <is> a correct simulator then DDD emulated
by HHH cannot possibly reach its own "return" instruction.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…