Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Sun, 6 Apr 2025 06:41:23 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <vst7mj$bmfg$2@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me> <vsogsi$38bb3$1@dont-email.me>
	<vspoqp$3nc7g$1@dont-email.me> <vsq41a$10hfp$4@dont-email.me>
	<vsqv9v$1pr16$1@dont-email.me> <vss4em$35ali$1@dont-email.me>
	<vss9or$1pr17$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Apr 2025 08:41:23 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c047f83780d867d0a7ba2f0a8fb3be95";
	logging-data="383472"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19MYGOEE+lKRFoKSufD5FmT"
User-Agent: Pan/0.162 (Pokrosvk)
Cancel-Lock: sha1:sm82ubNaVsD7zVxrEMdZWawQVUw=
Bytes: 1442

On Sat, 5 Apr 2025 23:10:35 +0100, Andy Walker wrote:

> You can slice and dice as much as you like, but the Cantor
> process applied to any list of reals or to any computable list of
> computable reals generates a real or computable real not in the list. So
> any such list is incomplete.

Apply it to the list I posted elsewhere, then.