Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar

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.