background preloader

Set theory

Set theory
The modern study of set theory was initiated by Georg Cantor and Richard Dedekind in the 1870s. After the discovery of paradoxes in naive set theory, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with the axiom of choice, are the best-known. Set theory is commonly employed as a foundational system for mathematics, particularly in the form of Zermelo–Fraenkel set theory with the axiom of choice. Beyond its foundational role, set theory is a branch of mathematics in its own right, with an active research community. History[edit] Mathematical topics typically emerge and evolve through interactions among many researchers. Since the 5th century BC, beginning with Greek mathematician Zeno of Elea in the West and early Indian mathematicians in the East, mathematicians had struggled with the concept of infinity. Cantor's work initially polarized the mathematicians of his day. Basic concepts and notation[edit] Some ontology[edit] Related:  The problems with philosophy

Zeroth-order logic First-order logic without variables or quantifiers Arity In logic, mathematics, and computer science, the arity Examples[edit] The term "arity" is rarely employed in everyday usage. A nullary function takes no arguments.A unary function takes one argument.A binary function takes two arguments.A ternary function takes three arguments.An n-ary function takes n arguments. Nullary[edit] Unary[edit] Binary[edit] Most operators encountered in programming are of the binary form. Ternary[edit] with arbitrary precision. n-ary[edit] From a mathematical point of view, a function of n arguments can always be considered as a function of one single argument which is an element of some product space. The same is true for programming languages, where functions taking several arguments could always be defined as functions taking a single argument of some composite type such as a tuple, or in languages with higher-order functions, by currying. Variable arity[edit] In computer science, a function accepting a variable number of arguments is called variadic.

Category:Formal methods From Wikipedia, the free encyclopedia Formal methods are mathematical approaches to software and hardware computer-based system development from requirements, specification and design through to programming and implementation. They form an important theoretical underpinning for software engineering, especially where safety or security is involved. Subcategories This category has the following 18 subcategories, out of 18 total. Pages in category "Formal methods" The following 102 pages are in this category, out of 102 total.

Structure Arrangement of interrelated elements in an object/system, or the object/system itself Load-bearing[edit] Buildings, aircraft, skeletons, anthills, beaver dams, bridges and salt domes are all examples of load-bearing structures. The structure elements are combined in structural systems. Load-bearing biological structures such as bones, teeth, shells, and tendons derive their strength from a multilevel hierarchy of structures employing biominerals and proteins, at the bottom of which are collagen fibrils.[4] Biological[edit] In another context, structure can also observed in macromolecules, particularly proteins and nucleic acids.[6] The function of these molecules is determined by their shape as well as their composition, and their structure has multiple levels. Chemical[edit] Chemical structure refers to both molecular geometry and electronic structure. Mathematical[edit] Musical[edit] Social[edit] A social structure is a pattern of relationships. Data[edit] Software[edit] Logical[edit]

Cartesian product Cartesian product of the sets and The simplest case of a Cartesian product is the Cartesian square, which returns a set from two sets. A Cartesian product of n sets can be represented by an array of n dimensions, where each element is an n-tuple. The Cartesian product is named after René Descartes,[1] whose formulation of analytic geometry gave rise to the concept. Examples[edit] A deck of cards[edit] An illustrative example is the standard 52-card deck. Ranks × Suits returns a set of the form {(A, ♠), (A, ♥), (A, ♦), (A, ♣), (K, ♠), ..., (3, ♣), (2, ♠), (2, ♥), (2, ♦), (2, ♣)}. Suits × Ranks returns a set of the form {(♠, A), (♠, K), (♠, Q), (♠, J), (♠, 10), ..., (♣, 6), (♣, 5), (♣, 4), (♣, 3), (♣, 2)}. A two-dimensional coordinate system[edit] An example in analytic geometry is the Cartesian plane. Most common implementation (set theory)[edit] A formal definition of the Cartesian product from set-theoretical principles follows from a definition of ordered pair. . , where For example: Similarly

Vicious circle principle Principle prohibiting the defining of objects using properties dependent on said object However, it also blocks one standard definition of the natural numbers. First, we define a property as being "hereditary" if, whenever a number n has the property, so does n +1. Then we say that x has the property of being a natural number if and only if it has every hereditary property that 0 has. This definition is blocked, because it defines "natural number" in terms of the totality of all hereditary properties, but "natural number" itself would be such a hereditary property, so the definition is circular in this sense. Most modern mathematicians and philosophers of mathematics think that this particular definition is not circular in any problematic sense, and thus they reject the vicious circle principle. This principle was the reason for Russell's development of the ramified theory of types rather than the theory of simple types. See also[edit] References[edit] External links[edit]

Model theory This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. Model theory recognises and is intimately concerned with a duality: It examines semantical elements (meaning and truth) by means of syntactical elements (formulas and proofs) of a corresponding language. To quote the first page of Chang and Keisler (1990):[1] universal algebra + logic = model theory. Model theory developed rapidly during the 1990s, and a more modern definition is provided by Wilfrid Hodges (1997): although model theorists are also interested in the study of fields. In a similar way to proof theory, model theory is situated in an area of interdisciplinarity among mathematics, philosophy, and computer science. Branches of model theory[edit] This article focuses on finitary first order model theory of infinite structures. During the last several decades applied model theory has repeatedly merged with the more pure stability theory. and or

Signature (logic) In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures are used for both purposes. Signatures play the same role in mathematics as type signatures in computer programming. They are rarely made explicit in more philosophical treatments of logic. Formally, a (single-sorted) signature can be defined as a triple σ = (Sfunc, Srel, ar), where Sfunc and Srel are disjoint sets not containing any other basic logical symbols, called respectively function symbols (examples: +, ×, 0, 1) andrelation symbols or predicates (examples: ≤, ∈), and a function ar: Sfunc Srel → which assigns a non-negative integer called arity to every function or relation symbol. A signature with no function symbols is called a relational signature, and a signature with no relation symbols is called an algebraic signature. Symbol types S.

Related: