Re: Proving the: Simulating termination analyzer Principle

On 11/04/2025 21:00, Chris M. Thomasson wrote:
<snip>

Does your halt decider work or not?

Obviously not. If we had a working decision procedure we could use it to prove it doesn't work.
--
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