Controversy over Cantor's theory

In mathematical logic, the theory of infinite sets was first developed by Georg Cantor. Although this work has found wide acceptance in the mathematics community, it has been criticized in several areas by mathematicians and philosophers.
Cantor's theorem that there are sets having cardinality greater than the (already infinite) cardinality of the set of whole numbers {1,2,3,...}, has probably attracted more hostility^{[citation needed]} than any other mathematical argument, before or since, with the exception of Hilbert's introduction of completely nonconstructive proofs of existence some decades later. (Cantor's work gave rise to some flashy soundbites from Kronecker et al.; Hilbert's sparked a blazing row which gave rise to constructivism in mathematics and mathematical logic.) Logician Wilfrid Hodges (1998) has commented on the energy devoted to refuting this "harmless little argument", asking, "what had it done to anyone to make them angry with it?"^{[1]}
Contents
Cantor's argument
Cantor's 1891 argument is that there exists an infinite set (which he identifies with the set of real numbers), which has a larger number of elements, or as he puts it, has a greater 'power' (Mächtigkeit), than the infinite set of finite whole numbers {1, 2, 3, ...}.
There are a number of steps implicit in his argument, as follows:
 That the elements of no set can be put into onetoone correspondence with all of its subsets. This is known as Cantor's theorem. It depends on very few of the assumptions of set theory, and, as John P. Mayberry puts it, is a "simple and beautiful argument" that is "pregnant with consequences". Few have seriously questioned this step of the argument.
 That the concept of "having the same number" can be captured by the idea of onetoone correspondence. This (purely definitional) assumption is sometimes known as Hume's principle. As Frege says, "If a waiter wishes to be certain of laying exactly as many knives on a table as plates, he has no need to count either of them; all he has to do is to lay immediately to the right of every plate a knife, taking care that every knife on the table lies immediately to the right of a plate. Plates and knives are thus correlated one to one" (1884, tr. 1953, §70). Sets in such a correlation are often called equipollent, and the correlation itself is called a bijective function.
 That there exists at least one infinite set of things, usually identified with the set of all finite whole numbers or "natural numbers". This assumption (not formally specified by Cantor) is captured in formal set theory by the axiom of infinity. This assumption allows us to prove, together with Cantor's theorem, that there exists at least one set that cannot be correlated onetoone with all its subsets. It does not prove, however, that there in fact exists any set corresponding to "all the subsets".
 That there does indeed exist a set of all subsets of the natural numbers is captured in formal set theory by the power set axiom, which says that for every set there is a set of all of its subsets. (For example, the subsets of the set {a, b} are { }, {a}, {b}, and {a, b}). This allows us to prove that there exists an infinite set which is not equipollent with the set of natural numbers. The set N of natural numbers exists (by the axiom of infinity), and so does the set R of all its subsets (by the power set axiom). By Cantor's theorem, R cannot be onetoone correlated with N, and by Cantor's definition of number or "power", it follows that R has a different number than N. It does not prove, however, that the number of elements in R is in fact greater than the number of elements in N, for only the notion of two sets having different power has been specified; given two sets of different power, nothing so far has specified which of the two is greater.
 Cantor presented a wellordered sequence of cardinal numbers, the alephs, attempted to prove that the power of every welldefined set ("consistent multiplicity") is an aleph; therefore the ordering relation among alephs determines an order among the size of sets.^{[2]} However this proof was flawed, and as Zermelo wrote, "It is precisely at this point that the weakness of the proof sketched here lies… It is precisely doubts of this kind that impelled ... [my own] proof of the wellordering theorem purely upon the axiom of choice…"^{[2]}
 The assumption of the axiom of choice was later shown unnecessary by the CantorBernsteinSchröder theorem, which makes use of the notion of injective functions from one set to another—a correlation which associates different elements of the former set with different elements of the latter set. The theorem shows that if there is an injective function from set A to set B, and another one from B to A, then there is a bijective function from A to B, and so the sets are equipollent, by the definition we have adopted. Thus it makes sense to say that the power of one set is at least as large as another if there is an injection from the latter to the former, and this will be consistent with our definition of having the same power. Since the set of natural numbers can be embedded in its power set, but the two sets are not of the same power, as shown, we can therefore say the set of natural numbers is of lesser power than its power set. However, despite its avoidance of the axiom of choice, the proof of the CantorBernsteinSchröder theorem is still not constructive, in that it does not produce a concrete bijection in general.
Reception of the argument
At the start, Cantor's Theory was controversial among mathematicians and (later) philosophers. As Leopold Kronecker claimed: "I don't know what predominates in Cantor's theory  philosophy or theology, but I am sure that there is no mathematics there." Many mathematicians agreed with Kronecker that the completed infinite may be part of philosophy or theology, but that it has no proper place in mathematics.
Before Cantor, the notion of infinity was often taken as a useful abstraction which helped mathematicians reason about the finite world, for example the use of infinite limit cases in calculus. The infinite was deemed to have at most a potential existence, rather than an actual existence.^{[3]} "Actual infinity does not exist. What we call infinite is only the endless possibility of creating new objects no matter how many exist already".^{[4]} Gauss's views on the subject can be paraphrased as: 'Infinity is nothing more than a figure of speech which helps us talk about limits. The notion of a completed infinity doesn't belong in mathematics'. In other words, the only access we have to the infinite is through the notion of limits, and hence, we must not treat infinite sets as if they have an existence exactly comparable to the existence of finite sets.
Cantor's ideas ultimately were largely accepted, strongly supported by David Hilbert, amongst others. Hilbert predicted: "No one will drive us from the paradise which Cantor created for us".^{[5]} To which Wittgenstein replied "if one person can see it as a paradise of mathematicians, why should not another see it as a joke?".^{[6]} Cantor's infinitary ideas influenced the development of schools of mathematics such as constructivism and intuitionism.
Objection to the axiom of infinity
Further information: FinitismA common objection to Cantor's theory of infinite number involves the axiom of infinity. It is a generally recognized view by logicians that this axiom is not a logical truth. Indeed, as Mark Sainsbury^{[7]} has argued "there is room for doubt about whether it is a contingent truth, since it is an open question whether the universe is finite or infinite". Bertrand Russell for many years tried to establish a foundation for mathematics that did not rely on this axiom^{[citation needed]}. Mayberry has noted that "The settheoretical axioms that sustain modern mathematics are selfevident in differing degrees.^{[8]} One of them – indeed, the most important of them, namely Cantor's axiom, the socalled axiom of infinity – has scarcely any claim to selfevidence at all".
Another objection is that the use of infinite sets is not adequately justified by analogy to finite sets. Hermann Weyl wrote:
“ … classical logic was abstracted from the mathematics of finite sets and their subsets …. Forgetful of this limited origin, one afterwards mistook that logic for something above and prior to all mathematics, and finally applied it, without justification, to the mathematics of infinite sets. This is the Fall and original sin of [Cantor's] set theory …."^{[9]} ” Richard Arthur, philosopher and expert on Leibniz, has argued that Cantor's appeal to the idea of an actual infinite (formally captured by the axiom of infinity) is philosophically unjustified. Arthur argues that Leibniz' idea of a "syncategorematic" but actual infinity is philosophically more appealing. (See external link below for one of his papers).
The difficulty with finitism is to develop foundations of mathematics using finitist assumptions, that incorporates what everyone would reasonably regard as mathematics (for example, that includes real analysis).
Other foundational controversies
See also
Notes
 ^ Hodges, Wilfrid (1998), "An Editor Recalls Some Hopeless Papers", The Bulletin of Symbolic Logic (Association for Symbolic Logic) 4 (1): 1–16, doi:10.2307/421003, JSTOR 421003
 ^ ^{a} ^{b} Cantor, letter to Richard Dedekind, with comments by Ernst Zermelo, translated in van Heijenoort, J., From Frege to Gödel, A Source Book in Mathematical Logic, 18791931, Harvard University Press, Cambridge, MA, 1967. Reprinted with corrections, 1977.
 ^ Zenkin, Alexander (2004), "Logic Of Actual Infinity And G. Cantor's Diagonal Proof Of The Uncountability Of The Continuum", The Review of Modern Logic 9 (30): 27–80, http://projecteuclid.org/euclid.rml/1203431978
 ^ (Poincaré quoted from Kline 1982)
 ^ (Hilbert, 1926)
 ^ (RFM V. 7)
 ^ Sainsbury 1979, p. 305
 ^ Mayberry 2000, p. 10
 ^ Weyl, 1946
References
 Bishop, Errett (1985), Constructive Analysis, Grundlehren Der Mathematischen Wissenschaften, Springer, ISBN 9780387150666
 Cantor, Georg (1890), "Ueber eine elementare Frage der Mannigfaltigkeitslehre", Jahresbericht der Deutschen MathematikerVereinigung 11: 75–78, http://www.textarchiv.homepage.bluewin.ch/Logik/CantorBeweis.html
 Frege, Gottlob; J.L. Austin (trans.) (1884), The Foundations of Arithmetic (2nd ed.), Northwestern University Press, ISBN 9780810106055
 Dauben, J. (1990), Cantor, Princeton, ISBN 0691024472
 Hilbert, David (1926), "Über das Unendliche", Mathematische Annalen (95): 161–190
 Translated in Van Heijenoort, Jean, On the infinite, Harvard University Press
 Kline, Morris (1982), Mathematics: The Loss of Certainty, Oxford, ISBN 0195030850
 Mayberry, J.P. (2000), The Foundations of Mathematics in the Theory of Sets, Encyclopedia of Mathematics and its Applications, 82, Cambridge University Press
 Poincaré, Henri (1908), The Future of Mathematics, Revue generale des Sciences pures et appliquees, 23, http://home.att.net/~o.caimi/Poincare.pdf (address to the Fourth International Congress of Mathematicians)
 Sainsbury, R.M. (1979), Russell, London
 Weyl, Hermann (1946), "Mathematics and logic: A brief survey serving as a preface to a review of The Philosophy of Bertrand Russell", American Mathematical Monthly 53: 2–13
 Wittgenstein, Ludwig; A. J. P. Kenny (trans.) (1974), Philosophical Grammar, Oxford
 Wittgenstein; R. Hargreaves (trans.); R. White (trans.) (1964), Philosophical Remarks, Oxford
 Wittgenstein (2001), Remarks on the Foundations of Mathematics (3rd ed.), Oxford
External links
 Doron Zeilberger's 68th Opinion
 Philosopher and Leibniz scholar Richard Arthur's critique of Cantor's arguments for an actual infinity
 Philosopher Hartley Slater's argument against the idea of "number" that underpins Cantor's set theory
History Controversy over Cantor's theoryRelated branches of mathematics Formalizations of infinity Scientists Categories:
Wikimedia Foundation. 2010.
Look at other dictionaries:
Cantor's diagonal argument — An illustration of Cantor s diagonal argument for the existence of uncountable sets. The sequence at the bottom cannot occur anywhere in the list of sequences above. Cantor s diagonal argument, also called the diagonalisation argument, the… … Wikipedia
Cantor's theorem — Note: in order to fully understand this article you may want to refer to the set theory portion of the table of mathematical symbols. In elementary set theory, Cantor s theorem states that, for any set A , the set of all subsets of A (the power… … Wikipedia
Georg Cantor — Infobox Scientist name = Georg Ferdinand Ludwig Cantor image width=225px caption = birth date = birth date184533 birth place = Saint Petersburg, Russia death date = death date and age191816184533 death place = Halle, Germany residence =… … Wikipedia
BishopKeisler controversy — The Bishop Keisler controversy is an episode belonging to the history of mathematics, or perhaps it is the epistemology of mathematics, and definitely the polemics of mathematics. The controversy was triggered by the view of Errett Bishop that… … Wikipedia
Investiture Controversy — A medieval king investing a bishop with the symbols of office. By Philip Van Ness Myers, 1905 The Investiture Controversy or Investiture Contest[1] was the most significant conflict between Church and state in medieval Europe. In the 11th and… … Wikipedia
Chaos theory — This article is about chaos theory in Mathematics. For other uses of Chaos theory, see Chaos Theory (disambiguation). For other uses of Chaos, see Chaos (disambiguation). A plot of the Lorenz attractor for values r = 28, σ = 10, b = 8/3 … Wikipedia
set theory — The modern theory of sets was largely inspired by Cantor, whose proof that the set of real numbers could not be put into a one to one correspondence with the set of natural numbers opened the door to the set theoretic hierarchy, and to the study… … Philosophy dictionary
Blanchard, Bailey, and Lawrence theory controversy — The BBL Controversy also known as the Autogynephilia Controversy is an ongoing and heated line of discussion in the transgendered community. The subject, Blanchard, Bailey, and Lawrence theory, is a theory of transsexual taxonomy developed by Ray … Wikipedia
BrouwerHilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
Baconian theory — The Baconian theory of Shakespearean authorship holds that Sir Francis Bacon wrote the plays conventionally attributed to William Shakespeare.The mainstream view is that William Shakespeare of Stratford, an actor in the Lord Chamberlain s Men… … Wikipedia