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

On 5/22/2025 1:52 AM, joes wrote:

Am Wed, 21 May 2025 18:14:42 -0500 schrieb olcott:
 

All of the proofs ASSUME that there is an input D that can ACTUALLY DO
the opposite of whatever value that H returns making it impossible for H
to decide D.

No, the proof assumes there is a *decider* and then shows exactly *how*
to construct a counterexample.
 

Yet no one ever bothers to notice that
this counter-example input cannot possibly
actually do the opposite of whatever value
that its decider returns.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer