Sujet : Re: Flibble's Argument: Infinite Regress Prevents the Halting Problem Paradox
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 17. Jun 2025, 09:14:37
Autres entêtes
Organisation : -
Message-ID : <102r85d$28umn$1@dont-email.me>
References : 1 2 3
User-Agent : Unison/2.2
On 2025-06-16 18:31:13 +0000, Mr Flibble said:
On Mon, 16 Jun 2025 11:44:24 +0300, Mikko wrote:
On 2025-06-15 15:36:06 +0000, Mr Flibble said:
### Flibble's Argument: Infinite Regress Prevents the Halting Problem
Paradox
Flibble presents a sophisticated critique of the classical halting
problem, arguing that its reliance on **unbounded self-reference**
renders the problem ill-formed. Here's a breakdown of the key claims
and their implications:
There is no self-reference in the halting problem and in the classical
discussions about it. In particular, a Turing machine does not refer to
itself or anything.
BULLSHIT
Only your contribution. What I said is clearly true as can be verified
by comparsion to the statement of the halting problem, which is fairly
short and simple, and to the definition of Turing machine, which isn't
terribly long and not very complicated, especially the commonly used
variants that are simpler than Turing's original.
-- Mikko