On this page:
- Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem.
- Alonzo Church a.k.a. Alonzo S. Church was the sixth president of the University of Georgia, U.S.A. in Athens. He served in that capacity from 1829 until his resignation in 1859.
- read more about Alonzo S. Church
Printed dictionaries and other books with definitions for Alonzo Church
Click on a title to look inside that book (if available):
Princeton Alumni Weekly (1914)
Alonzo Church is a member of the firm of Munn S: Church, practicing lawyers at BIQ Broad St., Newark, N. J. The wonderful Essex County Park system is a ...
by A. Pablo Iannone
Its 1935 formulation by the contemporary United States logician Alonzo Church was: the ...
by Simon Blackburn
Church's theorem Theorem due to the American mathematician and philosopher Alonzo Church (1903–95) stating that the theorems of the *predicate calculus do not form a general recursive set. Given *Church's thesis, this means that there is ...
by R.L. Trask
This conjecture, proposed by the logician Alonzo Church and the mathematician Alan Turing, has never been proved, ...
by Yan Huang
slingshot Sometimes also known as the Frege—Church argument after the German philosopher, mathematician, and logician Gottlob Frege and the American philosopher Alonzo Church.
by John A. N. Lee, J. A. N. Lee
:D Alonzo Church Born June 14, 1903, Washington, D.C.; mathematical logician, creator of the Ijimbda Calculus who contributed the Church-Rosser theorem to the study of computer science. Education: AB, Princeton University, 1924; PhD, ...
Including the Northern and Southern Assemblies by Alfred Nevin
Alonzo Church, a native of ...
Online dictionaries and encyclopedias with entries for Alonzo Church
Click on a label to prioritize search results according to that topic:
Quotes about Alonzo Church
The only thing that might have annoyed some mathematicians was the presumption of assuming that maybe the axiom of choice could fail, and that we should look into contrary assumptions. (Alonzo Church)
Share this page
Go to the pronunciation of Alonzo Church to learn how to say it correctly!