J. 바클리 로서

J. Barkley Rosser
존 바클리 로서
태어난(1907-12-06) 1907년 12월 6일
미국 플로리다 주 잭슨빌
죽은1989년 9월 5일 (1989-09-05) (81)
미국 위스콘신 주 매디슨
국적미국
모교프린스턴 대학교
로 알려져 있다.처치-로스터 정리
클린-로스터 역설
로서 체
과학 경력
필드수학적 논리학
수 이론
박사학위 자문위원알론조 교회
박사과정 학생엘리엇 멘델슨
제럴드 색스

존 바클리 로서 시니어(John Barkley Rosser Sr., 1907년 12월 6일 ~ 1989년 9월 5일)는 미국의 논리학자였으며 알론조 교회의 제자로 람다 미적분학에서 교회-로스터 정리에서의 그의 역할로 알려져 있다. 그는 또한 현재 "로스터 체"라고 불리는 것을 수 이론으로 발전시켰다. 이후 위스콘신대 육군수학연구센터 소장이었다. 로서는 또한 수학 교과서를 저술했다.

1936년에는 Ω-consistance 요건이 일관성으로 약화될 수 있음을 보여줌으로써 괴델의 첫 불완전성 정리를 더욱 강하게 한 버전인 로서의 트릭을 증명했다. 그는 '나는 증명할 수 없다'에 해당하는 거짓말쟁이 역설 문장을 쓰기보다는 '나의 모든 증거에 대해 나의 부정의 증거가 더 짧다'는 문장을 사용했다.

프라임 수 이론에서 그는 로서의 정리를 증명했다.

클레네-로서의 역설은 원래의 람다 미적분이 일관성이 없다는 것을 보여주었다.

로서는 1989년 9월 5일 위스콘신 주 매디슨에 있는 자신의 집에서 동맥류로 사망했다.[1][2]

로서의 아들 존 바클리 로서 주니어는 버지니아 주 해리슨버그에 있는 제임스 매디슨 대학교의 수학 경제학자 겸 교수다.

선택한 게시물

  • 존 바클리 로서, 유니브에 의한 변수가 없는 수학 논리. 디스 프린스턴, NJ 1934, 페이지 127–150, 328–355
  • 존 B에 의한 수학자들을 위한 논리. Rosser, McGraw-Hill 1953;[3] 2edd, Chelsea Public. 1978년, 578 페이지 ISBN0-8284-0294-9
  • J. 바클리 로서의 람다 미적분학 역사 하이라이트, 1984, 제6권, n 4, 페이지 337–349
  • Simplified Independent Proofs: Boolean 평가된 세트 이론 모델, J. Barkley Rosser, Academic Press, 1969
  • 로서의 출판물 전체 목록은 바클리 로서 문서를 참조하십시오.

참조

  1. ^ "Deaths", Washington Post, September 19, 1989, archived from the original on November 3, 2012
  2. ^ "Memorial Resolution on the Death of Emeritus Professor J. Barkley Rosser" (PDF), University of Wisconsin, Madison, March 5, 1990, archived from the original (PDF) on June 8, 2011
  3. ^ Curry, H. B. (1954). "Review: Logic for mathematicians by J. B. Rosser" (PDF). Bull. Amer. Math. Soc. 60 (3): 266–272. doi:10.1090/s0002-9904-1954-09798-7.

외부 링크