로버트 1세소어

로버트 어빙 소어는 미국의 수학자다.그는 1967년부터 교수진을 맡고 있는 시카고 대학교의 폴 스노든 러셀 수학과 컴퓨터 과학 전공 교수다.그는 저근거 정리인 칼 조쿠슈와 함께 증명했고, 주로 연산성 이론 분야에서 수학 논리로 다른 일을 해 왔다.

2012년에 그는 미국수학협회의 회원이 되었다.^[1]

선택한 게시물

• Soare, R. (2016). Turing Computability - Theory and Applications. Springer-Verlag. ISBN 978-3-642-31932-7.
• Soare, R. (1987). Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag. ISBN 3-540-15299-7.
• C. G. Jockusch Jr.^[1]과 R. I. Soare, "미국 수학 학회의 거래 (1972년)에 나오는 Ⅱ(0, 1) 계급과 이론의 정도"

참고 항목

• 조쿠슈-소아레 강제력

참조

외부 링크

• 전문 홈페이지
• 로버트 1세 수학계보 프로젝트에서의 소어