Sujet : Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theoryDate : 16. Apr 2025, 19:09:47
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <vtorpb$2uac$1@news.muc.de>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))
Mr Flibble <
flibble@red-dwarf.jmc.corp> wrote:
On Wed, 16 Apr 2025 13:29:18 +0100, Richard Heathfield wrote:
The question is whether a universal termination analyser can be
constructed, and the answer is that it can't.
Aren't you kind of putting the cart before the horse with such an
assertion? Maybe the prior art you are basing that assertion on is wrong?
You're speaking from ignorance of mathematics. The halting problem has
been unequivocally proven. It is a simple theorem, only slightly more
complicated than 2 + 2 = 4.
We're not talking about "prior art", or anything like that. We're
talking rigorous mathematics. We're talking about absolute truth,
something that Peter Olcott does not understand. You don't need to join
him.
/Flibble
-- Alan Mackenzie (Nuremberg, Germany).
…