Sujet : Re: Termination analyzer defined ---RICHARD IS WRONG !!!
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 18. May 2024, 09:52:41
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v29q8p$2n2pf$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
On 16/05/24 16:08, olcott wrote:
On 5/16/2024 4:59 AM, Mikko wrote:
It is easy to try a specifc program with a specific input and see
what happens,
*The prior answer from the "received view" has always been no one knows*
It has always been the case in the "received view" that because the
pathological input D was defined to contradict every value that its
termination analyzer H returns that both YES and NO are the wrong
answer from H.
You can run it and see.
If it halts, then the right answer to "does it halt?" is yes.
If it doesn't halt, then the right answer to "does it halt?" is no.
Re: Termination analyzer defined ---RICHARD IS WRONG !!!
Re: Termination analyzer defined ---RICHARD IS WRONG !!!