Path: ...!2.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: H(D,D) cannot even be asked about the behavior of D(D) V2
Date: Mon, 17 Jun 2024 10:36:26 +0300
Organization: -
Lines: 23
Message-ID: <v4op1q$huju$1@dont-email.me>
References: <v4j0h2$39gh7$3@dont-email.me> <v4k0sr$3f4m3$1@dont-email.me> <v4k44j$3fmth$1@dont-email.me> <v4m5gj$3v41v$1@dont-email.me> <v4mmnp$1qt6$2@dont-email.me> <v4ms37$5nh5$1@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 17 Jun 2024 09:36:26 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0b528ada5c614854783c9a5a73c23422";
	logging-data="588414"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/IHjBjK1fe6epuUmsoPhL6"
User-Agent: Unison/2.2
Cancel-Lock: sha1:t7ajrEk43HN6+pFO8ufEtqH6UnU=
Bytes: 2026

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