# Re: Cantor's Diagonal

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Wed, 21 Nov 2007 17:00:44 +0100

Le 20-nov.-07, à 23:39, Barry Brent wrote :

>
> You're saying that, just because you can *write down* the missing
> sequence (at the beginning, middle or anywhere else in the list), it
> follows that there *is* no missing sequence. Looks pretty wrong to me.
>
> Cantor's proof disqualifies any candidate enumeration. You respond
> by saying, "well, here's another candidate!" But Cantor's procedure
> disqualified *any*, repeat *any* candidate enumeration.
>
> Barry Brent

Torgny, I do agree with Barry. Any bijection leads to a contradiction,
even in some effective way, and that is enough (for a classical
logician).
But look what you write:

> On Nov 20, 2007, at 11:42 AM, Torgny Tholerus wrote:
>

>>
>> An ultrafinitist comment to this:
>> ======
>> You can add this complementary sequence to the end of the list.
>> That will make you have a list with this complementary sequence
>> included.
>>
>> But then you can make a new complementary sequence, that is not
>> inluded. But you can then add this new sequence to the end of the
>> extended list, and then you have a bijection with this new sequence
>> also. And if you try to make another new sequence, I will add that
>> sequence too, and this I will do an infinite number of times.

How could an ultrafinitist refute an argument by saying "... and this I
will do an infinite number of times. "?

>> So
>> you will not be able to prove that there is no bijection...

Actually no. If you do what you described omega times, you will just
end up with a set which can still be put in 1-1 correspondence with N
(as shown in preceding posts on bijections)
To refute Cantor, here, you should do what you described a very big
infinity of times, indeed an non enumerable infinity of times. But then
you have to assume the existence of a non enumerable set at the start.
OK?

Bruno
http://iridia.ulb.ac.be/~marchal/

>> ======
>> What is wrong with this conclusion?
>>
>> --
>> Torgny
>>
>>>
>
> Dr. Barry Brent
> barrybrent.domain.name.hidden
>
>
>
>
> >
>

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Wed Nov 21 2007 - 11:01:26 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:14 PST