하스켈 커리

Haskell Curry
하스켈 브룩스 커리
HaskellBCurry.jpg
태어난(1900-09-12)1900년 9월 12일
미국 매사추세츠 주 밀리스
죽은1982년 9월 1일 (1982-09-01) (81)
미국 펜실베이니아 주립대학
국적미국인의
모교
로 알려져 있다.결합 논리학
커리-하워드 통신
커리의 역설
수학철학의 형식주의
과학 경력
필드수학
논리학
기관펜실베이니아 주립 대학교
암스테르담 대학교
박사학위 자문위원데이비드 힐버트
영향알프레드 노스 화이트헤드
베르트랑 러셀
모세 쇤핀켈

하스켈 브룩스 커리(/ˈhæskəl/; 1900년 9월 12일 ~ 1982년 9월 1일)는 미국의 수학자 겸 논리학자였다. Curry는 전투적인 논리학으로 가장 잘 알려져 있다. 투쟁논리의 초기 개념은 모세 쇤핀켈의 단일 논문에 근거한 것이지만,[1] 커리는 많은 발전을 했다. 커리는 또한 커리의 역설과 커리와 하워드의 통신으로도 알려져 있다. 그의 이름을 딴 해스켈, 브룩, 커리 세 가지 프로그래밍 언어가 있으며, 수학과 컴퓨터 과학의 기능 변환에 사용되는 기술인 커리어의 개념도 있다.

인생

커리는 1900년 9월 12일 매사추세츠주 밀리스에서 사무엘 실라스 커리와 애나 바라이트 커리 사이에서 태어났다. 1916년 의학을 공부하기 위해 하버드 대학에 입학했으나 1920년 졸업하기 전에 수학으로 전환했다. MIT에서 전기공학과를 2년간 졸업한 후, 그는 물리학을 공부하기 위해 하버드로 돌아왔고, 1924년에 MA를 받았다. 커리의 수학적 논리에 대한 관심은 그가 공국 수학자(Principia Mathematica)에 소개된 이 시기 동안 시작되었는데, 알프레드 노스 화이트헤드와 버트랜드 러셀이 상징적 논리로 수학을 기초화하려는 시도였다. 하버드에 남은 커리는 수학 박사 학위를 취득했다. 그가 조지 데이비드 비르코프로부터 미분 방정식을 연구하라는 지시를 받는 동안, 그의 관심은 계속 논리로 옮겨갔다. 1927년 프린스턴 대학교에서 강사를 하던 중, 그는 모세 쇤핀켈의 작품을 전투적 논리로 발견했다. 쇤핀켈의 작품은 커리 자신의 연구에 많은 기대를 걸었고, 그 결과 쇤핀켈의 작품에 익숙한 하인리히 베만, 폴 버네이스와 함께 일할 수 있는 귄팅겐 대학으로 옮겨갔다. 커리는 데이비드 힐버트의 감독을 받아 버네이스와 긴밀히 협력하면서 1930년 전투논리에 관한 논문으로 박사학위를 받았다.[2]

괴팅겐으로 떠나기 전인 1928년 커리는 메리 버지니아 휘틀리와 결혼했다. 이 부부는 커리가 논문을 완성하는 동안 독일에 거주하다가 1929년 펜실베이니아 주립대학으로 옮겨가 커리가 펜실베이니아 주립대학에 입학했다. 그들에게는 앤 라이트 커리(1930년 7월 27일)와 로버트 휘틀리 커리(1934년 7월 6일)라는 두 아이가 있었다. 커리는 그 후 37년간 펜실베니아 주에 머물렀다. 그는 1931~1932년 국립 연구 펠로우쉽으로 시카고 대학에서 1년, 1938~1939년 프린스턴 고등 연구소에서 1년을 보냈다. 1942년 그는 제2차 세계 대전 중 특히 프랭크포드 아스널에서 미국 정부를 위해 응용수학을 하기 위해 휴학했다. 전쟁 직후 그는 1945년과 1946년에 ENIAC 프로젝트에서 일했다. 풀브라이트 펠로우십 아래 벨기에 루바인에서 로버트 페이스와 협력했다. 1966년 펜실베이니아주에서 은퇴한 후 커리는 암스테르담 대학교에 입학했다. 1970년, 전투적 논리에 관한 논문 제2권을 마친 후, 커리는 암스테르담 대학에서 은퇴하고 펜실베니아 주립대학으로 돌아왔다.

하스켈 커리는 1982년 9월 1일 펜실베이니아 주립대학에서 사망했다.

일

