Alonzo Church (Washington, 1903. június 14. – Hudson, Ohio, 1995. augusztus 11.) amerikai matematikus és logikus, akit a számítástechnika elméletének egyik megalapozójának tartanak. Legismertebb munkái a lambda-kalkulus, a Church–Turing-tézis, az Entscheidungsproblem („döntési probléma”) megoldhatatlanságának bizonyítása, a Frege–Church ontológia és a Church–Rosser-tétel.
Washingtonban, az Amerikai Egyesült Államok fővárosában született. A Princetoni Egyetemen szerzett B.Sc (Bachelor of Science) fokozatot és itt is doktorált (Ph.D) 1927-ben, Oscar Veblen tanítványaként. A disszertációjának címe: Alternatives to Zermelo's Assumption (Zermelo feltételezésének alternatívái). Göttingenben folytatta posztdoktorális tanulmányait, majd a Princetonon (1929–1967) és a Kaliforniai Egyetemen tanított és kutatott (1967–1990).
Legfontosabb eredményei
Jegyzetek
Források
Kategória:Amerikai matematikusok Kategória:1903-ban született személyek Kategória:1995-ben elhunyt személyek Kategória:Számítástechnikusok Kategória:Amerikai egyetemi, főiskolai oktatók Kategória:A Princetoni temetőben eltemetett személyek