Jump to content

User:RJGray/Sandboxcantor3

From Wikipedia, the free encyclopedia

Cantor's Absolute Infinite: Lead

[edit]

Cantor's absolute infinite or the absolute is the infinite that transcends Georg Cantor's transfinite. Cantor introduced it in his 1883 article that also introduced the transfinite (infinite) ordinals.[1] In this article, he pointed out that the absolute was discussed by earlier mathematicians and philosophers, who placed it after the finite. He added the transfinite to their work, which he placed between the finite and the absolute.

The absolute played an important role in Cantor's efforts to convince theologians that his transfinite numbers did not promote pantheism. Also, the absolute's property of being beyond human comprehension leads to reflection principles, which have been used to justify axioms extending Zermelo-Frankel set theory (ZFC).

In the 1890s, Cantor called a multiplicity (collection) "inconsistent" if the assumption that it is a set leads to a contradiction. For example, he proved that assuming the multiplicity of all ordinals is a set leads to a contradiction. Cantor identified these multiplicities as the absolutely infinite multiplicities and used the inconsistent multiplicity of all ordinals in his "proof" of the well-ordering theorem. Historians of mathematics disagree on when Cantor discovered that the multiplicity of all ordinals is not a set. Some historians argue that he discovered it while working on his 1883 article, while others give a later date.

Lack of knowledge about Cantor's absolute infinite led to the belief that Cantor developed a naive set theory that is susceptible to paradoxes, such as the Burali-Forti paradox and Russell's paradox.[2] Historians of mathematics have studied the absolute infinite and have determined that it protects his theory from these paradoxes.[3]

Finite, transfinite, and the absolute

[edit]

The concept of the absolute predates Cantor's work. In 1883, Cantor introduced the absolute into his mathematical work in an article that is now called "Cantor's Grundlagen."[a] This article is a mathematical and philosophical investigation of the infinite. In it, Cantor referenced philosophical works by Gottfried Wilhelm Leibniz, Baruch Spinoza, René Descartes, and John Locke. Then he stated:

However different the theories of these writers may be, in their judgment of the finite and infinite they essentially agree that finiteness is part of the concept of number and that the true infinite or absolute, which is in God, permits no determination whatsoever. As to the latter point I fully agree, and cannot do otherwise; …"[4]

Cantor not only accepted the concept of the absolute but also adopted Leibniz's terminology: "The true infinite exists, strictly speaking, only in the absolute, which is anterior to all composition, and is not formed by the additions of parts."[b] By stating that the absolute is in God, Cantor agreed with Leibniz who had stated that the absolute is an attribute of God.[5] Spinoza, Descartes, and Locke also had spoken of the infinite as characteristic of God.[c] Cantor's statement that the absolute "permits no determination whatsoever" means that it is beyond human comprehension, so it cannot be understood using mathematics.[d]

On the other hand, Cantor disagreed that finiteness was part of the number concept and that there was only the finite and the absolute:

I can find no justification for the assumption that besides the absolute (which is not attainable by any determination) and the finite there should be no modifications which, although not finite, nevertheless are determinable by numbers and are therefore what I call proper-infinite."[6]

Cantor introduced transfinite (infinite) numbers using infinite well-ordered sets: each of these sets has a corresponding ordinal number. He used well-ordered sets to define addition and multiplication of ordinal numbers, explored the properties of these numbers, and discovered that some of their properties differ from those of finite numbers. For example, addition and multiplication are not commutative: n + ω = ω ≠ ω + n for 1 ≤ n < ω and nω = ω ≠ ωn for 2 ≤ n < ω.[7] This resolved an objection of Aristotle to the infinite: "if the infinite existed then it would absorb the finite and destroy it." (NEED REF!) If ω is added to n, the result n + ω equals ω. However, if n is added to ω, the result ω + n is greater than ω. So the infinite absorbs the finite only if it is placed after the finite. Cantor said that this and similar facts were "entirely unrecognized by Aristotle".[8]

Absolute infinite and theology

[edit]

Cantor's belief in infinite sets that were accessible to mathematicians was criticized by some Christian theologians who thought that his theory supported pantheism, which was considered a heresy by the Catholic Church.[9] Pantheism developed from the philosophy of Baruch Spinoza, who believed that there was one absolutely infinite, eternal substance that he called "God or Nature."[10] This identification of God with nature contradicts the Christian belief in a God who transcends nature. It also implies that infinity is in nature. Since Cantor believed that transfinite infinities can be found in nature, some theologians argued that Cantor's theory supported pantheism.[11]

In 1886, Cantor corresponded with Cardinal Johannes Franzelin, who had been the papal theologian to the First Vatican Council. Cardinal Franzelin was critical of Cantor's transfinite infinities and thought that they were connected to pantheism. In his correspondence, Cantor explained that although a transfinite infinity and the absolute infinity are both actual infinities, pantheism arises from believing that God's absolute infinity can be found in nature.[e]

Cardinal Franzelin accepted Cantor's explanation but found a serious flaw in another of Cantor's beliefs. Cantor agreed with Spinoza that the possibility of an idea, which arises from the idea being consistent and coherent, leads to its necessary creation in nature. Since Cantor believed the transfinite numbers were consistent and coherent, this implied that they were in nature. Cardinal Franzelin pointed out that this "necessity of creation would always be as it were a contradiction of the freedom of creation." Cantor replied that he was not speaking of "an objective, metaphysical necessity in the creative act … that would subjugate God's absolute freedom." Instead, he was speaking of a "subjective necessity for us (not issuing from God) of inferring, from God's absolute goodness and glory, the fact of an actually accomplished creation—not merely of a finite system, but of a transfinite system." Nevertheless, because of the cardinal's criticism, Cantor emphasized God's freedom of creation in later letters.[12]

Cantor was proud that his theory gained Cardinal Franzeln's acceptance, and continued his correspondence with theologians. Cantor had deep religious beliefs and thought that his theory of the infinite would help Christian theology.[13]

Reflection principles

[edit]

Reflection principles can be derived from Cantor's view of the absolute: "The absolute can only be acknowledged but never known—and not even approximately known."[14] This is a negative statement, but it can be used to obtain positive consequences. It has been pointed out that Cantor used the absolute in this way.[15] For example, the finite ordinals (the natural numbers), which were previously thought to form an absolute infinity, is a "graspable idea" for Cantor. These ordinals form a multiplicity with the property of being closed under the successor operation. If this property defines the absolute, then the absolute is known. Since the absolute is unknowable, this property must also be true of some set of ordinal numbers, the smallest being the infinite set consisting of the finite ordinals. Cantor said that this infinity "seems to me to dwindle into nothingness by comparison [with the absolute]."[16]

In general, a reflection principle states that any property true of the universe is true of some set since otherwise the absolute infinity of the universe is defined by this property. Hence, this property is "reflected" down to a set. Reflection principles can be generalized to hold for any proper class.[17] In the example above, the proper class of all ordinals is closed under the successor operation, so reflection implies that there is a set of ordinals with this closure property. Reflection principles lead to large cardinal axioms. For example, the proper class of all cardinals has the property that it is closed under the operations of union and exponentiation. By reflection, there is a set of cardinals closed under these operations. The cardinality of this set is a strongly inaccessible cardinal.

Gödel stated that all the principles for generating axioms of set theory should come from the absolute being unknowable:

"All the principles for setting up the axioms of set theory should be reducible to a form of Ackermann's principle: The absolute is unknowable. The strength of this principle increases as we get stronger and stronger systems of set theory. The other principles are only heuristic principles. Hence, the central principle is the reflection principle …"[f]

Reflection principles have been stated for nearly all of the large cardinal axioms. For example, there are reflection principles that imply the existence of n-huge and I3 rank-into-rank cardinals. These are among the cardinals having the greatest consistency strength and whose existence is believed to be consistent with ZFC.[g] Conversely, the existence of these cardinals implies the consistency of their associated reflection principles.

In his statement, Gödel pointed out the connection between stronger reflection principles and stronger systems of set theory. The reflection principles for n-huge and I3 cardinals are an example of this because they are stated in a strong system of set theory that includes n-classes. A 2-class is a collection of classes; an (n+1)-class is a collection of n-classes.[18]

From the absolute to inconsistent multiplicities

[edit]

Cantor continued writing about the absolute after his 1883 Grundlagen. From 1885 to 1888, Cantor published philosophical articles on the transfinite and the absolute. In his 1887-1888 articles, Cantor emphasized that the transfinite, like the finite, is increasable—namely, every finite or transfinite ordinal α can be increased by adding n to obtain α + n.[19] On the other hand, Cantor states that the absolute's "magnitude is capable of no increase or diminution, and is therefore to be looked upon quantitatively as an absolute maximum."[20] By diminution, Cantor means subtracting a transfinite number of elements from the absolute.[21] In his Grundlagen, Cantor states that "… every supra-finite [transfinite] number, however great … is followed by an aggregate of numbers … whose power [cardinality] is not in the slightest reduced compared to the entire absolutely infinite aggregate of numbers, …."[22] This is equivalent to subtracting a transfinite number of elements from the front of the absolute sequence of all ordinal numbers. So removing a transfinite set of ordinals from this absolute sequence produces an absolute sequence of the same magnitude. Also, the magnitude of this absolute sequence cannot be increased since it contains all the ordinals.

A major change in Cantor's handling of the absolute occurred in the 1890's.[h] This was motivated by his desire to prove the well-ordering theorem. In his 1883 Grundlagen, Cantor introduced the well-ordering principle "every set can be well-ordered" and stated that it is a "law of thought."[23] Around 1895, he began to regard his well-ordering principle as a theorem and attempted to prove it. In 1897, he sent Hilbert his proof. This proof was lost, but it is believed to be similar to the proof of an equivalent theorem, which he sent Dedekind in 1899.[24]

In his letter to Dedekind, Cantor stated:

For a multiplicity can be such that the assumption that all of its elements "are together" leads to a contradiction, so that it is impossible to conceive of the multiplicity as a unity, as "one finished thing". Such multiplicities I call absolutely infinite or inconsistent multiplicities.

Multiplicities that can consistently be conceived as a unity, he called consistent multiplicities or "sets." The idea that not every multiplicity can be conceived of as a unity dates back to Cantor's 1883 definition of set: "In general, by a 'manifold' or 'set' I understand every multiplicity which can be thought of as one, i.e. every aggregate of determinate elements which can be united into a whole by some law." Cantor's letter goes further than his 1883 article: it provides a method for recognizing that certain multiplicities are not sets—namely, the assumption that they are sets leads to a contradiction.

In his letter, Cantor proved the aleph theorem: The cardinality of every infinite set is an aleph—that is, an . Since every is the cardinality of a well-ordered set, this theorem is equivalent to the well-ordering theorem. After defining consistent multiplicities (sets) and inconsistent multiplicities (absolutely infinite multiplicities), Cantor considered the sequence Ω = 0, 1, 2, 3, …, ω, ω + 1, …, α, …. This sequence contains all the ordinals and every ordinal has the order type of the sequence of ordinals preceding it. If Ω is a set, then it is a well-ordered set, so there is ordinal δ corresponding to this set that is greater than all the ordinals in Ω. Since Ω contains all the ordinals, δ is in Ω. Therefore, δ > δ, which contradicts Ω being a well-ordered set. Cantor concluded that the sequence of all ordinals is an inconsistent, absolutely infinite multiplicity.[25]

Cantor then used the inconsistent multiplicity Ω to prove the aleph theorem. He stated that "one easily sees" that if M is an infinite multiplicity that cannot be put into one-to-one correspondence with an then there is a one-to-one function mapping the inconsistent multiplicity Ω into M. This implies that M contains a submultiplicity that is inconsistent, so M is an inconsistent multiplicity. Therefore, if M cannot be put into one-to-one correspondence with an then it is an inconsistent multiplicity. This implies the aleph theorem.[26]

Zermelo analyzed Cantor's proof and stated that Cantor probably constructed the one-to-one function using successive choices as he did in his proof that every infinite set has a countable subset. Assume that a multiplicity M cannot be put into one-to-one correspondence with an Construct a function from the multiplicity of all ordinals to M by successively choosing different elements of M for each ordinal. If this construction runs out of elements of M, then M is well-ordered by this function and thus can be placed into one-to-one correspondence with an , contradicting the assumption. Otherwise, a one-to-one function mapping the inconsistent multiplicity of all ordinals into M has been constructed. Zermelo criticized this construction: "the intuition of time is applied here to a process that goes beyond all intuition, and a fictitious entity is posited of which it is assumed that it could make successive arbitrary choices."[27]

Cantor never published his proof. In 1903, Philip Jourdain developed a similar proof and sent it to Cantor. In his reply, Cantor encouraged Jourdain to publish this proof. Cantor's letter also contained his proof. When Jourdain asked for permission to publish the letter, Cantor refused.[28] Cantor probably did not want his proof published because he was not comfortable with it.[29]

Although Cantor used an absolutely infinite multiplicity in a proof, it appears that he still believed in the theological aspects of the absolute.[30] In fact, one development that came from Cantor's theology is still with us today—namely, reflection principles, which come from the absolute being unknowable to humans.

Cantor's discovery that some multiplicities cannot be sets

[edit]

There is disagreement on when Cantor discovered that a contradiction occurs when certain multiplicities are assumed to be sets. The historian Alejandro Garciadiego wrote:

Historians have suggested that Cantor discovered the paradoxes in one of the following years: 1883, 1890, 1892, 1895, 1896 and 1899. There is evidence both for and against all of these dates. The clues contained in Cantor's public works and private correspondence are brief and scarce.[31]

