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 ...
Including the Northern and Southern Assemblies by Alfred Nevin
Alonzo Church, a native of ...
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
Alonzo Church and the mathematician Alan Turing, has never been proved, and indeed cannot be proved until a fully explicit characterization of the notion of an algorithm is obtained, but it is universally believed to be true. circumfix ...
It was proposed, at different times and in different forms, by Alan Turing and by the logician Alonzo Church. CIFS (Common Internet File System) the file sharing protocol that forms the basis of Microsoft Windows networking. Formerly known as ...
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!