Path: ...!eternal-september.org!feeder3.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: Fri, 6 Dec 2024 11:07:01 +0200
Organization: -
Lines: 40
Message-ID: <viuerl$28b40$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> <vhhnsl$1phmg$1@dont-email.me> <vhjkg9$28t3s$1@dont-email.me> <vhkbdi$1lq0$1@dont-email.me> <vhlm55$9l59$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 06 Dec 2024 10:07:02 +0100 (CET)
Injection-Info: dont-email.me; posting-host="005faff8d75e7af7e6ce6fc9785b81fc";
	logging-data="2370688"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18cGvphdhIua3bKJbaYb9kN"
User-Agent: Unison/2.2
Cancel-Lock: sha1:9e8nkSH1jIamq/FJyR+V6KAPn9Y=
Bytes: 2666

On 2024-11-20 22:00:05 +0000, olcott said:

> On 11/20/2024 3:50 AM, Mikko wrote:
>> On 2024-11-20 03:19:37 +0000, olcott said:
>> 
>>> On 11/19/2024 4:05 AM, Mikko wrote:
>>>> On 2024-11-18 20:44:49 +0000, olcott said:
>>>> 
>>>>> 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.
>>>> 
>>>> You are the liar. Page 24 does not even mention C functions.
>>>> 
>>> There are two different page 24. Page 24 of the PDF
>>> not page 24 of the paper.
>> 
>> You failed to tell which one you meant. Such tricks may deceive
>> somebody but don't work here.
>> 
> 
> Please quit being a damned jackass.

After you!

-- 
Mikko