Garciadiego gives evidence only for the 1899 date in his article.[i] The evidence for this date is in Cantor's 1899 letter to Dedekind, which is discussed above. This letter shows that by 1899 Cantor had discovered that assuming the multiplicity of all ordinals is a set leads to a contradiction. It also shows that Cantor had found a way to prevent this contradiction from implying his set theory is inconsistent–namely, by classifying this multiplicity as "an inconsistent multiplicity" and not allowing an inconsistent multiplicity to be an element of a multiplicity.[32]

As for the earlier dates, only evidence for the 1883 date will be considered here–this is the earliest date in Garciadiego's list and the date that Cantor's Grundlagen appeared. The evidence for this date comes from this article, from later letters in which Cantor mentions the article, from simple mathematical arguments that Cantor supposedly would not miss, and from one of the works cited by Cantor in his article.

In his article, Cantor states that the transfinite follows the finite and that it "like the finite can be determined by well-defined and distinguishable numbers. Following the transfinite is "the absolute (which is not attainable by any determination)." This implies that the absolute cannot be determined by numbers like the finite and transfinite. In his endnotes, Cantor defines "set": "In general, by a 'manifold' or 'set' [*** LOOKUP! Does it have a comma after 'set'?] I understand every multiplicity which can be thought of as one, i.e. every aggregate of determinate elements which can be united into a whole by some law." Concerning the transfinite numbers and the absolute, Cantor states of the transfinite that "we shall never reach a boundary that cannot be crossed;" and states of the absolute: "that we shall also never achieve even an approximate conception of the absolute." He also states "The absolutely infinite sequence of [ordinal] numbers thus seems to me to be an appropriate symbol of the absolute."[6]

So in 1883, Cantor made a clear distinction between the transfinite and the absolute. He also gave two examples of absolutely infinite multiplicities: the absolutely infinite sequence of all ordinals and the absolutely infinite sequence of all number classes, which are sets of ordinals, each set having the next greater cardinality than the cardinalities of the previous number classes. Cantor used number classes in his theory of cardinal numbers (their cardinalities are the aleph numbers). To prove that the number classes form an absolutely infinite sequence, Cantor states, but does not prove, that there is a number class associated with each ordinal. Hence, there is a one-to-one correspondence between the two multiplicities.[j]

The historian Joseph Dauben states "… it is possible that Cantor may have been aware of the paradoxes of set theory … as early as the 1880s …" Dauben points out that in his Grundlagen, Cantor refers to "collections that are too large to be a well-defined, completed, unified entity." He also says that Cantor obscurely referred to these absolute sets in theological terms. Dauben then asks: "Was this a hint that he already understood that the collection of all transfinite ordinal numbers was inconsistent, and therefore not to be regarded as a set?" Dauben also mentions that later Cantor said that when writing the Grundlagen, he did know of the contradiction that occurs when the multiplicity of all ordinals is assumed to be a set.[33]

Dauben is referring to letters that Cantor later wrote. In an 1897 letter to David Hilbert, Cantor wrote: "Totalities that cannot be regarded as sets …, I have already many years ago called absolute infinite totalities …, which I sharply distinguish from transfinite sets."[34] In an 1899 letter, Cantor told Hilbert that absolute infinite totalities are fundamental for his theory: "You can find this, my fundament, in the anno 1883 published 'Grundlagen' …, actually in the notes where it appears as already completely clear, but also intentionally hidden."[35] In a 1907 letter to Grace Chisholm Young, Cantor wrote that W [the multiplicity of all ordinals] "is not a 'set' in my sense of the word, but an 'inconsistent multiplicity.' When I wrote the 'Grundlagen' I already saw this clearly, as is evident from the remarks (1) and (2) in its conclusion, where I referred to W as the 'absolutely infinite number sequence.' In (1) I said explicitly that I designate as 'sets' only those multiplicities that can be conceived as unities, i.e., as objects." (Moore & Garciadiego 1981, p. 342 harvnb error: multiple targets (2×): CITEREFMooreGarciadiego1981 (help).)}} NEED EVIDENCE THAT CANTOR KNEW IT WOULD GENERATE A CONTRADICTION!!

The mathematician and historian Walter Purkert believes that Cantor intentionally hid his discovery of contradictions because he was concerned that the majority of mathematicians would not accept his philosophical justifications for the absolute infinite. Without acceptable justification for this concept, the contradiction generated by the set of all transfinite numbers would be a "serious blow against his theory, which was ignored and even under attack as it was."[36] Purkert's argument is consistent with Cantor's cautious handling of previous articles. For example, in his 1874 article, he gave a constructive proof of the existence of transcendental numbers rather than the non-constructive proof found in his earlier letters.[37] Akihiro Kanamori states that "This presentation is suggestive of Cantor’s natural caution in overstepping mathematical sense at the time."[38]

Purkert also believes that Cantor would have seen the following mathematical argument: If the collection of all ordinals form a set, it would be well-ordered set, which implies it has an ordinal number Ω. However, Ω would be the greatest ordinal, which contradicts the fact that each ordinal α has a successor α + 1. Purkert comments: "It is almost unthinkable that Cantor, who reflected so deeply on these matters, would have taken no notice of such a simple consequence."[k]

The philosopher William W. Tait agrees with Purkert and states that "it would be difficult to believe that Cantor was not aware that it would be contradictory to assume that Ω [the class of all finite and transfinite numbers] is a set." However, Tait criticizes Purkert's suggested proof because it uses well-orderings and is not based on Cantor's definition of the transfinite numbers. Tait also gives his version of an argument that Cantor may have used.[l]

The historian Alejandro Garciadiego disagrees with Purkert and Tait. He states that "It is possible that Cantor had intuitively felt the existence of the 'paradoxes' since 1883—as he claims, but we lack sources supporting the assertion that Cantor had formally found the 'paradoxes' by then." However, Cantor's letter states: "The undoubtedly correct proposition that there are no transfinite cardinal numbers other than the alephs I intuitively recognized over 20 years ago (during the discovery of the alephs themselves). In his 1883 Grundlagen, Cantor introduced his well-ordering principle "every set can be well-ordered," which he declared to be "law of thought." This well-ordering principle, which Cantor felt was intuitively true in 1883, implies that all the transfinite cardinal numbers are alephs. Cantor's reasoning makes no reference to the paradoxes.

In this letter, Cantor states that in 1883 he had "intuitively recognized" the theorem that there are no transfinite cardinal numbers other than the alephs.[m] In his 1883 Grundlagen, Cantor introduced his well-ordering principle "every set can be well-ordered," which he declared to be "law of thought." This well-ordering principle, which Cantor felt was intuitively true in 1883, implies that all the transfinite cardinal numbers are alephs.

** REWRITE NEXT PARAGRAPH!! 

