Difference between revisions of "Alonzo Church"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (First) |
Karl Jones (Talk | contribs) (→External links) |
||
| Line 13: | Line 13: | ||
== External links == | == External links == | ||
| − | * [ Alonzo Church] @ Wikipedia | + | * [https://en.wikipedia.org/wiki/Alonzo_Church Alonzo Church] @ Wikipedia |
Revision as of 17:37, 20 August 2015
Alonzo Church (June 14, 1903 – August 11, 1995) 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
- The [[Church–Turing thesis
- Proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem
See also
External links
- Alonzo Church @ Wikipedia
