알론組 處置
(
英語
:
Alonzo Church
,
1903年
6月 14日
-
1995年
8月 11日
)는
美國
의
數學者
,
컴퓨터 科學者
,
논리학자
,
哲學者
이다.
컴퓨터 科學
의 理論的 基礎를 세운 사람 中의 한 名이다.
生涯
[
編輯
]
워싱턴 D.C.
에서 태어났다.
1924年
에
프린스턴 大學校
에서 學士 學位를 받고
1927年
에는 博士 學位를 받았다.
1929年
에 프린스턴 大學校의 數學科 敎授가 되었다.
1936年
람다 臺數
에 關한 論文을 썼고, 여기서 "決定 不可能한 問題"가 存在함을 보였다. 이것은
앨런 튜링
의
停止 問題
보다 앞선 것이다. (튜링의 境遇, 機械的인 方法으로 풀 수 없는 問題가 存在한다는 것을 證明했다.) 後날 處置와 튜링은 람다 셈法과
튜링 機械
가 本質的으로 같은 能力을 가지고 있다는 것을 보였다.
람다 셈法에 關한 處置의 硏究는
리스프
(LISP)系列의
프로그래밍 言語
뿐 아니라 一般的인
函數兄 言語
全般에 큰 影響을 끼쳤다.
같이 보기
[
編輯
]
參考 文獻
[
編輯
]
