Sujet : Nature of undecidable halting
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theoryDate : 16. May 2024, 14:20:48
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v2517g$171b6$1@i2pn2.org>
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 30 31 32 33
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Thu, 16 May 2024 13:42:41 +0300 schrieb Mikko:
On 2024-05-15 15:06:26 +0000, olcott said:
I refer to transitioning through a specific state to indicate a
specific halt status value, for Turing Machines.
That does not satisfy the usual definition of "halt decider". However,
we could accept that as a solution to the halting problem if one could
prove that there is a Turing machine that can indicate halting or
non-halting that way for all computations.
However, it is possible to prove that every Turing machine that
indicates halting that way fails to indicate correctly at least some
computations.
Are these all of the liar paradox kind, such that one could easily
exclude them? Or do they form a more interesting class?
-- joes