루벤 루이스 굿스타인
1. 개요
루벤 루이스 굿스타인은 영국의 수학자이자 수리 논리학자이다. 굿스타인은 세인트 폴 학교, 케임브리지 대학교, 런던 대학교에서 교육을 받았으며, 레스터 대학교에서 학문적 경력의 대부분을 보냈다. 그는 유한주의와 수학적 분석의 재구성에 대한 연구를 수행했으며, 굿스타인 정리를 제시했다. 또한, 초연산 수열로 알려진 아커만 함수의 변형을 도입했다. 수리 논리학, 수학적 분석, 수학 철학 외에도 수학 교육에도 관심을 가졌으며, 'The Mathematical Gazette'의 편집자로 활동했다.
| 이름 | 루벤 루이스 굿스타인 |
|---|---|
| 원어 이름 | Reuben Goodstein |
| 출생 | 1912년 12월 15일, 런던, 잉글랜드 |
| 사망 | 1985년 3월 8일, 레스터, 잉글랜드 |
| 국적 | 잉글랜드 |
| 모교 | 케임브리지 대학교 마그달레네 칼리지(MA) 버벡 칼리지, 런던 대학교(PhD) |
|---|---|
| 학위 논문 제목 | 공리 없는 방정식 계산 |
| 학위 논문 년도 | 1946년 |
| 사사 | 루트비히 비트겐슈타인 |
| 직장 | 레스터 대학교 케임브리지 대학교 |
|---|
| 박사 지도 학생 | 앨런 번디 S. 배리 쿠퍼 마틴 뢰프 |
|---|
| 알려진 업적 | 굿스타인 정리 원시 재귀 연산 |
|---|
-
1985년 사망 -
에프렘 짐발리스트
러시아 제국 출신 미국 바이올리니스트, 작곡가, 지휘자, 음악 교육자인 에프렘 짐발리스트는 레오폴트 아우어의 제자로서 세계적인 오케스트라와 협연하며 명성을 얻었고 커티스 음악원에서 후학을 양성했으며 은퇴 후에도 차이콥스키 국제 콩쿠르 심사위원 등으로 활동했다. -
1985년 사망 -
김기진
김기진은 팔봉이라는 호를 사용한 한국의 문학평론가, 소설가, 시인으로, KAPF에서 활동하며 경향파 문학 이론을 이끌었으나 친일 행적을 보였고 광복 후에는 반공주의 문인으로 활동했다. -
20세기 수학자 -
존 포브스 내시
미국의 수학자 존 포브스 내시는 게임 이론의 내시 균형 개념을 제시하고 미분기하학과 편미분 방정식 분야에서도 업적을 남겼으며 조현병을 극복하고 노벨 경제학상과 아벨상을 수상한 인물로, 그의 삶은 영화 《뷰티풀 마인드》로 알려졌다. -
20세기 수학자 -
앨런 튜링
앨런 튜링은 제2차 세계 대전 중 에니그마 암호 해독에 기여하고 컴퓨터 과학 분야에 지대한 영향을 미친 영국의 수학자, 컴퓨터 과학자이며, 동성애 혐의로 유죄 판결을 받은 후 자살로 생을 마감했다. -
케임브리지 대학교 동문 -
폴 랑주뱅
폴 랑주뱅은 프랑스의 물리학자로서 상자성 및 반자성 연구, 초음파 발생, 상대성 이론 전파 등 다양한 분야에서 업적을 남겼으며, 반파시즘 운동에 참여하고 프랑스 인권연맹 회장을 역임하다가 1946년 사망하여 1948년 파리의 팡테옹에 안장되었다. -
케임브리지 대학교 동문 -
장하준
장하준은 제도주의적 정치경제학을 연구하고 신자유주의와 자유 무역을 비판하는 대한민국의 경제학자이자 케임브리지 대학교 경제학과 교수이며, 《사다리 걷어차기》 등의 저서로 뮈르달 상과 레온티에프 상을 수상했다.
2. 교육
굿스타인은 런던의 세인트 폴 학교에서 교육을 받았다. 그는 케임브리지 대학교 막달렌 칼리지에서 석사 학위를 받았다. 그 후, 레딩 대학교에서 근무했지만, 결국 그의 학문적 경력의 대부분을 레스터 대학교에서 보냈다. 그는 레딩에서 근무하는 동안 1946년에 런던 대학교에서 박사 학위를 받았다.
굿스타인은 또한 루트비히 비트겐슈타인에게서 수학했다.
3. 연구
수리 논리학(영국 최초의 정교수직을 역임했다), 수학적 분석, 수학 철학 외에도 수학 교육에 깊은 관심을 보였다. 1956년부터 1962년까지 The Mathematical Gazette의 편집자였다.
3.1. 수리 논리학 연구
그는 유한주의와 유한주의적 관점에서 분석을 재구성하는 데 관한 많은 저작을 발표했다. 예를 들어 "Constructive Formalism. Essays on the foundations of mathematics."가 있다. 굿스타인 정리는 페아노 산술에서는 증명할 수 없지만 더 강력한 논리 체계 (예: 2차 산술)에서는 증명할 수 있는 정리의 초기 사례 중 하나였다. 그는 또한 현재 초연산 수열로 알려진 아커만 함수의 변형을 도입했으며, 이러한 연산에 현재 사용되는 명명 규칙 (테트레이션, 펜테이션, '헥세이션' 등)을 도입했다.
1962년에는 스톡홀름에서 열린 국제 수학자 회의에 초청 연사로 참여하여 "재귀적 격자"에 대한 강연을 했다. 그의 박사 과정 제자 중에는 마틴 뢰브와 앨런 번디가 있다.
4. 저서
* Fundamental concepts of mathematics영어, 페르가몬 출판사, 1962, 2판 1979
* Essays in the philosophy of mathematics영어, 레스터 대학교 출판사, 1965
* Recursive Analysis영어, 노스 홀랜드, 1961, 도버, 2010
* Mathematical Logic영어, 레스터 대학교 출판사, 1957
* Development of mathematical logic영어, 런던, 로고스 프레스, 1971
* Complex functions영어, 맥그로힐, 1965
* Boolean Algebra영어, 페르가몬 출판사, 1963, 도버, 2007
* Recursive number theory - a development of recursive arithmetic in a logic-free equation calculus영어, 노스 홀랜드, 1957
* Constructive formalism - essays on the foundations of mathematics영어, 레스터 대학교 칼리지, 1951
* E. J. F. 프림로즈 공저: Axiomatic projective geometry영어, 레스터 대학교 칼리지, 1953