| Deutsch English Français Italiano |
|
<b748de0dbba6d397f790f7112fbaf891a9550e30@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: joes <noreply@example.org> 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: <b748de0dbba6d397f790f7112fbaf891a9550e30@i2pn2.org> References: <vrfuob$256og$1@dont-email.me> <vs77th$2p360$11@dont-email.me> <vs78cu$3ms9k$1@dont-email.me> <c2b91231b9052e07b6705250938fb9095e711327@i2pn2.org> <vs7kvf$3eal$2@dont-email.me> <aeb75b411e9f77c974585181c671a47d03b22078@i2pn2.org> <vs7qdm$8dae$2@dont-email.me> <vs7r9b$8ajp$1@dont-email.me> <vs92l3$1fccq$5@dont-email.me> <vs93ae$1k9u2$1@dont-email.me> <vs9g5p$1v2n9$5@dont-email.me> <vs9gcg$20g2j$3@dont-email.me> <vs9h9o$23cav$2@dont-email.me> <vs9hh3$20g2j$6@dont-email.me> <vs9jie$23cav$4@dont-email.me> <vs9kb1$26cg5$2@dont-email.me> <vs9pni$27rl4$9@dont-email.me> <3ade9e84224ba9b99c7363e0e9b69181804b7daa@i2pn2.org> <vsc2fd$1vihj$2@dont-email.me> <e1da7d564873d36f88e119fbbbdafd8c6b0f675e@i2pn2.org> <vsc9o7$2bk3d$2@dont-email.me> <vsdkq5$3rdgv$1@dont-email.me> <vselj9$th5g$1@dont-email.me> <vsg0tj$2e09c$1@dont-email.me> <vsht0a$90ss$4@dont-email.me> <vsiurv$1estf$1@dont-email.me> <vskqim$378kj$7@dont-email.me> <vsla1h$1kf$1@dont-email.me> <vsn08o$1ltd2$5@dont-email.me> 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.