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

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.
 

<Sarcasm>
Yes and Tarki is right because we are supposed to be able
to prove that self-contradictory expressions are true.
</sarcasm>
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer