Re: How Partial Simulations correctly determine non-halting ---Mike Terry Error

On 6/4/2024 8:39 PM, John Smith wrote:

On 5/06/24 03:33, olcott wrote:

On 6/4/2024 8:20 PM, John Smith wrote:

On 4/06/24 20:02, olcott wrote:

Those words are dead obviously correct about how a partial simulation
does correctly determine the halt status of this function:
>
void Infinite_Recursion2(u32 N)
{
     H(Infinite_Recursion2, (ptr)N);
}

>
Does Infinite_Recursion2 halt?

>
When halting is defined in the software engineering terms of
terminating normally then Infinite_Recursion2 does not even
halt when it runs out of stack space and crashes.

 H always halts, and never runs out of stack space, because it is a decider. How does Infinite_Recursion2 run out of stack space, if H doesn't run out of stack space?
 

When we are on actual physical machines as my fully operational
HH/DD are running put of stack space is possible.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer