Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: DDD simulated by HHH cannot possibly halt (Halting Problem) ---
 mindless robots
Date: Tue, 22 Apr 2025 12:47:35 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <dbef4e03c2d1ab9c3396c9b0f762e532354a9a10@i2pn2.org>
References: <vsnchj$23nrb$2@dont-email.me> <vsqhuu$1hl94$2@dont-email.me>
	<vsqknb$1ldpa$1@dont-email.me> <vsrmn8$2o2f2$1@dont-email.me>
	<vstku7$p4u7$1@dont-email.me> <vsu95l$1c5kt$1@dont-email.me>
	<vt01l0$39kn7$1@dont-email.me> <vt28vk$1fe7a$1@dont-email.me>
	<vt2k6t$1onvt$1@dont-email.me> <vt3ef4$2flgf$1@dont-email.me>
	<vt3fgd$2gu7u$1@dont-email.me> <vt6apu$12sjs$2@dont-email.me>
	<vt6g1f$180qf$1@dont-email.me> <vt6lmk$1djk6$1@dont-email.me>
	<vt7tj4$2iso2$1@dont-email.me> <vt9j0j$1snb$2@dont-email.me>
	<vtai1c$11kqr$1@dont-email.me> <vtajkf$10asg$2@dont-email.me>
	<vtbe3g$1vs00$1@dont-email.me>
	<852f89c9196e0261b8156050fea4572fe886933f@i2pn2.org>
	<vth52t$3in23$9@dont-email.me> <vth557$3a127$7@dont-email.me>
	<vth8lr$3n2du$2@dont-email.me> <vth8ql$3a127$8@dont-email.me>
	<vthhi5$3uil9$2@dont-email.me> <vthimk$3vmp3$1@dont-email.me>
	<vthqns$5g2e$1@dont-email.me> <vthqut$3vmp3$2@dont-email.me>
	<vtisid$15e5s$1@dont-email.me> <vtisue$16lg3$1@dont-email.me>
	<vtjvi0$261t7$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 22 Apr 2025 12:47:35 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1373013"; 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

Am Mon, 14 Apr 2025 16:43:28 -0500 schrieb olcott:
> On 4/14/2025 6:52 AM, dbush wrote:
>> On 4/14/2025 7:46 AM, olcott wrote:
>>>
>>> Such an HHH works fine when the input DD is not attempting to do the
>>> opposite of whatever this HHH reports. This is not a problem though.
>>> DD merely changes its own behavior through the pathological
>>> self-reference that it implements.
>> Category error. DD is an algorithm, i.e. a fixed immutable sequence of
>> instructions, therefore "changing its behavior" is impossible.  It only
>> does exactly what its instructions say.
> One version of DD is defined to screw with HHH.
There is only one DD. 

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