Deutsch English Français Italiano |
<v4mtdj$2qdh$5@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Python <python@invalid.org> Newsgroups: comp.theory Subject: Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Date: Sun, 16 Jun 2024 16:38:43 +0200 Organization: CCCP Lines: 29 Message-ID: <v4mtdj$2qdh$5@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: Sun, 16 Jun 2024 16:38:44 +0200 (CEST) Injection-Info: dont-email.me; posting-host="63a50c97f1e6e41b416a248726819296"; logging-data="92593"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/8RbaB2EoGxzqRl157APoM" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:hBpglqCG9mPQTc92BqxY4PilPgc= Content-Language: en-US In-Reply-To: <v4ms37$5nh5$1@i2pn2.org> Bytes: 2396 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.