287 relations: A K Peters, Abraham Fraenkel, Abstract algebra, Academic Press, ACM Computing Classification System, Alan Turing, Alfred North Whitehead, Alfred Tarski, Algebraic geometry, Algebraic logic, Algorithmically random sequence, Alonzo Church, Alpha recursion theory, American Mathematical Monthly, Analysis, Arithmetic, Arithmetic function, Arithmetical hierarchy, Arithmetices principia, nova methodo exposita, Arithmetization of analysis, Augustin-Louis Cauchy, Augustus De Morgan, Automated theorem proving, Axiom, Axiom of choice, Axiom schema of replacement, Banach–Tarski paradox, Begriffsschrift, Benedikt Löwe, Benson Mates, Bernard Bolzano, Bertrand Russell, Bijection, injection and surjection, Boolean algebra, Boolean algebra (structure), Brouwer–Heyting–Kolmogorov interpretation, Burali-Forti paradox, Busy beaver, Cambridge University Press, Cantor's diagonal argument, Cantor's theorem, Cardinal number, Cardinality, Carl Gustav Hempel, Categorical logic, Category theory, Cesare Burali-Forti, Chapman & Hall, Charles Sanders Peirce, Claude Shannon, ..., Combinatory logic, Compactness theorem, Computability, Computability theory, Computable function, Computable model theory, Computational complexity theory, Computer science, Constructible universe, Constructivism (mathematics), Continuous function, Continuum hypothesis, Countable set, Cumulative hierarchy, Cut-elimination theorem, Cylindric algebra, D. C. Heath and Company, Daniel H. H. Ingalls Sr., David Hilbert, Decision problem, Dedekind cut, Deductive reasoning, Definable set, Descriptive complexity theory, Determinacy, Differentiable function, Domain of discourse, Dordrecht, Double-negation translation, Edmund Berkeley, Elementary class, Elementary equivalence, Elliptic geometry, Elsevier, Emil Leon Post, Entscheidungsproblem, Ernest Addison Moody, Ernst Schröder, Ernst Zermelo, Euclid, Fagin's theorem, First-order logic, Forcing (mathematics), Formal system, Formal verification, Foundations of mathematics, Fourier series, Frederic Fitch, Function (mathematics), Function problem, Fuzzy logic, Gödel's completeness theorem, Gödel's incompleteness theorems, Geometry, Georg Cantor, Georg Cantor's first set theory article, George Boole, George Peacock, Gerhard Gentzen, Giuseppe Peano, Gottfried Wilhelm Leibniz, Gottlob Frege, Great circle, Grundlagen der Mathematik, Halting problem, Hans Reichenbach, Heinrich Scholz, Herbert Enderton, Hermann Weyl, Heyting algebra, Higher-order logic, Hilary Putnam, Hilbert system, Hilbert's axioms, Hilbert's problems, Hilbert's program, Hilbert's tenth problem, History of logic, Hyperarithmetical theory, Impredicativity, Inaccessible cardinal, Independence (mathematical logic), Indian logic, Infinitary logic, Infinitesimal, Integer, Intuitionism, Intuitionistic logic, Isomorphism, J. L. Austin, Jan Łukasiewicz, Józef Maria Bocheński, Jean van Heijenoort, Johann Heinrich Lambert, John von Neumann, Joseph Henry Woodger, Jules Richard, Julia Robinson, Karl Menger, Karl Weierstrass, Knowledge representation and reasoning, Kripke semantics, Kripke–Platek set theory, Kurt Gödel, L. E. J. Brouwer, Lambda calculus, Large cardinal, Lattice (order), Law of excluded middle, Löb's theorem, Löwenheim–Skolem theorem, Leopold Kronecker, Leopold Löwenheim, Limitation of size, Lindström's theorem, List of computability and complexity topics, List of first-order theories, List of logic symbols, List of mathematical logic topics, List of set theory topics, Logic, Logic in China, Logic in computer science, Logic in Islamic philosophy, Logic programming, Logical consequence, London Mathematical Society, Martin Davis, Mathematical analysis, Mathematical induction, Mathematical proof, Mathematics, Mathematische Annalen, Metamathematics, Michael D. Morley, Modal logic, Model checking, Model theory, Morley's categoricity theorem, Morse–Kelley set theory, Natural deduction, Natural number, New Foundations, New York City, Nicolas Bourbaki, Nikolai Lobachevsky, Non-classical logic, Non-Euclidean geometry, Non-standard model of arithmetic, NP (complexity), O-minimal theory, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Ordinal analysis, Ordinal number, Oskar Morgenstern, Oxford University Press, Parallel postulate, Pasch's axiom, Paul Bernays, Paul Cohen, Peano axioms, Philosophy, Philotheus Boehner, Polish space, Power set, Primitive recursive function, Principia Mathematica, Programming language, Proof mining, Proof theory, Propositional calculus, Pyotr Novikov, Quantifier (logic), Quantifier elimination, RAND Corporation, Rózsa Péter, Real analysis, Real closed field, Real line, Recursive definition, Recursive set, Recursively enumerable set, Reverse mathematics, Rhetoric, Richard Dedekind, Richard Swineshead, Richard's paradox, Robert Lawson Vaught, Rudolf Carnap, Russell's paradox, Saunders Mac Lane, Second-order logic, Semantics, Semantics (computer science), Sequent calculus, Set (mathematics), Set theory, Signature (logic), Skolem's paradox, Solomon Feferman, Springer Science+Business Media, Stanford Encyclopedia of Philosophy, Stanisław Leśniewski, Stefan Banach, Stephen Cole Kleene, Stewart Shapiro, Structure (mathematical logic), Successor function, Syllogism, Syntax, Theoretical computer science, Theory (mathematical logic), Thoralf Skolem, Tibor Radó, Topos, Transactions of the American Mathematical Society, Transfinite induction, Transfinite number, Truth value, Turing degree, Turing machine, Type theory, Ulrich Kohlenbach, Universal algebra, Urelement, Vaught conjecture, Von Neumann–Bernays–Gödel set theory, W. Hugh Woodin, Weierstrass function, Well-order, Wilfrid Hodges, Word problem for groups, World Scientific, Yuri Matiyasevich, Zermelo set theory, Zermelo–Fraenkel set theory, (ε, δ)-definition of limit. Expand index (237 more) »

## A K Peters

A K Peters, Ltd. was a publisher of scientific and technical books, specializing in mathematics and in computer graphics, robotics, and other fields of computer science.

New!!: Mathematical logic and A K Peters · See more »

## Abraham Fraenkel

Abraham Halevi (Adolf) Fraenkel (אברהם הלוי (אדולף) פרנקל; February 17, 1891 – October 15, 1965), known as Abraham Fraenkel, was a German-born Israeli mathematician.

New!!: Mathematical logic and Abraham Fraenkel · See more »

## Abstract algebra

In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures.

New!!: Mathematical logic and Abstract algebra · See more »

## Academic Press

Academic Press is an academic book publisher.

New!!: Mathematical logic and Academic Press · See more »

## ACM Computing Classification System

The ACM Computing Classification System (CCS) is a subject classification system for computing devised by the Association for Computing Machinery (ACM).

New!!: Mathematical logic and ACM Computing Classification System · See more »

## Alan Turing

Alan Mathison Turing (23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher, and theoretical biologist.

New!!: Mathematical logic and Alan Turing · See more »

## Alfred North Whitehead

Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.

New!!: Mathematical logic and Alfred North Whitehead · See more »

## Alfred Tarski

Alfred Tarski (January 14, 1901 – October 26, 1983), born Alfred Teitelbaum,School of Mathematics and Statistics, University of St Andrews,, School of Mathematics and Statistics, University of St Andrews.

New!!: Mathematical logic and Alfred Tarski · See more »

## Algebraic geometry

Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials.

New!!: Mathematical logic and Algebraic geometry · See more »

## Algebraic logic

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

New!!: Mathematical logic and Algebraic logic · See more »

## Algorithmically random sequence

Intuitively, an algorithmically random sequence (or random sequence) is an infinite sequence of binary digits that appears random to any algorithm.

New!!: Mathematical logic and Algorithmically random sequence · See more »

## Alonzo Church

Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.

New!!: Mathematical logic and Alonzo Church · See more »

## Alpha recursion theory

In recursion theory, α recursion theory is a generalisation of recursion theory to subsets of admissible ordinals \alpha.

New!!: Mathematical logic and Alpha recursion theory · See more »

## American Mathematical Monthly

The American Mathematical Monthly is a mathematical journal founded by Benjamin Finkel in 1894.

New!!: Mathematical logic and American Mathematical Monthly · See more »

## Analysis

Analysis is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it.

New!!: Mathematical logic and Analysis · See more »

## Arithmetic

Arithmetic (from the Greek ἀριθμός arithmos, "number") is a branch of mathematics that consists of the study of numbers, especially the properties of the traditional operations on them—addition, subtraction, multiplication and division.

New!!: Mathematical logic and Arithmetic · See more »

## Arithmetic function

In number theory, an arithmetic, arithmetical, or number-theoretic function is for most authors any function f(n) whose domain is the positive integers and whose range is a subset of the complex numbers.

New!!: Mathematical logic and Arithmetic function · See more »

## Arithmetical hierarchy

In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy classifies certain sets based on the complexity of formulas that define them.

New!!: Mathematical logic and Arithmetical hierarchy · See more »

## Arithmetices principia, nova methodo exposita

The 1889 treatise Arithmetices principia, nova methodo exposita (The principles of arithmetic, presented by a new method; 1889) by Giuseppe Peano is a seminal document in mathematical logic and set theory, introducing what is now the standard axiomatization of the natural numbers, and known as the Peano axioms, as well as some pervasive notations, such as the symbols for the basic set operations ∈, ⊂, ∩, ∪, and ''A''−''B''.

New!!: Mathematical logic and Arithmetices principia, nova methodo exposita · See more »

## Arithmetization of analysis

The arithmetization of analysis was a research program in the foundations of mathematics carried out in the second half of the 19th century.

New!!: Mathematical logic and Arithmetization of analysis · See more »

## Augustin-Louis Cauchy

Baron Augustin-Louis Cauchy FRS FRSE (21 August 178923 May 1857) was a French mathematician, engineer and physicist who made pioneering contributions to several branches of mathematics, including: mathematical analysis and continuum mechanics.

New!!: Mathematical logic and Augustin-Louis Cauchy · See more »

## Augustus De Morgan

Augustus De Morgan (27 June 1806 – 18 March 1871) was a British mathematician and logician.

New!!: Mathematical logic and Augustus De Morgan · See more »

## Automated theorem proving

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.

New!!: Mathematical logic and Automated theorem proving · See more »

## Axiom

An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.

New!!: Mathematical logic and Axiom · See more »

## Axiom of choice

In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.

New!!: Mathematical logic and Axiom of choice · See more »

## Axiom schema 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.

New!!: Mathematical logic and Axiom schema of replacement · See more »

## Banach–Tarski paradox

The Banach–Tarski paradox is a theorem in set-theoretic geometry, which states the following: Given a solid ball in 3‑dimensional space, there exists a decomposition of the ball into a finite number of disjoint subsets, which can then be put back together in a different way to yield two identical copies of the original ball.

New!!: Mathematical logic and Banach–Tarski paradox · See more »

## Begriffsschrift

Begriffsschrift (German for, roughly, "concept-script") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book.

New!!: Mathematical logic and Begriffsschrift · See more »

## Benedikt Löwe

Benedikt Löwe (born 1972) is a German mathematician and logician, and Professor at the University of Hamburg, known for initiating the interdisciplinary conference "Foundations of the Formal Sciences" (FotFS) in 1999.

New!!: Mathematical logic and Benedikt Löwe · See more »

## Benson Mates

Benson Mates (May 19, 1919 in Portland, Oregon – May 14, 2009 in Berkeley, California) was an American philosopher, noted for his work in logic, the history of philosophy, and skepticism.

New!!: Mathematical logic and Benson Mates · See more »

## Bernard Bolzano

Bernard Bolzano (born Bernardus Placidus Johann Nepomuk Bolzano; 5 October 1781 – 18 December 1848) was a Bohemian mathematician, logician, philosopher, theologian and Catholic priest of Italian extraction, also known for his antimilitarist views.

New!!: Mathematical logic and Bernard Bolzano · See more »

## Bertrand Russell

Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.

New!!: Mathematical logic and Bertrand Russell · See more »

## Bijection, injection and surjection

In mathematics, injections, surjections and bijections are classes of functions distinguished by the manner in which arguments (input expressions from the domain) and images (output expressions from the codomain) are related or mapped to each other.

New!!: Mathematical logic and Bijection, injection and surjection · See more »

## Boolean algebra

In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively.

New!!: Mathematical logic and Boolean algebra · See more »

## Boolean algebra (structure)

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice.

New!!: Mathematical logic and Boolean algebra (structure) · See more »

## Brouwer–Heyting–Kolmogorov interpretation

In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer and Arend Heyting, and independently by Andrey Kolmogorov.

New!!: Mathematical logic and Brouwer–Heyting–Kolmogorov interpretation · See more »

## Burali-Forti paradox

In set theory, a field of mathematics, the Burali-Forti paradox demonstrates that constructing "the set of all ordinal numbers" leads to a contradiction and therefore shows an antinomy in a system that allows its construction.

New!!: Mathematical logic and Burali-Forti paradox · See more »

## Busy beaver

The busy beaver game consists of designing a halting, binary-alphabet Turing machine which writes the most 1s on the tape, using only a limited set of states.

New!!: Mathematical logic and Busy beaver · See more »

## Cambridge University Press

Cambridge University Press (CUP) is the publishing business of the University of Cambridge.

New!!: Mathematical logic and Cambridge University Press · See more »

## Cantor's diagonal argument

In set theory, Cantor's diagonal argument, also called the diagonalisation argument, the diagonal slash argument or the diagonal method, was published in 1891 by Georg Cantor as a mathematical proof that there are infinite sets which cannot be put into one-to-one correspondence with the infinite set of natural numbers.

New!!: Mathematical logic and Cantor's diagonal argument · See more »

## Cantor's theorem

In elementary set theory, Cantor's theorem is a fundamental result that states that, for any set A, the set of all subsets of A (the power set of A, denoted by \mathcal(A)) has a strictly greater cardinality than A itself.

New!!: Mathematical logic and Cantor's theorem · See more »

## Cardinal number

In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of sets.

New!!: Mathematical logic and Cardinal number · See more »

## Cardinality

In mathematics, the cardinality of a set is a measure of the "number of elements of the set".

New!!: Mathematical logic and Cardinality · See more »

## Carl Gustav Hempel

Carl Gustav "Peter" Hempel (January 8, 1905 – November 9, 1997) was a German writer and philosopher.

New!!: Mathematical logic and Carl Gustav Hempel · See more »

## Categorical logic

Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic.

New!!: Mathematical logic and Categorical logic · See more »

## Category theory

Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).

New!!: Mathematical logic and Category theory · See more »

## Cesare Burali-Forti

Cesare Burali-Forti (13 August 1861 – 21 January 1931) was an Italian mathematician, after whom the Burali-Forti paradox is named.

New!!: Mathematical logic and Cesare Burali-Forti · See more »

## Chapman & Hall

Chapman & Hall was a British publishing house in London, founded in the first half of the 19th century by Edward Chapman and William Hall.

New!!: Mathematical logic and Chapman & Hall · See more »

