Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Sun, 13 Apr 2025 15:00:34 -0700
Organization: None to speak of
Lines: 16
Message-ID: <87h62rg1rx.fsf@nosuchdomain.example.com>
References: <vsn1fu$1p67k$1@dont-email.me> <vsr1ae$1pr17$2@dont-email.me>
	<vst4nm$8daf$2@dont-email.me> <vst8ci$aeqh$3@dont-email.me>
	<vsutjt$21mp2$2@dont-email.me> <vsuvp1$227l5$1@dont-email.me>
	<vsvv3h$36pju$2@dont-email.me> <vt01u5$38f07$1@dont-email.me>
	<875xjfd5rs.fsf@nosuchdomain.example.com>
	<vt1jpa$n43m$4@dont-email.me>
	<87tt6zblzl.fsf@nosuchdomain.example.com>
	<0920ac6e196c1cebeff36d8b9431ee12a7b3d527@i2pn2.org>
	<vt74k1$1pl6i$5@dont-email.me>
	<74db303c1d07ba0fdf70f1b20f5f7d6e04667665@i2pn2.org>
	<vt9nr3$5t7s$5@dont-email.me>
	<4f2f706fdbd8bb237b4bfbc750f65482db6e96c7@i2pn2.org>
	<vtag8u$vqm0$3@dont-email.me>
	<c7320364d5ad63cd30018fa0082e8dcc60ad2534@i2pn2.org>
	<vtc4ao$2mlfb$4@dont-email.me>
	<84c84545ad9509384f5378553217346b12512a97@i2pn2.org>
	<vtha1c$3oh15$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 14 Apr 2025 00:00:39 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="81eb20b1af8ee11d07b9431bae23cc05";
	logging-data="3953434"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18NDjwv/jyqYubCmO5sbudH"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:0JMnPgJObtBBm7dVL/voyoJRBIw=
	sha1:Eg7cblF6eGM+3hj1ssR3QO1/3Ao=
Bytes: 2488

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 */