Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots

On 4/14/25 9:18 PM, olcott wrote:

On 4/14/2025 7:39 AM, Richard Heathfield wrote:

On 14/04/2025 12:56, olcott wrote:
>
<snip>
>

When people insist that a termination analyzer reports
on behavior other than the behavior that its finite string
input specifies this is isomorphic to requiring a perfectly
geometric square circle in the same two dimensional plane,
simply logically impossible, thus an incorrect requirement.

>
A termination analyzer that works is simply logically impossible, thus an incorrect requirement.
>

 THAT IS A STUPID THING TO SAY THAT COMPLETELY IGNORES WHAT
COMPUTABLE FUNCTIONS ARE AND HOW THEY WORK.
 HHH CORRECTLY REPORTS ON THE PATHOLOGICAL SELF-REFERENCE THAT
ITS INPUT SPECIFIES. THE DIRECT EXECUTION HAS NO SUCH PSR.
 

But who says that the Haltig Function is a computable funciton?
That is your problem, you don't understand what that term means.
HHH does NOT correctly report on the pathological self-reference that its input specifies, as the input doesn't have a pathological self-refernce but is just pathologically derived from the decider HHH, making it impossible for HHH to get the right answer.
Note, your problem is you just don't understand what you words actually mean when used in the context of the field, because you just don't understand the concepts of the field.
Part of the problem is that what you want to call the input can't be a proper input, as it isnt' actually a program, so you start with a category error at the start of your problem.