알론조 처치

요약 미국의 수학자·논리학자. 프린스턴대학교와 캘리포니아대학교 수학 및 논리학 교수를 역임했다. 계산이 가능한 함수를 귀납적 함수로 정의할 것을 제창하는 등, 수학기초론과 기호논리학에 많은 업적이 있다.

워싱턴 출생. 졸업 후, 1927∼1929년 국비 특별연구원으로 와 괴팅겐대학교 및 암스테르담대학교에서 연구하였고, 1929∼1967년 프린스턴대학교 수학 및 의 조교수·부교수·교수를 역임하였다.

1936년부터는 《The Journal of Symbolic Logic》을 편집하였고, 1967년부터 로스앤젤레스의 논리학 및 수학 교수를 역임하였다. 계산이 가능한 함수를 귀납적 함수로 정의할 것을 제창하는 등, 과 에 많은 업적이 있다. 주요 저서로 《The Calculi of Lambda-Conversion》(1941) 《Introduction to Mathematical Logic》(제1권, 1956) 등이 있다.