Re: Proving the: Simulating termination analyzer Principle

On 4/11/2025 3:00 PM, Chris M. Thomasson wrote:

On 4/11/2025 7:42 AM, olcott wrote:

On 4/10/2025 10:00 PM, Chris M. Thomasson wrote:

On 4/10/2025 3:53 PM, olcott wrote:

On 4/9/2025 11:04 PM, Chris M. Thomasson wrote:

On 4/9/2025 7:02 PM, olcott wrote:

On 4/9/2025 6:39 PM, Chris M. Thomasson wrote:

On 4/9/2025 10:18 AM, olcott wrote:

On 4/9/2025 1:00 AM, Chris M. Thomasson wrote:

On 4/5/2025 8:26 PM, olcott wrote:

Of course not that is a very dumb question.
You are asking if it can carefully examine
all of the details of what it is not allowed to see.

>
Does your halt decider work or not?
>

 A variant of HHH had been a correct termination analyzer
on its domain of inputs for several years.
https://github.com/plolcott/x86utm/blob/master/Halt7.c