Difference between revisions of "Alonzo Church"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) |
Karl Jones (Talk | contribs) |
||
| Line 5: | Line 5: | ||
* The [[lambda calculus]] | * The [[lambda calculus]] | ||
* The [[Church–Turing thesis]] | * The [[Church–Turing thesis]] | ||
| − | * Proving the undecidability of the [[Entscheidungsproblem] | + | * Proving the undecidability of the [[Entscheidungsproblem]] |
* The [[Frege–Church ontology]] | * The [[Frege–Church ontology]] | ||
* The [[Church–Rosser theorem]] | * The [[Church–Rosser theorem]] | ||
Revision as of 17:38, 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
- The Frege–Church ontology
- The Church–Rosser theorem
See also
External links
- Alonzo Church @ Wikipedia
