Sujet : Re: Cantor Diagonal Proof
De : ldo (at) *nospam* nz.invalid (Lawrence D'Oliveiro)
Groupes : comp.theoryDate : 04. Apr 2025, 09:03:44
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vso3ov$2vems$1@dont-email.me>
References : 1 2
User-Agent : Pan/0.162 (Pokrosvk)
On Fri, 4 Apr 2025 11:00:36 +0300, Mikko wrote:
On 2025-04-03 22:18:38 +0000, Lawrence D'Oliveiro said:
The Cantor diagonal construction is an algorithm for computing an
incomputable number.
Can you prove that it computes an incomputable number?
It’s trying to come up with a number that cannot fit into a set with
cardinality ℵ₀. The cardinality of the computable numbers is the same as
that of the integers, which is ℵ₀.
…