So the 1899 date has the strongest direct evidence for Cantor knowing that a contradiction is generated by assuming the multiplicity of all ordinals is a set. Earlier dates have circumstantial evidence, the later dates accumulate more of this evidence. Unfortunately, although Cantor saved nearly everything he wrote, these most of these writings were lost when his house was taken over in World War 2 and they were used to warm the house. Without these writings, there is plenty of room for disagreement on when Cantor discovered that a contradiction occurs if certain multiplicities are assumed to be sets. [*** NEED REF about WW2 loss of Cantor's writings: Probably: Ivor Grattan-Guinness, Towards a biography of Georg Cantor, Annals of Science 27 (4), 1971, pp. 345-391.]

The set-theoretic paradoxes

[edit]

Cantor avoided the set-theoretic paradoxes by recognizing that some multiplicities are not sets and by not allowing these multiplicities to be elements of a multiplicity. In letters to Hilbert, Cantor pointed out that in his 1883 Grundlagen, he defined set _____________________, and in his 1895 article, he defined set

However, in these articles, Cantor did not explicitly state that he had worded his definitions to avoid contradictions resulting from treating certain multiplicities as sets. Later mathematicians stated that his 1895 definition " " produced a naive set theory.

"Totalities that cannot be regarded as sets …, I have already many years ago called absolute infinite totalities …, which I sharply distinguish from transfinite sets."Cite error: A <ref> tag is missing the closing </ref> (see the help page).

In 1923, John von Neumann developed an axiom system that eliminates the paradoxes by using an approach similar to Cantor's—namely, by identifying collections that are not sets and treating them differently. These collections are now called proper classes. In von Neumann's set theory, the class of all ordinals is a proper class.[39] The paradoxes are avoided by not allowing a proper class to belong to any class. Cantor put the same restriction on an inconsistent multiplicity, but for a different reason. Cantor does not allow an inconsistent multiplicity to belong to any multiplicity because "it cannot be understood as one whole and thus cannot be considered as one thing."[40] In von Neumann's theory, a proper class is "one thing," but it cannot belong to any class. The difference between Cantor's and von Neumann's approaches is that Cantor does not allow non-set objects in his set theory, while von Neumann allows them and restricts the usage of proper classes. Von Neumann not only admits proper classes into his theory but also insists that "they should be as much like sets as possible."[41]

Notes

[edit]
  1. ^ For example, this article is called Cantor's Grundlagen in PROBABLY BAD PAGE NUMBERS SINCE WE GRABBED REFS FROM ABOVE USED IN ANOTHER CONTEXT: Dauben 1979, p. 246 harvnb error: multiple targets (2×): CITEREFDauben1979 (help); Ferreirós 1993, p. 291; Moore 1982, p. 53 harvnb error: multiple targets (2×): CITEREFMoore1982 (help); Purkert 1989, pp. 60–61 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help). This article is the fifth in Cantor's series: Ueber unendliche, lineare Punktmannichfaltigkeiten (On Infinite Linear Point Manifolds). It was also published separately under the title: Grundlagen einer allgemeinen Mannichfaltigkeitslehre: ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen (Foundations of a General Theory of Manifolds: A Mathematico-Philosophical Investigation into the Theory of the Infinite).
  2. ^ The page on which Leibniz discusses "the true infinite" and "the absolute" is one of the pages that Cantor states "One should see"—namely, page 244 of the Erdmann edition of Leibniz's works. (Cantor 1883, p. 556 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 890 harvnb error: multiple targets (2×): CITEREFEwald1996 (help). Leibniz 1840, p. 244 harvnb error: multiple targets (2×): CITEREFLeibniz1840 (help); English translation: Leibniz 1896, p. 162 harvnb error: multiple targets (2×): CITEREFLeibniz1896 (help).)
  3. ^ Spinoza: By God, I mean a being absolutely infinite—that is, a substance consisting in infinite attributes, of which each expresses eternal and infinite essentiality." (Spinoza 1901, p. 45.)
    Descartes: "That in passing from the knowledge of God to the knowledge of the creatures, it is necessary to remember that our understanding is finite, and the power of God infinite." (Descartes 1901, p. 310 harvnb error: multiple targets (2×): CITEREFDescartes1901 (help).)
    Locke: "What I say of man I say of all finite beings; who, though they may far exceed man in knowledge and power, yet are no more than the meanest creature, in comparison with God himself. Finite of any magnitude holds not any proportion to infinite. God's infinite duration being accompanied with infinite knowledge and infinite power, he sees all things past and to come …." (Locke 1824, p. 188 harvnb error: multiple targets (2×): CITEREFLocke1824 (help).)
  4. ^ Descartes stated: "We will thus never embarrass ourselves by disputes about the infinite, seeing it would be absurd for us who are finite to undertake to determine anything regarding it, and thus as it were to limit it by endeavoring to comprehend it." (Descartes 1901, p. 311 harvnb error: multiple targets (2×): CITEREFDescartes1901 (help).) Descartes' infinite is Leibniz' and Cantor's true infinite or the absolute.
  5. ^ Cantor made a distinction between a proper or actual infinite and an improper infinite. A variable quantity that is finite but grows beyond all bounds is an improper infinite, while the infinite set of the natural numbers is a proper or actual infinite. (Cantor 1883, pp. 545–546 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, pp. 882–883 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).(CHECKED!)
  6. ^ Wang 1996, p. 283 harvnb error: multiple targets (2×): CITEREFWang1996 (help). In 1956, Wilhelm Ackermann proposed an axiom system that turns the principle "The absolute is unknowable" into a reflection axiom schema. See Ackermann set theory.
  7. ^ I3 cardinals have greater consistency strength than n-huge cardinals. Cardinals that have greater consistency strength than I3 cardinals and are believed to be consistent with ZFC include the I2, I1, and I0 cardinals (these are listed in order of increasing strength). See Rank-into-rank cardinal.
  8. ^ The philosopher Michael Hallet states that: "This reworking of the theory was in effect a transformation of Cantor's earlier theory of the absolute into a theory of 'absolute collections' …." ((Hallett 1986, p. 165.) harv error: multiple targets (2×): CITEREFHallett1986 (help)
  9. ^ The evidence for the other dates is not probably given because his article is short and appears in an encyclopedia that states: "An article attempts only to introduce the history of the topics treated. Sophisticated and important questions are only treated lightly …" (Grattan-Guinness 1994, p. 6) harvnb error: multiple targets (2×): CITEREFGrattan-Guinness1994 (help).
  10. ^ Cantor's conclusion that the number classes form an absolutely infinite sequence follows from a statement that appears in his 1899 letter to Dedekind: "Two equivalent multiplicities either are both 'sets' or are both inconsistent." As Kanamori points out, this statement is an anticipation of the replacement axiom (Kanamori 2012, p. 55 harvnb error: multiple targets (2×): CITEREFKanamori2012 (help)). In 1883, Cantor appears to be intuitively using a statement that he later asserts.
  11. ^ Purkert 1989, p. 57 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help). Evidence supporting Purkert's argument is in Cantor's article, which mentions Chapter XVII of Locke's Essay on Human Understanding as a reference where "one cannot find stronger arguments that these against the introduction of infinite integers." (Cantor 1883, p. 556 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 890 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).) Locke states that: "Though it be hard, I think, to find any one so absurd as to say, he has the positive idea of an actual infinite number … It would, I think, be enough to destroy any such positive idea of infinite, to ask him that has it, whether he could add to it or no; which would easily show the mistake of such a positive idea." (Locke 1824, p. 202.) harv error: multiple targets (2×): CITEREFLocke1824 (help) If you cannot add to it, then the infinite number is not a number since numbers can be increased. Cantor's transfinite numbers are infinite numbers that can be increased. On the other hand, since Locke's infinite is what Cantor calls the absolute, an infinite number representing the size of the absolute is larger than all numbers. Therefore, adding to it produces a number larger than it, contradicting that it is larger than all numbers.
  12. ^ Tait starts by stating that Cantor used sets to generate the transfinite numbers: If X is a subset of Ω, then S(X) ∈ Ω where S(X) is the ordinal number greater than the ordinal numbers in X. Then the theorem "Ω is not a set" is proved by contradiction: Assume Ω is a set. Then S(Ω) is an ordinal, so it is in Ω. This together with S(Ω) being greater than all ordinals in Ω implies S(Ω) > S(Ω), which contradicts < being a well-ordering. (Tait 2000, pp. 18–20 harvnb error: multiple targets (2×): CITEREFTait2000 (help).)
  13. ^ Garciadiego 1992, p. 36 harvnb error: multiple targets (2×): CITEREFGarciadiego1992 (help). The letter appears in (Grattan-Guinness 1971, p. 124.) harv error: multiple targets (2×): CITEREFGrattan-Guinness1971 (help)

References

[edit]
  1. ^ Cantor 1883 harvnb error: multiple targets (2×): CITEREFCantor1883 (help).
  2. ^ "It is well known that set theory in its first, "naive" version, due to Cantor, led to contradictions." (von Neumann 1925, p. 219 harvnb error: multiple targets (2×): CITEREFvon_Neumann1925 (help); English translation: van Heijenoort 1967, pp. 394–395 harvnb error: multiple targets (2×): CITEREFvan_Heijenoort1967 (help).)  "Relying on Cantor's naive set theory, mathematicians discovered and proved many significant theorems. Then a devastating contradiction was announced by Bertrand Russell." (Cunningham 2016, p. 20 harvnb error: multiple targets (2×): CITEREFCunningham2016 (help).)
  3. ^ Dauben 1979, p. 246 harvnb error: multiple targets (2×): CITEREFDauben1979 (help); Ferreirós 1993, p. 291; Moore 1982, p. 53 harvnb error: multiple targets (2×): CITEREFMoore1982 (help); Purkert 1989, pp. 60–61 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help).
  4. ^ Cantor 1883, p. 556 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, pp. 890–891 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).(CHECKED!)
  5. ^ Leibniz 1840, p. 244 harvnb error: multiple targets (2×): CITEREFLeibniz1840 (help). English translation: Leibniz 1896, p. 163 harvnb error: multiple targets (2×): CITEREFLeibniz1896 (help).
  6. ^ a b Cantor 1883, pp. 556–557 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 891 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).(CHECKED!)
  7. ^ Cantor 1883, pp. 550–551 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 886 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).(CHECKED!) Cantor's later definitions of nω and ωn are used here. His 1883 definitions were reversed so that ωn = ω ≠ nω.
  8. ^ check accuracy of quote Cantor 1883, pp. 555 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, pp. 889–890 harvnb error: multiple targets (2×): CITEREFEwald1996 (help) (CHECKED pages).
  9. ^ Dauben 1979, p. 145 harvnb error: multiple targets (2×): CITEREFDauben1979 (help); Newstead 2009, p. 548 harvnb error: multiple targets (2×): CITEREFNewstead2009 (help).
  10. ^ See: Philosophy_of_Baruch_Spinoza#Metaphysics.
  11. ^ Dauben 1979, p. 145 harvnb error: multiple targets (2×): CITEREFDauben1979 (help).
  12. ^ Newstead 2009, pp. 548–551 harvnb error: multiple targets (2×): CITEREFNewstead2009 (help).
  13. ^ Dauben 1979, pp. 146–147, 232, 294–297 harvnb error: multiple targets (2×): CITEREFDauben1979 (help).
  14. ^ Cantor 1883, p. 587 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 916 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).(CHECKED!)
  15. ^ Hallett 1986, p. 117 harvnb error: multiple targets (2×): CITEREFHallett1986 (help).
  16. ^ Cantor 1883, p. 588 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 916 harvnb error: multiple targets (2×): CITEREFEwald1996 (help). (CHECKED!)
  17. ^ Welch & Horsten 2016, pp. 9–10 harvnb error: multiple targets (2×): CITEREFWelchHorsten2016 (help).
  18. ^ Marshall R. 1989, pp. 480–481, 485–488 harvnb error: multiple targets (2×): CITEREFMarshall_R.1989 (help).
  19. ^ Hallett 1986, p. 41 harvnb error: multiple targets (2×): CITEREFHallett1986 (help).
  20. ^ Hallett 1986, p. 44 harvnb error: multiple targets (2×): CITEREFHallett1986 (help).
  21. ^ Hallett 1986, p. 43 harvnb error: multiple targets (2×): CITEREFHallett1986 (help).
  22. ^ Cantor 1883, p. 587 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 916 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).) (CHECKED!)}}
  23. ^ Moore 1982, p. 42 harvnb error: multiple targets (2×): CITEREFMoore1982 (help).
  24. ^ Moore 1982, p. 51 harvnb error: multiple targets (2×): CITEREFMoore1982 (help).
  25. ^ Cantor 1932, p. 445; English translation: van Heijenoort 1967, p. 115 harvnb error: multiple targets (2×): CITEREFvan_Heijenoort1967 (help).
  26. ^ Moore 1982, p. 52 harvnb error: multiple targets (2×): CITEREFMoore1982 (help).
  27. ^ Moore 1982, pp. 52–53 harvnb error: multiple targets (2×): CITEREFMoore1982 (help).
  28. ^ Moore 1982, p. 61 harvnb error: multiple targets (2×): CITEREFMoore1982 (help).
  29. ^ Moore 1982, pp. 51, 61 harvnb error: multiple targets (2×): CITEREFMoore1982 (help); Purkert 1989, p. 62 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help); Hallett 1986, p. 170 harvnb error: multiple targets (2×): CITEREFHallett1986 (help).
  30. ^ Hallett 1986, p. 166 harvnb error: multiple targets (2×): CITEREFHallett1986 (help); Thomas-Bolduc 2016, pp. 141–142 harvnb error: multiple targets (2×): CITEREFThomas-Bolduc2016 (help).
  31. ^ Garciadiego 1994, p. 629 harvnb error: multiple targets (2×): CITEREFGarciadiego1994 (help).
  32. ^ Hallett 1986, p. 286 harvnb error: multiple targets (2×): CITEREFHallett1986 (help).
  33. ^ Dauben 1993, pp. 9–10 harvnb error: multiple targets (2×): CITEREFDauben1993 (help).
  34. ^ Purkert 1989, p. 56 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help).
  35. ^ Purkert 1989, p. 58 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help).
  36. ^ Purkert 1989, p. 59 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help).
  37. ^ Gray 1994, pp. 820–821, 827 harvnb error: multiple targets (2×): CITEREFGray1994 (help).
  38. ^ Kanamori 1996, p. 4 harvnb error: multiple targets (2×): CITEREFKanamori1996 (help).
  39. ^ Moore 1982, p. 264 harvnb error: multiple targets (2×): CITEREFMoore1982 (help).
  40. ^ Hallett 1986, p. 286. harvnb error: multiple targets (2×): CITEREFHallett1986 (help)
  41. ^ Hallett 1986, p. 289 harvnb error: multiple targets (2×): CITEREFHallett1986 (help).

