The Brazilian philosopher Olavo de Carvalho has written a philosophical “refutation” of Cantor’s theorem in his book “O Jardim das Aflições” (“The Garden of Afflictions”). Since the book has only been published in Portuguese, I’m translating the main points here. The enunciation of his thesis is:

Georg Cantor believed to have been able to refute Euclid’s fifth common notion (that the whole is greater than its parts). To achieve this, he uses the argument that the set of even numbers can be arranged in biunivocal correspondence with the set of integers, so that both sets would have the same number of elements and, thus, the part would be equal to the whole.

And his main arguments are:

It is true that if we represent the integers each by a different sign (or figure), we will have a (infinite) set of signs; and if, in that set, we wish to highlight with special signs, the numbers that represent evens, then we will have a “second” set that will be part of the first; and, being infinite, both sets will have the same number of elements, confirming Cantor’s argument. But he is confusing numbers with their mere signs, making an unjustifiable abstraction of mathematical properties that define and differentiate the numbers from each other.

The series of even numbers is composed of evens only because it is counted in twos, i.e., skipping one unit every two numbers; if that series were not counted this way, the numbers would not be considered even. It is hopeless here to appeal to the artifice of saying that Cantor is just referring to the “set” and not to the “ordered series”; for the set of even numbers would not be comprised of evens if its elements could not be ordered in twos in an increasing series that progresses by increments of 2, never of 1; and no number would be considered even if it could be freely swapped in the series of integeres.

In short, his point is that it doesn’t make sense to talk about the set of even numbers and the set of all integers as if they were two separate sets. They are essentially the same set, only with different names, or rather, the same set as seen from different points of view. According to him, this is the fallacy upon which Cantor’s proof is based. Is he right? What is the mathematical response to Carvalho’s argument?

Edit: From the answers and comments, I've realized that the term "greater" is troublesome. We should use, instead, the more precise terms "subset" and "cardinality". But there is still the problem of whether the set of integers and the set of evens are the same or not. Carvalho argues that they are the same, and rests his argument on the distinction between numbers ("quantities", in the Aristotelian tradition) and the symbols used to represent those numbers. I would appreciate if this point was addressed in more detail.

migrated from math.stackexchange.com Dec 19 '11 at 0:46

This question came from our site for people studying math at any level and professionals in related fields.

  • 3
    If I really understand the philosopher point of view, he's confusing set with class of equipotent sets. – Pacciu Dec 19 '11 at 0:45
  • 17
    "...and, being infinite, both sets will have the same number of elements..." This is one of the signs that Carvalho does not understand the argument he is criticizing. But Cantor's theory of the infinite doesn't refute Euclid either, so I disagree with the whole premise. – Jonas Meyer Dec 19 '11 at 1:05
  • So, what is that business about signs vs. numbers? Math generally deals with numbers, not representations, and Cantor's proof deals specifically with numbers. – David Thornley May 24 '13 at 3:35
  • 2
    If there is a mathematical theory that is over 100 years old with no serious mathematician contradicting it, and you are either a philosopher, or a "philosopher", with very little experience in mathematics, and you think you found a refutation, what is more likely - that you are so extraordinarily jawdroppingly clever that you find a truth that mathematicians have been missing for over a hundred years, or that you are wrong? – gnasher729 Feb 26 '17 at 19:49
  • @ gnasher729: Your attitude is just such as to be responsible for this long lasting misery. Set theory is rubbish. But most have not the knowledge to judge, and the others have too much to lose when acknowledging this fact. If you are interested in the truth read hs-augsburg.de/~mueckenh/Transfinity/Transfinity/pdf, in particular chapter V where he has collected a lot of opinions of mathematicians. – Heinrich Jul 14 '17 at 15:22
up vote 20 down vote accepted

First of all, I'm surprised this was migrated from mathematics; it seems to me to be a much better fit there than here in philosophy. That being said:

In short, his point is that it doesn’t make sense to talk about the set of even numbers and the set of all integers as if they were two separate sets. They are essentially the same set, only with different names, or rather, the same set as seen from different points of view.

That's not a refutation of Cantor, that's a restatement of it. If the set of even numbers is the same size as the set of integers, Cantor prevails.

