Path: ...!eternal-september.org!feeder3.eternal-september.org!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: Mon, 14 Apr 2025 18:50:52 -0500 Organization: A noiseless patient Spider Lines: 37 Message-ID: References: <3ade9e84224ba9b99c7363e0e9b69181804b7daa@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 15 Apr 2025 01:50:52 +0200 (CEST) Injection-Info: dont-email.me; posting-host="48839f56b39ad73fecedc23e6710c24f"; logging-data="2532630"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19iicCPXNAD+gfIcMRIgd6J" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:lEcFt/qvLdSBi3cjo3zXnluJy2o= X-Antivirus-Status: Clean In-Reply-To: X-Antivirus: Norton (VPS 250414-0, 4/13/2025), Outbound message Content-Language: en-US Bytes: 3616 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. >> THE ONLY RELEVANT THING IS THE PATHOLOGICAL SELF-REFERENCE BEHAVIOR THAT >> THE INPUT FINITE STRING SPECIFIES. > DDD does not „specify” self-reference; simulating with HHH does. > -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer