로빈 간디

Robin Gandy
로빈 간디
태어난
로빈 올리버 간디

(1919-09-22)22 1919년 9월
영국 옥스퍼드셔 주 로터필드 페퍼드
죽은1995년 11월 20일(1995-11-20) (76세)
영국 옥스퍼드
국적영국의
교육abbotsholme 학교
모교케임브리지 대학교(PhD)
로 알려져 있다.재귀론
과학 경력
필드수학적 논리학
기관
논문수학의 자칭체계와 물리학의 이론에 관한 연구 (1953)
박사학위 자문위원앨런 튜링[1][2]
박사과정 학생

로빈 올리버 간디(1919년 9월 22일 ~ 1995년 11월 20일)[4]는 영국의 수학자 겸 논리학자였다.그는 앨런 튜링의 친구, 학생, 동료였으며,[1] 그들이 함께 일했던 캠브리지 대학에서 그의 박사 과정 동안 튜링의 감독을 받았다.[5][6][7]

교육과 조기생활

로빈 간디는 영국 옥스퍼드셔 주 로터필드 페퍼드의 마을에서 태어났다.[4]그는 일반 개업자인 토마스 홀 간디(1876–1948)와 사회복지사이자 후에 저술가인 아이다 캐롤라인 네 호니(1885–1977)의 아들이었다.[8]그는 건축가 겸 예술가 조셉 간디(1771–1843)의 증손자였다.

더비셔의 Abbotsholme 학교에서 교육을 받은 간디는 1940년에 군대에 입대하기 전에 캠브리지의 킹스 칼리지에서 수학 삼각대를 2년간 받았다.제2차 세계 대전 동안 그는 앨런 튜링이 음성 암호 해독 프로젝트를 진행하던 한슬로페 공원에서 무선 인터셉트 장비를 연구했고, 그는 튜링의 평생 친구이자 동료 중 한 명이 되었다.1946년 그는 수학 트리포스의 3부를 완성한 후 튜링의 감독하에 박사학위를 받기 시작했다.그는 1952년에 수학의 자명시스템과 물리학의 이론을 완성했다.[1]그는 케임브리지 사도단의 일원이었다.[citation needed]

직업 및 연구

간디는 레스터 대학교, 리즈 대학교, 맨체스터 대학교에서 직책을 맡았다.1966년부터 1967년까지 스탠퍼드대 초빙 부교수로 재직했으며, 1968년 미국 로스앤젤레스 캘리포니아대에서 비슷한 직책을 맡았다.1969년 그는 옥스퍼드 울프슨 대학으로 이사하여 수학 논리학 리더가 되었다.

간디는 재귀 이론의 연구로 유명하다.그의 공헌은 스펙터-간디 정리, 간디 스테이지 비교 정리, 간디 셀렉션 정리 등이다.그는 또한 Church-Turing 논문의 이해에도 상당한 기여를 하였으며, Turing 기계에 대한 그의 일반화를 간디 기계라고 한다.[9]

간디는 1995년 11월 20일 영국 옥스포드에서 세상을 떠났다.[4][10]

레거시

옥스퍼드 울프슨 칼리지에 있는 한 쌍의 숙박 블록인 로빈 간디 빌딩은 간디의 이름을 따서 지어졌다.[11][12]하루 100주년을 맞는 갠디 콜로퀴움 2월 22일 2020년에 동대학의 갠디의 명예에 일부 학생 중에 공헌을 포함한;[13][14]이 강연자가 있었 Marianna Antonutti Marfori(뮌헨), 앤드류 호지스(옥스포드), 마틴 하이 렌드(캠브리지), 제프 파리(맨체스터), 예란 Sundholm(라이덴), 크리스틴 Tasson(파리)그리고 필립은 열렸다. 웰치(브리스톨.

참조

  1. ^ a b c Gandy, Robin Oliver (1953). On axiomatic systems in mathematics and theories in physics. repository.cam.ac.uk (PhD thesis). University of Cambridge. doi:10.17863/CAM.16125. EThOS uk.bl.ethos.590164. icon of an open green padlock
  2. ^ a b c 수학 계보 프로젝트 로빈 간디
  3. ^ Hyland, John Martin Elliott (1975). Recursion Theory on the Countable Functionals. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. EThOS uk.bl.ethos.460247.
  4. ^ a b c Yates, Mike (24 November 1995). "Obituary: Robin Gandy". The Independent. Retrieved 1 January 2012.
  5. ^ Hodges, Andrew (1983). Alan Turing: The Enigma. Simon & Schuster. ISBN 0-671-49207-1.
  6. ^ "Notices". The Bulletin of Symbolic Logic. 2 (1): 121–125. March 1996. doi:10.1017/s1079898600007988. JSTOR 421052.
  7. ^ Moschovakis, Yannis & Yates, Mike (September 1996). "In Memoriam: Robin Oliver Gandy, 1919–1995". The Bulletin of Symbolic Logic. 2 (3): 367–370. doi:10.1017/s1079898600007873. JSTOR 420996.
  8. ^ "Ida Gandy - Writer". Aldbourne Heritage Centre. Retrieved 7 April 2021.
  9. ^ 윌프리드 지그, 2005년, 독단 없는 교회: 계산가능성에 대한 공리, 카네기 멜론 대학교
  10. ^ 로빈 간디 — 보관소에 보관된 앨런 튜링 스크랩북.오늘
  11. ^ "Accommodation types – Robin Gandy Buildings". UK: Wolfson College, Oxford. Retrieved 14 April 2020.
  12. ^ "Robin Gandy Buildings, Wolfson". Flickr. 6 April 2008. Retrieved 1 January 2012.
  13. ^ "The Gandy Colloquium". UK: Wolfson College, Oxford. 22 February 2020. Retrieved 14 April 2020.
  14. ^ Isaacson, Daniel (2020). "Wolfson College salutes Robin Gandy on his centenary". UK: Wolfson College, Oxford. Retrieved 14 April 2020.