There is an enormous cottage industry of Cantor cranks-- amateurs without a substantial background in mathematics who think they have a way to refute Cantor. I am not familiar with Olavo de Carvalho, but a perusal of his Wikipedia entry suggests that he falls firmly into this category.

EDIT:

Since the question was updated to draw attention to a specific part of de Carvalho's argument, let's look at that in more detail.

In short, his point is that it doesn’t make sense to talk about the set of even numbers and the set of all integers as if they were two separate sets. They are essentially the same set, only with different names, or rather, the same set as seen from different points of view. According to him, this is the fallacy upon which Cantor’s proof is based. Is he right?

Is he right? No. What is is involved in is mere wordplay. The set of even numbers is a set, and it has the same cardinality as the set of integers. The set of prime numbers is also a set, with the same cardinality, and this is clearly not a case of "counting by twos". His objection is nonsensical.

Again: de Carvalho has all the earmarks of a crank. Until his "refutation" is published in a peer-reviewed mathematical journal (and if it were a valid refutation, the math journals would be fighting over the publication rights) I see no reason to take it seriously.

If you are interested in Cantor crankery in general, you'll find some amusing reference cases here and here.

  • 1
    Page Not Found! for the second link. – Billy Rubina Nov 2 '13 at 8:33
  • 2
    "I am not familiar with Olavo de Carvalho, but a perusal of his Wikipedia entry suggests that he falls firmly into this category (of cranks)." He is. He normally confines his absurds into "criticising" Marx and Marxist writers, where his ignorance may be less blatant. Trying to criticise Cantor is a new low for him. But the ex-astrologer is definitely a sign of what Nelson Rodrigues called "idiots losing the sense of modesty". – Luís Henrique Jun 25 '17 at 1:27
  • 1
    @ Luís Henrique: Olavo de Carvalho is in good company. Wittgenstein: Set theory is wrong. Ever heard of? Or Zeilberger: Herren Geheimrat Hilbert und Prof. Dr. Cantor, I'd like to be Excused from your "Paradise": It is a Paradise of Fools, and besides feels more like Hell. Or Brouwer: Cantor's second number class does not exist. Or Poincaré: There is no actual infinity. The Cantorians forgot this, and so have fallen into contradiction. Or Weyl: since every determined real number must be definable by a finite number of words, there can exist only countably many real numbers. – Heinrich Jul 14 '17 at 16:05
  • 1
    @Heinrich What you point about Brouwer is meaningless/lacking. Things do not stop existing because someone said so. You seem to be more interested in pointing "philosophical" flaws and pointing "big names" than providing proofs. Even your "mathematical argument" is lacking. Who told you that real numbers have anything to do with binary trees? – Billy Rubina Oct 28 '17 at 19:17
  • 1
    @Heinrich "Real logic"? Where is the contradiction? Does the existence of a clueless person proves that? Because this is the only thing given in the link you have provided. The problem you and your buddies are making is basic: You guys jump up from nowhere with any "argument" you think it works. "The real numbers are countable because the binary tree is green", "the real numbers do not exist because if they exist, then my wife is ugly", etc. You need to do some decent work for that. I really don't think you have ever read Weyl's book, seriously. – Billy Rubina Oct 29 '17 at 0:29

This is not a mathematical argument, so no mathematical response is necessary. Using the standard axioms of set theory and the standard mathematical definition of "cardinality", it is an absolutely true statement that the cardinality of the even numbers is the same as the cardinality of the integers. One can argue about whether the notion of cardinality used in mathematics corresponds to the intuitive notion of "size", but this argument does not affect the truth of Cantor's theorem as interpreted by mathematicians.

Euclid and Cantor, whatever they are saying, are using a refined and stipulative vocabulary: 'set', 'whole' 'greater' 'part' mean something very exact to them ('greater' has a different meaning between them). Euclid uses 'greater' like the more modern (actually Cantor's) definition of 'subset'. Cantor interprets 'greater' not as the subset relation, but as the 'cardinalilty' relation. (actually, Euclid's notion is somewhat underspecified, but like most of his mathematics, is not wrong at all, just in need of the slightest clarification, which is presumptuous to say since it took more than two thousand years to get that clarification via Cantor (for sets) and Hilbert (for pure axiomaticity).

Carvalho, from your explanation, seems to be interpreting these words non-mathematically, or with an interpretation that doesn't match what either Euclid or Cantor meant. The set of natural numbers can be labeled one way, N, the set of evens another, E. Yes, E is a subset of N (there are things in N that are not in E), but also |E| = |N| because of the mapping n in N -> f(n) = 2n, and so f(n) is in E (and you can go back directly, that is there is a one-to-one onto correspondence between N and E, which defines 'same cardinality'.

Carvalho says Cantor is 'confusing numbers with their mere signs'. I think Carvalho is misunderstanding how labeling of mathematical objects works; he is confounding the proof of cardinality with the construction of the objects at hand. The ordinal nature of the naturals (and the evens) is irrelevant to the proof.

There is a question as to why this problem is even being discussed under philosophy when it is a matter of elementary logic/mathematics. Mathematics is a philosophical exercise, it is a pure mental manipulation of concepts, except it comes out of the scientific tradition rather than the humanistic one. Carvalho's difficulty with the problem is just a mature and well-spoken misunderstanding which in the mathematical tradition is only a minor stumbling block to set theory for newcomers.

Let me remark that when Euclid wrote that the whole is greater than its parts, he didn't refer to cardinality of sets. Indeed, the idea of cardinality did not exist at the time, and what Euclid had in mind would in modern terminology be the idea of a "measure". When he applies this postulate, it is to conclude that a subset of a line segment has smaller length, or that a figure drawn inside of another figure has a smaller area, etc.

Note also that this still holds today: if A is a subset of B, both measurable, then μ(A) ≤ μ(B).

It is possible that Cantor believed that he had refuted Euclid, but then Cantor was reading Euclid in an ahistorical way.

It needs to be stressed that in (modern) set theory we have to construct sets and don't get something for nothing.

That is, {1,2,3,...} {2,4,6,...} {2,3,5,7,11,...} are all different sets regardless of how you look at them (I am guessing your thinking of sets naively as something you just 'generate formally' and so a 'set' formed by the symbols {1,2,3,4,...} will be the same - in your opinion - as {2,4,6,8,...} because you don't attach any meaning to these symbols?).

It happens that if we consider the class of equipotent sets that we do indeed have a class defined by an equivalence relation (which is what you perhaps meant).

However, we don't attach 'the same' 'equals' 'not different' to two sets simply because they're of the same cardinilty.

It's even frowned upon to do it when they're isomorphic!

But there is still the problem of whether the set of integers and the set of evens are the same or not

You can't simply rename a set of symbols without renaming them in their related sets because otherwise these symbols couldn't have any meaning at all. For instance, I can't take an equation x = y + 1 and then rename x to y and say y = y + 1.

The set of even numbers is by definition a (proper) subset of the integers no matter which symbols you use, and this alone makes it a different set.

3 is in the set of integers but not in the set of even numbers. I honestly don't think anything else is needed to refute the argument.

  • Quoting another passage of his argument: "'parity' and 'place in the sequence' are inseparable concepts: if n is even, it is because both n + 1 and n - 1 are odd." In other words, the set of evens would not exist if the set of odds didn't exist as well. To count {2, 4, ...} you have to skip the number 3. It's as though he is saying that the number 3 is in the sequence of even numbers, albeit "hidden". – Otavio Macedo Dec 19 '11 at 15:36
  • I don't see how you know when to stop with this argument. Why not then argue then that there really is just one set -- the "set of all things" and that when I talk about my left index finger, everything else is just "hidden"? – David Schwartz Dec 19 '11 at 16:07
  • "why not then argue that there is really just one set -- the set of all things" Because of Russell's paradox. [But I agree with your main point] – Seamus Dec 20 '11 at 13:33
  • 1
    @OtavioMacedo - Of course the set of evens implies the set of odds; but then such implication is indeed ingrained in exclusion: the set of evens is the set of all integers that are not odd. "Not" being the key word here; not one element of the set of odds belong to the set of evens, and vice-versa. What else is needed to demonstrate that they are two different sets? – Luís Henrique Jun 25 '17 at 1:37

protected by Joseph Weissman Dec 26 '11 at 20:06

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.