ルーベン・グッドスタイン

ルーベン・ルイス・グッドスタイン（、 - ）は、イングランドの数学者。数学教育と哲学に関心を持った。

 生い立ち 
グッドスタインはロンドンのセント・ポールズ・スクールで教育を受けた。ケンブリッジ大学モードリン・カレッジで修士号を獲得した後、レディング大学で働いたが、最終的には学者人生の大半をレスター大学で過ごした。1946年、レディング大学で働きつつもロンドン大学でPhDを取得した。

グッドスタインはルートヴィヒ・ウィトゲンシュタインの下でも学んでいた。

 研究 
有限的観点から見た解析の再構築やに関する多くの作品を発表した。例えば Constructive Formalism. Essays on the foundations of mathematics などが挙げられる。グッドスタインの定理は、ペアノの公理からは導出されないが、のようなより強い形式体系で証明できる、最初期の定理の一例である。

現在でも使用される演算子の名前（テトレーション、ペンテーション、ヘキセーション）とともに、アッカーマン関数を変形したハイパー演算数列を導入した。 

数理論理学分野では、イギリスでこの分野の初の教授となった。数理論理学、解析学、数学の哲学のほか、グッドスタインは数学教育にも強い関心をもった。1956年から1962年まで、 The Mathematical Gazette の編集長を務めていた。1962年、ストックホルム開催の国際数学者会議の招待講演者として、  A recursive lattice を講義した。指導学生にマルティン・レーブやがいる。

 出版物 

 Fundamental concepts of mathematics, Pergamon Press, 1962, 2nd edn. 1979
 Essays in the philosophy of mathematics, Leicester University Press 1965
 Recursive Analysis, North Holland 1961, Dover 2010
 Mathematical Logic, Leicester University Press 1957
 Development of mathematical logic, London, Logos Press 1971
 Complex functions, McGraw Hill 1965
 Boolean Algebra, Pergamon Press 1963, Dover 2007
 Recursive number theory - a development of recursive arithmetic in a logic-free equation calculus, North Holland 1957
 Constructive formalism - essays on the foundations of mathematics, Leicester University College 1951
 E. J. F. Primrose共著: Axiomatic projective geometry, Leicester University College 1953
 邦訳書籍 



 出典 

Category:ケンブリッジ大学モードリン・カレッジ出身の人物
Category:20世紀イングランドの数学者
Category:レスター大学の教員
Category:レディング大学の教員
Category:ロンドン大学出身の人物
Category:1985年没
Category:1912年生
Category:イングランドの数学者
Category:数学に関する記事