스티븐 콜 클린

Stephen Cole Kleene
스티븐 클린
Kleene.jpg
태어난(1909-01-05) 1909년 1월 5일
죽은1994년 1월 25일 (1994-01-25) (85세)
미국 위스콘신 주, 매디슨
국적.아메리칸
모교애머스트 대학교
프린스턴 대학교
로 알려져 있다
어워드리로이 P.스틸상 (1983)
미국 과학 훈장 (1990)
과학 경력
필드수학
기관위스콘신 대학교 매디슨
박사 어드바이저알론조 교회
박사과정 학생로버트 컨스터블
조안 모쇼바키스
이안니스 모쇼바키스
넬스 데이비드 넬슨
딕 드 종

스티븐클린(Stephen Cole Cleene, 1909년 1월 5일 ~ 1994년 1월 25일)[a]은 미국의 수학자이다.Alonzo Church의 학생 중 한 명인 KleeneRossa Péter, Alan Turing, Emil Post 등과 함께 재귀 이론으로 알려진 수리 논리학의 분파의 창시자로 가장 잘 알려져 있으며, 이것은 후에 이론 컴퓨터 과학의 기초를 제공하는데 도움을 주었다.클린의 연구는 계산 가능한 함수에 대한 연구의 기초가 된다.많은 수학적 개념들이 그의 이름을 따서 명명되었다: 클린 계층 구조, 클린 대수, 클린 별(클린 폐색), 클린의 재귀 정리, 클린 고정점 정리.그는 또한 1951년에 맥컬록-핏스 신경망을 묘사하기 위해 정규 표현을 발명했고, 수학적 직관주의의 기초에 중요한 공헌을 했습니다.

전기

클린은 1930년에 암허스트 대학에서 학사 학위를 받았다.그는 1934년 프린스턴 대학에서 수학 박사 학위를 수여받았고, 그곳에서 "형식 논리학의 양의 정수 이론"이라는 제목의 그의 논문은 알론조 교회의 감독을 받았다.1930년대에 그는 처치의 람다 미적분에 중요한 연구를 했다.1935년, 그는 위스콘신 대학 매디슨 수학부에 들어가 그의 경력의 거의 대부분을 보냈습니다.강사로 2년 동안 일한 후, 그는 1937년 조교수로 임명되었습니다.

1939~1940년 프린스턴 고등연구소에서 객원학자로 재직하면서 그는 평생 연구할 수 있는 분야인 재귀이론의 기초를 닦았다.1941년, 그는 Amherst College로 돌아와 그곳에서 수학 부교수로 1년을 보냈다.

제2차 세계대전 동안, 클린은 미 해군중령이었다.는 뉴욕에 있는 미 해군 예비군 사관학교의 항해 교관과 워싱턴 D.C. 해군 연구소의 프로젝트 책임자로 일했다.

1946년에 클린은 위스콘신 매디슨 대학으로 돌아와 1948년에 정교수가 되었고 사이러스 C.1964년 맥더피 수학 교수.그는 수학과 학과장을 두 번, 수치분석과장을 한 번 역임했다(나중에 컴퓨터과학과로 개명).그는 또한 1969-1974년에 문학 및 과학 대학의 학장을 역임했습니다.위스콘신 대학에서 지내는 동안 그는 13명의 박사과정 학생들의 논문 고문이었다.그는 1979년 위스콘신 대학에서 은퇴했다.1999년에 위스콘신 대학의 수학 도서관은 그를 [3]기리기 위해 이름을 바꿨다.

위스콘신에서 클린이 가르친 결과 수리논리학에서 클린이 52, 1967년, 클린이와 베슬리라는 세 개의 텍스트가 나왔다.처음 두 권은 종종 인용되고 여전히 인쇄되고 있다.클라이네(1952)는 그들의 규범적 지위를 높이고 그들을 가르치고 이해하기 쉽게 만든 괴델의 불완전성 이론들에 대한 대체 증거를 썼다.클린과 베슬리(1965)는 직관적 논리수학에 대한 고전적인 미국 입문이다.

[...] 재귀함수 이론은 컴퓨터 과학에서 가장 중요합니다.클라인은 클라인 정규 정리(1936년), 클라인 재귀 정리(1938년), 1940년대와 1950년대 산술 및 초산술 위계층의 발전, 클라인 포스트 불용성 차수의 이론(1954년), 그리고 더 높은 유형의 재귀 이론을 포함한 영역의 많은 근본적인 결과들에 책임이 있다.1950년대 후반부터 시작해 1970년대 후반까지 거슬러 올라간다.[...] 1940년대 후반부터 클린은 브루어의 직관주의라는 두 번째 분야에서도 일했다.재귀 이론의 도구를 사용하여, 그는 직관적인 진술을 해석하기 위한 중요한 기술인 재귀 실현 가능성을 도입했습니다.1951년 여름 랜드사에서 그는 유한 오토마톤에 [4]의해 받아들여진 사건의 중요한 특징을 제시하면서 제3의 영역에서 큰 돌파구를 마련했다.

클린은 1956-1958년 기호논리협회 회장과 1961년 [5]국제역사철학연합 회장을 역임했습니다.클린의 작품의 중요성은 다니엘 데넷이 1978년에 출판한 "고단함은 괴델네스 [6]다음으로 크다"라는 속담을 만들어냈다.1990년에 그는 국립과학훈장을 받았다.

클린과 그의 아내 낸시 엘리엇은 4명의 자녀를 두었다.그는 메인에 있는 가족 농장에 평생 헌신했다.열렬한 등산가였던 그는 자연과 환경에 강한 관심을 가지고 많은 보존 운동에 적극적이었다.

레거시

컴퓨터 사이언스 논리학 심포지엄의 각 컨퍼런스에서 Stephen Cole Kleene을 기리는 클린 상은 최우수 학생 [7]논문에 수여됩니다.

선택한 출판물

  • 1935. Stephen Cole Kleene (Jan 1935). "A Theory of Positive Integers in Formal Logic. Part I". American Journal of Mathematics. 57 (1): 153–173. doi:10.2307/2372027. JSTOR 2372027.
  • 1935년.
  • 1935년.
  • 1936년.
  • 1936년.
  • 1938년.
  • 1943년
  • 1951년.
  • 1952년 메타수학 입문뉴욕: 반 노스트랜드.(이시 프레스: 2009년 전재).[8]
  • 1956년.
  • 1965년 (리처드 유진 베슬리와 함께)직관 수학의 기초.노스홀랜드.[9]
  • 1967년. 수리논리.John Wiley & Sons.도버 전재, 2002.ISBN 0-486-42533-9.
  • 1981.컴퓨팅사 제3호 '재귀함수론의 기원'
  • 1987년.

「 」를 참조해 주세요.

메모들

  1. ^ 그의 성은 보통 /klinini/KLEE-nee 또는 /klinn/KLEEN으로 발음되지만, 클린은 그것을 /klenini/KLAY-nee[1]발음했다.그의 아들 켄 클린은 다음과 같이 썼다. "내가 아는 한 이 발음이 모든 알려진 언어에서 부정확하다.이 참신한 발음은 아버지가 [2]창안한 것이라고 생각합니다.하지만, 이 성의 많은 예는 네덜란드에서 발견될 수 있고 네덜란드어 발음 'ee'는 우박처럼 ay이지만 더 짧다.아마도 클린은 그것을 알고 있었을 것이다.

레퍼런스

  1. ^ Pace, Eric (January 27, 1994). "Stephen C. Kleene Is Dead at 85; Was Leader in Computer Science". The New York Times.
  2. ^ 무료 온라인 컴퓨팅 사전의 "Stephen Kleene" 항목.
  3. ^ "S. C. Kleene". Retrieved February 8, 2021.
  4. ^ Keisler, H. Jerome (September 1994). "Stephen Cole Kleene 1909–1994". Notices of the AMS. 41 (7): 792.
  5. ^ IUHPS 웹사이트, "국제 역사와 과학 철학 연합"이라고도 합니다.국제과학협의회(International Council for Science)의 ICSU 멤버.
  6. ^ 대니얼 데넷과 카렐 램버트, 제7판 (뉴어크, DE: American Philosical Association, 1978), 5판 (블로그 필명), "데넷의 로고 중심 어휘" (2007년 12월 9일):http://aeconomics.blogspot.com/2007/12/dennetts-logocentric-lexicon.html
  7. ^ "LICS – Archive". lics.siglog.org.
  8. ^ WorldCat: editions for 'Introduction to metamathematics.'. OCLC 523942.
  9. ^ Bishop, Errett (1965). "Review: The foundations of intuitionistic mathematics, by Stephen Cole Kleene and Richard Eugene Vesley" (PDF). Bulletin of the American Mathematical Society. 71 (6): 850–852. doi:10.1090/s0002-9904-1965-11412-4.

외부 링크