Path: ...!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD simulated by HHH cannot possibly halt (Halting Problem) ---
 mindless robots
Date: Mon, 14 Apr 2025 18:52:14 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <1a706c5cf6155445ed9cbedc03ffe5e855ee4aeb@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; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 14 Apr 2025 22:59:10 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="378823"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vtjvi0$261t7$2@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3245
Lines: 38

On 4/14/25 5:43 PM, olcott wrote:
> 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.

And it is that version, and only that version, that HHH must get right.

The fact that DD CAN screw with HHH, means that HHH is just screwed, and 
so is your logic.

You are just too stupid to understand that your own logic has been 
screwed by the properties of real logic, that just overpower it.

> 
>>>
>>> Then HHH simply reports on this changed behavior. HHH need not
>>> even know that DD is calling itself. It only need to know that
>>> the behavior of DD would prevent its own termination.
>>>
>>
>> In other words, HHH is changing the input and reporting on the changed 
>> input.
>>
>> Changing the input is not allowed.
>>
> 
>