Cantor Diagonal Proof

Liste des GroupesRevenir à s logic 
Sujet : Cantor Diagonal Proof
De : ldo (at) *nospam* nz.invalid (Lawrence D'Oliveiro)
Groupes : comp.theory
Date : 03. Apr 2025, 23:18:38
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vsn1fu$1p67k$1@dont-email.me>
User-Agent : Pan/0.162 (Pokrosvk)
The Cantor diagonal construction is an algorithm for computing an
incomputable number.

But if there is an algorithm for computing the number, then it is by
definition a computable number.

Date Sujet#  Auteur
25 May 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal