Re: Cantor Diagonal Proof

On 2025-04-14 22:43:25 +0000, Lawrence D'Oliveiro said:

On Fri, 11 Apr 2025 09:35:15 -0400, Richard Damon wrote:
 

On 4/11/25 3:28 AM, Lawrence D'Oliveiro wrote:

 On Mon, 7 Apr 2025 06:51:02 -0400, Richard Damon wrote:
 

Your problem is you assume you can compute the nth value from the
value of n, but that requires you master algorithm include an infinite
number of algorithms in itself to choose from to build that number.

 But the Cantor construction assumes you can construct that list. So if
you object to the assumption of the existence of such a list, then you
knock down Cantor’s proof as well.

 But Cantors arguement wasn't about Computable Numbers ...

 Doesn’t matter. If such a list can be assumed for the purposes of one
proof, it can be assumed for the purposes of another. You can’t argue by
saying it can only be used for purposes that you agree with.

Doesn't matter. What you need to say about the list is different
when the list is used for different purposes.
--
Mikko