|
Winning Strategy
Determinacy is a subfield of game theory and set theory that examines the conditions under which one or the other player of a game has a winning strategy, and the consequences of the existence of such strategies. Alternatively and similarly, "determinacy" is the property of a game whereby such a strategy exists. Determinacy was introduced by Gale and Stewart in 1950, under the name determinateness. The games studied in set theory are usually Gale–Stewart games—two-player games of perfect information in which the players make an infinite sequence of moves and there are no draws. The field of game theory studies more general kinds of games, including games with draws such as tic-tac-toe, chess, or infinite chess, or games with imperfect information such as poker. Basic notions Games The first sort of game we shall consider is the two-player game of perfect information of length ω, in which the players play natural numbers. These games are often called Gale–Stew ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Game Theory
Game theory is the study of mathematical models of strategic interactions. It has applications in many fields of social science, and is used extensively in economics, logic, systems science and computer science. Initially, game theory addressed two-person zero-sum games, in which a participant's gains or losses are exactly balanced by the losses and gains of the other participant. In the 1950s, it was extended to the study of non zero-sum games, and was eventually applied to a wide range of Human behavior, behavioral relations. It is now an umbrella term for the science of rational Decision-making, decision making in humans, animals, and computers. Modern game theory began with the idea of mixed-strategy equilibria in two-person zero-sum games and its proof by John von Neumann. Von Neumann's original proof used the Brouwer fixed-point theorem on continuous mappings into compact convex sets, which became a standard method in game theory and mathematical economics. His paper was f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Donald A
Donald is a Scottish masculine given name. It is derived from the Goidelic languages, Gaelic name ''Dòmhnall''.. This comes from the Proto-Celtic language, Proto-Celtic *''Dumno-ualos'' ("world-ruler" or "world-wielder"). The final -''d'' in ''Donald'' is partly derived from a misinterpretation of the Gaelic pronunciation by English speakers. A short form of Donald is Don (given name), Don, and pet forms of Donald include Donnie and Donny. The feminine given name Donella (other) , Donella is derived from Donald. ''Donald'' has cognates in other Celtic languages: Irish language, Modern Irish ''Dónal'' (anglicised as ''Donal'' and ''Donall'');. Scottish Gaelic ''Dòmhnall'', ''Domhnull'' and ''Dòmhnull''; Welsh language, Welsh ''Dyfnwal (other), Dyfnwal'' and Cumbric ''Dumnagual''. Although the feminine given name ''Donna (given name), Donna'' is sometimes used as a feminine form of ''Donald'', the names are not etymologically related. Variations King ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Set
In the mathematical field of descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a Polish space. These sets were first defined by and his student . Definition There are several equivalent definitions of analytic set. The following conditions on a subspace ''A'' of a Polish space ''X'' are equivalent: *''A'' is analytic. *''A'' is empty or a continuous image of the Baire space ωω. *''A'' is a Suslin space, in other words ''A'' is the image of a Polish space under a continuous mapping. *''A'' is the continuous image of a Borel set in a Polish space. *''A'' is a Suslin set, the image of the Suslin operation. *There is a Polish space Y and a Borel set B\subseteq X\times Y such that A is the projection of B onto X; that is, : A=\. *''A'' is the projection of a closed set in the cartesian product of ''X'' with the Baire space. *''A'' is the projection of a Gδ set in the cartesian product of ''X'' with the Cantor space 2� ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inner Model
In set theory, a branch of mathematical logic, an inner model for a theory ''T'' is a substructure of a model ''M'' of a set theory that is both a model for ''T'' and contains all the ordinals of ''M''. Definition Let ''L'' = ⟨∈⟩ be the language of set theory. Let ''S'' be a particular set theory, for example the ZFC axioms and let ''T'' (possibly the same as ''S'') also be a theory in ''L.'' If ''M'' is a model for ''S,'' and ''N'' is an such that # ''N'' is a substructure of ''M,'' i.e. the interpretation ∈''N'' of ∈ in ''N'' is ∈''M'' ∩ ''N''2 # ''N'' is a model of ''T'' # the domain of ''N'' is a transitive class of ''M'' # ''N'' contains all ordinals in ''M'' then we say that ''N'' is an inner model of ''T'' (in ''M''). Usually ''T'' will equal (or subsume) ''S'', so that ''N'' is a model for ''S'' 'inside' the model ''M'' of ''S''. If only conditions 1 and 2 hold, ''N'' is called a standard model of ''T'' (in ''M''), a ''standard ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pointclass
In the mathematical field of descriptive set theory, a pointclass is a collection of Set (mathematics), sets of point (mathematics), points, where a ''point'' is ordinarily understood to be an element of some perfect set, perfect Polish space. In practice, a pointclass is usually characterized by some sort of ''definability property''; for example, the collection of all open sets in some fixed collection of Polish spaces is a pointclass. (An open set may be seen as in some sense definable because it cannot be a purely arbitrary collection of points; for any point in the set, all points sufficiently close to that point must also be in the set.) Pointclasses find application in formulating many important principles and theorems from set theory and real analysis. Strong set-theoretic principles may be stated in terms of the determinacy of various pointclasses, which in turn implies that sets in those pointclasses (or sometimes larger ones) have regularity properties such as Lebesgue m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Large Cardinal
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least α such that α=ωα). The proposition that such cardinals exist cannot be proved in the most common axiomatization of set theory, namely ZFC, and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in Dana Scott's phrase, as quantifying the fact "that if you want more you have to assume more". There is a rough convention that results provable from ZFC alone may be stated without hypotheses, but that if the proof requires other assumptions (such as the existence of large cardinals), these should be stated. Whether this is simply a linguistic convention, or something more, is a controversial point among distinct ph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Second-order Arithmetic
In mathematical logic, second-order arithmetic is a collection of axiomatic systems that formalize the natural numbers and their subsets. It is an alternative to axiomatic set theory as a foundation of mathematics, foundation for much, but not all, of mathematics. A precursor to second-order arithmetic that involves third-order parameters was introduced by David Hilbert and Paul Bernays in their book ''Grundlagen der Mathematik''. The standard axiomatization of second-order arithmetic is denoted by Z2. Second-order arithmetic includes, but is significantly stronger than, its first-order logic, first-order counterpart Peano_axioms#Peano_arithmetic_as_first-order_theory, Peano arithmetic. Unlike Peano arithmetic, second-order arithmetic allows Quantification (logic), quantification over sets of natural numbers as well as numbers themselves. Because real numbers can be represented as (infinite set, infinite) sets of natural numbers in well-known ways, and because second-order arithmet ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reverse Mathematics
Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms. It can be conceptualized as sculpting out necessary conditions from sufficient ones. The reverse mathematics program was foreshadowed by results in set theory such as the classical theorem that the axiom of choice and Zorn's lemma are equivalent over ZF set theory. The goal of reverse mathematics, however, is to study possible axioms of ordinary theorems of mathematics rather than possible axioms for set theory. Reverse mathematics is usually carried out using subsystems of second-order arithmetic,Simpson, Stephen G. (2009), Subsystems of second-order arithmetic, Perspectives in Logic (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511581007, ISBN 97 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transfinite Induction
Transfinite induction is an extension of mathematical induction to well-ordered sets, for example to sets of ordinal numbers or cardinal numbers. Its correctness is a theorem of ZFC. Induction by cases Let P(\alpha) be a property defined for all ordinals \alpha. Suppose that whenever P(\beta) is true for all \beta < \alpha, then is also true. Then transfinite induction tells us that is true for all ordinals. Usually the proof is broken down into three cases: * Zero case: Prove that is true. * Successor case: Prove that for any successor ordinal , follows from (and, if necessary, for all ). * Limit case: Prove that for any [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom Of Power Set
In mathematics, the axiom of power set is one of the Zermelo–Fraenkel axioms of axiomatic set theory. It guarantees for every set x the existence of a set \mathcal(x), the power set of x, consisting precisely of the subsets of x. By the axiom of extensionality, the set \mathcal(x) is unique. The axiom of power set appears in most axiomatizations of set theory. It is generally considered uncontroversial, although constructive set theory prefers a weaker version to resolve concerns about predicativity. Formal statement The subset relation \subseteq is not a primitive notion in formal set theory and is not used in the formal language of the Zermelo–Fraenkel axioms. Rather, the subset relation \subseteq is defined in terms of set membership, \in. Given this, in the formal language of the Zermelo–Fraenkel axioms, the axiom of power set reads: :\forall x \, \exists y \, \forall z \, \in y \iff \forall w \, (w \in z \Rightarrow w \in x)/math> where ''y'' is the power s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom Of Replacement
In set theory, the axiom schema of replacement is a schema of axioms in Zermelo–Fraenkel set theory (ZF) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite sets in ZF. The axiom schema is motivated by the idea that whether a class is a set depends only on the cardinality of the class, not on the rank of its elements. Thus, if one class is "small enough" to be a set, and there is a surjection from that class to a second class, the axiom states that the second class is also a set. However, because ZFC only speaks of sets, not proper classes, the schema is stated only for definable surjections, which are identified with their defining formulas. Statement Suppose P is a definable binary relation (which may be a proper class) such that for every set x there is a unique set y such that P(x,y) holds. There is a corresponding definable function F_P, where F_P(x)=y if and only if P(x,y). Consid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harvey Friedman (mathematician)
Harvey Friedman (born 23 September 1948)Handbook of Philosophical Logic, , p. 38 is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years, this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete". Biography Friedman is the brother of mathematician Sy Friedman. Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, at age 19, with a dissertation on ''Subsystems of Analysis''. His advisor was Gerald Sacks. Friedman received the Alan T. Waterman Award in 1984. He also assumed the title of Visiting Scientist at IBM. He delivered the Tarski Lectures in 2007. In 1967, Friedman was listed in the ''Guinness Book of World Records'' for being ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
