Re: Cantor Diagonal Proof

Lawrence D'Oliveiro <ldo@nz.invalid> writes:

On Fri, 11 Apr 2025 21:41:48 -0400, Richard Damon wrote:

Yes, but since you need the algorithms to compute ALL the numbers in
your code, you can't put them all in.

>
But the Cantor construction relies on constructing precisely such a list.
If you can’t put together such a list, then you can’t perform the Cantor
construction.

The Cantor construction *assumes* the existence of such a list,
demonstrates that that assumption leads to a contradiction, and
concludes that no such list can exist.

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */