Amerikai matematikus, logikus
A számítástechnika elméletének (computer science) egyik megalapozójának tartják. A Princeton-i egyetemen szerzett B.S. fokozatot és itt is doktorált (Ph.D.) 1927-ben, Oswald Veblen tanítványként. Göttingenben folytatta posztdoktorális tanulmányait, majd a Princeton-i egyetemen (1929-1967) és a UCLA-n (University of California, Los Angeles) tanított és kutatott (1967-1990). A számításelméletben a Church-Turing-tézis az 1930-as években megfogalmazott sejtés, mely szerint minden formalizálható probléma, ami megoldható algoritmussal, az megoldható Turing-géppel vagy lambda-kalkulussal is. A lambda-kalkulus egy formális rendszer, amit eredetileg matematikai függvények tulajdonságainak (definiálhatóság, rekurzió, egyenlõség) vizsgálatára vezettek be. Az elmélet kidolgozói Alonzo Church és Stephen Cole Kleene voltak az 1930-as években. Church, 1936-ban, a λ-kalkulus segítségével bizonyította, hogy nem létezik algoritmus a híres Entscheidungsproblem (döntési probléma) megoldására. A λ-kalkulus (akárcsak a Turing-gép) lehetõvé teszi, hogy pontosan (formálisan) definiáljuk, mit is értünk kiszámítható függvény alatt. A Church-féle lambda-kalkuluson alapul a LISP programozási nyelv.