알론조 처치
From Wikipedia, the free encyclopedia
알론조 처치(영어: Alonzo Church, 1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자, 컴퓨터 과학자, 논리학자, 철학자이다. 컴퓨터 과학의 이론적 기초를 세운 사람 중의 한 명이다.
![]() | 이 문서는 참고 문헌 목록을 포함하고 있으나, 각주가 불충분하거나 존재하지 않아 출처가 모호합니다. |
간략 정보 출생, 사망 ...
알론조 처치 | |
출생 | 1903년 6월 14일(1903-06-14)![]() |
---|---|
사망 | 1995년 8월 11일(1995-08-11)(92세)![]() |
국적 | ![]() |
교육 | 프린스턴 대학교 |
출신 학교 | 프린스턴 대학교 |
주요 업적 | 람다 대수 처치-튜링 명제 처치-로서 정리 |
분야 | 수학, 논리학, 컴퓨터과학 |
소속 | 프린스턴 대학교 (1929–67) 캘리포니아 대학교 로스앤젤레스(1967–95) |
박사 지도교수 | 오즈월드 베블런 |
기타 지도교수 | 오즈월드 베블런 |
박사 지도학생 | 미하엘 라빈 레이먼드 스멀리언 존 조지 케메니 스티븐 클레이니(Stephen Kleene) 앨런 튜링 |
유명한 학생 | 미하엘 라빈 레이먼드 스멀리언 존 조지 케메니 스티븐 클레이니(Stephen Kleene) 앨런 튜링 |
닫기