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: Tue, 8 Apr 2025 21:02:02 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <vt42s9$32bmm$1@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me>
	<7EKdnTIUz9UkpXL6nZ2dnZfqn_ednZ2d@brightview.co.uk>
	<vsng73$27sdj$1@dont-email.me>
	<gGKdnZiYPJVC03L6nZ2dnZfqn_udnZ2d@brightview.co.uk>
	<vsnk2v$2fc5a$1@dont-email.me> <vsnmtg$2i4qp$3@dont-email.me>
	<vsno7m$2g4cd$3@dont-email.me> <vsnp0o$2ka6o$2@dont-email.me>
	<vsnpv4$2g4cd$6@dont-email.me> <vsntes$2osdn$1@dont-email.me>
	<vsntv3$2paf9$1@dont-email.me> <vso1a0$2sf7o$1@dont-email.me>
	<vso2ff$2tj1d$2@dont-email.me> <vso3rj$2vems$2@dont-email.me>
	<vso4gh$2vg3b$1@dont-email.me> <vsqmlb$1ktm5$6@dont-email.me>
	<vsr1ae$1pr17$2@dont-email.me> <vst4nm$8daf$2@dont-email.me>
	<vsu9o4$lqc0$2@dont-email.me> <vsunj7$1redp$3@dont-email.me>
	<vsusb8$1v5ml$1@dont-email.me> <vsvuta$36pju$1@dont-email.me>
	<vt019f$37knt$1@dont-email.me> <vt1gs7$nigc$3@dont-email.me>
	<4a8988895deed610068ddca65068842dbc20bf7d@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 08 Apr 2025 23:02:02 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0e1143e057495279ba5407a5e9ee0a4c";
	logging-data="3223254"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/QxgTBwaxTJlEKY3Hw0j18"
User-Agent: Pan/0.162 (Pokrosvk)
Cancel-Lock: sha1:3RsrNldS15mIMvfpmQpGc9cQNKg=
Bytes: 2360

On Mon, 7 Apr 2025 18:24:36 -0400, Richard Damon wrote:

> On 4/7/25 5:42 PM, Lawrence D'Oliveiro wrote:
>
>> Somebody kept insisting that, even if my proposition is true for every
>> element in the list, it somehow goes false at the end. The end of an
>> infinite list! Yeah, right.
> 
> And that is because while every element on the list has an algorithm to
> construct it, that list is infinite, so you can't just put them *ALL* in
> to one finite algorithm to compute any one you need at the moment.

But that’s exactly how computable numbers work.