Sujet : Re: Cantor Diagonal Proof
De : ldo (at) *nospam* nz.invalid (Lawrence D'Oliveiro)
Groupes : comp.theoryDate : 04. Apr 2025, 22:49:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vspk65$h4r2$4@dont-email.me>
References : 1 2
User-Agent : Pan/0.162 (Pokrosvk)
On Fri, 4 Apr 2025 13:47:29 +0200, Julio Di Egidio wrote:
The anti-diagonal is *as computable as the list is*: and the argument in
fact proves there can be no such list, computable or otherwise...
No it doesn’t. The cardinality of the computable numbers is ℵ₀, same as
that of the integers. And the integers can in fact be arranged in a list,
therefore so can the computable numbers. QED.
…