## Charles Sanders Peirce

Charles Sanders Peirce ("purse"; 10 September 1839 – 19 April 1914) was an American philosopher, logician, mathematician, and scientist who is sometimes known as "the father of pragmatism".

New!!: Mathematical logic and Charles Sanders Peirce · See more »

## Christmas

Christmas is an annual festival commemorating the birth of Jesus Christ,Martindale, Cyril Charles.

New!!: Mathematical logic and Christmas · See more »

## Christmas and holiday season

The Christmas season, also called the festive season, or the holiday season (mainly in the U.S. and Canada; often simply called the holidays),, is an annually recurring period recognized in many Western and Western-influenced countries that is generally considered to run from late November to early January.

New!!: Mathematical logic and Christmas and holiday season · See more »

## Christmas Eve

Christmas Eve is the evening or entire day before Christmas Day, the festival commemorating the birth of Jesus.

New!!: Mathematical logic and Christmas Eve · See more »

## Christmas traditions

Christmas traditions vary from country to country.

New!!: Mathematical logic and Christmas traditions · See more »

## Claude Shannon

Claude Elwood Shannon (April 30, 1916 – February 24, 2001) was an American mathematician, electrical engineer, and cryptographer known as "the father of information theory".

New!!: Mathematical logic and Claude Shannon · See more »

## Combinatory logic

Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic.

New!!: Mathematical logic and Combinatory logic · See more »

## Compactness theorem

In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model.

New!!: Mathematical logic and Compactness theorem · See more »

## Computability

Computability is the ability to solve a problem in an effective manner.

New!!: Mathematical logic and Computability · See more »

## Computability theory

Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.

New!!: Mathematical logic and Computability theory · See more »

## Computable function

Computable functions are the basic objects of study in computability theory.

New!!: Mathematical logic and Computable function · See more »

## Computable model theory

Computable model theory is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures.

New!!: Mathematical logic and Computable model theory · See more »

## Computational complexity theory

Computational complexity theory is a branch of the theory of computation in theoretical computer science that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other.

New!!: Mathematical logic and Computational complexity theory · See more »

## Computer science

Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.

New!!: Mathematical logic and Computer science · See more »

## Constructible universe

In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted L, is a particular class of sets that can be described entirely in terms of simpler sets.

New!!: Mathematical logic and Constructible universe · See more »

## Constructivism (mathematics)

In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists.

New!!: Mathematical logic and Constructivism (mathematics) · See more »

## Continuous function

In mathematics, a continuous function is a function for which sufficiently small changes in the input result in arbitrarily small changes in the output.

New!!: Mathematical logic and Continuous function · See more »

## Continuum hypothesis

In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets.

New!!: Mathematical logic and Continuum hypothesis · See more »

## Countable set

In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of natural numbers.

New!!: Mathematical logic and Countable set · See more »

## Cumulative hierarchy

In mathematical set theory, a cumulative hierarchy is a family of sets Wα indexed by ordinals α such that.

New!!: Mathematical logic and Cumulative hierarchy · See more »

## Cut-elimination theorem

