Concept
Alonzo Church
Overview
Alonzo Church (June 14, 1903 – August 11, 1995) was an American computer scientist, mathematician, 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 ("decision problem"), the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
People have discovered how to make reasoning symbolic, as it is in Algebra, so that deductions are effected by mathematical rules. They have discovered many rules besides the syllogism, and a new branch of logic, called the Logic of Relatives,[11] has been invented to deal with topics that wholly surpassed the powers of the old logic, though they form the chief contents of mathematics.
Bertrand Russell, Mysticism and Logic and Other Essays
The author is tied to Alonzo Church in the knowledge graph.
The first serious advance in real logic since the time of the Greeks was made independently by Peano and Frege--both mathematicians. They both arrived at their logical results by an analysis of mathematics. Traditional logic regarded the two propositions, "Socrates is mortal" and "All men are mortal," as being of the same form;[14] Peano and Frege showed that they are utterly different in form. The philosophical…
Bertrand Russell, Our Knowledge of the External World as a Field for Scientific Method in Philosophy
The author is tied to Alonzo Church in the knowledge graph.
For contemporary thought concerning the mathematical sciences this altered point of view generates peculiarly pressing problems. Mathematicians have weighed the old logic and found it wanting. They have builded themselves a new logic more adequate to their ends. But they have not whole-heartedly recognized the change that has come about in psychology; hence they have retained the faculty of intelligence knit into…
John Dewey, Creative Intelligence
Close in meaning to Alonzo Church; the term itself is not named.
Philosophers who discussed Alonzo Church
- David Kaplan (philosopher)
- Frank P. Ramsey
- Alfred Tarski
- Nathan Salmón
- Cooper Harold Langford
- Jack Copeland
- Peter Glassen
Related ideas
- Washington, D.C.
- Journal of Symbolic Logic
- Alan Turing
- Philosophy
- Dana Scott
- University of Göttingen
- Lambda calculus
- Harvard University
- Mathematics
- Mathematician
- Mathematical logic
- Doctor of Philosophy
- Princeton University
- Presbyterianism
- Peano axioms
- British Academy
- Stephen Cole Kleene
- Turing machine
- University of Chicago
- Theoretical computer science
- Computer scientist
- Modal logic
- University of California, Los Angeles
- American Academy of Arts and Sciences
Place in the tradition
Part of Analytic philosophy.