스티븐 클레이니

1. 개요

스티븐 클레이니는 재귀 함수 이론, 수리 논리학, 컴퓨터 과학 분야에 기여한 미국의 수학자이자 논리학자이다. 그는 1909년 하트퍼드에서 태어나 1934년 프린스턴 대학교에서 박사 학위를 받았으며, 제2차 세계 대전 중에는 미국 해군에서 복무했다. 위스콘신 대학교 매디슨에서 대부분의 경력을 보냈으며, 재귀 함수 이론의 기초를 다지고, 정규 표현식 개념을 도입하는 등 다양한 업적을 남겼다. 또한 수리 논리학 분야의 저술을 통해 해당 분야 발전에 기여했으며, 1990년 미국 국가 과학 메달을 수상했다.

2. 생애

스티븐 클레이니는 제2차 세계 대전 이후 학계에 복귀하여 위스콘신 대학교 매디슨에서 수학 교수로 재직했다. 1946년에 위스콘신 대학교로 돌아와 1948년 정교수가 되었고, 1964년에는 사이러스 맥더피 수학 석좌 교수가 되었다. 그는 수학과 및 컴퓨터 과학과 학과장, 문리과 대학 학장(1969-1974)을 역임했다. 위스콘신 대학교에서 13명의 박사 과정 학생들을 지도했다.

클레이니는 자연 보호 활동과 환경 운동에 적극적으로 참여했으며, 등산을 즐겼다.

기호 논리학회 회장(1956-1958), 국제 과학 철학사 연합 회장(1961)을 역임했다. 1990년에는 미국 국가 과학 메달을 수상했다.

2.1. 유년 시절과 교육

1909년 1월 5일 코네티컷주 하트퍼드에서 태어났다. 1930년 앰허스트 대학교에서 학사 학위를 받았고, 1934년 프린스턴 대학교에서 앨론조 처치의 지도 하에 형식 논리에서의 양의 정수 이론이라는 논문으로 수학 박사 학위를 받았다. 1930년부터 1935년까지 프린스턴 대학교에서 대학원생 겸 연구 조교로 재직하였다. 1935년, 위스콘신 대학교 매디슨의 수학과에 합류하여 강사로 2년을 보낸 후, 1937년에 조교수로 임명되었다.

1939년부터 1940년까지 프린스턴의 고등 연구소에서 방문 학자로 있는 동안, 재귀 이론의 기초를 다졌다. 1941년에는 앰허스트 대학교로 돌아와 1년간 수학 부교수로 재직했다.

2.2. 위스콘신 대학교 매디슨 교수

클레이니는 1935년에 위스콘신 대학교 매디슨의 조교수가 되었고, 대부분의 경력을 이 대학에서 보냈다. 1958년에 정교수로 승진하였고, 1964년에는 사이러스 맥더피 수학 석좌 교수(Cyrus C. MacDuffee Professor of Mathematics^영어)로 승진하였다.

2.3. 제2차 세계 대전 참전

제2차 세계 대전 동안 클레이니는 미국 해군 소령(해군 계급)으로 복무했다. 그는 뉴욕의 미 해군 예비군 사관학교에서 항해술을 가르쳤고, 워싱턴 D.C.의 해군 연구소에서 프로젝트 책임자로 근무했다.

2.4. 은퇴와 사망

클레이니는 1979년에 위스콘신 대학교에서 은퇴하였다. 1994년 1월 25일 위스콘신주 매디슨에서 사망하였다.

3. 학문적 업적

클레이니는 수리 논리학, 재귀 함수 이론, 수학적 직관주의, 오토마타 이론 등 다양한 분야에서 중요한 업적을 남겼다. 1930년대에 그는 앨론조 처치의 지도를 받아 람다 계산법에 대한 연구를 수행했다.

프린스턴 대학교에서 박사 학위를 받은 후, 위스콘신 대학교-매디슨에서 교수로 재직하며 수리 논리학에 관한 세 권의 저서를 출간했다. 이 중 수리 메타수학 입문(Introduction to Metamathematics)(1952)과 수리 논리(Mathematical Logic)(1967)는 해당 분야의 고전으로 널리 알려져 있다.