Bibliography

[edit]
* REMOVE BEFORE PUBLISHING!!]

(1) CHECKED in Refs.

(2) Hallett, p. 165-8, 173-5 (see SUBJECT INDEX: p. 324 "absolute or inconsistent collections ... and Cantor's absolute"


EXTRA!!

[edit]

all numeration being but still the adding of one unit more, and giving to the whole together, as comprehended [191] in one idea, a new or distinct name or sign, whereby to know it from those before and after, and distinguish it from every smaller or greater multitude of units.

Locke, 13. No positive idea of infinity. Though it be hard, I think, to find anyone so absurd as to say he has the positive idea of an actual infinite number; the infinity whereof lies only in a power still of adding any combination of units to any former number, and that as long and as much as one will; the like also being in the infinity of space and duration, which power leaves always to the mind room for endless additions; yet there be those who imagine they have positive ideas of infinite duration and space.


We can, I think, have no positive idea of any space or duration which is not made up of, and commensurate to, repeated numbers of feet or yards, or days and years; which are the common measures, whereof we have the ideas in our minds, and whereby we judge of the greatness of this sort of quantities. And therefore, since an infinite idea of space or duration must needs be made up of infinite parts, it can have no other infinity than that of number capable still of further addition; but not an actual positive idea of a number infinite. For, I think it is evident, that the addition of finite things together (as are all lengths whereof we have the positive ideas) can never otherwise produce the idea of infinite than as number does; which, consisting of additions of finite units one to another, suggests the idea of infinite, only by a power we find we have of still increasing the sum, and adding more of the same kind; without coming one jot nearer the end of such progression.

Finite, transfinite, and the absolute

[edit]

The concept of the absolute predates Cantor's work. In 1883, Cantor introduced the absolute into his mathematical work in an article that is now called "Cantor's Grundlagen."[a] This article is a mathematical and philosophical investigation of the infinite. In it, Cantor referenced philosophical works by Gottfried Wilhelm Leibniz, Baruch Spinoza, René Descartes, and John Locke. Then he stated:

However different the theories of these writers may be, in their judgment of the finite and infinite they essentially agree that finiteness is part of the concept of number and that the true infinite or absolute, which is in God, permits no determination whatsoever. As to the latter point I fully agree, and cannot do otherwise; …"[1]

Cantor not only accepted the concept of the absolute but also adopted Leibniz's terminology: "The true infinite exists, strictly speaking, only in the absolute, which is anterior to all composition, and is not formed by the additions of parts."[b] By stating that the absolute is in God, Cantor agreed with Leibniz who had stated that the absolute is an attribute of God.[2] Spinoza, Descartes, and Locke also had spoken of the infinite as characteristic of God.[c] Cantor's statement that the absolute "permits no determination whatsoever" means that it is beyond human comprehension, so it cannot be understood using mathematics.[d]

On the other hand, Cantor disagreed that finiteness was part of the number concept and that there was only the finite and the absolute:

I can find no justification for the assumption that besides the absolute (which is not attainable by any determination) and the finite there should be no modifications which, although not finite, nevertheless are determinable by numbers and are therefore what I call proper-infinite."[3]

Cantor introduced transfinite (infinite) numbers using infinite well-ordered sets: each of these sets has a corresponding ordinal number. He used well-ordered sets to define addition and multiplication of ordinal numbers, explored the properties of these numbers, and discovered that some of their properties differ from those of finite numbers. For example, addition and multiplication are not commutative: n + ω = ω ≠ ω + n for 1 ≤ n < ω and nω = ω ≠ ωn for 2 ≤ n < ω.[4] This resolved an objection of Aristotle to the infinite: "if the infinite existed then it would absorb the finite and destroy it." If ω is added to n, the result n + ω equals ω. However, if n is added to ω, the result ω + n is greater than ω. So the infinite absorbs the finite only if it is placed after the finite. Cantor said that these facts were "entirely unrecognized by Aristotle".[5]

Cantor's discovery that some multiplicities cannot be sets

[edit]

There is disagreement on when Cantor discovered that a contradiction occurs when certain multiplicities are assumed to be sets. The historian Alejandro Garciadiego wrote:

Historians have suggested that Cantor discovered the paradoxes in one of the following years: 1883, 1890, 1892, 1895, 1896 and 1899. There is evidence both for and against all of these dates. The clues contained in Cantor's public works and private correspondence are brief and scarce.[6]

Garciadiego gives evidence only for the 1899 date in his article.[e] The evidence for this date is in Cantor's 1899 letter to Dedekind, which is discussed above. This letter shows that by 1899 Cantor had discovered that assuming the multiplicity of all ordinals is a set leads to a contradiction. It also shows that Cantor had found a way to prevent this contradiction from implying his set theory is inconsistent–namely, by classifying this multiplicity as "an inconsistent multiplicity" and not allowing an inconsistent multiplicity to be an element of a multiplicity.[7]

As for the earlier dates, only evidence for the 1883 date will be considered here–this is the earliest date in Garciadiego's list and the date that Cantor's Grundlagen appeared. The evidence for this date comes from this article, from later letters in which Cantor mentions the article, from simple mathematical arguments that Cantor supposedly would not miss, and from one of the works cited by Cantor in his article.

In his article, Cantor states that the transfinite follows the finite and that it "like the finite can be determined by well-defined and distinguishable numbers. Following the transfinite is "the absolute (which is not attainable by any determination)." This implies that the absolute cannot be determined by numbers like the finite and transfinite. In his endnotes, Cantor defines "set": "In general, by a 'manifold' or 'set' [*** LOOKUP! Does it have a comma after 'set'?] I understand every multiplicity which can be thought of as one, i.e. every aggregate of determinate elements which can be united into a whole by some law." Concerning the transfinite numbers and the absolute, Cantor states of the transfinite that "we shall never reach a boundary that cannot be crossed;" and states of the absolute: "that we shall also never achieve even an approximate conception of the absolute." He also states "The absolutely infinite sequence of [ordinal] numbers thus seems to me to be an appropriate symbol of the absolute."[3]

So in 1883, Cantor made a clear distinction between the transfinite and the absolute. He also gave two examples of absolutely infinite multiplicities: the absolutely infinite sequence of all ordinals and the absolutely infinite sequence of all number classes, which are sets of ordinals, each set having the next greater cardinality than the cardinalities of the previous number classes. Cantor used number classes in his theory of cardinal numbers (their cardinalities are the aleph numbers). To prove that the number classes form an absolutely infinite sequence, Cantor states, but does not prove, that there is a number class associated with each ordinal. Hence, there is a one-to-one correspondence between the two multiplicities.[f]

The historian Joseph Dauben states "… it is possible that Cantor may have been aware of the paradoxes of set theory … as early as the 1880s …" Dauben points out that in his Grundlagen, Cantor refers to "collections that are too large to be a well-defined, completed, unified entity." He also says that Cantor obscurely referred to these absolute sets in theological terms. Dauben then asks: "Was this a hint that he already understood that the collection of all transfinite ordinal numbers was inconsistent, and therefore not to be regarded as a set?" Dauben also mentions that later Cantor said that when writing the Grundlagen, he did know of the contradiction that occurs when the multiplicity of all ordinals is assumed to be a set.[8]

Dauben is referring to letters that Cantor later wrote. In an 1897 letter to David Hilbert, Cantor wrote: "Totalities that cannot be regarded as sets …, I have already many years ago called absolute infinite totalities …, which I sharply distinguish from transfinite sets."[9] In an 1899 letter, Cantor told Hilbert that absolute infinite totalities are fundamental for his theory: "You can find this, my fundament, in the anno 1883 published 'Grundlagen' …, actually in the notes where it appears as already completely clear, but also intentionally hidden."[10] In a 1907 letter to Grace Chisholm Young, Cantor wrote that W [the multiplicity of all ordinals] "is not a 'set' in my sense of the word, but an 'inconsistent multiplicity.' When I wrote the 'Grundlagen' I already saw this clearly, as is evident from the remarks (1) and (2) in its conclusion, where I referred to W as the 'absolutely infinite number sequence.' In (1) I said explicitly that I designate as 'sets' only those multiplicities that can be conceived as unities, i.e., as objects." (Moore & Garciadiego 1981, p. 342 harvnb error: multiple targets (2×): CITEREFMooreGarciadiego1981 (help).)}} NEED EVIDENCE THAT CANTOR KNEW IT WOULD GENERATE A CONTRADICTION!!

The mathematician and historian Walter Purkert believes that Cantor intentionally hid his discovery of contradictions because he was concerned that the majority of mathematicians would not accept his philosophical justifications for the absolute infinite. Without acceptable justification for this concept, the contradiction generated by the set of all transfinite numbers would be a "serious blow against his theory, which was ignored and even under attack as it was."[11] Purkert's argument is consistent with Cantor's cautious handling of previous articles. For example, in his 1874 article, he gave a constructive proof of the existence of transcendental numbers rather than the non-constructive proof found in his earlier letters.[12] Akihiro Kanamori states that "This presentation is suggestive of Cantor’s natural caution in overstepping mathematical sense at the time."[13]

Purkert also believes that Cantor would have seen the following mathematical argument: If the collection of all ordinals form a set, it would be well-ordered set, which implies it has an ordinal number Ω. However, Ω would be the greatest ordinal, which contradicts the fact that each ordinal α has a successor α + 1. Purkert comments: "It is almost unthinkable that Cantor, who reflected so deeply on these matters, would have taken no notice of such a simple consequence."[g]

The philosopher William W. Tait agrees with Purkert and states that "it would be difficult to believe that Cantor was not aware that it would be contradictory to assume that Ω [the class of all finite and transfinite numbers] is a set." However, Tait criticizes Purkert's suggested proof because it uses well-orderings and is not based on Cantor's definition of the transfinite numbers. Tait also gives his version of an argument that Cantor may have used.[h]

