Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
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: Tue, 19 Nov 2024 12:08:52 +0200
Organization: -
Lines: 44
Message-ID: <vhho3k$1piso$1@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> <vhghdm$1f3se$3@dont-email.me> <8df0b30e5c51141a4866119e6fa2fc69597bd938@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 19 Nov 2024 11:08:52 +0100 (CET)
Injection-Info: dont-email.me; posting-host="13fd1e3c9cf2c388ad20111da77f0ae9";
	logging-data="1887128"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+AlgCO56YLa9pn79PRq8/C"
User-Agent: Unison/2.2
Cancel-Lock: sha1:QCC7YrCXA3ZN187djPhfTPw/+vw=
Bytes: 2952

On 2024-11-19 01:32:16 +0000, Richard Damon said:

> On 11/18/24 6:08 PM, olcott wrote:
>> 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.
> 
> I didn't.
> 
> You are just lying.
> 
> Your problem is you don't know what you are talking about and just 
> bring up phases you didn't learn but read by just rote.

I think that another problem is more serious: he dosn't know what other
people talk about but thinks he does and therefore fails the avoid the
sin of lying about other people.

-- 
Mikko