Difference between revisions of "Talk:Power set"
ComplexZeta (talk | contribs) |
|||
Line 2: | Line 2: | ||
It is true (and decidable) that there is no bijection between a set and its power set. --[[User:ComplexZeta|ComplexZeta]] 21:45, 26 August 2006 (EDT) | It is true (and decidable) that there is no bijection between a set and its power set. --[[User:ComplexZeta|ComplexZeta]] 21:45, 26 August 2006 (EDT) | ||
+ | |||
+ | Really? Where can I find a proof? Thanks. —[[User:Boy Soprano II|Boy Soprano II]] 21:53, 26 August 2006 (EDT) |
Revision as of 21:53, 26 August 2006
I deleted the part that said that for no infinite set was there a bijection between the set and its power set. I am fairly certain that this is undecided. It certainly is known that the proposition is undecidable, so I am very suspicious of a proposition that such a cardinality as
exists at all. Or are these cardinalities known to exist after all? If so, how are they defined? —Boy Soprano II 21:35, 26 August 2006 (EDT)
It is true (and decidable) that there is no bijection between a set and its power set. --ComplexZeta 21:45, 26 August 2006 (EDT)
Really? Where can I find a proof? Thanks. —Boy Soprano II 21:53, 26 August 2006 (EDT)