In mathematics and computer science, the Entscheidungsproblem is a challenge posed by David Hilbert and Wilhelm Ackermann in 1928. The problem asks for an algorithm that considers, as input, a statement and answers "yes" or "no" according to whether the statement is universally valid, i.e., valid in every structure satisfying the axioms.
Alonzo Church was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.
Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, recursion theory, and set theory, he was known for his contributions to the history of logic and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.
Wilfrid Augustine Hodges, FBA is a British mathematician and logician known for his work in model theory.
Richard Rowan Rockingham Gill was a lecturer of philosophy—in particular, logic—and is an author.
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is Phokion Kolaitis.
Ronald Björn Jensen is an American mathematician who lives in Germany, primarily known for his work in mathematical logic and set theory.
Frederick Rowbottom was a British logician and mathematician. The large cardinal notion of Rowbottom cardinals is named after him.
Penelope Maddy is an American philosopher. Maddy is Emerita UCI Distinguished Professor of Logic and Philosophy of Science and of Mathematics at the University of California, Irvine. She is well known for her influential work in the philosophy of mathematics, where she has worked on mathematical realism and mathematical naturalism.
Anne Sjerp Troelstra was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
The Principles of Mathematics (PoM) is a 1903 book by Bertrand Russell, in which the author presented his famous paradox and argued his thesis that mathematics and logic are identical.
John Corcoran was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice.
Elliott Mendelson was an American logician. He was a professor of mathematics at Queens College of the City University of New York, and the Graduate Center, CUNY. He was Jr. Fellow, Society of Fellows, Harvard University, 1956–58.
Peter Koellner is Professor of Philosophy at Harvard University. He received his Ph.D from MIT in 2003. His main areas of research are mathematical logic, specifically set theory, and philosophy of mathematics, philosophy of physics, analytic philosophy, and philosophy of language.
Herbert Bruce Enderton was an American mathematician. He 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.
Albert Harold Lightstone (1926–1976) was a Canadian mathematician. He was one of the pioneers of non-standard analysis, a doctoral student of Abraham Robinson, and later a co-author with Robinson of the book Nonarchimedean Fields and Asymptotic Expansions.