커리의 작품의 초점은 결합 논리가 수학의 기초를 제공할 수 있다는 것을 보여주려는 시도였다. 1933년 말경, 그는 존 로서와의 교신에서 클레네-로서의 역설에 대해 알게 되었다. 로저와 스티븐 클레네가 개발한 역설은 알론조 처치(양다 미적분을 일관된 서브시스템으로 하는 시스템)가 제안한 것, 커리 자신의 시스템 등 수많은 관련 형식 시스템의 모순을 입증했다.[2] 하지만, Church, Kleene, Rosser와 달리, Curry는 "역설로부터 도망치고 싶지 않다"고 말하며 근본적 접근을 포기하지 않았다."[3]

커리는 그의 전 생애 동안 콤비네틱 로직 분야에서 일함으로써 본질적으로 이 분야의 창시자이자 가장 큰 이름이 되었다. 결합논리는 하나의 기능적 프로그래밍 언어의 기초가 된다. 전투적 논리의 힘과 범위는 교회의 람다 미적분학과는 상당히 유사하며, 후자의 형식주의는 최근 수십 년 동안 우세해지는 경향이 있다.

1947년 커리는 또한 최초의 고급 프로그래밍 언어 중 하나를 기술했으며 일반 산술적 표현을 1주소 컴퓨터용 코드로 변환하는 절차에 대한 첫 번째 설명을 제공했다.[4]

그는 하버드, 프린스턴, 그리고 1929년부터 1966년까지 펜실베이니아 주립대학에서 가르쳤다. 1942년 커리의 역설문을 발표하였다. 1966년 그는 에버트 윌렘 베스의 후계자인 암스테르담 대학에서 논리학과 그 역사와 정확한 과학 철학 교수가 되었다.[5]

커리는 또한 수학적 논리를 더 일반적으로 쓰고 가르쳤다; 이 분야에서 그의 가르침은 1963년 수학논리의 기초에서 절정에 달했다. 그가 선호하는 수학 철학은 형식주의(cf)였다. 그의 멘토 힐베르트를 따라 1951년 책)을 썼지만, 그의 저술은 실질적인 철학적 호기심과 직관적 논리에 대한 매우 열린 마음을 배반한다.

주요 출판물

  • "Grundlagen der Kombinatorischen Logik" [Foundations of combinatorial logic]. American Journal of Mathematics (in German). The Johns Hopkins University Press. 52 (3): 509–536. 1930. doi:10.2307/2370619. JSTOR 2370619.
  • A theory of formal deducibility. University of Notre Dame Press. 1950.[6]
    • A theory of formal deducibility (2nd ed.). University of Notre Dame Press. 1957.
  • Outlines of a formalist philosophy of mathematics. Amsterdam: Elsevier Science. 1951. ISBN 0444533680. Retrieved 23 July 2012.
  • Leçons de logique algébrique (in French). Paris: Gauthier-Villars. 1952.[7]
  • Curry, Haskell; Feys, Robert (1958). Combinatory Logic. I. Amsterdam: North-Holland Publishing Company.
  • Foundations of Mathematical Logic. Mcgraw Hill. 1963.
  • Combinatory Logic. II. Amsterdam: North-Holland Publishing Company. 1972. ISBN 0720422086.

참조

  1. ^ 1924. "Vausteine deramaturischen Logik", Matheatische Annalen 92, 페이지 305–316. Stefan Bauer-Mengelberg가 Jean van Heijenoort, 1967년에 "수학적 논리학의 구성 요소 위에서"로 번역했다. 수학논리의 출처, 1879-1931. 하버드 유니브 프레스: 355-66.
  2. ^ a b Seldin, Jonathan. "The Logic of Curry and Church". Cite 저널은 필요로 한다. journal= (도움말)
  3. ^ Barendregt, H.P. The Lambda Calculus: Its Syntax and Semantics. Elsevier. p. 4.
  4. ^ 크누스, 도널드 E.; 파르도, 루이스 트래브(1976년). "프로그래밍 언어의 초기 발전" 스탠포드 대학 컴퓨터 과학부, 22페이지
  5. ^ 암스테르담 대학교 앨범 아카데믹스
  6. ^ Nelson, D. (1952). "Review: A theory of formal deducibility, by H. B. Curry". Bull. Amer. Math. Soc. 58 (3): 415–417. doi:10.1090/s0002-9904-1952-09596-3.
  7. ^ Marcus, R. Barcan (1952). "Review: Leçons de logique algébrique, by H. B. Curry". Bull. Amer. Math. Soc. 58 (2): 673–674. doi:10.1090/s0002-9904-1952-09657-9.

추가 읽기

  • 셀딘, J.P. 그리고 힌들리, J.R., Eds, 1980. H.B.로. 카레: 결합 논리, 람다 미적분학, 형식주의에 관한 에세이. 학술 출판사. 전기 에세이를 포함한다.

외부 링크