Sujet : Re: No decider is ever accountable for the behavior of the computation that itself is contained within
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 27. Jul 2024, 08:46:06
Autres entêtes
Organisation : -
Message-ID : <v828ju$3a1gf$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-07-26 16:28:43 +0000, olcott said:
No decider is ever accountable for the behavior of the
computation that itself is contained within.
That claim is fully unjustified. How do you even define "accountable"
in the context of computations, automata, and deciders?
-- Mikko