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

This conjecture, proposed by the logician Alonzo Church and the mathematician Alan Turing, has never been proved, ...

Google previewThe Oxford Dictionary of Pragmatics (2012)

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.

Google previewInternational Biographical Dictionary of Computer Pioneers (1995)

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

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

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