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

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.
You are just proving your utter stupidity.