Sujet : Re: A computable function that reports on the behavior of its actual self is not allowed
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 13. May 2024, 15:37:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v1t53i$3g3o3$1@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird
On 5/13/2024 3:22 AM, joes wrote:
Am Sun, 12 May 2024 18:19:12 -0500 schrieb olcott:
On 5/12/2024 5:40 PM, Richard Damon wrote:
On 5/12/24 6:21 PM, olcott wrote:
No decider is ever allowed to report on its own behavior thus
embedded_H as a simulating partial halt decider is NOT ALLOWED to
report on the direct execution of Ĥ ⟨Ĥ⟩ because this IS REPORTING ON
ITS OWN BEHAVIOR.
>
WHO SAYS THIS?
>
A decider must compute the mapping from an input.
Its actual self cannot possibly be an input.
Oh, it definitely can. It must decide for every machine, including
itself. How would you even detect that?
No decider takes an actual Turing machine as input thus no decider can
possibly take its actual self as input.
Well, an encoding of one.
That is not the same, as I show below the behavior of the executed
Turing machine that contains the embedded partial halt decider is
different than the behavior of its simulated Turing Machine description.
These two machines are one recursive simulation out-of-sync with each
other This changes their behavior relative to each other.
When Ĥ is applied to ⟨Ĥ⟩
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
⟨Ĥ⟩ ⟨Ĥ⟩ simulated by embedded_H cannot possibly stop running
unless aborted. Whereas the behavior of Ĥ ⟨Ĥ⟩ is AFTER the
simulated input has already been aborted. These two are always
out-of-sync whenever there is a pathological relationship
between the partial halt decider and its input.
The behavior of the directly execution machine and the correct
simulation of the machine description of this same machine is
always exactly the same:
*UNLESS THEY HAVE A PATHOLOGICAL RELATIONSHIP TO EACH OTHER*
(a) The behavior of the directly executed Ĥ ⟨Ĥ⟩ is after embedded_H ⟨Ĥ⟩
⟨Ĥ⟩ has already aborted its simulation.
>
(b) The behavior of the simulated input to embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩
is before embedded_H has aborted its simulation.
>
(c) These two behaviors (a) and (b) ARE NOT THE SAME. (a) will stop
running on its own (b) will never stop running unless aborted.
Then they are either not the same machine, or simulated incorrectly.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
A computable function that reports on the behavior of its actual self is not allowed
Re: A computable function that reports on the behavior of its actual self is not allowed
