Re: Proving the: Simulating termination analyzer Principle

On 06/04/2025 01:30, olcott wrote:
<snip>

Everyone else seems to think that the correct way
to handle a pathological relationship between an
input and a termination analyzer is to simply ignore
the differences that this makes. THAT CAN'T BE RIGHT !!!

Everyone else (i.e. not you) knows that you are attempting to square the circle, trisect the angle, and find the exact value of pi. You're ignoring Post, Gödel, Church, Turing, Kleene, Hoare, and a zillion other computer scientists, and you're trying to write a program that can't be written. The fact that you've written a program is neither here nor there if it doesn't do what's required... which it doesn't.
--
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