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

On 5/14/2025 12:20 AM, Richard Heathfield wrote:

On 14/05/2025 06:09, olcott wrote:

On 5/14/2025 12:02 AM, Richard Heathfield wrote:

On 14/05/2025 05:54, olcott wrote:

 <snip>
 

Incorrect requirements are possible when they
conflict with other requirements.

>
There is no requirement and no conflict. H cannot exist, and therefore no requirements (other than non-existence) can be imposed upon it.
>

>
H does exist when its goal is defined coherently

 The goal is perfectly coherent. It's easily expressed and easily understood. It's just unachievable.
 

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.
A halt decider is certainly not required to report
on the computation that itself is contained within.
int main()
{
   DDD();
}
Thus HHH cannot report on the halt status
of its caller because it cannot see its caller.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer