Alonzo Church
다비드 힐베르트의 지도로 괴팅겐 대학교에서 공부하다가 후에는 암스테르담에서 공부하였다. 1927년부터 프린스턴 대학교의 교수로 지내다가 1967년에 UCLA로 옮겼다. 그는 기호논리학협회의 창립맴버 중 한 사람이었다. 의사 결정 문제에 대한 해법, 람다 대수의 발명, Church-Turing thesis 등 계산가능성 이론에 대해서 지대한 공헌을 하였다.
제자
- Stephen Kleene
- Alan Turing
- Raymond Smullyan