Sujet : Re: D simulated by H never halts no matter what H does V3 ---
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 07. May 2024, 03:37:46
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v1c0la$2skfl$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 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 5/05/24 18:29, olcott wrote:
void Infinite_Recursion(u32 N)
{
Infinite_Recursion(N);
}
It is counter-factual that the above must be infinitely
simulated to correctly determine that it never halts.
Any program that correctly determines non-termination is not a simulating termination analyzer.
…