Sujet : Re: Categorically exhaustive reasoning applied to the decision to abort
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 24. Mar 2024, 16:27:02
Autres entêtes
Organisation : -
Message-ID : <utpd7m$dibu$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Unison/2.2
On 2024-03-24 02:11:34 +0000, olcott said:
On 3/23/2024 7:31 PM, Richard Damon wrote:
On 3/23/24 7:29 PM, olcott wrote:
On 3/23/2024 5:58 PM, immibis wrote:
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.
That would entail that H must report on different behavior
than the behavior that H actually sees thus violate the
definition of a decider that must compute the mapping from
its inputs...
Nope.
You are just showing yourself to be a stupid liar.
Where in the DEFINITION of Compute the Mapping of the Input to the Mapped Output does it say that the decider has to be able to "see" that property of the input?
In order to compute the mapping from an input there must be
some basis that is directly provided by this input.
If no such basis is in the input the problem has no soution.
-- Mikko
…