Talk:Cantor's paradox

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated B-class, Mid-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
B Class
Mid Importance
 Field: Foundations, logic, and set theory

Need more context[edit]

I've given this article a general cleanup, but I think it could use a little more:

  1. The formal statement of Cantor's paradox isn't so great.
  2. Some context explaining why Cantor's paradox is significant would be very useful here.

If we can fix those two things then I think the {{attention}} tag can be taken away. Tim Pierce 06:30, 12 December 2005 (UTC)

I've done a major revision on the page and I think I've addressed your concerns, so I'm excising the {{attention}} tag. Ryan Reich 17:16, 21 January 2006 (UTC)

NBG set theory[edit]

"The fact that NBG set theory resolves the paradox is therefore a point in its favor as a suitable replacement."

What is NBG set theory? This should either be a link, or it should be removed. Surely axiomatic set theory is the standard 'replacement' for naive set theory anyway. InformationSpace 00:38, 4 May 2007 (UTC)

Von Neumann–Bernays–Gödel set theory, but, as well-known, ZFC also solves the paradox in the same manner, and you can deal with classes in ZFC (but not as objects of the theory). The sentence has to be removed. 81.57.95.102 12:41, 8 May 2007 (UTC)

AC and 'Since the cardinal numbers are well-ordered' ?[edit]

The first sentence of Cantor's_paradox#Discussion and consequences depends on the axiom of choice, doesn't it? I'm no expert, could somebody make clear if this is dependent or independent on the axiom of choice? Aaron McDaid (talk - contribs) 07:40, 2 June 2007 (UTC)

Well, it's a bit of a non-sequitur to talk about it being dependent on axioms (AC or otherwise), since the paradox was posed in a non-axiomatic context. But then the whole "Discussion and consequences" section is a bit of a non-sequitur, as far as that goes. In any case it's trivial to see that there is no largest ordinal, for the same reason there's no largest natural number (every ordinal has a successor). --Trovatore 07:45, 2 June 2007 (UTC)
I must have mixed up the two sections 'Statement and proof' and 'Discussion and consequences'. However, I still think their may be gaps in the article with regard to the axiom of choice (AC). Is it true that cardinals can ordered with or without AC? And that AC is only required to well-order them? I'm no longer implying there's a flaw in the proof, just being curious with a view to improving the article if appropriate. Aaron McDaid (talk - contribs) 08:55, 2 June 2007 (UTC)
The statement that the cardinalities are wellordered -- or, indeed, even linearly ordered -- is equivalent (using ZF as the background theory) to AC.
As for improving the article -- not meaning offense to the author(s), I frankly think it could use a nearly complete rewrite. The paradox is that, if you accept the apparently reasonable proposition that it should be possible to collect all sets into one completed totality, then that object ought to have the maximum possible cardinality. But then what about the powerset of that object, which must have a greater cardinality?
From the article as it stands, in my opinion, it's very hard to understand either what the problem is, or the resolution (which is simply that it's not possible to collect all sets into a completed whole). --Trovatore 09:17, 2 June 2007 (UTC)
I had thought that the Cantor–Bernstein–Schroeder theorem tells us that the cardinals can be ordered without using AC. But I'm not so sure now. It says that if |A|<=|B| and |B|<=|A|, then |A|=|B|. Was I mistaken in assuming that it's always true that |A|<=|B| and/or |B|<=|A| ? i.e. Without AC there may be a pair of cardinalities that cannot be ordered? Aaron McDaid (talk - contribs) 09:40, 2 June 2007 (UTC)
If AC fails, then there must be. Given a set X, if any two cardinalities are comparable, then there must be an injection from X into its Hartogs number (because there certainly can't be an injection in the reverse direction). Therefore X can be wellordered. Thus if all cardinalities are comparable, AC holds. --Trovatore 19:06, 2 June 2007 (UTC)
Thanks for all that. I'm not sure I really understand all that, in particular the Hartog's number, I think I'll look at that more closely after my next exam (I hate it when real life interferes with Wikipedia :-) ).
Returning to this article, I've reread your earlier comments and they are starting to make sense to me - I can see how AC is irrelevant to this article. And that there is no need for the article to take about "well-ordering" the cardinals. Aaron McDaid (talk - contribs) 20:50, 2 June 2007 (UTC)

Ordinals and cardinals[edit]

Although there is a connection between Cantor's paradox and the Burali-Forti paradox, the latter isn't necessary to understand the former. Indeed, you don't need the ordinals to verify that the cardinals constitute a proper class. I've revised the article to make this clear. (Lorenzo Traldi (talk) 13:06, 10 April 2011 (UTC))

What's the paradox?[edit]

I think this article would be better if it included a single statement of Cantor's paradox. According to Britannica, "Cantor's paradox" refers to the fact that a hypothetical universal set U would be both larger and strictly smaller than its power-set. That is, the paradox is in the juxtaposition of the inequalities |U|<2U from Cantor's theorem and |U|>=2U from the fact that U is universal. (Naturally we conclude that such a set U cannot exist, just as we do with Russell's paradox.) I hesitate to make such a major edit without hearing from an author though. (Lorenzo Traldi (talk) 17:34, 10 April 2011 (UTC))

Exactly. I found the article confusing too, without a statement of the paradox itself and had to consult wolfram mathworld. voidnature 06:07, 16 June 2011 (UTC)
I agree. According to the article, the fact that there is no greatest cardinal is the "paradox". This in itself is not a paradox at all, and I'm extremely sceptical that Cantor or anybody else would have considered it such - the fact that there is no greatest natural number does not cause concern, so why would this? There is only a paradox when this is considered in conjunction with a contemplation of the "set of all sets".--86.178.22.211 (talk) 17:01, 19 October 2013 (UTC)