The Absolute Infinite is mathematician Georg Cantor's concept of an "infinity" that transcended the transfinite numbers. A mathematician is a person whose primary area of study and research is the field of Mathematics. Georg Ferdinand Ludwig Philipp Cantor ( – January 6 1918) was a German Mathematician, born in Russia. Infinity (symbolically represented with ∞) comes from the Latin infinitas or "unboundedness Transfinite numbers are Cardinal numbers or Ordinal numbers that are larger than all finite numbers yet not necessarily absolutely infinite. Cantor equated the Absolute Infinite with God. God is the principal or sole Deity in Religions and other belief systems that worship one deity. [1] He held that the Absolute Infinite had various mathematical properties, including that every property of the Absolute Infinite is also held by some smaller object. Infinity (symbolically represented with ∞) comes from the Latin infinitas or "unboundedness Mathematics is the body of Knowledge and Academic discipline that studies such concepts as Quantity, Structure, Space and
Contents |
Cantor's view
Cantor is quoted as saying:
The actual infinite arises in three contexts: first when it is realized in the most complete form, in a fully independent otherworldly being, in Deo, where I call it the Absolute Infinite or simply Absolute; second when it occurs in the contingent, created world; third when the mind grasps it in abstracto as a mathematical magnitude, number or order type. [2]
Cantor also mentioned the idea in his letters to Richard Dedekind (text in square brackets not present in original):[3]
A multiplicity is called well-ordered if it fulfills the condition that every sub-multiplicity has a first element; such a multiplicity I call for short a "sequence". Julius Wilhelm Richard Dedekind ( October 6, 1831 &ndash February 12, 1916) was a German mathematician who did important This article describes cardinal numbers in mathematics For cardinals in linguistics see Names of numbers in English. In Mathematics, a well-order relation (or well-ordering) on a set S is a Total order on S with the property that every In Mathematics, the elements or members of a set (or more generally a class) are all those objects which when collected together make up the
…
Now I envisage the system of all [ordinal] numbers and denote it Ω.
…
The system Ω in its natural ordering according to magnitude is a "sequence".
Now let us adjoin 0 as an additional element to this sequence, and place it, obviously, in the first position; then we obtain a sequence Ω′:
- 0, 1, 2, 3, … ω0, ω0+1, …, γ, …
of which one can readily convince oneself that every number γ occurring in it is the type [i. e. , order-type] of the sequence of all its preceding elements (including 0). (The sequence Ω has this property first for ω0+1. [ω0+1 should be ω0. ])
Now Ω′ (and therefore also Ω) cannot be a consistent multiplicity. For if Ω′ were consistent, then as a well-ordered set, a number δ would correspond to it which would be greater than all numbers of the system Ω; the number δ, however, also belongs to the system Ω, because it comprises all numbers. Thus δ would be greater than δ, which is a contradiction. Therefore:
The system Ω of all [ordinal] numbers is an inconsistent, absolutely infinite multiplicity.
The Burali-Forti paradox
The idea that the collection of all ordinal numbers cannot logically exist seems paradoxical to many. In Set theory, a field of Mathematics, the Burali-Forti paradox demonstrates that naively constructing "the set of all Ordinal numbers quot leads to A paradox is a true statement or group of statements that leads to a Contradiction or a situation which defies intuition; or inversely This is related to Cesare Burali-Forti's "paradox" that there can be no greatest ordinal number. In Set theory, a field of Mathematics, the Burali-Forti paradox demonstrates that naively constructing "the set of all Ordinal numbers quot leads to In Set theory, an ordinal number, or just ordinal, is the Order type of a Well-ordered set. All of these problems can be traced back to the idea that, for every property that can be logically defined, there exists a set of all objects that have that property. However, as in Cantor's argument (above), this idea leads to difficulties.
More generally, as noted by A.W. Moore, there can be no end to the process of set formation, and thus no such thing as the totality of all sets, or the set hierarchy. Any such totality would itself have to be a set, thus lying somewhere within the hierarchy and thus failing to contain every set. In Set theory and related branches of Mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted V, is the class
A standard solution to this problem is found in Zermelo's set theory, which does not allow the unrestricted formation of sets from arbitrary properties. Zermelo set theory, as set out in an important paper in 1908 by Ernst Zermelo, is the ancestor of modern Set theory. Rather, we may form the set of all objects that have a given property and lie in some given set (Zermelo's Axiom of Separation). In Axiomatic set theory and the branches of Logic, Mathematics, and Computer science that use it the axiom schema of specification, axiom This allows for the formation of sets based on properties, in a limited sense, while (hopefully) preserving the consistency of the theory.
However, while this neatly solves the logical problem, the philosophical problem remains. It seems natural that a set of individuals ought to exist, so long as the individuals exist. Indeed, naive set theory might be said to be based on this notion. Naive set theory is one of several theories of sets used in the discussion of the Foundations of mathematics. Although Zermelo's fix allows a class to describe arbitrary (possibly "large") entities, these predicates of the meta-language may have no formal existence (i. In Set theory and its applications throughout Mathematics, a class is a collection of sets (or sometimes other mathematical objects that can be unambiguously In Logic and Linguistics, a metalanguage is a Language used to make statements about statements in another language which is called the Object e. , as a set) within the theory. For example, the class of all sets would be a proper class. In Set theory and its applications throughout Mathematics, a class is a collection of sets (or sometimes other mathematical objects that can be unambiguously This is philosophically unsatisfying to some and has motivated additional work in set theory and other methods of formalizing the foundations of mathematics.
See also
References and further reading
- ^ §3. This article is about the reflection principles in set theory In Set theory and its applications throughout Mathematics, a class is a collection of sets (or sometimes other mathematical objects that can be unambiguously Infinity (symbolically represented with ∞) comes from the Latin infinitas or "unboundedness In the Philosophy of mathematics, specifically the philosophical foundations of Set theory, limitation of size is a concept developed by Philip Jourdain The Absolute is the concept of an absolute unconditional reality which transcends limited conditional everyday existence 2, Ignacio Jané (May 1995). "The role of the absolute infinite in Cantor's conception of set". Erkenntnis 42 (3): 375–402. doi:. A digital object identifier ( DOI) is a permanent identifier given to an Electronic document.
- ^ Quoted in Mind Tools: The Five Levels of Mathematical Reality, Rudy Rucker, Boston: Houghton Mifflin, 1987; ISBN 0395383153.
- ^ Gesammelte Abhandlungen[4], Georg Cantor, ed. Ernst Zermelo, Hildesheim: Georg Olms Verlagsbuchhandlung, 1962, pp. 443–447; translated into English in From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, ed. Jean van Heijenoort, Cambridge, Massachusetts: Harvard University Press, 1967, pp. 113–117. These references both purport to be a letter from Cantor to Dedekind, dated July 28, 1899. Events 1540 - Thomas Cromwell is executed at the order of Henry VIII of England on charges of Treason. Year 1899 ( MDCCCXCIX) was a Common year starting on Sunday (link will display the full calendar of the Gregorian calendar (or a Common However, as Ivor Grattan-Guinness has discovered[5], this is in fact an amalgamation by Cantor's editor, Ernst Zermelo, of two letters from Cantor to Dedekind, the first dated July 28 and the second dated August 3. Ivor Grattan-Guinness (Born 23 June 1941 Bakewell, England is a Historian of mathematics and Logic. Ernst Friedrich Ferdinand Zermelo ( July 27 1871, Berlin, German Empire – May 21 1953, Freiburg im Breisgau
- ^Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, Georg Cantor, ed. Ernst Zermelo, with biography by Adolf Fraenkel; orig. pub. Berlin: Verlag von Julius Springer, 1932; reprinted Hildesheim: Georg Olms, 1962, and Berlin: Springer-Verlag, 1980, ISBN 3540098496.
- ^The Rediscovery of the Cantor-Dedekind Correspondence, I. Grattan-Guinness, Jahresbericht der Deutschen Mathematiker-Vereinigung 76 (1974/75), pp. 104–139, at p. 126 ff.
- Infinity and the Mind, Rudy Rucker, Princeton, New Jersey: Princeton University Press, 1995, ISBN 0691001723; orig. Rudolf von Bitter Rucker (born March 22, 1946 in Louisville Kentucky) is an American Computer scientist and Science fiction pub. Boston: Birkhäuser, 1982, ISBN 3764330341.
- The Infinite, A. W. Moore, London, New York: Routledge, 1990, ISBN 0415033071.
- Set Theory, Skolem's Paradox and the Tractatus, A. W. Moore, Analysis 45, #1 (January 1985), pp. 13–20.
Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic