존 버클리 로서
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
존 버클리 로서는 수리논리학 분야에서 활동한 학자이다. 1934년 프린스턴 대학교에서 박사 학위 논문으로 《변수가 없는 수학적 논리》를 발표했으며, 이는 수리논리학 발전에 기여했다. 1953년에는 수리논리학 교과서인 《수학자를 위한 논리》를 출판했다. 이 책은 1978년에 제2판이 출판될 정도로 널리 사용되었다. 또한, 1969년에는 《단순화된 독립 증명: 집합론의 부울 값 모델》을, 1984년에는 《람다 계산법의 역사 하이라이트》를 발표했다. 로서의 전체 출판물 목록은 텍사스 대학교 오스틴 캠퍼스 도서관 웹사이트에서 확인할 수 있다.
더 읽어볼만한 페이지
- 위스콘신 대학교 - Dinero
Dinero IV는 UNIX 계열 운영 체제에서 사용 가능한 시뮬레이션 도구로, 소스포지에서 다운로드 및 설치하여 명령줄을 통해 실행하며, 트레이스 파일을 생성하여 시뮬레이션 과정을 기록한다. - 미국의 논리학자 - 에밀 포스트
에밀 포스트는 폴란드 태생 미국 수학자이자 논리학자로, 계산 이론과 재귀 이론에 기여했으며, 포스트-튜링 기계 개발, 포스트 대응 문제, 다항 연산 그룹 이론 연구 등을 수행했다. - 미국의 논리학자 - 리처드 제프리
리처드 제프리는 베이즈주의적 접근 방식을 발전시킨 미국의 철학자이며, 급진적 확률주의를 옹호하고 제프리 조건화를 제안했으며, MIT, 스탠퍼드 대학교 등에서 교직을 맡았다. - 잭슨빌 (플로리다주) 출신 - 켈리 켈리
바바라 진 블랭크라는 본명으로 알려진 미국의 프로레슬러 켈리 켈리는 WWE 디바스 챔피언십과 WWE 24/7 챔피언십을 1회씩 차지했으며, '켈리의 익스포제' 코너와 다양한 TV 프로그램 및 영화 출연을 통해 이름을 알린 모델 겸 배우이다. - 잭슨빌 (플로리다주) 출신 - 트래비스 톰코
트래비스 톰코는 림프 비즈킷의 보디가드 출신으로 WWE, TNA, 신일본 프로레슬링 등에서 활동하며 태그팀 챔피언십을 획득한 미국의 프로레슬러이자 현재 플로리다주에서 사업가로 활동 중이다.
| 존 버클리 로서 - [인물]에 관한 문서 | |
|---|---|
| 기본 정보 | |
| 이름 | 존 버클리 로서 |
| 출생일 | 1907년 12월 6일 |
| 출생지 | 잭슨빌, 플로리다주, 미국 |
| 사망일 | 1989년 9월 5일 |
| 사망지 | 매디슨, 위스콘신주, 미국 |
| 국적 | 미국 |
| 학력 | |
| 모교 | 프린스턴 대학교 |
| 박사 학위 논문 | 변수가 없는 수학적 논리 |
| 박사 학위 취득 년도 | 1934년 |
| 지도교수 | 알론조 처치 |
| 박사 학위 제자 | 조지 E. 콜린스 엘리엇 멘델슨 제럴드 색스 |
| 경력 | |
| 직장 | 코넬 대학교 위스콘신 대학교-매디슨, IDA/CRD |
| 연구 분야 | |
| 분야 | 수리논리학 정수론 |
| 업적 | |
| 주요 업적 | 처치-로서 정리 클레이니-로서 역설 로서의 체 |
2. 주요 저서 및 논문
- 1934년 프린스턴 대학교 박사 학위 논문, "변수가 없는 수학적 논리" 발표.[3]
- 1953년 《수학자를 위한 논리》 출판.[3]
- 1969년 "단순화된 독립 증명: 집합론의 부울 값 모델" 출판.
- 1984년 컴퓨터 역사 연보에 "람다 계산법의 역사 하이라이트" 논문 발표.[3]
- 로서의 모든 출판물 목록은 [http://www.lib.utexas.edu/taro/utcah/00212/cah-00212.html ''버클리 로서 논문'']을 참조.
2. 1. 1930년대
존 버클리 로서는 1934년 프린스턴 대학교에서 〈변수가 없는 수학적 논리〉라는 제목의 박사 학위 논문을 발표했다.[3] 이 논문은 수리논리학의 초기 발전에 중요한 기여를 한 연구로 평가받는다.2. 1. 1. 변수가 없는 수학적 논리 (1934)
존 버클리 로서는 1934년 프린스턴 대학교에서 〈변수가 없는 수학적 논리〉라는 제목의 박사 학위 논문을 발표했다.[3] 이 논문은 수리논리학의 초기 발전에 중요한 기여를 한 연구로 평가받는다.2. 2. 1950년대
1953년 존 B. 로서는 《수학자를 위한 논리》를 출판하였다.[3] 이 책은 수리논리학 분야의 대표적인 교과서로, 초판은 맥그로힐에서 출판되었고 1978년 첼시 출판사에서 제2판이 출판되었다.2. 2. 1. 수학자를 위한 논리 (1953)
《수학자를 위한 논리》(Logic for Mathematicians영어)는 수리논리학 분야의 대표적인 교과서이다.[3] 초판은 맥그로힐에서 출판되었고, 1978년 첼시 출판사에서 제2판이 출판되었다.[3] 수리논리학의 기본 개념과 이론을 체계적으로 다루고 있어, 현재까지도 널리 활용되고 있다.2. 3. 1960년대
J. 버클리 로서는 1969년 학술 출판사를 통해 "단순화된 독립 증명: 집합론의 부울 값 모델"을 출판했다.2. 3. 1. 단순화된 독립 증명: 집합론의 부울 값 모델 (1969)
J. 버클리 로서는 1969년 학술 출판사를 통해 "단순화된 독립 증명: 집합론의 부울 값 모델"을 출판하여 집합론의 독립성 증명에 대한 새로운 접근 방식을 제시하였다.2. 4. 1980년대
존 버클리 로서는 1984년 컴퓨터 역사 연보에 "람다 계산법의 역사 하이라이트"라는 논문을 발표했다.[3]2. 4. 1. 람다 계산법의 역사 하이라이트 (1984)
존 버클리 로서는 1984년 컴퓨터 역사 연보에 "람다 계산법의 역사 하이라이트"라는 논문을 게재했다.[3] 이 논문에서 람다 계산법의 발전 과정을 역사적으로 조명하고 있다.3. 전체 출판물 목록
로서의 전체 출판물 목록은 텍사스 대학교 오스틴 캠퍼스 도서관 웹사이트의 [http://www.lib.utexas.edu/taro/utcah/00212/cah-00212.html ''버클리 로서 논문'']에서 확인할 수 있다.
다음은 로서의 주요 출판물 목록이다.
참조
[1]
간행물
Deaths
https://web.archive.[...]
1989-09-19
[2]
간행물
Memorial Resolution on the Death of Emeritus Professor J. Barkley Rosser
http://www.cs.wisc.e[...]
1990-03-05
[3]
학술지
Review: ''Logic for mathematicians'' by J. B. Rosser
https://www.ams.org/[...]
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com