Рубен Луис Гудстейн (15 декабря 1912 г. – 8 марта 1985 г.) был английским математиком , интересовавшимся философией и преподаванием математики . [ 3]
Гудстейн получил образование в школе Святого Павла в Лондоне. Он получил степень магистра в колледже Магдалины в Кембридже . После этого он работал в Университете Рединга , но в конечном итоге провел большую часть своей академической карьеры в Университете Лестера . Он получил докторскую степень в Лондонском университете в 1946 году [4], продолжая работать в Рединге.
Гудстейн также учился у Людвига Витгенштейна . [1] [2]
Он опубликовал много работ по финитизму и реконструкции анализа с финитной точки зрения, например, «Конструктивный формализм. Очерки по основаниям математики». Теорема Гудстейна была одним из самых ранних примеров теорем, которые оказались недоказуемыми в арифметике Пеано , но доказуемыми в более сильных логических системах (таких как арифметика второго порядка ). Он также ввел вариант функции Аккермана , который теперь известен как последовательность гиперопераций , вместе с соглашением об именовании, которое теперь используется для этих операций ( тетрация , пентация , гексация и т. д.).
Помимо математической логики (в которой он занимал первую профессорскую кафедру в Великобритании), математического анализа и философии математики , Гудстейн живо интересовался преподаванием математики. С 1956 по 1962 год он был редактором The Mathematical Gazette . В 1962 году он был приглашенным докладчиком на Международном конгрессе математиков (с докладом на тему «Рекурсивная решетка ») в Стокгольме . Среди его докторантов — Мартин Лёб и Алан Банди . [5]