Faster access than browser!
71 relations: Alan Turing, Alfred Foster (mathematician), C. Anthony Anderson, Case Western Reserve University, Church encoding, Church–Rosser theorem, Church–Turing thesis, Church–Turing–Deutsch principle, Dana Scott, David Berlinski, David Kaplan (philosopher), Decision problem, Doctor of Philosophy, Entscheidungsproblem, Frege–Church ontology, Functional programming, Gary R. Mar, George Alfred Barnard, Gian-Carlo Rota, Halting problem, Hartley Rogers Jr., Harvard University, Herbert Enderton, Higher-order logic, Hudson, Ohio, International Congress of Mathematicians, Isaac Malitz, J. Barkley Rosser, John Corcoran (logician), John G. Kemeny, Journal of Symbolic Logic, Lambda calculus, Leon Henkin, Lisp (programming language), List of logicians, List of pioneers in computer science, Logic, Lorentz transformation, Martin Davis, Mathematical logic, Mathematician, Mathematics, Maurice L'Abbé, Michael O. Rabin, Modal logic, National Academies of Sciences, Engineering, and Medicine, Nicholas Rescher, Oswald Veblen, Peano axioms, Peter B. Andrews, ..., Presbyterianism, Princeton Cemetery, Princeton University, Raymond Smullyan, Ridgefield, Connecticut, Simon B. Kochen, Stephen Cole Kleene, Theoretical computer science, Theory (mathematical logic), Turing machine, Undecidable problem, United States, Universal set, University at Buffalo, University of Amsterdam, University of California, Los Angeles, University of Chicago, University of Göttingen, Washington, D.C., Wilfrid Hodges, William Boone (mathematician). Expand index (21 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!!: Alonzo Church and Alan Turing · See more »
Alfred Foster (mathematician)
Alfred Leon Foster (known as Alfred Foster) was an American mathematician.
New!!: Alonzo Church and Alfred Foster (mathematician) · See more »
C. Anthony Anderson
Curtis Anthony Anderson (born May 29, 1940) is a contemporary American philosopher, presently Professor of Philosophy at the University of California at Santa Barbara.
New!!: Alonzo Church and C. Anthony Anderson · See more »
Case Western Reserve University
Case Western Reserve University (also known as Case Western Reserve, Case Western, Case, and CWRU) is a private doctorate-granting university in Cleveland, Ohio.
New!!: Alonzo Church and Case Western Reserve University · See more »
Church encoding
In mathematics, Church encoding is a means of representing data and operators in the lambda calculus.
New!!: Alonzo Church and Church encoding · See more »
Church–Rosser theorem
In mathematics and theoretical computer science, the Church–Rosser theorem states that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen does not make a difference to the eventual result.
New!!: Alonzo Church and Church–Rosser theorem · See more »
Church–Turing thesis
In computability theory, the Church–Turing thesis (also known as computability thesis, the Turing–Church thesis, the Church–Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis) is a hypothesis about the nature of computable functions.
New!!: Alonzo Church and Church–Turing thesis · See more »
Church–Turing–Deutsch principle
In computer science and quantum physics, the Church–Turing–Deutsch principle (CTD principle) is a stronger, physical form of the Church–Turing thesis formulated by David Deutsch in 1985.
New!!: Alonzo Church and Church–Turing–Deutsch principle · See more »
Dana Scott
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California.
New!!: Alonzo Church and Dana Scott · See more »
David Berlinski
David Berlinski (born 1942) is an American author and academic who opposes the scientific consensus on the theory of evolution.
New!!: Alonzo Church and David Berlinski · See more »
David Kaplan (philosopher)
David Benjamin Kaplan (born September 17, 1933) is the Hans Reichenbach Professor of Scientific Philosophy at the University of California, Los Angeles Department of Philosophy.
New!!: Alonzo Church and David Kaplan (philosopher) · 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!!: Alonzo Church and Decision problem · See more »
Doctor of Philosophy
A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.
New!!: Alonzo Church and Doctor of Philosophy · See more »
Entscheidungsproblem
In mathematics and computer science, the Entscheidungsproblem (German for "decision problem") is a challenge posed by David Hilbert in 1928.
New!!: Alonzo Church and Entscheidungsproblem · See more »
Frege–Church ontology
The Frege–Church ontology is an ontology, a theory of existence.
New!!: Alonzo Church and Frege–Church ontology · See more »
Functional programming
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.
New!!: Alonzo Church and Functional programming · See more »
Gary R. Mar
Gary R. Mar is an American philosopher specializing in Logic, the Philosophy of Mathematics, contemporary analytic philosophy, Asian American Philosophy and the Philosophy of Religion.
New!!: Alonzo Church and Gary R. Mar · See more »
George Alfred Barnard
George Alfred Barnard (23 September 1915 – 9 August 2002) was a British statistician known particularly for his work on the foundations of statistics and on quality control.
New!!: Alonzo Church and George Alfred Barnard · See more »
Gian-Carlo Rota
Gian-Carlo Rota (April 27, 1932 – April 18, 1999) was an Italian-born American mathematician and philosopher.
New!!: Alonzo Church and Gian-Carlo Rota · 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!!: Alonzo Church and Halting problem · See more »
Hartley Rogers Jr.
Hartley Rogers Jr. (1926–2015) was a mathematician who worked in recursion theory, and was a professor in the Mathematics Department of the Massachusetts Institute of Technology.
New!!: Alonzo Church and Hartley Rogers Jr. · See more »
Harvard University
Harvard University is a private Ivy League research university in Cambridge, Massachusetts.
New!!: Alonzo Church and Harvard University · 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!!: Alonzo Church and Herbert Enderton · 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!!: Alonzo Church and Higher-order logic · See more »
Hudson, Ohio
Hudson is a city in Summit County, Ohio, United States.
New!!: Alonzo Church and Hudson, Ohio · See more »
International Congress of Mathematicians
The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics.
New!!: Alonzo Church and International Congress of Mathematicians · See more »
Isaac Malitz
Isaac Richard Jay Malitz (born 1947, Cleveland, Ohio) is a logician who introduced the subject of positive set theory in his 1976 Ph.D. Thesis at UCLA.
New!!: Alonzo Church and Isaac Malitz · See more »
J. Barkley Rosser
John Barkley Rosser Sr. (December 6, 1907 – September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus.
New!!: Alonzo Church and J. Barkley Rosser · See more »
John Corcoran (logician)
John Corcoran (born 1937) is an American logician, philosopher, mathematician, and historian of logic.
New!!: Alonzo Church and John Corcoran (logician) · See more »
John G. Kemeny
John George Kemeny; May 31, 1926 – December 26, 1992) was a Jewish-American mathematician, computer scientist, and educator best known for co-developing the BASIC programming language in 1964 with Thomas E. Kurtz. Kemeny served as the 13th President of Dartmouth College from 1970 to 1981 and pioneered the use of computers in college education. Kemeny chaired the presidential commission that investigated the Three Mile Island accident in 1979. According to György Marx he was one of The Martians.
New!!: Alonzo Church and John G. Kemeny · See more »
Journal of Symbolic Logic
The Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic.
New!!: Alonzo Church and Journal of Symbolic Logic · 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!!: Alonzo Church and Lambda calculus · See more »
Leon Henkin
Leon Albert Henkin (April 19, 1921, Brooklyn, New York – November 1, 2006, Oakland, California), Oroville Mercury-Register, November 24, 2006.
New!!: Alonzo Church and Leon Henkin · See more »
Lisp (programming language)
Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.
New!!: Alonzo Church and Lisp (programming language) · See more »
List of logicians
A logician is a person whose topic of scholarly study is logic.
New!!: Alonzo Church and List of logicians · See more »
List of pioneers in computer science
This article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers and electronics could do.
New!!: Alonzo Church and List of pioneers in computer science · 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!!: Alonzo Church and Logic · See more »
Lorentz transformation
In physics, the Lorentz transformations (or transformation) are coordinate transformations between two coordinate frames that move at constant velocity relative to each other.
New!!: Alonzo Church and Lorentz transformation · 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!!: Alonzo Church and Martin Davis · See more »
Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
New!!: Alonzo Church and Mathematical logic · See more »
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.
New!!: Alonzo Church and Mathematician · 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!!: Alonzo Church and Mathematics · See more »
Maurice L'Abbé
Maurice L'Abbé (1920 – July 21, 2006) was a Canadian academic and mathematician.
New!!: Alonzo Church and Maurice L'Abbé · See more »
Michael O. Rabin
Michael Oser Rabin (מִיכָאֵל עוזר רַבִּין, born September 1, 1931) is an Israeli computer scientist and a recipient of the Turing Award.
New!!: Alonzo Church and Michael O. Rabin · 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!!: Alonzo Church and Modal logic · See more »
National Academies of Sciences, Engineering, and Medicine
The National Academies of Sciences, Engineering, and Medicine (also known as "NASEM" or "the National Academies") is the collective scientific national academy of the United States.
New!!: Alonzo Church and National Academies of Sciences, Engineering, and Medicine · See more »
Nicholas Rescher
Nicholas Rescher (born 15 July 1928) is a German-American philosopher at the University of Pittsburgh.
New!!: Alonzo Church and Nicholas Rescher · See more »
Oswald Veblen
Oswald Veblen (June 24, 1880 – August 10, 1960) was an American mathematician, geometer and topologist, whose work found application in atomic physics and the theory of relativity.
New!!: Alonzo Church and Oswald Veblen · 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!!: Alonzo Church and Peano axioms · See more »
Peter B. Andrews
Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania, and the creator of the mathematical logic Q0.
New!!: Alonzo Church and Peter B. Andrews · See more »
Presbyterianism
Presbyterianism is a part of the reformed tradition within Protestantism which traces its origins to Britain, particularly Scotland, and Ireland.
New!!: Alonzo Church and Presbyterianism · See more »
Princeton Cemetery
Princeton Cemetery is located in Princeton, New Jersey.
New!!: Alonzo Church and Princeton Cemetery · See more »
Princeton University
Princeton University is a private Ivy League research university in Princeton, New Jersey.
New!!: Alonzo Church and Princeton University · See more »
Raymond Smullyan
Raymond Merrill Smullyan (May 25, 1919 – February 6, 2017) was an American mathematician, magician, concert pianist, logician, Taoist, and philosopher.
New!!: Alonzo Church and Raymond Smullyan · See more »
Ridgefield, Connecticut
Ridgefield is an affluent town in Fairfield County, Connecticut, United States.
New!!: Alonzo Church and Ridgefield, Connecticut · See more »
Simon B. Kochen
Simon Bernhard Kochen (born 14 August 1934, Antwerpen) is a Canadian mathematician, working in the fields of model theory, number theory and quantum mechanics.
New!!: Alonzo Church and Simon B. Kochen · See more »
Stephen Cole Kleene
Stephen Cole Kleene (January 5, 1909 – January 25, 1994) was an American mathematician.
New!!: Alonzo Church and Stephen Cole Kleene · 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!!: Alonzo Church 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!!: Alonzo Church and Theory (mathematical logic) · 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!!: Alonzo Church and Turing machine · See more »
Undecidable problem
In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is known to be impossible to construct a single algorithm that always leads to a correct yes-or-no answer.
New!!: Alonzo Church and Undecidable problem · See more »
United States
The United States of America (USA), commonly known as the United States (U.S.) or America, is a federal republic composed of 50 states, a federal district, five major self-governing territories, and various possessions.
New!!: Alonzo Church and United States · See more »
Universal set
In set theory, a universal set is a set which contains all objects, including itself.
New!!: Alonzo Church and Universal set · See more »
University at Buffalo
The State University of New York at Buffalo is a public research university with campuses in Buffalo and Amherst, New York, United States.
New!!: Alonzo Church and University at Buffalo · See more »
University of Amsterdam
The University of Amsterdam (abbreviated as UvA, Universiteit van Amsterdam) is a public university located in Amsterdam, Netherlands.
New!!: Alonzo Church and University of Amsterdam · See more »
University of California, Los Angeles
The University of California, Los Angeles (UCLA) is a public research university in the Westwood district of Los Angeles, United States.
New!!: Alonzo Church and University of California, Los Angeles · See more »
University of Chicago
The University of Chicago (UChicago, U of C, or Chicago) is a private, non-profit research university in Chicago, Illinois.
New!!: Alonzo Church and University of Chicago · See more »
University of Göttingen
The University of Göttingen (Georg-August-Universität Göttingen, GAU, known informally as Georgia Augusta) is a public research university in the city of Göttingen, Germany.
New!!: Alonzo Church and University of Göttingen · See more »
Washington, D.C.
Washington, D.C., formally the District of Columbia and commonly referred to as Washington or D.C., is the capital of the United States of America.
New!!: Alonzo Church and Washington, D.C. · See more »
Wilfrid Hodges
Wilfrid Augustine Hodges, FBA (born 27 May 1941) is a British mathematician, known for his work in model theory.
New!!: Alonzo Church and Wilfrid Hodges · See more »
William Boone (mathematician)
William Werner Boone (16 January 1920 in Cincinnati – 14 September 1983 in Urbana, Illinois) was an American mathematician.
New!!: Alonzo Church and William Boone (mathematician) · See more »
Redirects here:
A. Church, Alonso Church, Alonzo Church (Mathematician), Church, A, Church, A..
References
[1] https://en.wikipedia.org/wiki/Alonzo_Church
