스티븐 콜 클레이니
(
英語
:
Stephen Cole Kleene
IPA:
[?stiːv?n ko?l ?kle?niː]
, 1909~1994)는 美國의 數學者이다.
生涯
[
編輯
]
1909年 1月 5日
코네티컷주
하트퍼드
에서 태어났다. 1930年에
앰허스트 大學校
에서 學士 學位를 授與받았고, 1934年에
프린스턴 大學校
에서 博士 學位를 授與받았다. 1935年에
위스콘신 大學校 매디슨
의 助敎授가 되었다.
第2次 世界 大戰
동안
美國 海軍
少領
(
英語
:
lieutenant commander
)으로 勤務하였다. 클레이니는 海軍 學校(
英語
:
United States Navy Reserve Midshipmen’s School
)에서 航海를 가르쳤으며, 海軍 硏究所(
英語
:
Naval Research Laboratory
)에서 硏究하였다.
1946年에 數學 敎授職에 復職하여, 1958年에 正敎授로, 1964年에 사이러스 脈더피 數學 夕座 敎授(
英語
:
Cyrus C. MacDuffee Professor of Mathematics
)로 昇進하였다.
클레이니는 登山을 즐겼으며,
自然 保護
活動에 活潑히 參與하였다.
1979年에 隱退하였으며, 1994年 1月 25日
위스콘신州
매디슨
에서 死亡하였다.
著書
[
編輯
]
- Kleene, Stephen (1952). 《Introduction to Metamathematics》 (英語). Van Nostrand.
- Kleene, Stephen; Vesley, Richard Eugene (1965). 《The Foundations of Intuitionistic Mathematics》 (英語). North-Holland.
- Kleene, Stephen (1967). 《Mathematical Logic》 (英語). John Wiley.
外部 링크
[
編輯
]