Re: Cantor Diagonal Proof

On 04/04/2025 07:15, Lawrence D'Oliveiro wrote:

On Fri, 4 Apr 2025 06:16:20 +0100, Richard Heathfield wrote:
 

The Cantor diagonal argument shows that *any* list, finite or infinite,
is incomplete.

 But it takes an infinite number of steps to show that for an infinite
list. And at every point, the probability that the N digits computed so
far match some number later in the list is 1.

Depends on the list. Give me the N digits computed so far, and I'll define an infinite list for which the probability that the N digits computed so far match some number later in the list is 0.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within