His continuum hypothesis is the proposition that ???? is the same as ℵ1. This hypothesis has been found to be independent of the standard axioms of mathematical set theory; it can neither be proved nor disproved from the standard assumptions.
The continuum hypothesis (CH) states that there are no cardinals strictly between ℵ0 and 2ℵ0. The latter cardinal number is also often denoted by ????; it is the cardinality of the continuum (the set of real numbers). In this case 2ℵ0 = ℵ1. The generalized continuum hypothesis (GCH) states that for every infinite set X, there are no cardinals strictly between | X | and 2| X |. The continuum hypothesis is independent of the usual axioms of set theory, the Zermelo-Fraenkel axioms together with the axiom of choice (ZFC).
Name:
Anonymous2013-08-31 8:43
Physicists however require that the end result be physically meaningful. In quantum field theory infinities arise which need to be interpreted in such a way as to lead to a physically meaningful result, a process called renormalization.
General set theory, a small fragment of Zermelo set theory sufficient for the Peano axioms and finite sets;
Name:
Anonymous2013-08-31 10:13
ZF set theory does not formalize the notion of classes. They can instead be described in the metalanguage, as equivalence classes of logical formulas. For example, if \mathcal A is a structure interpreting ZF, then the metalanguage expression \{x\mid x=x \} is interpreted in \mathcal A by the collection of all the elements from the domain of \mathcal A; that is, all the sets in \mathcal A. So we can identify the "class of all sets" with the predicate x=x or any equivalent predicate.
Similarly, although a subset of the real numbers that is not Lebesgue measurable can be proven to exist using the axiom of choice, it is consistent that no such set is definable.
He is known for his role in developing Zermelo–Fraenkel axiomatic set theory and his proof of the well-ordering theorem.
Name:
Anonymous2013-08-31 13:06
Exponentiation is given by
|X||Y| = |XY|
where XY is the set of all functions from Y to X.
Name:
Anonymous2013-08-31 13:15
So I've been out of the loop for several months now.
Name:
Anonymous2013-08-31 13:52
One of Cantor's most important results was that the cardinality of the continuum \mathbf c is greater than that of the natural numbers {leph_0}; that is, there are more real numbers R than natural numbers N. Namely, Cantor showed that \mathbf{c} = 2^{leph_0} > {leph_0} (see Cantor's diagonal argument or Cantor's first uncountability proof).
Name:
Anonymous2013-08-31 14:01
If by god you mean the imaginary half naked old man that lives in the head of all American Christians then yes.
Name:
Anonymous2013-08-31 14:37
Union of the sets A and B, denoted A ∪ B, is the set of all objects that are a member of A, or B, or both. The union of {1, 2, 3} and {2, 3, 4} is the set {1, 2, 3, 4} .
Name:
Anonymous2013-08-31 14:46
which mima is better legs mima or ghost cloud mima?
Name:
Anonymous2013-08-31 15:23
From set theory's inception, some mathematicians have objected to it as a foundation for mathematics. The most common objection to set theory, one Kronecker voiced in set theory's earliest years, starts from the constructivist view that mathematics is loosely related to computation. If this view is granted, then the treatment of infinite sets, both in naive and in axiomatic set theory, introduces into mathematics methods and objects that are not computable even in principle.
Name:
Anonymous2013-08-31 16:08
In the even simpler case of a collection of one set, a choice function just corresponds to an element, so this instance of the axiom of choice says that every nonempty set has an element; this holds trivially. The axiom of choice can be seen as asserting the generalization of this property, already evident for finite collections, to arbitrary collections
Zorn's lemma: Every non-empty partially ordered set in which every chain (i.e. totally ordered subset) has an upper bound contains at least one maximal element.
Name:
Anonymous2013-08-31 17:38
There exists a model of ZF¬C in which there is a field with no algebraic closure.
endomorphism if a = b. end(a) denotes the class of endomorphisms of a.
Name:
Anonymous2013-08-31 19:08
Monomorphism: f : X → Y is called a monomorphism if f ∘ g1 = f ∘ g2 implies g1 = g2 for all morphisms g1, g2 : Z → X. It is also called a mono or a monic
Formally, the order among cardinal numbers is defined as follows: |X| ≤ |Y| means that there exists an injective function from X to Y. The Cantor–Bernstein–Schroeder theorem states that if |X| ≤ |Y| and |Y| ≤ |X| then |X| = |Y|. The axiom of choice is equivalent to the statement that given two sets X and Y, either |X| ≤ |Y| or |Y| ≤ |X|
The infinity symbol \infty (sometimes called the lemniscate) is a mathematical symbol representing the concept of infinity. The symbol is encoded in Unicode at U+221E ∞ infinity (HTML: ∞ ∞) and in LaTeX as \infty.
Name:
Anonymous2013-08-31 21:28
In languages that do not provide explicit access to such values from the initial state of the program, but do implement the floating point data type, the infinity values might still be accessible and usable as the result of certain operations.
Combinatorial set theory concerns extensions of finite combinatorics to infinite sets. This includes the study of cardinal arithmetic and the study of extensions of Ramsey's theorem such as the Erdős–Rado theorem.
Name:
Anonymous2013-08-31 22:58
A choice function is a function f, defined on a collection X of nonempty sets, such that for every set s in X, f(s) is an element of s. With this concept, the axiom can be stated:
In constructive set theory, however, Diaconescu's theorem shows that the axiom of choice implies the Law of excluded middle (unlike in Martin-Löf type theory, where it does not). Thus the axiom of choice is not generally available in constructive set theory.
By studying categories and functors, we are not just studying a class of mathematical structures and the morphisms between them; we are studying the relationships between various classes of mathematical structures. This is a fundamental idea, which first surfaced in algebraic topology.
Name:
Anonymous2013-09-01 1:59
Stanislaw Ulam, and some writing on his behalf, have claimed that related ideas were current in the late 1930s in Poland. Eilenberg was Polish, and studied mathematics in Poland in the 1930s. Category theory is also, in some sense, a continuation of the work of Emmy Noether (one of Mac Lane's teachers) in formalizing abstract processes; Noether realized that in order to understand a type of mathematical structure, one needs to understand the processes preserving that structure. In order to achieve this understanding, Eilenberg and Mac Lane proposed an axiomatic formalization of the relation between structures and the processes preserving them.