Who developed set theory?
19636#41
Set theory is the study of sets, which are abstract collections of objects. Many of the basic notions, such as ordinal and cardinal numbers, were developed informally by Cantor before formal axiomatizations of set theory were developed. The first such axiomatization, due to Zermelo (1908b), was extended slightly to become Zermelo–Fraenkel set theory (ZF), which is now the most widely used foundational theory for mathematics.
Mathematical logic
19636#11
Georg Cantor developed the fundamental concepts of infinite set theory. His early results developed the theory of cardinality and proved that the reals and the natural numbers have different cardinalities (Cantor 1874). Over the next twenty years, Cantor developed a theory of transfinite numbers in a series of publications. In 1891, he published a new proof of the uncountability of the real numbers that introduced the diagonal argument, and used this method to prove Cantor's theorem that no set can have the same cardinality as its powerset. Cantor believed that every set could be well-ordered, but was unable to produce a proof for this result, leaving it as an open problem in 1895 (Katz 1998, p. 807).
Mathematical logic
27553#3
Mathematical topics typically emerge and evolve through interactions among many researchers. Set theory, however, was founded by a single paper in 1874 by Georg Cantor: "On a Property of the Collection of All Real Algebraic Numbers".
Set theory
1634942#1
Some of the alternative set theories are:Specifically, Alternative Set Theory (or AST) refers to a particular set theory developed in the 1970s and 1980s by Petr Vopěnka and his students. It builds on some ideas of the theory of semisets, but also introduces more radical changes: for example, all sets are "formally" finite, which means that sets in AST satisfy the law of mathematical induction for set-formulas (more precisely: the part of AST that consists of axioms related to sets only is equivalent to the Zermelo–Fraenkel (or ZF) set theory, in which the axiom of infinity is replaced by its negation). However, some of these sets contain subclasses that are not sets, which makes them different from Cantor (ZF) finite sets and they are called infinite in AST.
Alternative set theory
10989#45
In the chapters on "point sets"—the topological chapters—Hausdorff developed for the first time, based on the known neighborhood axioms, a systematic theory of topological spaces, where in addition he added the separation axiom later named after him. This theory emerges from a comprehensive synthesis of earlier approaches of other mathematicians and Hausdorff's own reflections on the problem of space. The concepts and theorems of classical point set theory formula_22 are—as far as possible—transferred to the general case, and thus become part of the newly created general or set-theoretic topology. But Hausdorff not only performed this "translation work", but he developed also basic construction method of topology as nucleation (interior, dense-in-itself core) and shell formation (closure), and he works the fundamental importance of the concept of open set (called "area" by him) and of the compactness introduced by Fréchet. He also founded and developed the theory of the connected set, particularly through the introduction of the terms "component" and "quasi-component".
Felix Hausdorff
414788#0
Musical set theory provides concepts for categorizing musical objects and describing their relationships. Howard Hanson first elaborated many of the concepts for analyzing tonal music . Other theorists, such as Allen Forte, further developed the theory for analyzing atonal music , drawing on the twelve-tone theory of Milton Babbitt. The concepts of musical set theory are very general and can be applied to tonal and atonal styles in any equal temperament tuning system, and to some extent more generally than that.
Set theory (music)
59945#64
The logicist project received a near-fatal setback with the discovery of a paradox in 1901 by Bertrand Russell. This proved Frege's naive set theory led to a contradiction. Frege's theory contained the axiom that for any formal criterion, there is a set of all objects that meet the criterion. Russell showed that a set containing exactly the sets that are not members of themselves would contradict its own definition (if it is not a member of itself, it is a member of itself, and if it is a member of itself, it is not). This contradiction is now known as Russell's paradox. One important method of resolving this paradox was proposed by Ernst Zermelo. Zermelo set theory was the first axiomatic set theory. It was developed into the now-canonical Zermelo–Fraenkel set theory (ZF). Russell's paradox symbolically is as follows:
History of logic
54783#81
Musical set theory provides concepts for categorizing musical objects and describing their relationships. Many of the notions were first elaborated by Howard Hanson (1960) in connection with tonal music, and then mostly developed in connection with atonal music by theorists such as Allen Forte (1973), drawing on the work in twelve-tone theory of Milton Babbitt. The concepts of set theory are very general and can be applied to tonal and atonal styles in any equally tempered tuning system, and to some extent more generally than that.
Music theory
865686#0
Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the non-standard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, Nelson's approach modifies the axiomatic foundations through syntactic enrichment. Thus, the axioms introduce a new term, "standard", which can be used to make discriminations not possible under the conventional axioms for sets. Thus, IST is an enrichment of ZFC: all axioms of ZFC are satisfied for all classical predicates, while the new unary predicate "standard" satisfies three additional axioms I, S, and T. In particular, suitable non-standard elements within the set of real numbers can be shown to have properties that correspond to the properties of infinitesimal and unlimited elements.
Internal set theory
37871911#2
The ideas that led to the development of staffing theory came primarily from Roger Barker and Paul Gump, who were researchers stationed at the University of Kansas. Barker and Gump paved the road for what is now known as ecological psychology, as well as developing concepts such as behavior settings and synomorphy. In Barker and Gump's 1964 work, "Big School, Small School", the two researchers examined environmental factors as well as students' behaviors in multiple schools in northeast Kansas. More specifically, Barker and Gump were interested in whether the size of high schools had a significant effect on students' participation in and satisfaction with school activities. They started their investigation by calculating population (P) and the number of behavioral settings, or differentiation (D) values for each school. Some examples of the types of behavior settings are classes, halls, gymnasiums, administrator's offices, and lunch rooms. The data they collected had one primary interpretation: as P increases, so too does D, but not as fast. In other words, as population increases, the P/D ratio becomes smaller. These findings contradict the idea that big schools offer more opportunities for students.
Staffing theory
10409979#21
For all its usefulness in resolving questions regarding infinite sets, naive set theory has some fatal flaws. In particular, it is prey to logical paradoxes such as those exposed by Russell's paradox. The discovery of these paradoxes revealed that not all sets which can be described in the language of naive set theory can actually be said to exist without creating a contradiction. The 20th century saw a resolution to these paradoxes in the development of the various axiomatizations of set theories such as ZFC and NBG in common use today. However, the gap between the very formalized and symbolic language of these theories and our typical informal use of mathematical language results in various paradoxical situations, as well as the philosophical question of exactly what it is that such formal systems actually propose to be talking about.
Paradoxes of set theory