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
121
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.052321195602417s
fmsppl-page-output: 1x 0.048381805419922s
t_/pages/fms-person-json: 1x 0.048348188400269s
t_/blocks/person-card-json: 1x 0.029506921768188s
headline: 7x 0.018359899520874s
t_/common/header: 1x 0.017415046691895s
router_page: 1x 0.0023930072784424s
t_/common/footer: 1x 0.00095105171203613s
t_/common/head: 1x 0.00079202651977539s
head-facts: 1x 0.00075793266296387s
t_/common/searcher-result: 1x 5.8889389038086E-5s
----- END OF DUMP (2024-12-22 05:30:12)  -----