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:40:16 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <vst7kg$bmfg$1@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me> <vso3j4$2vbn4$1@dont-email.me>
	<vso3ov$2vems$1@dont-email.me> <vso4oc$30ine$1@dont-email.me>
	<vspb09$75m8$6@dont-email.me> <vspdbr$9vr7$1@dont-email.me>
	<vspka6$h4r2$5@dont-email.me> <vspohn$ll8l$1@dont-email.me>
	<vsq3v7$10hfp$3@dont-email.me> <vsq9qc$19eo9$2@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:40:17 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c047f83780d867d0a7ba2f0a8fb3be95";
	logging-data="383472"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/pX5O0TWzjJqPfge7BjTnL"
User-Agent: Pan/0.162 (Pokrosvk)
Cancel-Lock: sha1:98Djow9W3eJ4ddl/QOKkGdd1S5s=
Bytes: 1694

On Sat, 5 Apr 2025 04:59:08 +0100, Richard Heathfield wrote:

> On 05/04/2025 03:19, Lawrence D'Oliveiro wrote:
>>
>> But if you like, it is possible to construct a list where the property
>> of finding matches later in the list is guaranteed.
> 
> Yes, of course. To construct such a list is trivially easy, because you
> can just add a match yourself. But so what?

The Cantor diagonal “proof” says it can always construct a number that 
will not match any existing entry, that’s what.