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: Verified facts regarding the software engineering of DDD, HHH,
 and HHH1 ---
Date: Sat, 26 Oct 2024 17:35:14 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <vfj98i$3iq0i$6@i2pn2.org>
References: <vf3eu5$fbb3$2@dont-email.me> <vf9qai$1scol$1@dont-email.me>
	<2a210ab064b3a8c3397600b4fe87aa390868bb12@i2pn2.org>
	<vf9sk6$1sfva$2@dont-email.me>
	<4c67570b4898e14665bde2dfdf473130b89b7dd4@i2pn2.org>
	<vfaqe7$21k64$1@dont-email.me>
	<f789d3ef27e3000f04feb3df4fc561c5da02381f@i2pn2.org>
	<vfcbl5$2b6h0$2@dont-email.me>
	<b707850664ad22bb1172006f4e24a27633ff1a4d@i2pn2.org>
	<vfe344$2o992$1@dont-email.me>
	<94449dae60f42358ae29bb710ca9bc3b18c60ad7@i2pn2.org>
	<vfeqqo$2ruhp$1@dont-email.me>
	<0553e6ab73fa9a21f062de4d645549ae48fd0a64@i2pn2.org>
	<vfg6us$36im7$2@dont-email.me>
	<da2d4f48cb3b9ac2e44b6f9c9ab28adb3022acb1@i2pn2.org>
	<vfh428$3bkkv$2@dont-email.me>
	<c72aa667027121011042e8b4413d343f3c61bdd1@i2pn2.org>
	<vfh8vt$3cdsr$2@dont-email.me>
	<8e17863681e1f32f132966f41699e57e5c322b41@i2pn2.org>
	<vfirsv$3ner2$6@dont-email.me> <vfj28k$3j3qf$6@i2pn2.org>
	<vfj2o7$3p235$1@dont-email.me>
	<d0c0bcf21b5f33fc0caf5b49ff29cf5a58d4190d@i2pn2.org>
	<vfj563$3p235$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 26 Oct 2024 17:35:14 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3762194"; mail-complaints-to="usenet@i2pn2.org"
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
Bytes: 2868
Lines: 25

Am Sat, 26 Oct 2024 11:25:39 -0500 schrieb olcott:
> On 10/26/2024 10:52 AM, Richard Damon wrote:
>> On 10/26/24 11:44 AM, olcott wrote:
>>> On 10/26/2024 10:35 AM, Richard Damon wrote:
>>>>
>>>> Right, and either it follows the rules of the x86 language and NEVER
>>>> stop, or it disobeys the requirements of the x86 language to stop its
>>>> emulaiton and return.
>>>>
>>> In other words after all of these years you still don't get this:
>>>     "simulating halt decider H correctly simulates its input D
>>>     until"
>>> Repetition to help your ADD see what it keeps missing. Repetition to
>>> help your ADD see what it keeps missing. Repetition to help your ADD
>>> see what it keeps missing.
>> 
>> But it fails to meet the requirements, because your logic presumes that
>> HHH will never abort.
>> 
> Not at all. In the hypothetical case where HHH never aborts then DDD
> never stops running.
Why hypothetical? The HHH that *this* DDD here calls does abort.

-- 
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.