Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT
Date: Wed, 16 Apr 2025 13:29:18 +0100
Organization: Fix this later
Lines: 23
Message-ID: <vto7qu$267in$1@dont-email.me>
References: <vsnchj$23nrb$2@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>
 <vtkc4l$2h48g$3@dont-email.me> <vtkdnm$2iqu5$1@dont-email.me>
 <vtkkge$2si58$2@dont-email.me> <vtl56j$3aajg$1@dont-email.me>
 <vtlu0a$3vgp0$1@dont-email.me> <vtm04f$2a90$1@dont-email.me>
 <vtm9q8$aut7$1@dont-email.me> <vtmah8$2a90$2@dont-email.me>
 <vtmgen$gs48$1@dont-email.me> <vtmh1n$2a90$3@dont-email.me>
 <vto4vh$23i07$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 16 Apr 2025 14:29:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0e4c13b75812e72c60a3c9670fb3f6c1";
	logging-data="2301527"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/PBncS+gO0Cv1zwVdvkcIczGpzyA+cfbFz9E9PFPre5w=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:dVqhsD8sasZ5tn1L/4m+os0gtPM=
Content-Language: en-GB
In-Reply-To: <vto4vh$23i07$1@dont-email.me>
Bytes: 2874

On 16/04/2025 12:40, olcott wrote:
> sum(3,2) IS NOT THE SAME AS sum(5,2).
> IT IS EITHER STUPID OR DISHONEST FOR YOU TO TRY TO
> GET AWAY FOR CLAIMING THIS USING THE STRAW DECEPTION
> INTENTIONALLY INCORRECT PARAPHRASE OF MY WORDS.

Whether sum(3,2) is or is not the same as sum(5,2) is not the 
question. The question is whether a universal termination 
analyser can be constructed, and the answer is that it can't.

This has been rigorously proved. If you want to overturn the 
proof you've got your work cut out to persuade anyone to listen, 
not least because anyone who tries to enter into a dialogue with 
you is met with contempt and scorn.

The proof stands.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within