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: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Sun, 6 Apr 2025 05:52:48 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <vst4rg$8daf$4@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me> <vsogsi$38bb3$1@dont-email.me>
	<vspk65$h4r2$4@dont-email.me> <vsr131$1vcfd$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Apr 2025 07:52:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c047f83780d867d0a7ba2f0a8fb3be95";
	logging-data="275791"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19wUMSBfx4JUh5oG1Nq05BQ"
User-Agent: Pan/0.162 (Pokrosvk)
Cancel-Lock: sha1:vWYHnnZZflMoWK2YOrt45NYnLY8=
Bytes: 1679

On Sat, 5 Apr 2025 12:36:16 +0200, Julio Di Egidio wrote:

> On 04/04/2025 23:49, Lawrence D'Oliveiro wrote:
>
>> On Fri, 4 Apr 2025 13:47:29 +0200, Julio Di Egidio wrote:
>> 
>>> The anti-diagonal is *as computable as the list is*: and the argument
>>> in fact proves there can be no such list, computable or otherwise...
>> 
>> No it doesn’t. The cardinality of the computable numbers is ℵ₀, same as
>> that of the integers. And the integers can in fact be arranged in a
>> list, therefore so can the computable numbers. QED.
> 
> You should try and prove it formally ...

Look up “Gödel numbering”.