Sujet : Re: D simulated by H never halts no matter what H does V3
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logicDate : 28. Apr 2024, 10:40:43
Autres entêtes
Organisation : -
Message-ID : <v0l22b$v2br$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
User-Agent : Unison/2.2
On 2024-04-27 17:51:17 +0000, olcott said:
When you agree that H(D,D) is a correct termination analyzer within
my definition then we can proceed to the next point about whether
my definition is correct or diverges from the standard definition.
Nobody will agree that H(D,D) is a correct termination analyzer
until you post a definition of "termination analyzer" and compare
H(D,D) to that definition. And nut even then if the comparison is
insufficient or erronous.
-- Mikko
…