Liste des Groupes | Revenir à theory |
On 8/16/2024 9:28 AM, Richard Damon wrote:Yes, and when HHH that aborts simulates *itself* it must predict what the behaviour of an unlimited simulation of the HHH that aborts would be.On 8/16/24 10:09 AM, olcott wrote:Not at all. never has.On 8/16/2024 8:34 AM, Mikko wrote:>On 2024-08-16 12:02:00 +0000, olcott said:>
>>>
I must go one step at a time.
That's reasonable in a discussion. The one thing you were discussing
above is what is the meaning of the output of HHH. Its OK to stay
at that step until we are sure it is understood.
>
void DDD()
{
HHH(DDD);
return;
}
>
Unless an unlimited emulation of DDD by HHH
can reach the "return" instruction of DDD it is
construed that this instance of DDD never halts.
But that also construes that HHH is a program that DOES an unlimited emulation of DDD, and thus isn't a decider
>
HHH must predict what the behavior of an unlimited
simulation would be.
Les messages affichés proviennent d'usenet.