Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC

On 22/05/2025 17:00, olcott wrote:
<snip>

*The proof by contradiction CANNOT EVEN BE CREATED*

The proof can. It's just the contradiction that can't. That's the point of a proof by contradiction.

I dared you to define an input D to termination
analyzer H that actually does the opposite of
whatever value that H returns AND YOU FAILED !!!

You dared me to do what Turing proved to be impossible, and I declined. Why? Because Turing proved it to be impossible.

ARE YOU IGNORANT OR DISHONEST?

I have no doubt you've already decided that for yourself.
--
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