Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD simulated by HHH cannot possibly halt (Halting Problem) ---
 mindless robots
Date: Mon, 14 Apr 2025 20:18:14 -0500
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <vtkc4l$2h48g$3@dont-email.me>
References: <vsnchj$23nrb$2@dont-email.me> <vso4a5$302lq$1@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>
 <a8ab995b650b894cbfb635478f7406c4eee4d187@i2pn2.org>
 <vthqtc$5g2e$2@dont-email.me>
 <63af93cb608258cc3e12b9bab3a2efa0b7ee7eee@i2pn2.org>
 <vtit6a$15e5s$3@dont-email.me> <vtivmo$19aqd$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 15 Apr 2025 03:18:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8b77476f19ca356aa7dba57a400512e1";
	logging-data="2658576"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+I5uv7SK64S4aiOKnFp1U0"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:zCNqvjZ7MNc202cFCy5AygH/wPY=
X-Antivirus: Norton (VPS 250414-0, 4/13/2025), Outbound message
Content-Language: en-US
In-Reply-To: <vtivmo$19aqd$1@dont-email.me>
X-Antivirus-Status: Clean
Bytes: 2993

On 4/14/2025 7:39 AM, Richard Heathfield wrote:
> On 14/04/2025 12:56, olcott wrote:
> 
> <snip>
> 
>> When people insist that a termination analyzer reports
>> on behavior other than the behavior that its finite string
>> input specifies this is isomorphic to requiring a perfectly
>> geometric square circle in the same two dimensional plane,
>> simply logically impossible, thus an incorrect requirement.
> 
> A termination analyzer that works is simply logically impossible, thus 
> an incorrect requirement.
> 

THAT IS A STUPID THING TO SAY THAT COMPLETELY IGNORES WHAT
COMPUTABLE FUNCTIONS ARE AND HOW THEY WORK.

HHH CORRECTLY REPORTS ON THE PATHOLOGICAL SELF-REFERENCE THAT
ITS INPUT SPECIFIES. THE DIRECT EXECUTION HAS NO SUCH PSR.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer