Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: joes Newsgroups: comp.theory Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1 Date: Sun, 13 Apr 2025 14:46:13 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: References: <3ade9e84224ba9b99c7363e0e9b69181804b7daa@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Sun, 13 Apr 2025 14:46:13 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="139062"; mail-complaints-to="usenet@i2pn2.org"; posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM"; User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2) X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 2790 Lines: 21 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. -- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math: It is not guaranteed that n+1 exists for every n.