루벤 루이스 굿스타인
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
루벤 루이스 굿스타인은 영국의 수학자이자 수리 논리학자이다. 굿스타인은 세인트 폴 학교, 케임브리지 대학교, 런던 대학교에서 교육을 받았으며, 레스터 대학교에서 학문적 경력의 대부분을 보냈다. 그는 유한주의와 수학적 분석의 재구성에 대한 연구를 수행했으며, 굿스타인 정리를 제시했다. 또한, 초연산 수열로 알려진 아커만 함수의 변형을 도입했다. 수리 논리학, 수학적 분석, 수학 철학 외에도 수학 교육에도 관심을 가졌으며, 'The Mathematical Gazette'의 편집자로 활동했다.
더 읽어볼만한 페이지
- 루트비히 비트겐슈타인 - 버트런드 러셀
버트런드 러셀은 20세기 분석철학의 기초를 다지고 수학의 논리적 환원을 시도한 영국의 철학자, 논리학자, 수학자, 역사가, 사회 비평가, 정치 운동가로, 평화 운동에 참여했으며 노벨 문학상을 수상하여 여러 분야에 영향을 미쳤다. - 루트비히 비트겐슈타인 - 라이너 마리아 릴케
라이너 마리아 릴케는 20세기 초 오스트리아-헝가리 제국 출신의 독일어 시인이자 소설가, 서간 작가로, 그의 작품은 삶의 경험과 연관되어 종교적 신비주의, 죽음과 실존, 예술가의 고뇌 등을 다루며 20세기 문학에 큰 영향을 미쳤다. - 케임브리지 대학교 모들린 칼리지 동문 - 찰스 스튜어트 파넬
찰스 스튜어트 파넬은 19세기 후반 아일랜드의 국민주의 지도자였으며, 아일랜드 의회에서 토지 개혁과 자치 운동을 이끌었으나, 피곳 사건과 오셰이 부인과의 불륜으로 인해 정치적 몰락을 겪었다. - 케임브리지 대학교 모들린 칼리지 동문 - 패트릭 블래킷
패트릭 블래킷은 영국의 실험 물리학자이자 작전 연구 과학자로서 안개 상자를 이용한 원자 핵 분열 연구와 양전자의 존재 증명으로 반물질 연구에 기여했으며, 원자핵 및 우주선 연구로 노벨 물리학상을 수상했다. - 영국의 수학자 - 에이다 러브레이스
에이다 러브레이스는 영국의 귀족이자 수학자로, 찰스 배비지의 해석기관 연구를 통해 최초의 컴퓨터 프로그램으로 여겨지는 베르누이 수 계산 알고리즘을 고안하고 해석기관의 다양한 활용 가능성을 제시한 선구자이다. - 영국의 수학자 - 막스 보른
독일의 이론물리학자 막스 보른은 양자역학의 확률 해석을 확립하고 보른-오펜하이머 근사를 개발했으며, 결정 격자 동역학 연구에 기여했고, 나치 박해를 피해 망명 후 핵무기 반대 운동에 참여했다.
| 루벤 루이스 굿스타인 - [인물]에 관한 문서 | |
|---|---|
| 기본 정보 | |
| 이름 | 루벤 루이스 굿스타인 |
| 원어 이름 | Reuben Goodstein |
| 출생 | 1912년 12월 15일, 런던, 잉글랜드 |
| 사망 | 1985년 3월 8일, 레스터, 잉글랜드 |
| 국적 | 잉글랜드 |
| 학력 | |
| 모교 | 케임브리지 대학교 마그달레네 칼리지(MA) 버벡 칼리지, 런던 대학교(PhD) |
| 학위 논문 제목 | 공리 없는 방정식 계산 |
| 학위 논문 년도 | 1946년 |
| 사사 | 루트비히 비트겐슈타인 |
| 경력 | |
| 직장 | 레스터 대학교 케임브리지 대학교 |
| 제자 | |
| 박사 지도 학생 | 앨런 번디 S. 배리 쿠퍼 마틴 뢰프 |
| 업적 | |
| 알려진 업적 | 굿스타인 정리 원시 재귀 연산 |
| 수상 | |
| 기타 | |
2. 교육
굿스타인은 런던의 세인트 폴 학교에서 교육을 받았다. 그는 케임브리지 대학교 막달렌 칼리지에서 석사 학위를 받았다. 그 후, 레딩 대학교에서 근무했지만, 결국 그의 학문적 경력의 대부분을 레스터 대학교에서 보냈다. 그는 레딩에서 근무하는 동안 1946년에 런던 대학교에서 박사 학위를 받았다.
수리 논리학(영국 최초의 정교수직을 역임했다), 수학적 분석, 수학 철학 외에도 수학 교육에 깊은 관심을 보였다. 1956년부터 1962년까지 ''The Mathematical Gazette''의 편집자였다.
굿스타인은 또한 루트비히 비트겐슈타인에게서 수학했다.
3. 연구
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[6]
- 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
참조
[1]
서적
The Textual Genesis of Wittgenstein’s Philosophical Investigations
Routledge
[2]
논문
Mathematical Systems
[3]
MacTutor Biography
[4]
논문
Function Theory in an Axiom-Free Equation Calculus
[5]
MathGenealogy
[6]
논문
Review: R. L. Goodstein, Mathematical logic
http://projecteuclid[...]
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com