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.