Path: 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: Sat, 5 Apr 2025 02:20:26 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <vsq41a$10hfp$4@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me> <vsogsi$38bb3$1@dont-email.me>
	<vspoqp$3nc7g$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 05 Apr 2025 04:20:27 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9f11b097b26f2656761f9579e269a581";
	logging-data="1066489"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+R8h+/iaFqKauaGlR1RrAo"
User-Agent: Pan/0.162 (Pokrosvk)
Cancel-Lock: sha1:81ZsXKdNIWwk6g1fdPZlqqkBmVI=

On Sat, 5 Apr 2025 00:09:13 +0100, Andy Walker wrote:

> -- The construction of a computable number that differs from every
>    number in the list shows that there is no way to construct a list
>    of all computable numbers ...

.... which in turn must mean that there is no way to construct a list of 
all integers, which is clearly nonsense.