amerikansk matematiker og logiker, professor i matematikk ved Princeton-universitetet 1929–67, fra 1967 professor i matematikk og filosofi ved University of California i Los Angeles. En av grunnleggerne og utgiverne av Journal of Symbolic Logic, det mest fremstående tidsskrift for moderne logikk. Church arbeider er av største betydning i matematisk logikk, rekursjonsteori og teoretisk informasjonsvitenskap
Filosofi
Churchs tese er at enhver effektivt beregnbar funksjon er rekursiv. Tesen er allment akseptert og har hatt stor betydning for forståelsen av moderne logikk, men den kan ikke bevises. Dersom den er falsk, kan den imidlertid forkastes. Churchs teorem sier at første-ordens predikatlogikk er uavgjørbar, alternativt at mengden av logisk gyldige formler i første-ordens predikatlogikk er ikke rekursiv. Dette vil si at det finnes ingen mekanisk prosedyre for å avgjøre sannhetsverdien til enhver velformet formel innen første-ordens predikatlogikk.
Innen språkfilosofien har Church gjennom en serie arbeider utviklet en innflytelsesrik meningsteoretisk logikk som følger opp ansatser hos Frege.