알론조 처치

알론조 처치 (Alonzo Church) (1903년 6월 14일 – 1995년 8월 11일)는 미국의 수학자이자 논리학자, 컴퓨터 과학자이다. 계산 가능성 이론과 형식 논리학에 지대한 공헌을 했다. 특히 람다 대수, 처치-튜링 명제, 그리고 계산 가능성 문제의 해결 불가능성을 증명한 것으로 유명하다.

처치는 프린스턴 대학교에서 수학 박사 학위를 받았으며, 이후 프린스턴 대학교에서 오랫동안 교수로 재직하며 수많은 제자를 양성했다. 그의 제자 중에는 앨런 튜링, 스티븐 클리니, 데이나 스콧 등이 있다.

주요 업적:

• 람다 대수: 함수를 정의하고 계산하는 형식 체계로, 함수형 프로그래밍 언어의 이론적 기반이 되었다.
• 처치-튜링 명제: 모든 계산 가능한 함수는 튜링 기계로 계산 가능하다는 명제로, 계산 가능성의 개념을 명확히 하는 데 기여했다.
• 결정 문제의 해결 불가능성: 수학적 명제가 주어졌을 때, 그 명제가 참인지 거짓인지 판별하는 알고리즘이 존재하지 않는다는 것을 증명했다.
• 처치 수: 자연수를 람다 대수로 표현하는 방법.

처치의 연구는 현대 컴퓨터 과학의 기초를 다지는 데 결정적인 역할을 했으며, 그의 이론은 프로그래밍 언어, 인공지능, 논리 회로 설계 등 다양한 분야에 응용되고 있다.