The historian Alejandro Garciadiego disagrees with Purkert and Tait. He states that "It is possible that Cantor had intuitively felt the existence of the 'paradoxes' since 1883—as he claims, but we lack sources supporting the assertion that Cantor had formally found the 'paradoxes' by then." However, in the letter Garciadiego references to support his position, Cantor does not use the word "intuitively" with respect to the paradoxes. Instead, Cantor states that in 1883 he had "intuitively recognized" the theorem that there are no transfinite cardinal numbers other than the alephs.[i] In his 1883 Grundlagen, Cantor introduced his well-ordering principle "every set can be well-ordered," which he declared to be "law of thought." This well-ordering principle, which Cantor felt was intuitively true in 1883, implies that all the transfinite cardinal numbers are alephs.

** REWRITE NEXT PARAGRAPH!! 

So the 1899 date has the strongest direct evidence for Cantor knowing that a contradiction is generated by assuming the multiplicity of all ordinals is a set. Earlier dates have circumstantial evidence, the later dates accumulate more of this evidence. Unfortunately, although Cantor saved nearly everything he wrote, these most of these writings were lost when his house was taken over in World War 2 and they were used to warm the house. Without these writings, there is plenty of room for disagreement on when Cantor discovered that a contradiction occurs if certain multiplicities are assumed to be sets. [*** NEED REF about WW2 loss of Cantor's writings: Probably: Ivor Grattan-Guinness, Towards a biography of Georg Cantor, Annals of Science 27 (4), 1971, pp. 345-391.]

Notes

[edit]
  1. ^ For example, this article is called Cantor's Grundlagen in PROBABLY BAD PAGE NUMBERS SINCE WE GRABBED REFS FROM ABOVE USED IN ANOTHER CONTEXT: Dauben 1979, p. 246 harvnb error: multiple targets (2×): CITEREFDauben1979 (help); Ferreirós 1993, p. 291; Moore 1982, p. 53 harvnb error: multiple targets (2×): CITEREFMoore1982 (help); Purkert 1989, pp. 60–61 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help). This article is the fifth in Cantor's series: Ueber unendliche, lineare Punktmannichfaltigkeiten (On Infinite Linear Point Manifolds). It was also published separately under the title: Grundlagen einer allgemeinen Mannichfaltigkeitslehre: ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen (Foundations of a General Theory of Manifolds: A Mathematico-Philosophical Investigation into the Theory of the Infinite).
  2. ^ The page on which Leibniz discusses "the true infinite" and "the absolute" is one of the pages that Cantor states "One should see"—namely, page 244 of the Erdmann edition of Leibniz's works. (Cantor 1883, p. 556 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 890 harvnb error: multiple targets (2×): CITEREFEwald1996 (help). Leibniz 1840, p. 244 harvnb error: multiple targets (2×): CITEREFLeibniz1840 (help); English translation: Leibniz 1896, p. 162 harvnb error: multiple targets (2×): CITEREFLeibniz1896 (help).)
  3. ^ Spinoza: By God, I mean a being absolutely infinite—that is, a substance consisting in infinite attributes, of which each expresses eternal and infinite essentiality." (Spinoza 1901, p. 45.)
    Descartes: "That in passing from the knowledge of God to the knowledge of the creatures, it is necessary to remember that our understanding is finite, and the power of God infinite." (Descartes 1901, p. 310 harvnb error: multiple targets (2×): CITEREFDescartes1901 (help).)
    Locke: "What I say of man I say of all finite beings; who, though they may far exceed man in knowledge and power, yet are no more than the meanest creature, in comparison with God himself. Finite of any magnitude holds not any proportion to infinite. God's infinite duration being accompanied with infinite knowledge and infinite power, he sees all things past and to come …." (Locke 1824, p. 188 harvnb error: multiple targets (2×): CITEREFLocke1824 (help).)
  4. ^ Descartes stated: "We will thus never embarrass ourselves by disputes about the infinite, seeing it would be absurd for us who are finite to undertake to determine anything regarding it, and thus as it were to limit it by endeavoring to comprehend it." (Descartes 1901, p. 311 harvnb error: multiple targets (2×): CITEREFDescartes1901 (help).) Descartes' infinite is Leibniz' and Cantor's true infinite or the absolute.
  5. ^ The evidence for the other dates is not probably given because his article is short and appears in an encyclopedia that states: "An article attempts only to introduce the history of the topics treated. Sophisticated and important questions are only treated lightly …" (Grattan-Guinness 1994, p. 6) harvnb error: multiple targets (2×): CITEREFGrattan-Guinness1994 (help).
  6. ^ Cantor's conclusion that the number classes form an absolutely infinite sequence follows from a statement that appears in his 1899 letter to Dedekind: "Two equivalent multiplicities either are both 'sets' or are both inconsistent." As Kanamori points out, this statement is an anticipation of the replacement axiom (Kanamori 2012, p. 55 harvnb error: multiple targets (2×): CITEREFKanamori2012 (help)). In 1883, Cantor appears to be intuitively using a statement that he later asserts.
  7. ^ Purkert 1989, p. 57 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help). Evidence supporting Purkert's argument is in Cantor's article, which mentions Chapter XVII of Locke's Essay on Human Understanding as a reference where "one cannot find stronger arguments that these against the introduction of infinite integers." (Cantor 1883, p. 556 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 890 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).) Locke states that: "Though it be hard, I think, to find any one so absurd as to say, he has the positive idea of an actual infinite number … It would, I think, be enough to destroy any such positive idea of infinite, to ask him that has it, whether he could add to it or no; which would easily show the mistake of such a positive idea." (Locke 1824, p. 202.) harv error: multiple targets (2×): CITEREFLocke1824 (help) If you cannot add to it, then the infinite number is not a number since numbers can be increased. Cantor's transfinite numbers are infinite numbers that can be increased. On the other hand, since Locke's infinite is what Cantor calls the absolute, an infinite number representing the size of the absolute is larger than all numbers. Therefore, adding to it produces a number larger than it, contradicting that it is larger than all numbers.
  8. ^ Tait starts by stating that Cantor used sets to generate the transfinite numbers: If X is a subset of Ω, then S(X) ∈ Ω where S(X) is the ordinal number greater than the ordinal numbers in X. Then the theorem "Ω is not a set" is proved by contradiction: Assume Ω is a set. Then S(Ω) is an ordinal, so it is in Ω. This together with S(Ω) being greater than all ordinals in Ω implies S(Ω) > S(Ω), which contradicts < being a well-ordering. (Tait 2000, pp. 18–20 harvnb error: multiple targets (2×): CITEREFTait2000 (help).)
  9. ^ Garciadiego 1992, p. 36 harvnb error: multiple targets (2×): CITEREFGarciadiego1992 (help). Cantor's letter is to Philip Jourdain. In it, Cantor states: "The undoubtedly correct proposition that there are no transfinite cardinal numbers other than the alephs I intuitively recognized over 20 years ago (during the discovery of the alephs themselves). Later I constructed a proof similar to yours." The letter appears in (Grattan-Guinness 1971, p. 124.) harv error: multiple targets (2×): CITEREFGrattan-Guinness1971 (help)

