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

Liste des GroupesRevenir à cl c  
Sujet : Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 15. Apr 2025, 04:41:02
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vtkkge$2si58$2@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 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.

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,
Belief and disbelief are inherently fallible.
Only comprehension ultimately rules.

so I think I'll wait until your claim is confirmed by an independent observer.
 
Thus forever postponing the ultimate measure of direct comprehension.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
20 Apr 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal