GetWiki
controversy over Cantor's theory
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
controversy over Cantor's theory
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{Short description|About mathematical infinity}}{{POV|talk=Non neutral point of view|date=June 2020}}In mathematical logic, the theory of infinite sets was first developed by Georg Cantor. Although this work has become a thoroughly standard fixture of classical set theory, it has been criticized in several areas by mathematicians and philosophers.Cantor's theorem implies that there are sets having cardinality greater than the infinite cardinality of the set of natural numbers. Cantor's argument for this theorem is presented with one small change. This argument can be improved by using a definition he gave later. The resulting argument uses only five axioms of set theory.Cantor's set theory was controversial at the start, but later became largely accepted. Most modern mathematics textbooks implicitly use Cantor's views on mathematical infinity. For example, a line is generally presented as the infinite set of its points, and it is commonly taught that there are more real numbers than rational numbers (see cardinality of the continuum).- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
Cantor's argument
Cantor's first proof that infinite sets can have different cardinalities was published in 1874. This proof demonstrates that the set of natural numbers and the set of real numbers have different cardinalities. It uses the theorem that a bounded increasing sequence of real numbers has a limit, which can be proved by using Cantor's or Richard Dedekind's construction of the irrational numbers. Because Leopold Kronecker did not accept these constructions, Cantor was motivated to develop a new proof.Dauben 1979, pp. 67–68, 165.In 1891, he published "a much simpler proof ... which does not depend on considering the irrational numbers."Cantor 1891, p. 75; English translation: Ewald p. 920. His new proof uses his diagonal argument to prove that there exists an infinite set with a larger number of elements (or greater cardinality) than the set of natural numbers N = {1, 2, 3, ...}. This larger set consists of the elements (x1, x2, x3, ...), where each xn is either m or w.Dauben 1979, p. 166. Each of these elements corresponds to a subset of Nânamely, the element (x1, x2, x3, ...) corresponds to {n â N: xn = w}. So Cantor's argument implies that the set of all subsets of N has greater cardinality than N. The set of all subsets of N is denoted by P(N), the power set of N.Cantor generalized his argument to an arbitrary set A and the set consisting of all functions from A to {0, 1}.Dauben 1979, pp.166â167. Each of these functions corresponds to a subset of A, so his generalized argument implies the theorem: The power set P(A) has greater cardinality than A. This is known as Cantor's theorem.The argument below is a modern version of Cantor's argument that uses power sets (for his original argument, see Cantor's diagonal argument). By presenting a modern argument, it is possible to see which assumptions of axiomatic set theory are used. The first part of the argument proves that N and P(N) have different cardinalities:- There exists at least one infinite set. This assumption (not formally specified by Cantor) is captured in formal set theory by the axiom of infinity. This axiom implies that N, the set of all natural numbers, exists.
- P(N), the set of all subsets of N, exists. In formal set theory, this is implied by the power set axiom, which says that for every set there is a set of all of its subsets.
- The concept of "having the same number" or "having the same cardinality" can be captured by the idea of one-to-one correspondence. This (purely definitional) assumption is sometimes known as Hume's principle. As Frege said, "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."Frege 1884, trans. 1953, §70. Sets in such a correlation are called equinumerous, and the correlation is called a one-to-one correspondence.
- A set cannot be put into one-to-one correspondence with its power set. This implies that N and P(N) have different cardinalities. It depends on very few assumptions of set theory, and, as John P. Mayberry puts it, is a "simple and beautiful argument" that is "pregnant with consequences".Mayberry 2000, p. 136. Here is the argument:
- :Let A be a set and P(A) be its power set. The following theorem will be proved: If f is a function from A to P(A), then it is not onto. This theorem implies that there is no one-to-one correspondence between A and P(A) since such a correspondence must be onto. Proof of theorem: Define the diagonal subset D = {x in A : x notin f(x)}. Since D in P(A), proving that for all x in A,, D ne f(x) will imply that f is not onto. Let x in A. Then x in D Leftrightarrow x notin f(x), which implies x notin D Leftrightarrow x in f(x). So if x in D, then x notin f(x); and if x notin D, then x in f(x). Since one of these sets contains x and the other does not, D ne f(x). Therefore, D is not in the image of f, so f is not onto.
- The concept of "having greater cardinality" can be captured by Cantor's 1895 definition: B has greater cardinality than A if (1) A is equinumerous with a subset of B, and (2) B is not equinumerous with a subset of A. Clause (1) says B is at least as large as A, which is consistent with our definition of "having the same cardinality". Clause (2) implies that the case where A and B are equinumerous with a subset of the other set is false. Since clause (2) says that A is not at least as large as B, the two clauses together say that B is larger (has greater cardinality) than A.
- The power set P(A) has greater cardinality than A, which implies that P(N) has greater cardinality than N. Here is the proof:
- Define the subset P_1 = {,y in P(A): exists x in A,(y = {x}),}. Define f(x) = {x}, which maps A onto P_1. Since f(x_1) = f(x_2) implies x_1 = x_2, , f is a one-to-one correspondence from A to P_1. Therefore, A is equinumerous with a subset of P(A).
- Using proof by contradiction, assume that A_1, a subset of A, is equinumerous with P(A).. Then there is a one-to-one correspondence g from A_1 to P(A). Define h from A to P(A)text{:} if x in A_1, then h(x) = g(x); if x in A setminus A_1, then h(x) = { , }. Since g maps A_1 onto P(A), , h maps A onto P(A), contradicting the theorem above stating that a function from A to P(A) is not onto. Therefore, P(A) is not equinumerous with a subset of A.
Reception of the argument
Initially, 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."{{Citation needed|date=July 2013}} 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. Logician {{Harvard citations|txt = yes|last = Hodges|first = Wilfrid|authorlink = Wilfrid Hodges|year = 1998}} has commented on the energy devoted to refuting this "harmless little argument" (i.e. Cantor's diagonal argument) asking, "what had it done to anyone to make them angry with it?"{{Citation | first = Wilfrid | last = Hodges | author-link = Wilfred Hodges | year = 1998 | title = An Editor Recalls Some Hopeless Papers | periodical = The Bulletin of Symbolic Logic | volume = 4 | issue = 1 | pages = 1â16 | jstor = 421003 | doi = 10.2307/421003 | publisher = Association for Symbolic Logic| citeseerx = 10.1.1.27.6154 | s2cid = 14897182 }} Mathematician Solomon Feferman has referred to Cantor's theories as âsimply not relevant to everyday mathematics.âWEB, Wolchover, Natalie, Natalie Wolchover, Dispute over Infinity Divides Mathematicians,weblink Scientific American, 2 October 2014, 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.{{Citation | first = Alexander | last = Zenkin | year = 2004 | title = Logic Of Actual Infinity And G. Cantor's Diagonal Proof Of The Uncountability Of The Continuum | periodical = The Review of Modern Logic | volume = 9 | issue = 30 | pages = 27â80 | url =weblink}} "Actual infinity does not exist. What we call infinite is only the endless possibility of creating new objects no matter how many exist already".(Poincaré quoted from Kline 1982) Carl Friedrich 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."BOOK, Dunham, William, Journey through Genius: The Great Theorems of Mathematics, 1991,weblink limited, Penguin, 254, 9780140147391, 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."(Hilbert, 1926) To which Wittgenstein replied "if one person can see it as a paradise of mathematicians, why should not another see it as a joke?"(RFM V. 7) The rejection of Cantor's infinitary ideas influenced the development of schools of mathematics such as constructivism and intuitionism.Wittgenstein did not object to mathematical formalism wholesale, but had a finitist view on what Cantor's proof meant. The philosopher maintained that belief in infinities arises from confusing the intensional nature of mathematical laws with the extensional nature of sets, sequences, symbols etc. A series of symbols is finite in his view: In Wittgenstein's words: "...A curve is not composed of points, it is a law that pointsobey, or again, a law according to which points can be constructed."He also described the diagonal argument as "hocus pocus" and not proving what it purports to do.Objection to the axiom of infinity
{{further|Finitism}}A common objection to Cantor's theory of infinite number involves the axiom of infinity (which is, indeed, an axiom and not a logical truth). Mayberry has noted that "... the set-theoretical axioms that sustain modern mathematics are self-evident in differing degrees. One of themâindeed, the most important of them, namely Cantor's Axiom, the so-called Axiom of Infinityâhas scarcely any claim to self-evidence at all â¦"Mayberry 2000, p. 10.Another objection is that the use of infinite sets is not adequately justified by analogy to finite sets. Hermann Weyl wrote:{{blockquote|... 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 ..."Weyl, 1946}}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).See also
Notes
References
- {{Citation
| last1 = Bishop
| first1 = Errett
| author-link = Errett Bishop
| last2 = Bridges
| first2 = Douglas S.
| title = Constructive Analysis
| publisher = Springer
| series = Grundlehren Der Mathematischen Wissenschaften
| year = 1985
| isbn = 978-0-387-15066-6
}}
| first1 = Errett
| author-link = Errett Bishop
| last2 = Bridges
| first2 = Douglas S.
| title = Constructive Analysis
| publisher = Springer
| series = Grundlehren Der Mathematischen Wissenschaften
| year = 1985
| isbn = 978-0-387-15066-6
}}
- {{Citation
| first = Georg
| last = Cantor
| title = Ein Beitrag zur Mannigfaltigkeitslehre
| url =weblink
| volume = 84
| pages = 242–248
| journal = Journal für die Reine und Angewandte Mathematik
| year = 1878}}
| last = Cantor
| title = Ein Beitrag zur Mannigfaltigkeitslehre
| url =weblink
| volume = 84
| pages = 242–248
| journal = Journal für die Reine und Angewandte Mathematik
| year = 1878}}
- {{Citation
| last = Cantor
| first = Georg
| title = Ueber eine elementare Frage der Mannigfaltigkeitslehre
| url =weblink
| journal = Jahresbericht der Deutschen Mathematiker-Vereinigung
| volume = 1
| pages = 75–78
| year = 1891}}
| first = Georg
| title = Ueber eine elementare Frage der Mannigfaltigkeitslehre
| url =weblink
| journal = Jahresbericht der Deutschen Mathematiker-Vereinigung
| volume = 1
| pages = 75–78
| year = 1891}}
- {{Citation
| last = Cantor
| first = Georg
| year = 1895
| url =weblink
| title = Beiträge zur Begründung der transfiniten Mengenlehre (1)
| journal = Mathematische Annalen
| volume = 46
| issue = 4
| pages = 481–512
| doi = 10.1007/bf02124929
| s2cid = 177801164
| url-status = dead
| archive-url =weblink" title="web.archive.org/web/20140423224341weblink">weblink
| archive-date = April 23, 2014
}}
| first = Georg
| year = 1895
| url =weblink
| title = Beiträge zur Begründung der transfiniten Mengenlehre (1)
| journal = Mathematische Annalen
| volume = 46
| issue = 4
| pages = 481–512
| doi = 10.1007/bf02124929
| s2cid = 177801164
| url-status = dead
| archive-url =weblink" title="web.archive.org/web/20140423224341weblink">weblink
| archive-date = April 23, 2014
}}
- {{Citation
| last = Cantor
| first = Georg
| year = 1954
| orig-year = 1915
| url =weblink
| title = Contributions to the Founding of the Theory of Transfinite Numbers
| author2 = Philip Jourdain (trans.)
| author2-link = Philip Jourdain
| publisher = Dover
| isbn = 978-0-486-60045-1}}
| first = Georg
| year = 1954
| orig-year = 1915
| url =weblink
| title = Contributions to the Founding of the Theory of Transfinite Numbers
| author2 = Philip Jourdain (trans.)
| author2-link = Philip Jourdain
| publisher = Dover
| isbn = 978-0-486-60045-1}}
- {hide}Citation
| last = Dauben
| first = Joseph
| author-link = Joseph Dauben
| title = Georg Cantor: His Mathematics and Philosophy of the Infinite
| publisher = Harvard University Press
| year = 1979
| isbn = 0-674-34871-0{edih}
| first = Joseph
| author-link = Joseph Dauben
| title = Georg Cantor: His Mathematics and Philosophy of the Infinite
| publisher = Harvard University Press
| year = 1979
| isbn = 0-674-34871-0{edih}
- {{Citation
| last = Dunham
| first = William
| author-link = William Dunham (mathematician)
| year = 1991
| title = Journey through Genius: The Great Theorems of Mathematics
| publisher = Penguin Books
| isbn = 978-0140147391
| url-access = registration
| url =weblink
}}
| first = William
| author-link = William Dunham (mathematician)
| year = 1991
| title = Journey through Genius: The Great Theorems of Mathematics
| publisher = Penguin Books
| isbn = 978-0140147391
| url-access = registration
| url =weblink
}}
- {{Citation
| editor-last = Ewald
| editor-first = William B.
| title = From Immanuel Kant to David Hilbert: A Source Book in the Foundations of Mathematics, Volume 2
| publisher = Oxford University Press
| year = 1996
| isbn = 0-19-850536-1}}
| editor-first = William B.
| title = From Immanuel Kant to David Hilbert: A Source Book in the Foundations of Mathematics, Volume 2
| publisher = Oxford University Press
| year = 1996
| isbn = 0-19-850536-1}}
- {{Citation
| last = Frege
| first = Gottlob
| author-link = Gottlob Frege
| year = 1884
| title = The Foundations of Arithmetic
| author2 = J.L. Austin (trans.)
| edition = 2nd
| publisher = Northwestern University Press
| isbn = 978-0-8101-0605-5
}}
| first = Gottlob
| author-link = Gottlob Frege
| year = 1884
| title = The Foundations of Arithmetic
| author2 = J.L. Austin (trans.)
| edition = 2nd
| publisher = Northwestern University Press
| isbn = 978-0-8101-0605-5
}}
- {hide}Citation
| last = Hallett
| first = Michael
| title = Cantorian Set Theory and Limitation of Size
| publisher = Clarendon Press
| year = 1984
| isbn = 0-19-853179-6{edih}
| first = Michael
| title = Cantorian Set Theory and Limitation of Size
| publisher = Clarendon Press
| year = 1984
| isbn = 0-19-853179-6{edih}
- {{Citation
| last = Hilbert
| first = David
| title = Ãber das Unendliche
| year = 1926
| author-link = David Hilbert
| periodical = Mathematische Annalen
| volume = 95
| pages = 161–190
|doi=10.1007/BF01206605|jfm=51.0044.02| s2cid = 121888793
}}
| first = David
| title = Ãber das Unendliche
| year = 1926
| author-link = David Hilbert
| periodical = Mathematische Annalen
| volume = 95
| pages = 161–190
|doi=10.1007/BF01206605|jfm=51.0044.02| s2cid = 121888793
}}
"Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können."
Translated in {hide}Citation| title = On the infinite
| first = Jean
| last = Van Heijenoort
| author-link = Jean Van Heijenoort
| publisher = Harvard University Press
{edih}
| last = Van Heijenoort
| author-link = Jean Van Heijenoort
| publisher = Harvard University Press
{edih}
- {hide}Citation
| first = Morris
| last = Kline
| author-link = Morris Kline
| year = 1982
| title = Mathematics: The Loss of Certainty
| location = Oxford
| isbn = 0-19-503085-0
{edih}
| last = Kline
| author-link = Morris Kline
| year = 1982
| title = Mathematics: The Loss of Certainty
| location = Oxford
| isbn = 0-19-503085-0
{edih}
- {{Citation
| last = Mayberry
| first = J.P.
| author-link = John Penn Mayberry
| title = The Foundations of Mathematics in the Theory of Sets
| series = Encyclopedia of Mathematics and its Applications
| volume = 82
| publisher = Cambridge University Press
| year = 2000
}}
| first = J.P.
| author-link = John Penn Mayberry
| title = The Foundations of Mathematics in the Theory of Sets
| series = Encyclopedia of Mathematics and its Applications
| volume = 82
| publisher = Cambridge University Press
| year = 2000
}}
- {{Citation
| first = Gregory H.
| last = Moore
| year = 1982
| title = Zermelo's Axiom of Choice: Its Origins, Development & Influence
| publisher = Springer
| isbn = 978-1-4613-9480-8}}
| last = Moore
| year = 1982
| title = Zermelo's Axiom of Choice: Its Origins, Development & Influence
| publisher = Springer
| isbn = 978-1-4613-9480-8}}
- {{Citation
|first = Henri
|last = Poincaré
|author-link = Henri Poincaré
|year = 1908
|url =weblink
|title = The Future of Mathematics
|series = Revue generale des Sciences pures et appliquees
|volume = 23
|url-status = dead
|archive-url =weblink" title="web.archive.org/web/20030629003006weblink">weblink
|archive-date = 2003-06-29
}} (address to the Fourth International Congress of Mathematicians) |last = Poincaré
|author-link = Henri Poincaré
|year = 1908
|url =weblink
|title = The Future of Mathematics
|series = Revue generale des Sciences pures et appliquees
|volume = 23
|url-status = dead
|archive-url =weblink" title="web.archive.org/web/20030629003006weblink">weblink
|archive-date = 2003-06-29
- {{Citation
| last = Sainsbury
| first = R.M.
| title = Russell
| location = London
| year = 1979
}}
| first = R.M.
| title = Russell
| location = London
| year = 1979
}}
- {{Citation
| last = Weyl
| first= Hermann
| author-link = Hermann Weyl
| year = 1946
| title = Mathematics and logic: A brief survey serving as a preface to a review of The Philosophy of Bertrand Russell
| periodical = American Mathematical Monthly
| volume = 53
| pages = 2â13
| doi = 10.2307/2306078
| jstor= 2306078
}}
| first= Hermann
| author-link = Hermann Weyl
| year = 1946
| title = Mathematics and logic: A brief survey serving as a preface to a review of The Philosophy of Bertrand Russell
| periodical = American Mathematical Monthly
| volume = 53
| pages = 2â13
| doi = 10.2307/2306078
| jstor= 2306078
}}
- {{Citation
| last = Wittgenstein
| first = Ludwig
| author-link = Ludwig Wittgenstein
| title = Philosophical Grammar
| author2 = A. J. P. Kenny (trans.)
| author2-link = A. J. P. Kenny
| location = Oxford
| year = 1974
}}
| first = Ludwig
| author-link = Ludwig Wittgenstein
| title = Philosophical Grammar
| author2 = A. J. P. Kenny (trans.)
| author2-link = A. J. P. Kenny
| location = Oxford
| year = 1974
}}
- {{Citation
| last = Wittgenstein
| title = Philosophical Remarks
| author2 = R. Hargreaves (trans.)
| author3 = R. White (trans.)
| location = Oxford
| year = 1964
}}
| title = Philosophical Remarks
| author2 = R. Hargreaves (trans.)
| author3 = R. White (trans.)
| location = Oxford
| year = 1964
}}
- {hide}Citation
| last = Wittgenstein
| title = Remarks on the Foundations of Mathematics
| edition = 3rd
| location = Oxford
| year = 2001
{edih}
| title = Remarks on the Foundations of Mathematics
| edition = 3rd
| location = Oxford
| year = 2001
{edih}
External links
- Doron Zeilberger's 68th Opinion
- Philosopher Hartley Slater's argument against the idea of "number" that underpins Cantor's set theory
- Wolfgang Mueckenheim: Transfinity - A Source Book
- Hodges "An editor recalls some hopeless papers"
- content above as imported from Wikipedia
- "controversy over Cantor's theory" does not exist on GetWiki (yet)
- time: 5:57pm EDT - Wed, May 01 2024
- "controversy over Cantor's theory" does not exist on GetWiki (yet)
- time: 5:57pm EDT - Wed, May 01 2024
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 23 MAY 2022
The Illusion of Choice
Culture
Culture
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
© 2024 M.R.M. PARROTT | ALL RIGHTS RESERVED