Re: Everyone on this forum besides Keith has been a damned liar about this point

On 6/8/25 10:50 PM, olcott wrote:

void DDD()
{
   HHH(DDD);
   return;
}
 The *input* to simulating termination analyzer HHH(DDD)
specifies recursive simulation that can never reach its
*simulated "return" instruction final halt state*
 *Every rebuttal to this changes the words*
 

So, you think a partial simulation defines behavior?
Where do you get that LIE from?
EVERY PROGRAM (you need to make DDD into a program by including the codee of the PROGRAM HHH that it calls, so that needs to be defined too) that uses an HHH that returns an answer for HHH(DDD), which is a requirement for HHH to be a decider for this input, will HALT when run or correctly *and thus completely) emulated.
The fact that HHH stops before it gets there is just your strawman that you use to LIE about the behavior.
Your problem is that by your own words you have admitted to a category error, and thus that you claim is just a lie.