Sujet : Re: H(D,D) cannot even be asked about the behavior of D(D) V2
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 17. Jun 2024, 09:36:26
Autres entêtes
Organisation : -
Message-ID : <v4op1q$huju$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Unison/2.2
On 2024-06-16 14:16:07 +0000, joes said:
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".
Just reject the idea that the word "correct" or words in general have
anything to do with the real world and the things in it.
-- Mikko
…