For all your dictionary needs!
Tip. You can look up words, expressions, names, titles...

Alonzo Church


  1. 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.
  2. 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.

Printed dictionaries and other books with definitions for Alonzo Church

Click on a title to look inside that book (if available):

Google previewPrinceton 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 ...

Google previewDictionary of World Philosophy (2013)

by A. Pablo Iannone

Its 1935 formulation by the contemporary United States logician Alonzo Church was: the ...

Google previewEncyclopaedia of the Presbyterian Church in the United States of America (1884)

Including the Northern and Southern Assemblies by Alfred Nevin

Alonzo Church, a native of ...

Google previewThe Oxford Dictionary of Philosophy (2016)

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 ...

Google previewA Dictionary of Grammatical Terms in Linguistics (2013)

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)
more quotes...

Share this page


Go to the pronunciation of Alonzo Church to learn how to say it correctly!

Privacy Policy | Cookies Policy
Keyword Tool | Romanian-English Dictionary