클레이니의 주요 학문적 업적은 다음과 같다.

3.1. 재귀 함수 이론

클레이니는 1939년부터 1940년까지 프린스턴 고등연구소에서 방문 학자로 있으면서 재귀 이론의 기초를 다졌다. 그는 평생 동안 이 분야를 연구하며 중요한 업적들을 남겼다.

클레이니의 주요 업적은 다음과 같다:

* 클레이니 정규형 정리 (1936년)
* 클레이니 재귀 정리 (1938년)
* 1940년대와 1950년대의 산술적 및 초산술적 계층 구조 개발
* 클레이니-포스트 비해결성 정도 이론 (1954년)
* 1950년대 후반에 시작하여 1970년대 후반에 다시 시작한 고차 재귀 이론

클레이니는 재귀 이론의 도구를 사용하여 직관주의적 명제를 해석하는 중요한 기술인 재귀적 실현 가능성을 도입했다.

3.2. 직관주의 논리 연구

클린은 직관주의 논리와 수학적 직관주의에 대한 고전적인 미국 입문서인 클린과 베슬리 (1965)를 저술하였다. 그는 재귀 이론의 도구를 사용하여 직관주의적 명제를 해석하는 중요한 기술인 재귀적 실현 가능성을 도입했다.

3.3. 오토마타 이론과 정규 표현식

1951년 여름, 클레이니는 랜드 연구소(Rand Corporation)에서 유한 오토마타에 의해 허용되는 사건에 대한 중요한 특성을 제시하며, 이 분야에서 획기적인 발전을 이루었다. 그는 신경망과 유한 오토마타에서의 사건 표현에 대한 연구를 수행했다. 이 연구 결과는 1956년 C. 섀넌(C. Shannon)과 J. 매카시(J. McCarthy)가 편집한 "오토마타 연구(Automata Studies)"에 게재되었다. 이 연구를 통해 클레이니는 정규 표현식을 도입하였다.

3.4. 수리 논리학 저술

클린의 저서 중 1952년에 출간된 수리 메타수학 입문(Introduction to Metamathematics)은 괴델의 불완전성 정리에 대한 대안적인 증명을 제시하여, 해당 정리를 더 쉽게 이해하고 가르칠 수 있도록 만들었다. 1965년에 리처드 베슬리와 함께 쓴 직관주의 수학의 기초(The Foundations of Intuitionistic Mathematics)는 직관주의 논리와 수학적 직관주의를 다룬 고전적인 미국 입문서로 평가받는다. 1967년에 출간된 수리 논리(Mathematical Logic)는 수리 논리학의 내용을 담고 있다.

4. 기타 활동

제2차 세계 대전 동안, 클레이니는 미국 해군의 중령으로 복무했다. 뉴욕에 있는 미 해군 예비군 사관학교에서 항해술 강사로 근무했고, 이후 워싱턴 D.C.(Washington, D.C.)에 있는 해군 연구소(Naval Research Laboratory)에서 프로젝트 책임자로 일했다. 그는 메인에 있는 가족 농장에 평생 헌신했다.

4.1. 환경 운동

열렬한 등산가였던 클레이니는 자연과 환경에 큰 관심을 보였으며, 자연 보호 운동에 적극적으로 참여했다.

4.2. 학회 활동

클린은 여러 학술 단체에서 중요한 직책을 맡았다. 1956년부터 1958년까지 기호 논리학회 회장을 역임했으며, 1961년에는 국제 과학사·과학철학 연합 회장을 역임했다.

5. 유산

클레이니의 학문적, 사회적 업적은 후대에 큰 영향을 미쳤다. 컴퓨터 과학 논리 심포지엄에서는 매 회의마다 스티븐 콜 클레이니를 기리는 클레이니 상을 최우수 학생 논문에 수여한다.

대니얼 데닛은 1978년에 "클린함은 괴델함에 가깝다"라는 말을 만들어 클레이니의 업적을 강조했다. 1990년, 클레이니는 미국 국가 과학 메달을 수상했다.