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

On 15/04/2025 04:41, olcott wrote:

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.

Indeed. And the Church-Turing thesis isn't going anywhere.
<snip>

Only comprehension ultimately rules.

And yet you continue to misunderstand the Halting Problem.

so I think I'll wait until your claim is confirmed by an independent observer.
>

 Thus forever postponing the ultimate measure of direct comprehension.

Or so you believe. "Belief and disbelief are inherently fallible", as you rightly said.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within