존 버클리 로서
1. 개요
존 버클리 로서는 수리논리학 분야에서 활동한 학자이다. 1934년 프린스턴 대학교에서 박사 학위 논문으로 《변수가 없는 수학적 논리》를 발표했으며, 이는 수리논리학 발전에 기여했다. 1953년에는 수리논리학 교과서인 《수학자를 위한 논리》를 출판했다. 이 책은 1978년에 제2판이 출판될 정도로 널리 사용되었다. 또한, 1969년에는 《단순화된 독립 증명: 집합론의 부울 값 모델》을, 1984년에는 《람다 계산법의 역사 하이라이트》를 발표했다. 로서의 전체 출판물 목록은 텍사스 대학교 오스틴 캠퍼스 도서관 웹사이트에서 확인할 수 있다.
| 이름 | 존 버클리 로서 |
|---|---|
| 출생일 | 1907년 12월 6일 |
| 출생지 | 잭슨빌, 플로리다주, 미국 |
| 사망일 | 1989년 9월 5일 |
| 사망지 | 매디슨, 위스콘신주, 미국 |
| 국적 | 미국 |
| 모교 | 프린스턴 대학교 |
|---|---|
| 박사 학위 논문 | 변수가 없는 수학적 논리 |
| 박사 학위 취득 년도 | 1934년 |
| 지도교수 | 알론조 처치 |
| 박사 학위 제자 | 조지 E. 콜린스 엘리엇 멘델슨 제럴드 색스 |
| 직장 | 코넬 대학교 위스콘신 대학교-매디슨, IDA/CRD |
|---|
| 분야 | 수리논리학 정수론 |
|---|
| 주요 업적 | 처치-로서 정리 클레이니-로서 역설 로서의 체 |
|---|
-
위스콘신 대학교 -
Dinero
Dinero IV는 UNIX 계열 운영 체제에서 사용 가능한 시뮬레이션 도구로, 소스포지에서 다운로드 및 설치하여 명령줄을 통해 실행하며, 트레이스 파일을 생성하여 시뮬레이션 과정을 기록한다. -
20세기 수학자 -
존 포브스 내시
미국의 수학자 존 포브스 내시는 게임 이론의 내시 균형 개념을 제시하고 미분기하학과 편미분 방정식 분야에서도 업적을 남겼으며 조현병을 극복하고 노벨 경제학상과 아벨상을 수상한 인물로, 그의 삶은 영화 《뷰티풀 마인드》로 알려졌다. -
20세기 수학자 -
앨런 튜링
-
미국의 컴퓨터 과학자 -
시모어 페퍼트
남아프리카 공화국 출신 수학자이자 MIT 교수인 시모어 페퍼트는 구성주의를 발전시키고 로고(LOGO) 프로그래밍 언어 개발 및 레고 마인드스톰 개발에 기여하는 등 교육 기술 분야에서 선구적인 역할을 수행했다. -
미국의 컴퓨터 과학자 -
얀 르쿤
프랑스 컴퓨터 과학자 얀 르쿤은 딥 러닝 분야의 선구자로서 합성곱 신경망을 제안하여 이미지 인식 발전에 기여했고, 뉴욕 대학교 교수이자 메타 AI 연구소 초대 소장을 역임했으며, 제프리 힌턴, 요슈아 벤지오와 함께 튜링상을 공동 수상했다.
2. 주요 저서 및 논문
* 1934년 프린스턴 대학교 박사 학위 논문, "변수가 없는 수학적 논리" 발표.
* 1953년 《수학자를 위한 논리》 출판.
* 1969년 "단순화된 독립 증명: 집합론의 부울 값 모델" 출판.
* 1984년 컴퓨터 역사 연보에 "람다 계산법의 역사 하이라이트" 논문 발표.
* 로서의 모든 출판물 목록은 [http://www.lib.utexas.edu/taro/utcah/00212/cah-00212.html 버클리 로서 논문]을 참조.
2.1. 1930년대
존 버클리 로서는 1934년 프린스턴 대학교에서 〈변수가 없는 수학적 논리〉라는 제목의 박사 학위 논문을 발표했다. 이 논문은 수리논리학의 초기 발전에 중요한 기여를 한 연구로 평가받는다.
2.1.1. 변수가 없는 수학적 논리 (1934)
존 버클리 로서는 1934년 프린스턴 대학교에서 〈변수가 없는 수학적 논리〉라는 제목의 박사 학위 논문을 발표했다. 이 논문은 수리논리학의 초기 발전에 중요한 기여를 한 연구로 평가받는다.
2.2. 1950년대
1953년 존 B. 로서는 《수학자를 위한 논리》를 출판하였다. 이 책은 수리논리학 분야의 대표적인 교과서로, 초판은 맥그로힐에서 출판되었고 1978년 첼시 출판사에서 제2판이 출판되었다.
2.2.1. 수학자를 위한 논리 (1953)
《수학자를 위한 논리》(Logic for Mathematicians영어)는 수리논리학 분야의 대표적인 교과서이다. 초판은 맥그로힐에서 출판되었고, 1978년 첼시 출판사에서 제2판이 출판되었다. 수리논리학의 기본 개념과 이론을 체계적으로 다루고 있어, 현재까지도 널리 활용되고 있다.
2.3. 1960년대
J. 버클리 로서는 1969년 학술 출판사를 통해 "단순화된 독립 증명: 집합론의 부울 값 모델"을 출판했다.
2.3.1. 단순화된 독립 증명: 집합론의 부울 값 모델 (1969)
J. 버클리 로서는 1969년 학술 출판사를 통해 "단순화된 독립 증명: 집합론의 부울 값 모델"을 출판하여 집합론의 독립성 증명에 대한 새로운 접근 방식을 제시하였다.
2.4.1. 람다 계산법의 역사 하이라이트 (1984)
존 버클리 로서는 1984년 컴퓨터 역사 연보에 "람다 계산법의 역사 하이라이트"라는 논문을 게재했다. 이 논문에서 람다 계산법의 발전 과정을 역사적으로 조명하고 있다.
3. 전체 출판물 목록
로서의 전체 출판물 목록은 텍사스 대학교 오스틴 캠퍼스 도서관 웹사이트의 [http://www.lib.utexas.edu/taro/utcah/00212/cah-00212.html 버클리 로서 논문]에서 확인할 수 있다.
다음은 로서의 주요 출판물 목록이다.
* 존 버클리 로서, "변수가 없는 수학적 논리", 프린스턴 대학교 논문, 뉴저지주 1934년, 127–150, 328–355쪽.
* 존 B. 로서, "수학자를 위한 논리", 맥그로힐 1953년; 제2판, 첼시 출판사 1978년, 578쪽
* J. 버클리 로서, "람다 계산법의 역사 하이라이트", 컴퓨터 역사 연보, 1984년, 6권 4호, 337–349쪽.
* J. 버클리 로서, "단순화된 독립 증명: 집합론의 부울 값 모델", 학술 출판사, 1969년.