Re: How Partial Simulations correctly determine non-halting --- Ben's strawman deception

On 5/06/24 14:09, olcott wrote:

 void Recursion_Chain_03(int M)
{
   Recursion_Chain_01(M);
}
 void Recursion_Chain_02(int M)
{
   Recursion_Chain_03(M);
}
 void Recursion_Chain_01(int M)
{
   Recursion_Chain_02(M);
}
 int main()
{
   Output("Input_Halts = ", H(Recursion_Chain_01,(ptr)5));
}
 My simulating termination analyzer correctly determines
that the above sequence will not terminate.

Your simulating termination analyzer incorrectly determines that the below sequence will not terminate.
void Recursion_Chain_03(int M)
{
    H(Recursion_Chain_01, M);
}
void Recursion_Chain_02(int M)
{
    H(Recursion_Chain_03, M);
}
void Recursion_Chain_01(int M)
{
    H(Recursion_Chain_02, M);
}
int main()
{
    Output("Input_Halts = ", H(Recursion_Chain_01,(ptr)5));
}