Re: H(D,D) cannot even be asked about the behavior of D(D) V2

Le 16/06/2024 à 16:16, joes a écrit :

Am Sun, 16 Jun 2024 07:44:41 -0500 schrieb olcott:

On 6/16/2024 2:50 AM, Mikko wrote:

On 2024-06-15 13:14:57 +0000, olcott said:

On 6/15/2024 7:19 AM, Mikko wrote:

On 2024-06-15 03:07:14 +0000, olcott said:

On 6/13/2024 8:24 PM, Richard Damon wrote:
  > On 6/13/24 11:32 AM, olcott wrote:

 

Whenever a decider is run it answers the question it is made to answer.

Not necessarily. Just because everyone falsely assumes that D correctly
simulated by H must have the same behavior as the directly executed D(D)
does not make this false assumption true.

You still need to explain how you can call a simulation that differs from
the behaviour of its input "correct".
 

H is only asked about the behavior of D simulated by H and is
not asked about the behavior of the directly executed D(D).

If H is a simulator, it must simulate the execution of D(D).
H does not compute the answer to "What does H say about its input?",
since it could answer anything then.
It makes no sense to call a wrong answer the correct answer to a different
question.
 

Exactly. Olcott is bringing the motto "It is not a bug it is a feature"
into theory of computing.