Difference between revisions of "Alonzo Church"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) |
Karl Jones (Talk | contribs) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 13: | Line 13: | ||
== See also == | == See also == | ||
| + | * [[Church–Rosser theorem]] | ||
* [[Computation]] | * [[Computation]] | ||
* [[Computer science]] | * [[Computer science]] | ||
* [[Entscheidungsproblem]] | * [[Entscheidungsproblem]] | ||
| + | * [[Frege–Church ontology]] | ||
* [[Lambda calculus]] | * [[Lambda calculus]] | ||
* [[Theoretical computer science]] | * [[Theoretical computer science]] | ||
| Line 23: | Line 25: | ||
* [https://en.wikipedia.org/wiki/Alonzo_Church Alonzo Church] @ Wikipedia | * [https://en.wikipedia.org/wiki/Alonzo_Church Alonzo Church] @ Wikipedia | ||
| + | |||
| + | [[Category:Logicians]] | ||
| + | [[Category:Mathematicians]] | ||
| + | [[Category:People]] | ||
Latest revision as of 18:18, 15 April 2016
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.
Work
Church 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
- Church–Rosser theorem
- Computation
- Computer science
- Entscheidungsproblem
- Frege–Church ontology
- Lambda calculus
- Theoretical computer science
- Turing machine
External links
- Alonzo Church @ Wikipedia
