Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Cantor's first proof,
Replies: 44   Last Post: Nov 16, 2012 6:01 PM

 Messages: [ Previous | Next ]
 Ben Bacarisse Posts: 1,972 Registered: 7/4/07
Re: Cantor's first proof,
Posted: Nov 15, 2012 6:41 AM

Uirgil <uirgil@uirgil.ur> writes:

> In article
> William Hughes <wpihughes@gmail.com> wrote:
>

>> On Nov 14, 5:22 pm, Ben Bacarisse <ben.use...@bsb.me.uk> wrote:
>>

>> > Is there a bijection from N to N?
>>
>>
>> Note that in http://arxiv.org/pdf/math.GM/0305310
>> WM states explicitly that there is no bijection from N to N

>
> How does WM justify claiming that the identity function on N is NOT
> bijective?

Ah, simple. N is an "impossible set" (not a term he defines but why get
bogged down in detail like that). The argument is simple: if you try to
enumerate N you can construct a diagonal that is not in N; indeed it's
not even a natural number. By WMlogic, this means that you have to
include this non-number in N if you are to claim and enumeration of N.
Thus you can't have an enumeration of *only* the elements of N.

It's one of the silliest things I've read for some time, and it's making
me revise my option. I thought WM was "having a laugh" by devising
arguments he knew to be false, just to see how far he push it, but this
is so silly it's hard to see it in that light. Maybe he really thinks
like this.

> Does he also claim that identity functions on finite sets can fail to be
> bijective?

No.

--
Ben.

Date Subject Author
11/15/12 Ben Bacarisse
11/15/12 mueckenh@rz.fh-augsburg.de
11/15/12 William Hughes
11/15/12 mueckenh@rz.fh-augsburg.de
11/15/12 William Hughes
11/15/12 LudovicoVan
11/15/12 mueckenh@rz.fh-augsburg.de
11/15/12 LudovicoVan
11/15/12 Uirgil
11/15/12 mueckenh@rz.fh-augsburg.de
11/16/12 LudovicoVan
11/16/12 mueckenh@rz.fh-augsburg.de
11/16/12 LudovicoVan
11/16/12 mueckenh@rz.fh-augsburg.de
11/16/12 LudovicoVan
11/16/12 Uirgil
11/16/12 David R Tribble
11/16/12 Uirgil
11/16/12 Uirgil
11/15/12 William Hughes
11/16/12 LudovicoVan
11/16/12 Uirgil
11/16/12 LudovicoVan
11/16/12 Uirgil
11/16/12 William Hughes
11/16/12 mueckenh@rz.fh-augsburg.de
11/16/12 William Hughes
11/16/12 mueckenh@rz.fh-augsburg.de
11/16/12 William Hughes
11/16/12 Uirgil
11/16/12 Uirgil
11/16/12 LudovicoVan
11/16/12 William Hughes
11/16/12 LudovicoVan
11/16/12 William Hughes
11/16/12 LudovicoVan
11/16/12 Uirgil
11/15/12 Uirgil
11/15/12 mueckenh@rz.fh-augsburg.de
11/15/12 Uirgil
11/15/12 Uirgil
11/15/12 Uirgil
11/15/12 mueckenh@rz.fh-augsburg.de
11/15/12 Uirgil