Alonzo Church
<person> A twentieth century mathematician and logician, and one of the founders of computer science.
Church invented the lambda-calculus and posited a version of the Church-Turing thesis.
< Previous Terms | Terms Containing Alonzo Church | Next Terms > |
ALLIANCE ALLOY ALM Aloha Aloha Net |
canonical Church, Alonzo Church integer Knights of the Lambda-Calculus lambda-calculus |
ALP ALPAK ALPHA Alpha Alpha AXP 21164 |