from Atlanta, GA
… Theorem inspired Alan Turing to embark on his pioneering work on the Entscheidungsproblem (decision problem) using a hypothetical computing machine.[15][16] Newman subsequently arranged for Turing to visit Princeton where Alonzo Church was working on the same problem but using his Lambda ca...
Alonzo Church (June 14, 1903 August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the ...
14 June 1903 • Washington, D.C. , USA
Died:11 August 1995 • Hudson, OH
Known for:Lambda calculus
Church–Turing thesis
Frege–Church ontology
Church–Rosser theorem
20th-century mathematician • Mathematician
Company:Princeton University faculty • University of California, Los Angeles
Position:Mathematician • Judge
Princeton University • Harvard University
Area of science:Mathematical logic • Calculus • Ontology • Functional programming
Academic degree:ScD
Presbyterian
Skill:Computer science • LISP
Preference:Lambda Chi Alpha
Master status:Student