Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 5/8/25 8:05 PM, olcott wrote:

On 5/8/2025 6:54 PM, Keith Thompson wrote:

olcott <polcott333@gmail.com> writes:

On 5/8/2025 6:30 PM, Richard Heathfield wrote:

On 08/05/2025 23:50, olcott wrote:

[...]

If you are a competent C programmer

Keith Thompson is a highly-respected and very competent C
programmer.

>
*Then he is just who I need*

>
No, what you need is someone who is an expert in mathematical logic
(I am not) who can explain to you, in terms you can understand and
accept, where you've gone wrong.  Some expertise in C could also
be helpful.
>

 The key gap in my proof is that none of the comp.sci
people seems to have a slight clue about simple C
programming.

No, the problem is you don't.

 void DDD()
{
   HHH(DDD);
   return;
}
 *THIS IS THE C PART THAT NO ONE HERE UNDERSTANDS*
DDD correctly simulated by HHH cannot possibly
reach its own "return" instruction.

And claiming the behavior of a program that isn;t the behavior of that program is just a lie.

 DDD correctly simulated by HHH is the same thing
as infinite recursion between HHH and DDD yet is
implemented as recursive simulation.

But your HHH doesn't do that, and thus this is just a lie.

 

I doubt that any such person exists, but only for reasons related
to you.
>

 

Note, if you retreact your stipulation of Halt7.c, and make your one HHH be the one that doesn't abort, then it fails to be a decider by never returning.
You can't try to equivocate two different HHH's in existance at the same time, The DD that the HHH that aborts and answer, is, and can only be, the DD that calls the HHH that aborts, and thus *IS* Halting.
All you are doing is proving you think LYING is acceptable logic.
And all this is just patching over the fact that you have admitted that none of your deciders or inputs actually qualify for the roles, as they are just C functions, and NOT programs, as required.
Sorry, but your own words have sunk your arguement into that lake of fire that you will join in the near future (unless you repent).