Loading article…
ルーベン・ルイス・グッドスタイン（1912年12月15日 - 1985年3月8日）は、数学の哲学と教育に関心を持っていたイギリスの数学者である。[ 3 ]
グッドスタインはロンドンのセント・ポールズ・スクールで教育を受けた。ケンブリッジ大学マグダレン・カレッジで修士号を取得した。その後、レディング大学で働いたが、最終的には学術キャリアのほとんどをレスター大学で過ごした。レディングで働きながら、1946年にロンドン大学で博士号を取得した[ 4 ] 。
グッドスタインはルートヴィヒ・ヴィトゲンシュタインの下でも学んだ。[ 1 ] [ 2 ]ヴィトゲンシュタインはグッドスタインらを自分の講義のノートを取る者に選び、そのノートは後に『青い本』となった。[ 5 ]
彼は有限主義や有限主義的観点からの解析学の再構築に関する多くの著作を発表しており、例えば『構成的形式主義：数学の基礎に関するエッセイ』などがある。グッドスタインの定理は、ペアノ算術では証明不可能だが、より強力な論理体系（例えば2階算術）では証明可能であることが判明した定理の初期の例の一つである。彼はまた、現在ハイパー演算シーケンスとして知られるアッカーマン関数の変種と、これらの演算に現在使用されている命名規則（テトレーション、ペンテーションなど）を導入した。
グッドスタインは、数学論理学（英国で最初の教授職を務めた）、数学解析、数学哲学に加えて、数学教育にも強い関心を持っていた。1956年から1962年まで、彼は『The Mathematical Gazette』の編集者を務めた。1962年には、ストックホルムで開催された国際数学者会議に招待講演者として参加し、再帰格子に関する講演を行った。彼の博士課程の学生には、マーティン・レーブとアラン・バンディがいる。[ 6 ]