References

[edit]
  1. ^ Cantor 1883, p. 556 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, pp. 890–891 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).(CHECKED!)
  2. ^ Leibniz 1840, p. 244 harvnb error: multiple targets (2×): CITEREFLeibniz1840 (help). English translation: Leibniz 1896, p. 163 harvnb error: multiple targets (2×): CITEREFLeibniz1896 (help).
  3. ^ a b Cantor 1883, pp. 556–557 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 891 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).(CHECKED!)
  4. ^ Cantor 1883, pp. 550–551 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, p. 886 harvnb error: multiple targets (2×): CITEREFEwald1996 (help).(CHECKED!) Cantor's later definitions of nω and ωn are used here. His 1883 definitions were reversed so that ωn = ω ≠ nω.
  5. ^ Cantor 1883, pp. 555 harvnb error: multiple targets (2×): CITEREFCantor1883 (help); English translation: Ewald 1996, pp. 889–890 harvnb error: multiple targets (2×): CITEREFEwald1996 (help) (CHECKED).
  6. ^ Garciadiego 1994, p. 629 harvnb error: multiple targets (2×): CITEREFGarciadiego1994 (help).
  7. ^ Hallett 1986, p. 286 harvnb error: multiple targets (2×): CITEREFHallett1986 (help).
  8. ^ Dauben 1993, pp. 9–10 harvnb error: multiple targets (2×): CITEREFDauben1993 (help).
  9. ^ Purkert 1989, p. 56 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help).
  10. ^ Purkert 1989, p. 58 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help).
  11. ^ Purkert 1989, p. 59 harvnb error: multiple targets (2×): CITEREFPurkert1989 (help).
  12. ^ Gray 1994, pp. 820–821, 827 harvnb error: multiple targets (2×): CITEREFGray1994 (help).
  13. ^ Kanamori 1996, p. 4 harvnb error: multiple targets (2×): CITEREFKanamori1996 (help).

Bibliography

[edit]
* REMOVE BEFORE PUBLISHING!!]

(1) CHECKED in Refs.

(2) Hallett, p. 165-8, 173-5 (see SUBJECT INDEX: p. 324 "absolute or inconsistent collections ... and Cantor's Absolute"