Sujet : Re: Categorically exhaustive reasoning applied to the decision to abort
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theoryDate : 24. Mar 2024, 00:58:29
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <utnmqm$3tjdn$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 23/03/24 16:02, olcott wrote:
(b) H(D,D) that DOES abort its simulation is correct
(ABOUT THIS ABORT DECISION)
because it would halt and all deciders must always halt.
To be a decider it has to give an answer.
To be a halt decider it has to give an answer that is the same as whether the direct execution of its input would halt.
…