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

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.