Re: Cantor's Diagonal

2007-12-16 Thread Barry Brent
Hi. Bruno could do this better, but I like the practice. I guess you're trying to demonstrate that the form of Cantor's argument is invalid, by displaying an example in which it produces an absurd result. Start with a set S you want to show is not enumerable. (ie, there is no one-one

Re: Cantor's Diagonal

2007-12-16 Thread Russell Standish
On Sun, Dec 16, 2007 at 04:49:34AM -0500, Daniel Grubbs wrote: Cantor's argument only works by finding a number that satisfies the criteria for inclusion in the list, yet is nowhere to be found in the list. In your first case, the number (1,1,1,1...) is not a natural number, since it is

Re: Cantor's Diagonal

2007-12-16 Thread Daniel Grubbs
Hi Barry, Let me see if I am clear about Cantor's method. Given a set S, and some enumeration of that set (i.e., a no one-one onto map from Z^+ to S) we can use the diagonalization method to find an D which is a valid element of S but is different from any particular indexed element in the

Re: Cantor's Diagonal

2007-12-16 Thread Barry Brent
Hi Dan, Let me take your statements a few at a time. Let me see if I am clear about Cantor's method. Given a set S, and some enumeration of that set (i.e., a no one-one onto map from Z^+ to S) we can use the diagonalization method to find an D which is a valid element of S but is