Sujet : Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 15. Apr 2025, 02:45:26
Autres entêtes
Organisation : Fix this later
Message-ID : <vtkdnm$2iqu5$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
User-Agent : Mozilla Thunderbird
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, but as it's you saying it and you can't even turn off CAPS LOCK I see no reason to believe that you have the capacity to be right, so I think I'll wait until your claim is confirmed by an independent observer.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within
…