Sujet : Re: Final Statement on the Halting Problem
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 16. Jun 2025, 10:49:48
Autres entêtes
Organisation : -
Message-ID : <102opbs$1i2m3$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-06-15 13:55:15 +0000, Mr Flibble said:
The halting problem as defined ignores recursive self reference focusing
on the paradox instead, I would argue the recursive self reference leads
to infinite regress in the definition of the problem thus creating a
category error making the problem definition itself ill-formed.
The final statement was already stated when the halting problem was
formulated and immediatley proved to be unsolvable. Both the problem
and the proof "ignore" paradoxes in the sense that there is none in
either of them.
-- Mikko