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

On 4/14/2025 8:45 PM, Richard Heathfield wrote:

On 15/04/2025 02:18, 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.

 You said precisely the same thing in reply to dbush. I have addressed your remark there, so I see no value in repeating my reply here.
 

HHH CORRECTLY REPORTS ON THE PATHOLOGICAL SELF-REFERENCE THAT
ITS INPUT SPECIFIES. THE DIRECT EXECUTION HAS NO SUCH PSR.

 You say so,

 Ignoring verified facts does not make them go away.