Рубен Луис Гудстейн (, ) — английский . Серьёзно интересовался философией, преподавал математику.
Образование Гудстейн учился в школе Святого Павла в Лондоне. Затем поступил в колледж Магдалины в Кембридже, где получил степень магистра. Работал в Редингском университете, но большая часть его научной карьеры связана с Лестерским университетом. Степень доктора философии получил в Лондонском университете в 1946 году, в период службы в Рединге. Учился также у Людвига Витгенштейна.
Научная деятельность Гудстейн опубликовал множество работ по финитизму и реконструкции анализа с финитистской точки зрения, например, «Constructive formalism — essays on the foundations of mathematics» («Конструктивный формализм: очерки об основах математики»). Теорема Гудстейна была одним из первых примеров теорем, которые оказались недоказуемыми в арифметике Пеано, но доказуемыми в более сильных логических системах, таких как логика второго порядка). Представил вариант функции Аккермана, известный как последовательность гиперопераций (тетрация, пентация, гексационирование и т. д.).
Помимо занятий математической логикой (Гудстейн был первым профессором по этому предмету в Великобритании), математическим анализом и философией математики, интересовался преподаванием математики. С 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
Примечания
Категория:Выпускники Кембриджского университета Категория:Выпускники Колледжа Магдалины (Кембридж) Категория:Президенты Математической ассоциации Категория:Преподаватели Редингского университета Категория:Преподаватели Лестерского университета