What is Alonzo Church?
{{Infobox_Scientist | name = Alonzo Church | image = | caption = | birth_date = {{Birth date|1903|6|14}} | birth_place = [[Washington, DC]], [[USA]] | death_date = {{death date and age|1995|11|8|1903|6|14}} | death_place = [[Hudson, Ohio]], USA | nationality = American | field = [[Mathematics]] | work_institution = [[Princeton University]] 1929–67<br/>[[University of California, Los Angeles]] 1967–95 | alma_mater = [[Princeton University]] | doctoral_advisor = [[Oswald Veblen]] | doctoral_students = [[John George Kemeny]]<br/>[[Raymond Smullyan]]<br>[[Alan Turing]] | known_for = | prizes = | religion = | footnotes = }} '''Alonzo Church''' (June 14, 1903 – August 11, 1995) was an [[Americans|American]] [[mathematician]] and [[list of logicians|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|Church's thesis]] and the [[Church-Rosser theorem]]. {{US-bio-stub}} {{DEFAULTSORT:Church, Alonzo}} [[Category:1903 births]] [[Category:1995 deaths]] [[Category:American mathematicians]] [[Category:Scientists from Washington, D.C.]]