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-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