Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1 Date: Tue, 22 Apr 2025 22:35:05 -0500 Organization: A noiseless patient Spider Lines: 55 Message-ID: References: <3ade9e84224ba9b99c7363e0e9b69181804b7daa@i2pn2.org> <7d3fb4c3b3ef4773a1e411e3f44d9251581ac403@i2pn2.org> <17c9dadf8034677b8b8285d334456fad3c7816b8@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 23 Apr 2025 05:35:09 +0200 (CEST) Injection-Info: dont-email.me; posting-host="197c835d21a4d9c71a393f4fa28943e5"; logging-data="2278122"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18FeYTfO2dIIIrlnSNO+IX1" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:uvu2d1A8lHnBohrpcRDED+KJs2s= X-Antivirus-Status: Clean In-Reply-To: <17c9dadf8034677b8b8285d334456fad3c7816b8@i2pn2.org> X-Antivirus: Norton (VPS 250422-6, 4/22/2025), Outbound message Content-Language: en-US On 4/22/2025 5:58 PM, Richard Damon wrote: > On 4/22/25 10:07 AM, olcott wrote: >> On 4/22/2025 7:40 AM, joes wrote: >>> Am Mon, 14 Apr 2025 18:50:52 -0500 schrieb olcott: >>>> On 4/14/2025 4:32 AM, joes wrote: >>>>> Am Sun, 13 Apr 2025 14:54:35 -0500 schrieb olcott: >>>>>> On 4/13/2025 9:46 AM, joes wrote: >>>>>>> Am Thu, 03 Apr 2025 16:57:43 -0500 schrieb olcott: >>>>>>>> On 4/3/2025 1:32 AM, Mikko wrote: >>>>>>>>> On 2025-04-03 02:08:22 +0000, olcott said: >>>>>>>>>>>>>> It is a truism that a correct x86 emulator would emulate >>>>>>>>>>>>>> itself emulating DDD whenever DDD calls this emulator with >>>>>>>>>>>>>> itself. >>>>>>>>> Which does not agree or disagree with my comment nor say anything >>>>>>>>> about it, >>>>>>>>> and it doesn't clarify any aspect of your statement that i >>>>>>>>> commented. >>>>>>>>> If there is any indirect connection to anything relevant that >>>>>>>>> connection is not presented, leaving your response unconnected and >>>>>>>>> therefore irrelevant. >>>>>>>>> So you did not reply to the immediated context. >>>>>>>> THE FACT THAT DDD EMULATED BY HHH DOES NOT HALT IS NOT RELEVANT >>>>>>>> TO A >>>>>>>> CORRECT DECISION BY A HALT DECIDER? >>>>>>> Yes. >>>>> To clarify: that *HHH* does not simulate DDD halting has no bearing on >>>>> its direct execution. >>>> THE DIRECT EXECUTION IS NOT WHAT IT SEES THUS FORBIDDING IT FROM >>>> REPORTING ON THE DIRECT EXECUTION. >>> It sure ought to see the same thing the directly executing processor >>> does. >>> >> >> HHH cannot possibly see what HHH1. >> > > But it isn't a matter of what HHH "sees", it is what the correct answer is. > It never has been about a correct answer. It has always been about what finite string transformations can be applied to finite string inputs to derive corresponding outputs. If one of them is a correct answer great. > If HHH can't figure that out, it just makes HHH wrong. > > You don't seem to understand that simple fact of truth. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer