axiom of families
Смотреть что такое "axiom of families" в других словарях:
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Grothendieck topology — In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Grothendieck universe — In mathematics, a Grothendieck universe is a set U with the following properties:# If x is an element of U and if y is an element of x , then y is also an element of U . ( U is a transitive set.) # If x and y are both elements of U , then { x , y … Wikipedia
Anxiety/Uncertainty Management — (AUM) is a theory developed by Dr. William B. Gudykunst in an attempt to define what makes up effective communication. Gudykunst’s research began in 1985 using existing theories as a starting point. Specifically, the existing research of… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Europe, history of — Introduction history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… … Universalium
Banach–Tarski paradox — The Banach–Tarski paradox is a theorem in set theoretic geometry which states that a solid ball in 3 dimensional space can be split into several non overlapping pieces, which can then be put back together in a different way to yield two identical … Wikipedia
WALL-E — Infobox Film name = WALL E caption = Theatrical release poster director = Andrew Stanton producer = Jim Morris writer = Screenplay: Andrew Stanton Jim Reardon Story: Andrew Stanton Pete Docter starring = Ben Burtt Elissa Knight Sigourney Weaver… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Principles of Intelligent Urbanism — (PIU) is a theory of urban planning composed of a set of ten axioms intended to guide the formulation of city plans and urban designs. They are intended to reconcile and integrate diverse urban planning and management concerns. These axioms… … Wikipedia
