魯賓·路易斯·古德斯坦（，）是一名對數學哲學與教學深感興趣的英國數學家。
教育
古德斯坦曾就讀於倫敦的聖保羅學校。他於劍橋大學麥格達倫學院取得碩士學位。此後，他曾在雷丁大學任教，但最終大部分學術生涯都在萊斯特大學度過。1946年，他在雷丁大學任職期間，於倫敦大學伯貝克學院取得博士學位。
古德斯坦也曾師從路德維希·維根斯坦。
研究工作
古德斯坦發表了許多關於有限主義以及從有限主義觀點重建分析學的著作，例如《構建形式主義。數學基礎論集》。古德斯坦定理是首批被發現無法在皮亞諾算術中證明，但在更強的邏輯系統（如）中可證明的定理之一。他還引入了一種阿克曼函數的變體，現被稱為超運算序列，並為這些運算制定了現今通用的命名規則（迭代冪次、五級運算等）。
除了數理邏輯（他曾擔任英國首個數理邏輯教授職位）、數學分析與數學哲學之外，古德斯坦對數學教學也抱有濃厚興趣。1956年至1962年間，他擔任《》的主編。1962年，他受邀於斯德哥爾摩舉行的國際數學家大會上發表演說（題為《一個遞歸格》）。他的博士生包括與。
出版
- 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
- with E. J. F. Primrose: Axiomatic projective geometry, Leicester University College 1953
參考資料
评论 (0)