Re: HHH(DDD) is correct to reject its input as non-halting --- EVIDENCE THAT I AM CORRECT !!!

Op 16.jun.2025 om 23:51 schreef olcott:

On 6/16/2025 6:28 AM, Richard Damon wrote:

On 6/15/25 8:57 PM, olcott wrote:

On 6/15/2025 6:44 PM, Richard Damon wrote:

On 6/15/25 4:10 PM, olcott wrote:

void DDD()
{
   HHH(DDD);
   return;
}
>
When I challenge anyone to show the details of exactly
how DDD correctly simulated by ANY simulating termination
analyzer HHH can possibly reach its own simulated "return"
statement final halt state they ignore this challenge.

>
And it seems you don't understand that the problem is that while, yes, if HHH does infact do a correct simulation, it will not reach a final state, that fact only applie *IF* HHH does that, and all the other HHHs which differ see different inputs.
>

>
*I should have said*
When one or more instructions of DDD are correctly
simulated by ANY simulating termination analyzer HHH
then DDD never reaches its simulated "return" statement
final halt state.
>

>
So?
>
Since that isn't the criteria that the decider is supposed to answer by, it is just a strawman.
>
Since every decieer that gives an answer has stopped before reaching the end of the program, for which a complete simulation of it will, it just shows that it is wrong.
>
Of course, you first have to fix the system so the input *IS* a program, which means that it includes the code of the decider it is built on, which means that decider need to also be a defined program.
>
Thus, your LIES are exposed as just uses of strawmen to try to put forward incorrect conditions.
>
Sorry, all you have been doing is show that your world is built on lies, and your brain seems to be based on straw.

 No one has ever even attempted to show the details
of how this is not correct:
 void DDD()
{
   HHH(DDD);
   return;
}
 When one or more instructions of DDD are correctly
simulated by ANY simulating termination analyzer HHH
then this correctly simulated DDD never reaches its
simulated "return" statement final halt state.
 Thus no DDD of any HHH/DDD pair halts when "halts"
is defined as reaching a final halt state.

HHH should not report whether its simulation halted, but whether he input specifies halting behaviour. A simulation that fails to reach the end does not count as halting.
Similarly a computer that is hit by a sledge hammer, so that it cannot complete a program, does not prove that the program is non-halting, even if it did not reach the end.

 Since this *is* a verified fact any disagreement is
inherently incorrect.

We all agree that HHH fails reach the end.Pretending a disagreement on this point is dishonest.

 This same reasoning equally applies to the input to HHH(DD)
 int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}