Re: Proving the: Simulating termination analyzer Principle

On 06/04/2025 02:22, olcott wrote:
<snip>

The last step is validating that this principle is correct.

Whether or not your "principle" is correct is neither here nor there. It's relevant only to the Olcott Problem, which clearly isn't the Halting Problem.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within