Path: ...!news.tomockey.net!news.samoylyk.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: Fri, 4 Apr 2025 04:24:16 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <vsnmtg$2i4qp$3@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 04 Apr 2025 06:24:17 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a838268cadc40d8a0ecf633714aea4dd";
	logging-data="2691929"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18INREeekdhgTmVGAFppWxF"
User-Agent: Pan/0.162 (Pokrosvk)
Cancel-Lock: sha1:RSuq0ve1sC+FFamwHMzhzzvi+cY=
Bytes: 1511

On Fri, 4 Apr 2025 04:35:59 +0100, Richard Heathfield wrote:

> The Cantor argument constructs a number that is not
> in the input list and thus proves that the input list, no matter how
> large, is incomplete.

But that proof takes an infinite number of steps. At every point, the 
probability that the N digits computed so far match some number later in 
the list is 1.