Sujet : Re: Analysis of Richard Damon's Response to Flibble's Position on the Halting Problem
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 25. May 2025, 09:04:23
Autres entêtes
Organisation : -
Message-ID : <100uiu7$19a16$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-05-24 17:42:25 +0000, Mr Flibble said:
6. Formal Proofs Can't Be Dismissed for Practicality:
- Turing’s proof stands because it is mathematically sound.
- Redefining the problem to avoid paradoxes merely restricts the scope;
it doesn’t invalidate the theorem.
An interesting question about the redefined problem is whether it
avoids the paradoxes that motivated the redefinition.
-- Mikko