Sujet : Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 27. Jun 2024, 05:34:42
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v5imki$2ie27$2@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
User-Agent : Mozilla Thunderbird
On 6/26/2024 10:16 PM, Richard Damon wrote:
On 6/26/24 10:51 PM, olcott wrote:
>
Is disabled. It is commented out.
It was only ever used so that humans could see the depth.
But, if it can measure the fact that this is the top level decider, that means that it sees something that it can't know.
The top level decider simply reaches its infinite
recursion behavior pattern first. It need not know
that it is first.
EVERY level of dicider should think that it is, or at least could be, the top level, as it can't know any differently.
That Is how they work.
>
a decider shouldn't be
able to know that it isn't the top level decider.
>
This doesn't have any effect on its computation thus irrelevant.
>
It does if it knows that it isn't being simulated, which is knowledge that no simulated machine is allowed to have, as that means the simulation isn't correct. BY DEFINITION.
It only knows this to decide whether to call Allocate
or not. It never uses this for anything else.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…