Sujet : Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake and Liars
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory comp.lang.c comp.lang.c++Suivi-à : comp.theoryDate : 12. Mar 2025, 03:06:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vqqq7s$29buv$2@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
On 3/11/2025 9:02 PM, dbush wrote:
On 3/11/2025 9:41 PM, Richard Heathfield wrote:
On 12/03/2025 01:22, olcott wrote:
DDD correctly simulated by HHH never reaches its
own "return" instruction and terminates normally
in any finite or infinite number of correctly
simulated steps.
>
If it correctly simulates infinitely many steps, it doesn't terminate. Look up "infinite".
>
But your task is to decide for /any/ program, not just DDD. That, as you are so fond of saying, is 'stipulated', and you can't get out of it. The whole point of the Entscheidungsproblem is its universality. Ignore that, and you have nothing.
>
Given that his code has HHH(DD) returning 0,
THESE ARE THE WORDS ANYONE THAT DODGES THESE
WORDS WILL BE TAKEN FOR A LIAR
void DDD()
{
HHH(DDD);
return;
}
DDD correctly simulated by HHH never reaches its
own "return" instruction and terminates normally
in any finite or infinite number of correctly
simulated steps.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Every sufficiently competent C programmer knows
Re: Every sufficiently competent C programmer knows --- Stupid Mistake?
