Galileo's Paradox
Galileo's paradox is a demonstration of one of the surprising properties of infinite sets. In his final scientific work, ''Two New Sciences'', Galileo Galilei made apparently contradictory statements about the positive integers. First, some numbers are squares, while others are not; therefore, all the numbers, including both squares and non-squares, must be more numerous than just the squares. And yet, for every number there is exactly one square; hence, there cannot be more of one than of the other. This is an early use, though not the first, of the idea of one-to-one correspondence in the context of infinite sets. Galileo concluded that the ideas of ''less'', ''equal'', and ''greater'' apply to (what we would now call) finite sets, but not to infinite sets. In the nineteenth century Cantor found a framework in which this restriction is not necessary; it is possible to define comparisons amongst infinite sets in a meaningful way (by which definition the two sets, integers and sq ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Infinite Set
In set theory, an infinite set is a set that is not a finite set. Infinite sets may be countable or uncountable. Properties The set of natural numbers (whose existence is postulated by the axiom of infinity) is infinite. It is the only set that is directly required by the axioms to be infinite. The existence of any other infinite set can be proved in Zermelo–Fraenkel set theory (ZFC), but only by showing that it follows from the existence of the natural numbers. A set is infinite if and only if for every natural number, the set has a subset whose cardinality is that natural number. If the axiom of choice holds, then a set is infinite if and only if it includes a countable infinite subset. If a set of sets is infinite or contains an infinite element, then its union is infinite. The power set of an infinite set is infinite. Any superset of an infinite set is infinite. If an infinite set is partitioned into finitely many subsets, then at least one of them must be infinite. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Duns Scotus
John Duns Scotus ( – 8 November 1308), commonly called Duns Scotus ( ; ; "Duns the Scot"), was a Scottish Catholic priest and Franciscan friar, university professor, philosopher, and theologian. He is one of the four most important Christian philosopher-theologians of Western Europe in the High Middle Ages, together with Thomas Aquinas, Bonaventure, and William of Ockham. Scotus has had considerable influence on both Catholic and secular thought. The doctrines for which he is best known are the "univocity of being", that existence is the most abstract concept we have, applicable to everything that exists; the formal distinction, a way of distinguishing between different aspects of the same thing; and the idea of haecceity, the property supposed to be in each individual thing that makes it an individual. Scotus also developed a complex argument for the existence of God, and argued for the Immaculate Conception of Mary. Duns Scotus was given the scholastic accolade ' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Paradoxes Of Set Theory
This article contains a discussion of paradoxes of set theory. As with most mathematical paradoxes, they generally reveal surprising and counter-intuitive mathematical results, rather than actual logical contradictions within modern axiomatic set theory. Basics Cardinal numbers Set theory as conceived by Georg Cantor assumes the existence of infinite sets. As this assumption cannot be proved from first principles it has been introduced into axiomatic set theory by the axiom of infinity, which asserts the existence of the set N of natural numbers. Every infinite set which can be enumerated by natural numbers is the same size (cardinality) as N, and is said to be countable. Examples of countably infinite sets are the natural numbers, the even numbers, the prime numbers, and also all the rational numbers, i.e., the fractions. These sets have in common the cardinal number , N, = \aleph_0 (aleph-nought), a number greater than every natural number. Cardinal numbers can be defined a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
PhilSci-Archive
The Center for Philosophy of Science is an academic center located at the University of Pittsburgh in Pittsburgh, Pennsylvania, dedicated to research in the philosophy of science. The center was founded by Adolf Grünbaum in 1960. The current director of the center is Edouard Machery. Overview Currently, the center hosts the Visiting Fellows Program, the Postdoctoral Fellowship Program, the Senior Visiting Fellows program, and the Annual Lecture Series. Additionally, every four years the center hosts the International Fellows Conference for current and former fellows. In conjunction with the University Library System, the Center created and operates PhilSci-Archive (philsci-archive.pitt.edu), a preprint server for professional work in philosophy of science. The center has international partnerships with the University of Konstanz, the University of Athens, the National Technical University of Athens, the University of A Coruña, the University of Catania, and Tsinghua University. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hilbert's Paradox Of The Grand Hotel
Hilbert's paradox of the Grand Hotel (colloquial: Infinite Hotel Paradox or Hilbert's Hotel) is a thought experiment which illustrates a counterintuitive property of infinite sets. It is demonstrated that a fully occupied hotel with infinitely many rooms may still accommodate additional guests, even infinitely many of them, and this process may be repeated infinitely often. The idea was introduced by David Hilbert in a 1924 lecture "Über das Unendliche", reprinted in , and was popularized through George Gamow's 1947 book '' One Two Three... Infinity''. The paradox Consider a hypothetical hotel with a countably infinite number of rooms, all of which are occupied. One might be tempted to think that the hotel would not be able to accommodate any newly arriving guests, as would be the case with a finite number of rooms, where the pigeonhole principle would apply. Finitely many new guests Suppose a new guest arrives and wishes to be accommodated in the hotel. We can (simultaneously) ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dedekind-infinite Set
In mathematics, a set ''A'' is Dedekind-infinite (named after the German mathematician Richard Dedekind) if some proper subset ''B'' of ''A'' is equinumerous to ''A''. Explicitly, this means that there exists a bijective function from ''A'' onto some proper subset ''B'' of ''A''. A set is Dedekind-finite if it is not Dedekind-infinite (i.e., no such bijection exists). Proposed by Dedekind in 1888, Dedekind-infiniteness was the first definition of "infinite" that did not rely on the definition of the natural numbers. A simple example is \mathbb, the set of natural numbers. From Galileo's paradox, there exists a bijection that maps every natural number ''n'' to its square ''n''2. Since the set of squares is a proper subset of \mathbb, \mathbb is Dedekind-infinite. Until the foundational crisis of mathematics showed the need for a more careful treatment of set theory, most mathematicians assumed that a set is infinite if and only if it is Dedekind-infinite. In the early twentiet ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dominus
Dominus or domini may refer to: * Dominus (title), a title of sovereignty, clergy and other uses Art, entertainment, and media * Dominus (band), a Danish death metal band * Dominus (DC Comics), an alien character in DC Comics * Dominus (Marvel Comics), an alien computer in Marvel Comics * ''Dominus'' (video game), a 1994 DOS computer game * "Dominus" (''Voltron: The Third Dimension''), a 1998 episode People * Amy Domini, American investment adviser and author * Sergio Domini (born 1961), Italian professional football player * Tommaso Domini (born 1989), Italian football midfielder * Vincenzo de Domini (1816–1903), Venetian patriot and officer in the Austrian Navy * Domini Blythe (1947–2010), British-born Canadian actress * Domini Crosfield (1884–1963), British politician and tennis player Other uses * ''Tajuria dominus'', species of butterfly in the genus ''Tajuria'' * Dominus Estate, a Napa Valley winery * Dominus (genus), genus of sea snails See also * Anno Domini ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dover Publications
Dover Publications, also known as Dover Books, is an American book publisher founded in 1941 by Hayward and Blanche Cirker. It primarily reissues books that are out of print from their original publishers. These are often, but not always, books in the public domain. The original published editions may be scarce or historically significant. Dover republishes these books, making them available at a significantly reduced cost. Classic reprints Dover reprints classic works of literature, classical sheet music, and public-domain images from the 18th and 19th centuries. Dover also publishes an extensive collection of mathematical, scientific, and engineering texts. It often targets its reprints at a niche market, such as woodworking. Starting in 2015, the company branched out into graphic novel reprints, overseen by Dover acquisitions editor and former comics writer and editor Drew Ford. Most Dover reprints are photo facsimiles of the originals, retaining the original pagination and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dialogues Concerning Two New Sciences
The ''Discourses and Mathematical Demonstrations Relating to Two New Sciences'' ( it, Discorsi e dimostrazioni matematiche intorno a due nuove scienze ) published in 1638 was Galileo Galilei's final book and a scientific testament covering much of his work in physics over the preceding thirty years. It was written partly in Italian and partly in Latin. After his ''Dialogue Concerning the Two Chief World Systems'', the Roman Inquisition had banned the publication of any of Galileo's works, including any he might write in the future. After the failure of his initial attempts to publish ''Two New Sciences'' in France, Germany, and Poland, it was published by Lodewijk Elzevir who was working in Leiden, South Holland, where the writ of the Inquisition was of less consequence (see House of Elzevir). Fra Fulgenzio Micanzio, the official theologian of the Republic of Venice, had initially offered to help Galileo publish in Venice the new work, but he pointed out that publishing the ''T ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cantor's Theorem
In mathematical set theory, Cantor's theorem is a fundamental result which states that, for any set A, the set of all subsets of A, the power set of A, has a strictly greater cardinality than A itself. For finite sets, Cantor's theorem can be seen to be true by simple enumeration of the number of subsets. Counting the empty set as a subset, a set with n elements has a total of 2^n subsets, and the theorem holds because 2^n > n for all non-negative integers. Much more significant is Cantor's discovery of an argument that is applicable to any set, and shows that the theorem holds for infinite sets also. As a consequence, the cardinality of the real numbers, which is the same as that of the power set of the integers, is strictly larger than the cardinality of the integers; see Cardinality of the continuum for details. The theorem is named for German mathematician Georg Cantor, who first stated and proved it at the end of the 19th century. Cantor's theorem had immediate and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Two New Sciences
The ''Discourses and Mathematical Demonstrations Relating to Two New Sciences'' ( it, Discorsi e dimostrazioni matematiche intorno a due nuove scienze ) published in 1638 was Galileo Galilei's final book and a scientific testament covering much of his work in physics over the preceding thirty years. It was written partly in Italian and partly in Latin. After his ''Dialogue Concerning the Two Chief World Systems'', the Roman Inquisition had banned the publication of any of Galileo's works, including any he might write in the future. After the failure of his initial attempts to publish ''Two New Sciences'' in France, Germany, and Poland, it was published by Lodewijk Elzevir who was working in Leiden, South Holland, where the writ of the Inquisition was of less consequence (see House of Elzevir). Fra Fulgenzio Micanzio, the official theologian of the Republic of Venice, had initially offered to help Galileo publish in Venice the new work, but he pointed out that publishing the ''T ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cardinality
In mathematics, the cardinality of a set is a measure of the number of elements of the set. For example, the set A = \ contains 3 elements, and therefore A has a cardinality of 3. Beginning in the late 19th century, this concept was generalized to infinite sets, which allows one to distinguish between different types of infinity, and to perform arithmetic on them. There are two approaches to cardinality: one which compares sets directly using bijections and injections, and another which uses cardinal numbers. The cardinality of a set is also called its size, when no confusion with other notions of size is possible. The cardinality of a set A is usually denoted , A, , with a vertical bar on each side; this is the same notation as absolute value, and the meaning depends on context. The cardinality of a set A may alternatively be denoted by n(A), , \operatorname(A), or \#A. History A crude sense of cardinality, an awareness that groups of things or events compare with other grou ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |