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

Liste des GroupesRevenir à theory 
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.theory
Date : 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

Date Sujet#  Auteur
25 May 25 o Re: Analysis of Richard Damon's Response to Flibble's Position on the Halting Problem1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal