Re: Cantor Diagonal Proof

On 09/04/2025 00:48, Keith Thompson wrote:

I suspect I'm still missing something.  For one thing, I'm not
sure whether "we can't computationally generate the list" and "the
list doesn't exist" are equivalent statements.

Depends on what you mean by `exist'. We can't generate (or at least we can't complete the generation of) the list of all integers in ascending order, so the list can never exist, but for any integer we know not only that it's on the list but exactly /where/ on the list we can find it, so in our minds the list already exists.
--
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