Alonzo Church

Alonzo Church
Alonzo Church

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 unsolvability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language.

From *.wikipedia.org,
General Info
.
Male
Date of Birth
June 14th, 1903
Age
120
Birth Place
United States of America, District of Columbia
Date of Death
August 11st, 1995
Died Aged
92
Star Sign
Gemini
Social Networks , Links
Interest
Loading Chart...
Lists
    index: 1x 0.046304941177368s
fmsppl-page-output: 1x 0.039800882339478s
t_/pages/fms-person-json: 1x 0.039751052856445s
t_/blocks/person-card-json: 1x 0.021970987319946s
t_/common/header: 1x 0.016998052597046s
headline: 7x 0.013457059860229s
router_page: 1x 0.0052762031555176s
t_/common/head: 1x 0.0010581016540527s
head-facts: 1x 0.0010290145874023s
t_/common/footer: 1x 0.00053310394287109s
t_/common/searcher-result: 1x 2.0027160644531E-5s
----- END OF DUMP (2024-06-02 22:38:06)  -----