루벤 굿스타인

루벤 굿스타인
태어난	(1912-12-15)1912년 12월 15일 런던
죽은	1985년 3월 8일 (1985-03-08) (72) 레스터
모교	캠브리지 막달린 대학교 버크벡, 런던 대학교
로 알려져 있다.	굿스타인의 정리 원시재귀산술
과학 경력
기관	레스터 대학교 케임브리지 대학교
논문	공리가 없는 방정식 미적분학 (1946)
어드바이저	루트비히 비트겐슈타인[1][2]
박사과정 학생	앨런 번디 S. 배리 쿠퍼 마르틴 뢰브

루벤 루이스 굿스타인(1912년 12월 15일 ~ 1985년 3월 8일)은 수학의 철학과 가르침에 관심이 많은 영국의 수학자였다.^[3]

, 교육

Goodstein은 런던의 St Paul's School에서 교육을 받았다.그는 캠브리지의 막달라 대학에서 석사 학위를 받았다.그 후, 그는 독서대학에서 일했지만 결국 레스터 대학에서 대부분의 학업을 보냈다.그는 여전히 레딩에서 일하면서 1946년^[4] 런던 대학에서 박사학위를 받았다.

굿스타인은 루트비히 비트겐슈타인 밑에서 공부하기도 했다.^[1][2]

리서치

그는 "건설적 형식주의"와 같은 미세한 관점에서 분석의 재구성에 관한 많은 작품을 출판했다.수학의 기초에 관한 에세이."굿스타인의 정리는 페아노 산술에서는 증명할 수 없지만 더 강한 논리 체계에서는 증명할 수 있는 것으로 밝혀진 최초의 이론 사례들 가운데 하나였다(예: 2차 산술).그는 또한 현재 이러한 작업에 사용되는 명명 규칙(tetration, pention, 16진법 등)과 함께 현재 초동작렬로 알려진 아커만 함수의 변종도 소개했다.

굿스타인은 수학적 논리(영국 최초의 교수직을 맡은 것)와 수학 분석, 수학 철학 외에도 수학의 가르침에 깊은 관심을 갖고 있었다.1956년부터 1962년까지 그는 The Mathemical Gazette의 편집자였다.1962년 그는 스톡홀름에서 열린 국제 수학자대회(A recursive lattice on A recursive lattice)에서 초청 연사로 있었다.그의 박사과정 학생 중에는 마틴 뢰브와 앨런 번디가 있다.^[5]

출판물

• 수학의 기본 개념, Pergamon Press, 1962년, 1979년 2월 2일.
• 수학철학의 에세이, 레스터 대학 출판 1965
• 재귀분석, 1961년 북 홀랜드, 도버 2010
• 수리논리학, 레스터 대학교 출판부 1957^[6]
• 런던, 로고스 프레스 1971 수학적 논리학의 발전
• 복잡한 기능, 맥그로우 힐 1965
• 부울 대수학, 페르가몬 프레스 1963, 도버 2007
• 재귀수 이론 - 논리가 없는 방정식 미적분, 1957년 북 홀랜드 북부의 재귀산술 개발
• 건설적 형식주의 - 레스터 대학교 1951년 수학의 기초에 관한 에세이
• E. J. F. 프림로즈와 함께:1953년 레스터 대학교의 자명 투영 기하학

참조