The cut-elimination theorem (or Gentzen's Hauptsatz) is the central result establishing the significance of the sequent calculus.

New!!: Mathematical logic and Cut-elimination theorem · See more »

## Cylindric algebra

The notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of equational first-order logic.

New!!: Mathematical logic and Cylindric algebra · See more »

## D. C. Heath and Company

D.C. Heath and Company was an American publishing company located at 125 Spring Street in Lexington, Massachusetts, specializing in textbooks.

New!!: Mathematical logic and D. C. Heath and Company · See more »

## Daniel H. H. Ingalls Sr.

Daniel Henry Holmes Ingalls Sr. (May 4, 1916 – July 17, 1999) was the Wales Professor of Sanskrit at Harvard University.

New!!: Mathematical logic and Daniel H. H. Ingalls Sr. · See more »

## David Hilbert

David Hilbert (23 January 1862 – 14 February 1943) was a German mathematician.

New!!: Mathematical logic and David Hilbert · See more »

## Decision problem

In computability theory and computational complexity theory, a decision problem is a problem that can be posed as a yes-no question of the input values.

New!!: Mathematical logic and Decision problem · See more »

## Dedekind cut

In mathematics, Dedekind cuts, named after German mathematician Richard Dedekind, are а method of construction of the real numbers from the rational numbers.

New!!: Mathematical logic and Dedekind cut · See more »

## Deductive reasoning

Deductive reasoning, also deductive logic, logical deduction is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion.

New!!: Mathematical logic and Deductive reasoning · See more »

## Definable set

In mathematical logic, a definable set is an n-ary relation on the domain of a structure whose elements are precisely those elements satisfying some formula in the first-order language of that structure.

New!!: Mathematical logic and Definable set · See more »

## Descriptive complexity theory

Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them.

New!!: Mathematical logic and Descriptive complexity theory · See more »

## Determinacy

Determinacy is a subfield of set theory, a branch of mathematics, 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.

New!!: Mathematical logic and Determinacy · See more »

## Differentiable function

In calculus (a branch of mathematics), a differentiable function of one real variable is a function whose derivative exists at each point in its domain.

New!!: Mathematical logic and Differentiable function · See more »

## Domain of discourse

In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range.

New!!: Mathematical logic and Domain of discourse · See more »

## Dordrecht

Dordrecht, colloquially Dordt, historically in English named Dort, is a city and municipality in the Western Netherlands, located in the province of South Holland.

New!!: Mathematical logic and Dordrecht · See more »

## Double-negation translation

In proof theory, a discipline within mathematical logic, double-negation translation, sometimes called negative translation, is a general approach for embedding classical logic into intuitionistic logic, typically by translating formulas to formulas which are classically equivalent but intuitionistically inequivalent.

New!!: Mathematical logic and Double-negation translation · See more »

## Edmund Berkeley

Edmund Callis Berkeley (February 22, 1909 – March 7, 1988) was an American computer scientist who co-founded the Association for Computing Machinery (ACM) in 1947.

New!!: Mathematical logic and Edmund Berkeley · See more »

## Elementary class

In model theory, a branch of mathematical logic, an elementary class (or axiomatizable class) is a class consisting of all structures satisfying a fixed first-order theory.

New!!: Mathematical logic and Elementary class · See more »

## Elementary equivalence

In model theory, a branch of mathematical logic, two structures M and N of the same signature σ are called elementarily equivalent if they satisfy the same first-order σ-sentences.

New!!: Mathematical logic and Elementary equivalence · See more »

## Elliptic geometry

Elliptic geometry is a geometry in which Euclid's parallel postulate does not hold.

New!!: Mathematical logic and Elliptic geometry · See more »

## Elsevier

Elsevier is an information and analytics company and one of the world's major providers of scientific, technical, and medical information.

New!!: Mathematical logic and Elsevier · See more »

## Emil Leon Post

Emil Leon Post (February 11, 1897 – April 21, 1954) was an American mathematician and logician.

New!!: Mathematical logic and Emil Leon Post · See more »

## Entscheidungsproblem

In mathematics and computer science, the Entscheidungsproblem (German for "decision problem") is a challenge posed by David Hilbert in 1928.

New!!: Mathematical logic and Entscheidungsproblem · See more »

## Ernest Addison Moody

Ernest Addison Moody (1903–1975) was a noted philosopher, medievalist, and logician as well as a musician and scientist.

New!!: Mathematical logic and Ernest Addison Moody · See more »

## Ernst Schröder

Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Mannheim, Baden, Germany – 16 June 1902 in Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic.

New!!: Mathematical logic and Ernst Schröder · See more »

## Ernst Zermelo

Ernst Friedrich Ferdinand Zermelo (27 July 1871 – 21 May 1953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics.

New!!: Mathematical logic and Ernst Zermelo · See more »

## Euclid

Euclid (Εὐκλείδης Eukleidēs; fl. 300 BC), sometimes given the name Euclid of Alexandria to distinguish him from Euclides of Megara, was a Greek mathematician, often referred to as the "founder of geometry" or the "father of geometry".

New!!: Mathematical logic and Euclid · See more »

## Fagin's theorem

Fagin's theorem is a result in descriptive complexity theory that states that the set of all properties expressible in existential second-order logic is precisely the complexity class NP.

New!!: Mathematical logic and Fagin's theorem · See more »

## First-order logic

First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

New!!: Mathematical logic and First-order logic · See more »

## Forcing (mathematics)

In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results.

New!!: Mathematical logic and Forcing (mathematics) · See more »

## Formal system

A formal system is the name of a logic system usually defined in the mathematical way.

New!!: Mathematical logic and Formal system · See more »

## Formal verification

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.

New!!: Mathematical logic and Formal verification · See more »

## Foundations of mathematics

Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics.

New!!: Mathematical logic and Foundations of mathematics · See more »

## Fourier series

In mathematics, a Fourier series is a way to represent a function as the sum of simple sine waves.

New!!: Mathematical logic and Fourier series · See more »

## Frederic Fitch

Frederic Brenton Fitch (1908 – September 18, 1987) was an American logician, a Sterling Professor at Yale University.

New!!: Mathematical logic and Frederic Fitch · See more »

## Function (mathematics)

In mathematics, a function was originally the idealization of how a varying quantity depends on another quantity.

New!!: Mathematical logic and Function (mathematics) · See more »

## Function problem

In computational complexity theory, a function problem is a computational problem where a single output (of a total function) is expected for every input, but the output is more complex than that of a decision problem.

New!!: Mathematical logic and Function problem · See more »

## Fuzzy logic

Fuzzy logic is a form of many-valued logic in which the truth values of variables may be any real number between 0 and 1.

New!!: Mathematical logic and Fuzzy logic · See more »

## Gödel's completeness theorem

Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first-order logic.

New!!: Mathematical logic and Gödel's completeness theorem · See more »

## Gödel's incompleteness theorems

Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.

New!!: Mathematical logic and Gödel's incompleteness theorems · See more »

## Geometry

Geometry (from the γεωμετρία; geo- "earth", -metron "measurement") is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space.

New!!: Mathematical logic and Geometry · See more »

## Georg Cantor

Georg Ferdinand Ludwig Philipp Cantor (– January 6, 1918) was a German mathematician.

New!!: Mathematical logic and Georg Cantor · See more »

## Georg Cantor's first set theory article

Georg Cantor's first set theory article was published in 1874 and contains the first theorems of transfinite set theory, which studies infinite sets and their properties.

New!!: Mathematical logic and Georg Cantor's first set theory article · See more »

## George Boole

George Boole (2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland.

New!!: Mathematical logic and George Boole · See more »

## George Peacock

George Peacock FRS (9 April 1791 – 8 November 1858) was an English mathematician.

New!!: Mathematical logic and George Peacock · See more »

## Gerhard Gentzen

Gerhard Karl Erich Gentzen (November 24, 1909 – August 4, 1945) was a German mathematician and logician.

New!!: Mathematical logic and Gerhard Gentzen · See more »

## Giuseppe Peano

Giuseppe Peano (27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist.

New!!: Mathematical logic and Giuseppe Peano · See more »

## Gottfried Wilhelm Leibniz

Gottfried Wilhelm (von) Leibniz (or; Leibnitz; – 14 November 1716) was a German polymath and philosopher who occupies a prominent place in the history of mathematics and the history of philosophy.

New!!: Mathematical logic and Gottfried Wilhelm Leibniz · See more »

## Gottlob Frege

Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician.

New!!: Mathematical logic and Gottlob Frege · See more »

## Great circle

A great circle, also known as an orthodrome, of a sphere is the intersection of the sphere and a plane that passes through the center point of the sphere.

New!!: Mathematical logic and Great circle · See more »

## Grundlagen der Mathematik

Grundlagen der Mathematik (English: Foundations of Mathematics) is a two-volume work by David Hilbert and Paul Bernays.

New!!: Mathematical logic and Grundlagen der Mathematik · See more »

## Halting problem

In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running (i.e., halt) or continue to run forever.

New!!: Mathematical logic and Halting problem · See more »

## Hans Reichenbach

Hans Reichenbach (September 26, 1891 – April 9, 1953) was a leading philosopher of science, educator, and proponent of logical empiricism.

New!!: Mathematical logic and Hans Reichenbach · See more »

## Heinrich Scholz

Heinrich Scholz (December 17, 1884 – December 30, 1956) was a German logician, philosopher, and Protestant theologian who was a peer of Alan Turing, who wrote in his memoirs that he on the inclusion of his essay from 1936 "On Computable Numbers, with an Application to the Entscheidungsproblem": " two people could have understood it, and would have responded – Heinrich Scholz and Richard Bevan Braithwaite." Scholz had an extraordinary career but was not considered a brilliant logician, for example on the same level as Gottlob Frege or Rudolf Carnap, but was considered an outstanding scientist of national importance.

New!!: Mathematical logic and Heinrich Scholz · See more »

## Herbert Enderton

Herbert Bruce Enderton (April 15, 1936 – October 20, 2010) was a Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of Science at the University of California, Berkeley.

New!!: Mathematical logic and Herbert Enderton · See more »

## Hermann Weyl

Hermann Klaus Hugo Weyl, (9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist and philosopher.

New!!: Mathematical logic and Hermann Weyl · See more »

## Heyting algebra

In mathematics, a Heyting algebra is a bounded lattice (with join and meet operations written ∨ and ∧ and with least element 0 and greatest element 1) equipped with a binary operation a → b of implication such that c ∧ a ≤ b is equivalent to c ≤ a → b. From a logical standpoint, A → B is by this definition the weakest proposition for which modus ponens, the inference rule A → B, A ⊢ B, is sound.

New!!: Mathematical logic and Heyting algebra · See more »

## Higher-order logic

In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics.

New!!: Mathematical logic and Higher-order logic · See more »

## Hilary Putnam

Hilary Whitehall Putnam (July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century.

New!!: Mathematical logic and Hilary Putnam · See more »

## Hilbert system

In logic, especially mathematical logic, a Hilbert system, sometimes called Hilbert calculus, Hilbert-style deductive system or Hilbert–Ackermann system, is a type of system of formal deduction attributed to Gottlob FregeMáté & Ruzsa 1997:129 and David Hilbert.

New!!: Mathematical logic and Hilbert system · See more »

## Hilbert's axioms

Hilbert's axioms are a set of 20 assumptions proposed by David Hilbert in 1899 in his book Grundlagen der Geometrie (tr. The Foundations of Geometry) as the foundation for a modern treatment of Euclidean geometry.

New!!: Mathematical logic and Hilbert's axioms · See more »

## Hilbert's problems

Hilbert's problems are twenty-three problems in mathematics published by German mathematician David Hilbert in 1900.

New!!: Mathematical logic and Hilbert's problems · See more »

## Hilbert's program

In mathematics, Hilbert's program, formulated by German mathematician David Hilbert in the early part of the 20th century, was a proposed solution to the foundational crisis of mathematics, when early attempts to clarify the foundations of mathematics were found to suffer from paradoxes and inconsistencies.

New!!: Mathematical logic and Hilbert's program · See more »

## Hilbert's tenth problem

Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900.

New!!: Mathematical logic and Hilbert's tenth problem · See more »

## History of logic

The history of logic deals with the study of the development of the science of valid inference (logic).

New!!: Mathematical logic and History of logic · See more »

## Hyperarithmetical theory

In recursion theory, hyperarithmetic theory is a generalization of Turing computability.

New!!: Mathematical logic and Hyperarithmetical theory · See more »

## Impredicativity

Something that is impredicative, in mathematics and logic, is a self-referencing definition.

New!!: Mathematical logic and Impredicativity · See more »

## Inaccessible cardinal

In set theory, an uncountable cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic.

New!!: Mathematical logic and Inaccessible cardinal · See more »

## Independence (mathematical logic)

In mathematical logic, independence refers to the unprovability of a sentence from other sentences.

New!!: Mathematical logic and Independence (mathematical logic) · See more »

## Indian logic

The development of Indian logic dates back to the anviksiki of Medhatithi Gautama (c. 6th century BCE) the Sanskrit grammar rules of Pāṇini (c. 5th century BCE); the Vaisheshika school's analysis of atomism (c. 6th century BCE to 2nd century BCE); the analysis of inference by Gotama (c. 6th century BC to 2nd century CE), founder of the Nyaya school of Hindu philosophy; and the tetralemma of Nagarjuna (c. 2nd century CE).

New!!: Mathematical logic and Indian logic · See more »

## Infinitary logic

An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs.

New!!: Mathematical logic and Infinitary logic · See more »

## Infinitesimal

In mathematics, infinitesimals are things so small that there is no way to measure them.

New!!: Mathematical logic and Infinitesimal · See more »

## Integer

An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").

New!!: Mathematical logic and Integer · See more »

## Intuitionism

In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality.

New!!: Mathematical logic and Intuitionism · See more »

## Intuitionistic logic

Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof.

New!!: Mathematical logic and Intuitionistic logic · See more »

## Isomorphism

In mathematics, an isomorphism (from the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape") is a homomorphism or morphism (i.e. a mathematical mapping) that can be reversed by an inverse morphism.

New!!: Mathematical logic and Isomorphism · See more »

## J. L. Austin

John Langshaw "J.

New!!: Mathematical logic and J. L. Austin · See more »

## Jan Łukasiewicz

Jan Łukasiewicz (21 December 1878 – 13 February 1956) was a Polish logician and philosopher born in Lwów, a city in the Galician kingdom of Austria-Hungary.

New!!: Mathematical logic and Jan Łukasiewicz · See more »

## Józef Maria Bocheński

Józef Maria Bocheński (Czuszów, Congress Poland, Russian Empire, 30 August 1902 – 8 February 1995, Fribourg, Switzerland) was a Polish Dominican, logician and philosopher.

New!!: Mathematical logic and Józef Maria Bocheński · See more »

## Jean van Heijenoort

Jean Louis Maxime van Heijenoort (July 23, 1912 – March 29, 1986) was a pioneer historian of mathematical logic.

New!!: Mathematical logic and Jean van Heijenoort · See more »

## Johann Heinrich Lambert

Johann Heinrich Lambert (Jean-Henri Lambert in French; 26 August 1728 – 25 September 1777) was a Swiss polymath who made important contributions to the subjects of mathematics, physics (particularly optics), philosophy, astronomy and map projections.

New!!: Mathematical logic and Johann Heinrich Lambert · See more »

## John von Neumann

John von Neumann (Neumann János Lajos,; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, and polymath.

New!!: Mathematical logic and John von Neumann · See more »

## Joseph Henry Woodger

Joseph Henry Woodger (2 May 1894 – 8 March 1981) was a British theoretical biologist and philosopher of biology whose attempts to make biological sciences more rigorous and empirical was significantly influential to the philosophy of biology in the twentieth century.

New!!: Mathematical logic and Joseph Henry Woodger · See more »

## Jules Richard

Jules Richard (12 August 1862 – 14 October 1956) was a French mathematician.

New!!: Mathematical logic and Jules Richard · See more »

## Julia Robinson

Julia Hall Bowman Robinson (December 8, 1919 – July 30, 1985) was an American mathematician renowned for her contributions to the fields of computability theory and computational complexity theory–most notably in decision problems.

New!!: Mathematical logic and Julia Robinson · See more »

## Karl Menger

Karl Menger (January 13, 1902 – October 5, 1985) was an Austrian-American mathematician.

New!!: Mathematical logic and Karl Menger · See more »

## Karl Weierstrass

Karl Theodor Wilhelm Weierstrass (Weierstraß; 31 October 1815 – 19 February 1897) was a German mathematician often cited as the "father of modern analysis".

New!!: Mathematical logic and Karl Weierstrass · See more »

## Knowledge representation and reasoning

Knowledge representation and reasoning (KR, KR², KR&R) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can utilize to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language.

New!!: Mathematical logic and Knowledge representation and reasoning · See more »

## Kripke semantics

Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal.

New!!: Mathematical logic and Kripke semantics · See more »

## Kripke–Platek set theory

The Kripke–Platek axioms of set theory (KP), pronounced, are a system of axiomatic set theory developed by Saul Kripke and Richard Platek.

New!!: Mathematical logic and Kripke–Platek set theory · See more »

## Kurt Gödel

Kurt Friedrich Gödel (April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher.

New!!: Mathematical logic and Kurt Gödel · See more »

## L. E. J. Brouwer

Luitzen Egbertus Jan Brouwer (27 February 1881 – 2 December 1966), usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician and philosopher, who worked in topology, set theory, measure theory and complex analysis.

New!!: Mathematical logic and L. E. J. Brouwer · See more »

## Lambda calculus

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

New!!: Mathematical logic and Lambda calculus · See more »

## Large cardinal

In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers.

New!!: Mathematical logic and Large cardinal · See more »

## Lattice (order)

A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.

New!!: Mathematical logic and Lattice (order) · See more »

## Law of excluded middle

In logic, the law of excluded middle (or the principle of excluded middle) states that for any proposition, either that proposition is true or its negation is true.

New!!: Mathematical logic and Law of excluded middle · See more »

## Löb's theorem

In mathematical logic, Löb's theorem states that in any formal system F with Peano arithmetic (PA), for any formula P, if it is provable in F that "if P is provable in F then P is true", then P is provable in F. More formally, if Bew(#P) means that the formula P with Gödel number #P is provable (from the German "beweisbar"), then or An immediate corollary of Löb's theorem is that, if P is not provable in PA, then "if P is provable in PA, then P is true" is not provable in PA.

New!!: Mathematical logic and Löb's theorem · See more »

## Löwenheim–Skolem theorem

In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism.

New!!: Mathematical logic and Löwenheim–Skolem theorem · See more »

## Leopold Kronecker

Leopold Kronecker (7 December 1823 – 29 December 1891) was a German mathematician who worked on number theory, algebra and logic.

New!!: Mathematical logic and Leopold Kronecker · See more »

## Leopold Löwenheim

Leopold Löwenheim (26 June 1878 in Krefeld – 5 May 1957 in Berlin) was a German mathematician, known for his work in mathematical logic.

New!!: Mathematical logic and Leopold Löwenheim · See more »

## Limitation of size

In the philosophy of mathematics, specifically the philosophical foundations of set theory, limitation of size is a concept developed by Philip Jourdain and/or Georg Cantor to avoid Cantor's paradox.

New!!: Mathematical logic and Limitation of size · See more »

## Lindström's theorem

In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström, who published it in 1969) states that first-order logic is the strongest logic (satisfying certain conditions, e.g. closure under classical negation) having both the (countable) compactness property and the (downward) Löwenheim–Skolem property.

New!!: Mathematical logic and Lindström's theorem · See more »

## List of computability and complexity topics

This is a list of computability and complexity topics, by Wikipedia page.

New!!: Mathematical logic and List of computability and complexity topics · See more »

## List of first-order theories

In mathematical logic, a first-order theory is given by a set of axioms in some language.

New!!: Mathematical logic and List of first-order theories · See more »

## List of logic symbols

In logic, a set of symbols is commonly used to express logical representation.

New!!: Mathematical logic and List of logic symbols · See more »

## List of mathematical logic topics

This is a list of mathematical logic topics, by Wikipedia page.

New!!: Mathematical logic and List of mathematical logic topics · See more »

## List of set theory topics

This page is a list of articles related to set theory.

New!!: Mathematical logic and List of set theory topics · See more »

## Logic

Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.

New!!: Mathematical logic and Logic · See more »

## Logic in China

Formal logic in China has a special place in the history of logic due to its repression and abandonment—in contrast to the strong ancient adoption and continued development of the study of logic in Europe, India, and the Islamic world.

New!!: Mathematical logic and Logic in China · See more »

## Logic in computer science

Logic in computer science covers the overlap between the field of logic and that of computer science.

New!!: Mathematical logic and Logic in computer science · See more »

## Logic in Islamic philosophy

Early Islamic law placed importance on formulating standards of argument, which gave rise to a "novel approach to logic" (منطق manṭiq "speech, eloquence") in Kalam (Islamic scholasticism) However, with the rise of the Mu'tazili philosophers, who highly valued Aristotle's Organon, this approach was displaced by the older ideas from Hellenistic philosophy, The works of al-Farabi, Avicenna, al-Ghazali and other Persian Muslim logicians who often criticized and corrected Aristotelian logic and introduced their own forms of logic, also played a central role in the subsequent development of European logic during the Renaissance.

New!!: Mathematical logic and Logic in Islamic philosophy · See more »

## Logic programming

Logic programming is a type of programming paradigm which is largely based on formal logic.

New!!: Mathematical logic and Logic programming · See more »

## Logical consequence

Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements.

New!!: Mathematical logic and Logical consequence · See more »

## London Mathematical Society

The London Mathematical Society (LMS) is one of the United Kingdom's learned societies for mathematics (the others being the Royal Statistical Society (RSS) and the Institute of Mathematics and its Applications (IMA)).

New!!: Mathematical logic and London Mathematical Society · See more »

## Martin Davis

Martin David Davis (born March 8, 1928) is an American mathematician, known for his work on Hilbert's tenth problem.

New!!: Mathematical logic and Martin Davis · See more »

## Mathematical analysis

Mathematical analysis is the branch of mathematics dealing with limits and related theories, such as differentiation, integration, measure, infinite series, and analytic functions.

New!!: Mathematical logic and Mathematical analysis · See more »

## Mathematical induction

Mathematical induction is a mathematical proof technique.

New!!: Mathematical logic and Mathematical induction · See more »

## Mathematical proof

In mathematics, a proof is an inferential argument for a mathematical statement.

New!!: Mathematical logic and Mathematical proof · See more »

## Mathematics

Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Mathematical logic and Mathematics · See more »

## Mathematische Annalen

Mathematische Annalen (abbreviated as Math. Ann. or, formerly, Math. Annal.) is a German mathematical research journal founded in 1868 by Alfred Clebsch and Carl Neumann.

New!!: Mathematical logic and Mathematische Annalen · See more »

## Metamathematics

Metamathematics is the study of mathematics itself using mathematical methods.

New!!: Mathematical logic and Metamathematics · See more »

## Michael D. Morley

Michael Darwin Morley (born 1930) is an American mathematician, currently professor emeritus at Cornell University.

New!!: Mathematical logic and Michael D. Morley · See more »

## Modal logic

Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.

New!!: Mathematical logic and Modal logic · See more »

## Model checking

In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.

New!!: Mathematical logic and Model checking · See more »

## Model theory

In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.

New!!: Mathematical logic and Model theory · See more »

## Morley's categoricity theorem

In model theory, a branch of mathematical logic, a theory is κ-categorical (or categorical in κ) if it has exactly one model of cardinality κ up to isomorphism.

New!!: Mathematical logic and Morley's categoricity theorem · See more »

## Morse–Kelley set theory

In the foundations of mathematics, Morse–Kelley set theory (MK), Kelley–Morse set theory (KM), Morse–Tarski set theory (MT), Quine–Morse set theory (QM) or the system of Quine and Morse is a first order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG).

New!!: Mathematical logic and Morse–Kelley set theory · See more »

## Natural deduction

In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning.

New!!: Mathematical logic and Natural deduction · See more »

## Natural number

In mathematics, the natural numbers are those used for counting (as in "there are six coins on the table") and ordering (as in "this is the third largest city in the country").

New!!: Mathematical logic and Natural number · See more »

## New Foundations

In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica.

New!!: Mathematical logic and New Foundations · See more »

## New Year

New Year is the time or day at which a new calendar year begins and the calendar's year count increments by one.

New!!: Mathematical logic and New Year · See more »

## New Year's Day

New Year's Day, also called simply New Year's or New Year, is observed on January 1, the first day of the year on the modern Gregorian calendar as well as the Julian calendar.

New!!: Mathematical logic and New Year's Day · See more »

## New Year's Eve

In the Gregorian calendar, New Year's Eve (also known as Old Year's Day or Saint Sylvester's Day in many countries), the last day of the year, is on 31 December which is the seventh day of Christmastide.

New!!: Mathematical logic and New Year's Eve · See more »

## New York City

The City of New York, often called New York City (NYC) or simply New York, is the most populous city in the United States.

New!!: Mathematical logic and New York City · See more »

## Nicolas Bourbaki

Nicolas Bourbaki is the collective pseudonym under which a group of (mainly French) 20th-century mathematicians, with the aim of reformulating mathematics on an extremely abstract and formal but self-contained basis, wrote a series of books beginning in 1935.

New!!: Mathematical logic and Nicolas Bourbaki · See more »

## Nikolai Lobachevsky

Nikolai Ivanovich Lobachevsky (a; –) was a Russian mathematician and geometer, known primarily for his work on hyperbolic geometry, otherwise known as Lobachevskian geometry and also his fundamental study on Dirichlet integrals known as Lobachevsky integral formula.

New!!: Mathematical logic and Nikolai Lobachevsky · See more »

## Non-classical logic

Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic.

New!!: Mathematical logic and Non-classical logic · See more »

## Non-Euclidean geometry

In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those specifying Euclidean geometry.

New!!: Mathematical logic and Non-Euclidean geometry · See more »

## Non-standard model of arithmetic

In mathematical logic, a non-standard model of arithmetic is a model of (first-order) Peano arithmetic that contains non-standard numbers.

New!!: Mathematical logic and Non-standard model of arithmetic · See more »

## NP (complexity)

In computational complexity theory, NP (for nondeterministic polynomial time) is a complexity class used to describe certain types of decision problems.

New!!: Mathematical logic and NP (complexity) · See more »

## O-minimal theory

In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by Knight, Pillay and Steinhorn (1986), Pillay and Steinhorn (1988).

New!!: Mathematical logic and O-minimal theory · See more »

## On Formally Undecidable Propositions of Principia Mathematica and Related Systems

"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" ("On Formally Undecidable Propositions of Principia Mathematica and Related Systems I") is a paper in mathematical logic by Kurt Gödel.

New!!: Mathematical logic and On Formally Undecidable Propositions of Principia Mathematica and Related Systems · See more »

## Ordinal analysis

In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength.

New!!: Mathematical logic and Ordinal analysis · See more »

## Ordinal number

In set theory, an ordinal number, or ordinal, is one generalization of the concept of a natural number that is used to describe a way to arrange a collection of objects in order, one after another.

New!!: Mathematical logic and Ordinal number · See more »

## Oskar Morgenstern

Oskar Morgenstern (January 24, 1902 – July 26, 1977) was a German-born economist.

New!!: Mathematical logic and Oskar Morgenstern · See more »

## Oxford University Press

Oxford University Press (OUP) is the largest university press in the world, and the second oldest after Cambridge University Press.

New!!: Mathematical logic and Oxford University Press · See more »

## Parallel postulate

In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's ''Elements'', is a distinctive axiom in Euclidean geometry.

New!!: Mathematical logic and Parallel postulate · See more »

## Pasch's axiom

In geometry, Pasch's axiom is a statement in plane geometry, used implicitly by Euclid, which cannot be derived from the postulates as Euclid gave them.

New!!: Mathematical logic and Pasch's axiom · See more »

## Paul Bernays

Paul Isaac Bernays (17 October 1888 – 18 September 1977) was a Swiss mathematician, who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics.

New!!: Mathematical logic and Paul Bernays · See more »

## Paul Cohen

Paul Joseph Cohen (April 2, 1934 – March 23, 2007) was an American mathematician.

New!!: Mathematical logic and Paul Cohen · See more »

## Peano axioms

In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano.

New!!: Mathematical logic and Peano axioms · See more »

## Philosophy

Philosophy (from Greek φιλοσοφία, philosophia, literally "love of wisdom") is the study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.

New!!: Mathematical logic and Philosophy · See more »

## Philotheus Boehner

Philotheus Boehner (born Heinrich Boehner; February 17, 1901 – May 22, 1955) was a member of the Franciscan order known for medieval scholarship.

New!!: Mathematical logic and Philotheus Boehner · See more »

## Polish space

In the mathematical discipline of general topology, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense subset.

New!!: Mathematical logic and Polish space · See more »

## Power set

In mathematics, the power set (or powerset) of any set is the set of all subsets of, including the empty set and itself, variously denoted as, 𝒫(), ℘() (using the "Weierstrass p"),,, or, identifying the powerset of with the set of all functions from to a given set of two elements,.

New!!: Mathematical logic and Power set · See more »

## Primitive recursive function

In computability theory, primitive recursive functions are a class of functions that are defined using primitive recursion and composition as central operations and are a strict subset of the total µ-recursive functions (µ-recursive functions are also called partial recursive).

New!!: Mathematical logic and Primitive recursive function · See more »

## Principia Mathematica

The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.

New!!: Mathematical logic and Principia Mathematica · See more »

## Programming language

A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.

New!!: Mathematical logic and Programming language · See more »

## Proof mining

In proof theory, a branch of mathematical logic, proof mining (or unwinding) is a research program that analyzes formalized proofs, especially in analysis, to obtain explicit bounds or rates of convergence from proofs that, when expressed in natural language, appear to be nonconstructive.

New!!: Mathematical logic and Proof mining · See more »

## Proof theory

Proof theory is a major branchAccording to Wang (1981), pp.

New!!: Mathematical logic and Proof theory · See more »

## Propositional calculus

Propositional calculus is a branch of logic.

New!!: Mathematical logic and Propositional calculus · See more »

## Pyotr Novikov

Pyotr Sergeyevich Novikov (Пётр Серге́евич Но́виков; 15 August 1901, Moscow, Russian Empire – 9 January 1975, Moscow, Soviet Union) was a Soviet mathematician.

New!!: Mathematical logic and Pyotr Novikov · See more »

## Quantifier (logic)

In logic, quantification specifies the quantity of specimens in the domain of discourse that satisfy an open formula.

New!!: Mathematical logic and Quantifier (logic) · See more »

## Quantifier elimination

Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science.

New!!: Mathematical logic and Quantifier elimination · See more »

## RAND Corporation

RAND Corporation ("Research ANd Development") is an American nonprofit global policy think tank created in 1948 by Douglas Aircraft Company to offer research and analysis to the United States Armed Forces.

New!!: Mathematical logic and RAND Corporation · See more »

## Rózsa Péter

Rózsa Péter, born Politzer, (17 February 1905 – 16 February 1977) was a Hungarian mathematician and logician.

New!!: Mathematical logic and Rózsa Péter · See more »

## Real analysis

In mathematics, real analysis is the branch of mathematical analysis that studies the behavior of real numbers, sequences and series of real numbers, and real-valued functions.

New!!: Mathematical logic and Real analysis · See more »

## Real closed field

In mathematics, a real closed field is a field F that has the same first-order properties as the field of real numbers.

New!!: Mathematical logic and Real closed field · See more »

## Real line

In mathematics, the real line, or real number line is the line whose points are the real numbers.

New!!: Mathematical logic and Real line · See more »

## Recursive definition

A recursive definition (or inductive definition) in mathematical logic and computer science is used to define the elements in a set in terms of other elements in the set (Aczel 1978:740ff).

New!!: Mathematical logic and Recursive definition · See more »

## Recursive set

In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which takes a number as input, terminates after a finite amount of time (possibly depending on the given number) and correctly decides whether the number belongs to the set.

New!!: Mathematical logic and Recursive set · See more »

## Recursively enumerable set

In computability theory, traditionally called recursion theory, a set S of natural numbers is called recursively enumerable, computably enumerable, semidecidable, provable or Turing-recognizable if.

New!!: Mathematical logic and Recursively enumerable set · See more »

## Reverse mathematics

Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics.

New!!: Mathematical logic and Reverse mathematics · See more »

## Rhetoric

Rhetoric is the art of discourse, wherein a writer or speaker strives to inform, persuade, or motivate particular audiences in specific situations.

New!!: Mathematical logic and Rhetoric · See more »

## Richard Dedekind

Julius Wilhelm Richard Dedekind (6 October 1831 – 12 February 1916) was a German mathematician who made important contributions to abstract algebra (particularly ring theory), axiomatic foundation for the natural numbers, algebraic number theory and the definition of the real numbers.

New!!: Mathematical logic and Richard Dedekind · See more »

## Richard Swineshead

Richard Swineshead (also Suisset, Suiseth, etc.; fl. c. 1340 – 1354) was an English mathematician, logician, and natural philosopher.

New!!: Mathematical logic and Richard Swineshead · See more »

## Richard's paradox

In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in 1905.

New!!: Mathematical logic and Richard's paradox · See more »

## Robert Lawson Vaught

Robert Lawson Vaught (April 4, 1926 – April 2, 2002) was a mathematical logician, and one of the founders of model theory.

New!!: Mathematical logic and Robert Lawson Vaught · See more »

## Rudolf Carnap

Rudolf Carnap (May 18, 1891 – September 14, 1970) was a German-born philosopher who was active in Europe before 1935 and in the United States thereafter.

New!!: Mathematical logic and Rudolf Carnap · See more »

## Russell's paradox

In the foundations of mathematics, Russell's paradox (also known as Russell's antinomy), discovered by Bertrand Russell in 1901, showed that some attempted formalizations of the naïve set theory created by Georg Cantor led to a contradiction.

New!!: Mathematical logic and Russell's paradox · See more »

## Saunders Mac Lane

Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg.

New!!: Mathematical logic and Saunders Mac Lane · See more »

## Second-order logic

In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic.

New!!: Mathematical logic and Second-order logic · See more »

## Semantics

Semantics (from σημαντικός sēmantikós, "significant") is the linguistic and philosophical study of meaning, in language, programming languages, formal logics, and semiotics.

New!!: Mathematical logic and Semantics · See more »

## Semantics (computer science)

In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.

New!!: Mathematical logic and Semantics (computer science) · See more »

## Sequent calculus

Sequent calculus is, in essence, a style of formal logical argumentation where every line of a proof is a conditional tautology (called a sequent by Gerhard Gentzen) instead of an unconditional tautology.

New!!: Mathematical logic and Sequent calculus · See more »

## Set (mathematics)

In mathematics, a set is a collection of distinct objects, considered as an object in its own right.

New!!: Mathematical logic and Set (mathematics) · See more »

## Set theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Mathematical logic and Set theory · See more »

## Signature (logic)

In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language.

New!!: Mathematical logic and Signature (logic) · See more »

## Skolem's paradox

In mathematical logic and philosophy, Skolem's paradox is a seeming contradiction that arises from the downward Löwenheim–Skolem theorem.

New!!: Mathematical logic and Skolem's paradox · See more »

## Solomon Feferman

Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician with works in mathematical logic.

New!!: Mathematical logic and Solomon Feferman · See more »

## Springer Science+Business Media

Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.

New!!: Mathematical logic and Springer Science+Business Media · See more »

## Stanford Encyclopedia of Philosophy

The Stanford Encyclopedia of Philosophy (SEP) combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users.

New!!: Mathematical logic and Stanford Encyclopedia of Philosophy · See more »

## Stanisław Leśniewski

Stanisław Leśniewski (March 30, 1886 – May 13, 1939) was a Polish mathematician, philosopher and logician.

New!!: Mathematical logic and Stanisław Leśniewski · See more »

## Stefan Banach

Stefan Banach (30 March 1892 – 31 August 1945) was a Polish mathematician who is generally considered one of the world's most important and influential 20th-century mathematicians.

New!!: Mathematical logic and Stefan Banach · See more »

## Stephen Cole Kleene

Stephen Cole Kleene (January 5, 1909 – January 25, 1994) was an American mathematician.

New!!: Mathematical logic and Stephen Cole Kleene · See more »

## Stewart Shapiro

Stewart Shapiro (born 1951) is O'Donnell Professor of Philosophy at the Ohio State University.

New!!: Mathematical logic and Stewart Shapiro · See more »

## Structure (mathematical logic)

In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it.

New!!: Mathematical logic and Structure (mathematical logic) · See more »

## Successor function

In mathematics, the successor function or successor operation is a primitive recursive function S such that S(n).

New!!: Mathematical logic and Successor function · See more »

## Syllogism

A syllogism (συλλογισμός syllogismos, "conclusion, inference") is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two or more propositions that are asserted or assumed to be true.

New!!: Mathematical logic and Syllogism · See more »

## Syntax

In linguistics, syntax is the set of rules, principles, and processes that govern the structure of sentences in a given language, usually including word order.

New!!: Mathematical logic and Syntax · See more »

## Theoretical computer science

Theoretical computer science, or TCS, is a subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.

New!!: Mathematical logic and Theoretical computer science · See more »

## Theory (mathematical logic)

In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language.

New!!: Mathematical logic and Theory (mathematical logic) · See more »

## Thoralf Skolem

Thoralf Albert Skolem (23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory.

New!!: Mathematical logic and Thoralf Skolem · See more »

## Tibor Radó

Tibor Radó (June 2, 1895 – December 29, 1965) was a Hungarian mathematician who moved to the United States after World War I.

New!!: Mathematical logic and Tibor Radó · See more »

## Topos

In mathematics, a topos (plural topoi or, or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site).

New!!: Mathematical logic and Topos · See more »

## Transactions of the American Mathematical Society

The Transactions of the American Mathematical Society is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society.

New!!: Mathematical logic and Transactions of the American Mathematical Society · See more »

## Transfinite induction

Transfinite induction is an extension of mathematical induction to well-ordered sets, for example to sets of ordinal numbers or cardinal numbers.

New!!: Mathematical logic and Transfinite induction · See more »

## Transfinite number

Transfinite numbers are numbers that are "infinite" in the sense that they are larger than all finite numbers, yet not necessarily absolutely infinite.

New!!: Mathematical logic and Transfinite number · See more »

## Truth value

In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.

New!!: Mathematical logic and Truth value · See more »

## Turing degree

In computer science and mathematical logic the Turing degree (named after Alan Turing) or degree of unsolvability of a set of natural numbers measures the level of algorithmic unsolvability of the set.

New!!: Mathematical logic and Turing degree · See more »

## Turing machine

A Turing machine is a mathematical model of computation that defines an abstract machine, which manipulates symbols on a strip of tape according to a table of rules.

New!!: Mathematical logic and Turing machine · See more »

## Type theory

In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics.

New!!: Mathematical logic and Type theory · See more »

## Ulrich Kohlenbach

Ulrich Wilhelm Kohlenbach (born July 27, 1962 in Frankfurt am Main) is a German professor of mathematics and a researcher in logic.

New!!: Mathematical logic and Ulrich Kohlenbach · See more »

## Universal algebra

Universal algebra (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures.

New!!: Mathematical logic and Universal algebra · See more »

## Urelement

In set theory, a branch of mathematics, an urelement or ur-element (from the German prefix ur-, 'primordial') is an object (concrete or abstract) that is not a set, but that may be an element of a set.

New!!: Mathematical logic and Urelement · See more »

## Vaught conjecture

The Vaught conjecture is a conjecture in the mathematical field of model theory originally proposed by Robert Lawson Vaught in 1961.

New!!: Mathematical logic and Vaught conjecture · See more »

## Von Neumann–Bernays–Gödel set theory

In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of Zermelo–Fraenkel set theory (ZFC).

New!!: Mathematical logic and Von Neumann–Bernays–Gödel set theory · See more »

## W. Hugh Woodin

William Hugh Woodin (born April 23, 1955) is an American mathematician and set theorist at Harvard University.

New!!: Mathematical logic and W. Hugh Woodin · See more »

## Weierstrass function

In mathematics, the Weierstrass function is an example of a pathological real-valued function on the real line.

New!!: Mathematical logic and Weierstrass function · See more »

## Well-order

In mathematics, a well-order (or well-ordering or well-order relation) on a set S is a total order on S with the property that every non-empty subset of S has a least element in this ordering.

New!!: Mathematical logic and Well-order · See more »

## Wilfrid Hodges

Wilfrid Augustine Hodges, FBA (born 27 May 1941) is a British mathematician, known for his work in model theory.

New!!: Mathematical logic and Wilfrid Hodges · See more »

## Word problem for groups

In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a finitely generated group G is the algorithmic problem of deciding whether two words in the generators represent the same element.

New!!: Mathematical logic and Word problem for groups · See more »

## World Scientific

World Scientific Publishing is an academic publisher of scientific, technical, and medical books and journals headquartered in Singapore.

New!!: Mathematical logic and World Scientific · See more »

## Yuri Matiyasevich

Yuri Vladimirovich Matiyasevich, (Ю́рий Влади́мирович Матиясе́вич; born March 2, 1947, in Leningrad) is a Russian mathematician and computer scientist.

New!!: Mathematical logic and Yuri Matiyasevich · See more »

## Zermelo set theory

Zermelo set theory, as set out in an important paper in 1908 by Ernst Zermelo, is the ancestor of modern set theory.

New!!: Mathematical logic and Zermelo set theory · See more »

## Zermelo–Fraenkel set theory

In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.

New!!: Mathematical logic and Zermelo–Fraenkel set theory · See more »

## (ε, δ)-definition of limit

In calculus, the (ε, δ)-definition of limit ("epsilon–delta definition of limit") is a formalization of the notion of limit.

New!!: Mathematical logic and (ε, δ)-definition of limit · See more »

## 2018

2018 has been designated as the third International Year of the Reef by the International Coral Reef Initiative.

New!!: Mathematical logic and 2018 · See more »

## 2019

2019 (MMXIX) will be a common year starting on Tuesday of the Gregorian calendar, the 2019th year of the Common Era (CE) and Anno Domini (AD) designations, the 19th year of the 3rd millennium, the 19th year of the 21st century, and the 10th and last year of the 2010s decade.

New!!: Mathematical logic and 2019 · See more »

## Redirects here:

Fixed-point logic, Formal Logic, Formal logic, History of mathematical logic, Logic (math), Logic (mathematics), Logic (maths), Logic (symbolic), Logic modeling, Logic modelling, Mathematical Logic, Mathematical formalism, Mathematical logician, Symbolic Logic, Symbolic logic.

## References

[1] https://en.wikipedia.org/wiki/Mathematical_logic