1995년 8월 11일, 미국 수학자 알론조 처치 (Alonzo Church, 1903 ~ 1995) 별세
알론조 처치 (Alonzo Church, 1903년 6월 14일 ~ 1995년 8월 11일)는 미국의 수학자이자 논리학자이다.
전산학의 이론적 기초를 세운 사람 중의 한 명이다.
– 알론조 처치 (Alonzo Church)
.출생: 1903년 6월 14일, 미국 워싱턴 D.C.
.사망: 1995년 8월 11일 (92세), 미국 오하이오주
.국적: 미국
.직업: 수학자, 컴퓨터 과학자, 논리학자, 철학자
.교육: Harvard University (1927–1928), Princeton University (1920–1927), Department of Mathematics
.주요 저서: The Calculi of Lambda-Conversion (1941), Introduction to Mathematical Logic (제1권, 1956) 등
미국의 수학자, 컴퓨터 과학자, 논리학자, 철학자이다.
프린스턴대학교와 캘리포니아대학교 수학 및 논리학 교수를 역임했다.
계산이 가능한 함수를 귀납적 함수로 정의할 것을 제창하는 등, 수학기초론과 기호논리학에 많은 업적이 있다.
○ 생애 및 활동
워싱턴 D.C.에서 태어났다. 1924년에 프린스턴 대학교에서 학사 학위를 받고 1927년에는 박사 학위를 받았다.
1929년에 프린스턴 대학교의 수학과 교수가 되었다.
1936년 람다 대수에 관한 논문을 썼고, 여기서 “결정 불가능한 문제”가 존재함을 보였다.
이것은 앨런 튜링의 정지 문제보다 앞선 것이다 (튜링의 경우, 기계적인 방법으로 풀 수 없는 문제가 존재한다는 것을 증명했다).
훗날 처치와 튜링은 람다 셈법과 튜링 기계가 본질적으로 같은 능력을 가지고 있다는 것을 보였다.
람다 셈법에 관한 처치의 연구는 리스프 (LISP)계열의 프로그래밍 언어뿐 아니라 일반적인 함수형 언어 전반에 큰 영향을 끼쳤다.
알론조 처치 (Alonzo Church)는 1995년 8월 11일, 미국 오하이오주에서 별세했다.
주요 저서로 《The Calculi of Lambda-Conversion》(1941), 《Introduction to Mathematical Logic》(제1권, 1956) 등이 있다.
○ Mathematical work
계산이 가능한 함수를 귀납적 함수로 정의할 것을 제창하는 등, 수학기초론과 기호논리학에 많은 업적이 있다.
Church is known for the following accomplishments:
.His proof that the Entscheidungsproblem, which asks for a decision procedure to determine the truth of arbitrary propositions in a first-order mathematical theory, is undecidable. This is known as Church’s theorem.
.His invention of the lambda calculus.
.His use of the lambda calculus to prove that Peano arithmetic is undecidable.
.His articulation of what has come to be known as the Church–Turing thesis.
.Being a founding editor of the Journal of Symbolic Logic, editing its reviews section for 43 years from 1936 until 1979.
.His authorship of a prominent textbook in the field of mathematical logic, Introduction to Mathematical Logic.
.The Church–Rosser theorem
○ Bibliography
주요 저서로 《The Calculi of Lambda-Conversion》(1941) 《Introduction to Mathematical Logic》(제1권, 1956) 등이 있다.
Alonzo Church, Introduction to Mathematical Logic (1944)
Alonzo Church, The Calculi of Lambda-Conversion (1941)
Alonzo Church, A Bibliography of Symbolic Logic, 1666–1935
C. Anthony Anderson and Michael Zelëny, (eds.), Logic, Meaning and Computation: Essays in Memory of Alonzo Church
Tyler Burge and Herbert Enderton (eds.), The Collected Works of Alonzo Church (2019)
참고 = 위키백과, 나무위키
크리스천라이프 편집부