Sujet : Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 15. Apr 2025, 09:25:55
Autres entêtes
Organisation : -
Message-ID : <vtl56j$3aajg$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 : Unison/2.2
On 2025-04-15 03:41:02 +0000, olcott said:
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.
Ignoring verified proofs does not meke them go away.
But you keep ignoring them anyway.
-- Mikko
…