Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP

On 5/14/2025 11:16 AM, Richard Heathfield wrote:

On 14/05/2025 17:04, olcott wrote:
 <snip>
 

The HP proofs require an input D that can actually
do the opposite of whatever value that H returns.
Such an input cannot possibly exist.

 Agreed. That is precisely what Turing proved.
 

You did not pay enough attention.
The proof itself cannot exist because it is
missing a key element.

A halt decider is certainly not required to report

 A halt decider is required to meet the specifier's requirements.
 

Likewise with Russell's Paradox until ZFC replaced
these requirements.

For your halt decider, you specify the requirements.
 If you don't need it to report in some cases, that's entirely up to you.
 

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer