Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Cantor's controversies

  1. Nov 3, 2015 #1
    Cantor was severely criticised by many brilliant mathematicians of his time, many of whom we still regard as brilliant today.

    What was so divisive about his theories? How did we resolve it? How could the best minds not do so back then?
     
  2. jcsd
  3. Nov 3, 2015 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Primarily because Cantor did not express his ideas very well or very clearly. What we have now are his ideas expressed by other people in clearer and more logical terms.
     
  4. Nov 3, 2015 #3
    His main enemy was Kronecker. K thought that infinity was a bogus concept, so naturally he didn't like what Cantor was up to. At the time even proof by contradiction was controversial.
     
  5. Nov 3, 2015 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Was it? Even Euclid uses proof by contradiction many times in his Elements, and nobody had an objection to that! It is true that nonconstructive methods were controversial, but that is not the same as proof by contradiction being controversial!
     
  6. Nov 3, 2015 #5
    The intuitionist movement was in full swing, which denies proof by contradiction.

    But I have to admit that what I had in mind was existence proofs, which are often proofs by contradiction. Hilbert was criticized for them.
     
  7. Nov 3, 2015 #6

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Intuitionism does not deny proof by contradiction, it denies the law of excluded middle. There is a subtle difference.
    And intuitionism as we know it today was started by Brouwer as a reaction to Cantor. So it cannot be true that the intuitionist movement was in full swing. There is pre-intuitionism too, which included Borel, Poincare, Lebesgue and perhaps Kronecker. You might be referring to this. But they had no problem with the law of excluded middle.
     
  8. Nov 3, 2015 #7
    It seems to me that proof by contradiction relies on the law of excluded middle. NOT(NOT(A)) => A. The distinction is too subtle for me.
     
  9. Nov 3, 2015 #8

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    How would you prove that ##\sqrt{2}## is not rational in constructivism?
     
  10. Nov 3, 2015 #9

    Beats me. Not that I care.
     
  11. Nov 5, 2015 #10
    Did prominent critics like Poincare, Weyl and Wittgenstein eventually turn around?
     
  12. Mar 2, 2016 #11
    Sorry, this thread is not about proving but about why brilliant men couldn't use reason to reach a conclusion.
     
  13. Mar 2, 2016 #12

    TeethWhitener

    User Avatar
    Science Advisor
    Gold Member

    I know this is an old thread, but I couldn't resist:
    This doesn't have to be true. If we define proof by contradiction as ##(\neg p \rightarrow \bot ) \models p##, then we can get there without the law of the excluded middle through the conjunction expression of a conditional. Very roughly: ##(\neg p \rightarrow \bot) \leftrightarrow (\neg(\neg p \wedge \neg\bot))##. Modus ponens gives us the right side of the biconditional, which simplifies to ##\neg(\neg p \wedge \top)##. A simple truth table shows that this expression is only valid for ##p## true.

    EDIT: In fact, Wikipedia is telling me that ##\neg p## is defined as ##p \rightarrow \bot## in intuitionistic logic, so it seems that proof by contradiction is baked in at the outset (or at least my model of proof by contradiction).
     
  14. Mar 2, 2016 #13

    Erland

    User Avatar
    Science Advisor

    The ordinary proof is perfectly constructivistic. But I suppose that was your point.

    The last is correct. But can't follow you before that. It is not obvious that the biconditional is valid in intutionistic logic, and truth tables cannot be used there.
     
  15. Mar 2, 2016 #14
    I'm sorry but could you please stay on topic?
     
  16. Mar 2, 2016 #15

    TeethWhitener

    User Avatar
    Science Advisor
    Gold Member

    Sorry, in the first part I was showing that you can get proof by contradiction in classical logic without relying on excluded middle. I don't know much about intuitionistic logic. As an aside, Wiki also says you can get ##\neg(\neg p \wedge \neg\bot)## from ##\neg p \rightarrow \bot## in intuitionistic logic. Again, someone more knowledgeable can speak to this.
    Alright, if you insist :smile:, but I warn you, this is going to get into philosophy very quickly.
    The problem here is that you're assuming there's a "right" conclusion to be drawn. You're committing the same error these brilliant men did. According to logic, there's only what can be derived from the axioms. The axioms themselves are, of course, assumed to be true. The mathematicians who rejected Cantor's results were forced to look for sets of axioms that didn't allow Cantor's claims to succeed logically. But the set of axioms you choose is true by default, and the extent to which you can reach a conclusion about which axioms are best is based more on the utility of the axioms you choose than logical truth. As a really simple example, you could choose a set of axioms that gave you an inconsistent system, and within your model the axioms would be true, but an inconsistent system is practically useless. So you could say that choosing a certain set of axioms is incorrect, or wrong, but you're basing that conclusion on extra-logical considerations.

    EDIT: (and here comes the philosophy...) A lot of this hinges on equivocation between "true" as "valid within a logical framework" and some metaphysical notion of truth. These distinctions were not nearly as clear in Cantor's day as they are now, and we generally just say "valid" now to make it clear that we are referring to a truth value within a particular framework.
     
  17. Mar 2, 2016 #16
    So wait, Cantor introduced new axioms?
     
  18. Mar 2, 2016 #17

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    No, Cantor didn't think axiomatically.
     
  19. Mar 2, 2016 #18

    TeethWhitener

    User Avatar
    Science Advisor
    Gold Member

    Cantor himself might not have thought axiomatically (I don't know; I'm not a historian), but his work and the controversy surrounding it is probably the major reason why people in the late 19th/early 20th century hammered on axiomatic thinking so much.
     
  20. Mar 2, 2016 #19
    Infinity is a mind-boggling concept, especially the first time you run into it. Some mathematicians of Cantor's time had a lot of trouble thinking about an infinity the way that Cantor did (and that modern mathematicians do) because they were familiar only with infinity as a "process", like for example in the definition of a sequence of points approaching a limit.

    Also, because an axiomatic set theory had not yet been developed, *some* of Cantor's discoveries rested on a weak foundation. Wikipedia explains that in particular, his discovery of the cardinal numbers — the series of alephs — was flawed for this reason. I would say flawed, but still utterly brilliant in its departure from what was then conventional in mathematics.

    Yet the mathematician David Hilbert — who around 1900 was widely considered the best mathematician in the world — strongly supported Cantor's work, as did most mathematicians of the 20th century. After all, it is entirely reasonable to ask whether there exists a one-to-one correspondence between two sets, such as the integers and the real numbers.
     
  21. Mar 2, 2016 #20

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    This is from the Wikipedia article on Kronecker

    "He criticized Cantor's work on set theory, and was quoted by Weber (1893) as having said, "Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk" ("God made the integers, all else is the work of man.")."

    This is from the Wikipedia article on Cantor

    "The objections to Cantor's work were occasionally fierce: Henri Poincaré referred to his ideas as a "grave disease" infecting the discipline of mathematics,[8] and Leopold Kronecker's public opposition and personal attacks included describing Cantor as a "scientific charlatan", a "renegade" and a "corrupter of youth."[9] Kronecker objected to Cantor's proofs that the algebraic numbers are countable, and that the transcendental numbers are uncountable, results now included in a standard mathematics curriculum."

    and further down in the Wikipedia article

    "Mathematicians from three major schools of thought (constructivism and its two offshoots, intuitionism and finitism) opposed Cantor's theories in this matter. For constructivists such as Kronecker, this rejection of actual infinity stems from fundamental disagreement with the idea that nonconstructive proofs such as Cantor's diagonal argument are sufficient proof that something exists, holding instead that constructive proofs are required. Intuitionism also rejects the idea that actual infinity is an expression of any sort of reality, but arrive at the decision via a different route than constructivism. Firstly, Cantor's argument rests on logic to prove the existence of transfinite numbers as an actual mathematical entity, whereas intuitionists hold that mathematical entities cannot be reduced to logical propositions, originating instead in the intuitions of the mind.[8] Secondly, the notion of infinity as an expression of reality is itself disallowed in intuitionism, since the human mind cannot intuitively construct an infinite set.[59] Mathematicians such as Brouwer and especially Poincaré adopted an intuitionist stance against Cantor's work. Citing the paradoxes of set theory as an example of its fundamentally flawed nature, Poincaré held that "most of the ideas of Cantorian set theory should be banished from mathematics once and for all."[8] Finally, Wittgenstein's attacks were finitist: he believed that Cantor's diagonal argument conflated the intension of a set of cardinal or real numbers with its extension, thus conflating the concept of rules for generating a set with an actual set.[10]"
     
    Last edited: Mar 2, 2016
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Cantor's controversies
  1. Cantor Set? (Replies: 16)

Loading...