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

Op 27.jun.2025 om 16:26 schreef olcott:

On 6/27/2025 1:42 AM, Mikko wrote:

On 2025-06-27 04:21:01 +0000, olcott said:
>

On 6/26/2025 5:20 AM, Mikko wrote:>>>

In computer science the only measure of non-halting is the
possibility to execute an unlimited number of steps without
halting. An execution of a limited number of steps does not
count as non-haltign.

>
Halting means reaching a final halt state.

>
And non-halting means unlimited execution.
>

 Not at all. The measure has always been can't possibly reach
final halt state. If it was not that way then smashing a
computer with a sledge hammer would "prove" that an infinite
loop halts.

Not at all. The measure is unlimited execution. Otherwise smashing your computer with a sledge hammer after 1 second would prove that all programs that take more than 1 second are non-halting, because it could not reach its final halt state.
Similarly, aborting a simulation before the simulated program of a proven halting program can reach its final halt state does not prove non-halting behaviour.