Re: Analysis of Richard Damon's Response to Flibble's Position on the Halting Problem

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