라파엘 로빈슨

Raphael M. Robinson
라파엘 로빈슨
Raphael M. Robinson.jpg
태어난(1911-11-02)1911년 11월 2일
죽은1995년 1월 27일 (1995-01-27) (83)
모교캘리포니아
배우자줄리아 로빈슨
과학 경력
필드수학
영향존 폰 노이만
알프레드 타르스키

라파엘 미첼 로빈슨(Raphael Mitchel Robinson, 1911년 11월 2일 ~ 1995년[1] 1월 27일)은 미국수학자였다.

캘리포니아 내셔널 시티에서 태어난 로빈슨은 변호사와 교사의 네 자녀 중 막내였다.그는 캘리포니아 대학교, 버클리 대학교에서 수학: BA (1932), MA (1933), 그리고 박사 (1935)를 받았다.복합 분석에 관한 그의 박사 논문은 Schlicht 함수 이론의 일부 결과라는 제목이 붙었다.

1941년에 로빈슨은 그의 전 제자인 줄리아 보우만과 결혼했다.그녀는 버클리의 동료가 되었고 미국수학협회의 첫 여성 회장이 되었다.

로빈슨은 수학적 논리학, 세트 이론, 기하학, 숫자 이론, 콤비네이터학을 연구했다.1937년에 그는 John von Neumann 1923 자명한 세트 이론의 더 단순하고 전통적인 버전을 내놓았다.알프레드 타르스키가 1942년 버클리 수학과에 입학한 직후 로빈슨은 타르스키의 본질적인 불멸불확실성 개념을 바탕으로 다수의 수학 이론이 불멸함을 증명함으로써 수학의 기초에 대한 주요한 작업을 하기 시작했다.1950년에 로빈슨은 본질적으로 이해할 수 없는 이론이 백작 샘플인 로빈슨 산술 Q를 내놓음으로써 무한히 많은 공리를 가질 필요가 없다는 것을 증명했다.Q페아노 산술유도의 공리 스키마가 부족하기 때문에 정밀하게 공리화할 수 있다. 그럼에도 불구하고 Q는 페아노 산술과 마찬가지로 괴델의 의미에서 불완전하고 불가해하다.로빈슨의 불멸성에 관한 연구는 그의 공동저자인 타르스키 외 연구진(1953)에서 절정을 이루었는데, 이 연구는 무엇보다도 집단 이론, 격자 이론, 추상적인 투영 기하학, 폐쇄 알헤브라의 불멸성을 확립했다.

로빈슨은 숫자 이론에서 일했고, 심지어 결과를 얻기 위해 아주 초기 컴퓨터를 사용하기도 했다.예를 들어, 는 루카스를 코드화했다.2n - 1이 SWAC의 모든 프라임 n < 2304에 대한 프라임이었는지 여부를 결정하기 위한 레머 프라임리티 테스트.1952년 그는 이러한 메르센 수치는 n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281의 17개의 값을 제외하고 모두 복합적인 것임을 보여주었다.그는 이 메르센 프리타임들 중 마지막 5개를 발견했는데, 이것은 당시 알려진 것 중 가장 큰 것이다.

로빈슨은 비행기의 기울기에 관한 여러 논문, 특히 비행기의 기울기에 관한 명확하고 주목할 만한 1971년 논문의 Underdidibility와 비주기성 논문을 썼다.

로빈슨은 1949년 버클리 대학교의 정식 교수가 되었고 1973년 은퇴했으며, 생애 말기에 출판된 그의 일생 동안 교육적 이익에 적극적이었다.

참고 항목

참조

  1. ^ "Raphael Robinson, Mathematician, 83". The New York Times. February 9, 1995.

외부 링크