Re: Proof that H(D,D) meets its abort criteria --self-evident truth--

On 3/16/24 7:54 PM, olcott wrote:

On 3/16/2024 9:50 PM, Richard Damon wrote:

So, are you admitting that you "Halt Deciders" are

 Not being discussed. We are only looking at this:
[Proof that H(D,D) meets its abort criteria]
 

Then why do you call them Halt Deciders?
If their criteria doesn't meet the requirements of a Halt Decider, you have incorrect criteria.
And, you criteria needs to be interpreted in the light of your actual requirement.
I will continue pointing out this error unless you CLEARLY make the statement that you C programming system is not now, or ever will be, claimed to be equivalent to the Halting Problem machines, and are not intended to be seen as relating to the actual Halting Problem of Computation Theory.
If you don't intend them to be Halt Deciders, it should be no problem saying that,
If you do, you are trying to setup a LIE.
You have misused too many words to let that pass.
You ARE sufffering the consequences of your past actions, even if you have sort of admitted some of them were a mistake.