Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: HHH(DDD) computes the mapping from its input to HHH emulating
 itself emulating DDD --- anyone that says otherwise is a liar
Date: Mon, 18 Nov 2024 17:08:38 -0600
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <vhghdm$1f3se$3@dont-email.me>
References: <vhdd32$oq0l$1@dont-email.me>
 <c8e35b5f542012b2d798e7fe2afc3004298a2aa5@i2pn2.org>
 <vhdn96$r2jp$1@dont-email.me>
 <907b6e45c74720036b5f42c503d76ac426a71c92@i2pn2.org>
 <vhe69i$tuln$2@dont-email.me>
 <622e5aa555a9941d4cdb292d1e3e54e687e7b547@i2pn2.org>
 <vhe9rl$ue1m$2@dont-email.me>
 <254d3e7be0462ba8225ec0eb4804941ea635770d@i2pn2.org>
 <vheecn$12v3p$1@dont-email.me> <vhf2q1$16dqq$1@dont-email.me>
 <vhg901$1duv3$2@dont-email.me>
 <351e96d26f38fdb708f7856b3f19aef63bfb29a9@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 19 Nov 2024 00:08:38 +0100 (CET)
Injection-Info: dont-email.me; posting-host="ad16da2d74cc8bd4331bdb2e18efca6d";
	logging-data="1544078"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX183wxfBn7//HTkGbEO/qNCq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fgkIbp/ZxHljkx8ZfSUlB7LbLCQ=
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <351e96d26f38fdb708f7856b3f19aef63bfb29a9@i2pn2.org>
X-Antivirus: Norton (VPS 241118-8, 11/18/2024), Outbound message
Bytes: 2669

On 11/18/2024 3:36 PM, Richard Damon wrote:
> On 11/18/24 3:44 PM, olcott wrote:
>> On 11/18/2024 3:53 AM, Mikko wrote:
>>> On 2024-11-18 04:04:39 +0000, olcott said:
>>>
>>>> You stupidly claimed termination analysis is only done
>>>> on programs. I proved that you were stupidly wrong on
>>>> pages 24-27 of the PDF of this paper.
>>>>
>>>> Automated Termination Analysis of C Programs
>>>> https://publications.rwth-aachen.de/record/972440/files/972440.pdf
>>>
>>> The claim is not supported by the referred article.
>>>
>>
>> You are a damned liar. Page 24 proves that termination
>> analysis is performed on C functions. It is damned liars
>> like you that are causing the rise of the fourth reich.
>>
> 
> LEAF C functions.
> 

You can't retroactively change your original claim
to make it look like you never made a mistake.
That is what damned liars do.


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