Loading AI tools
Из Википедии, свободной энциклопедии
Рубен Луис Гудстейн (англ. Reuben Louis Goodstein, 15 декабря 1912[1], Лондон — 8 марта 1985[1], Лестер[1]) — английский математик. Серьёзно интересовался философией, преподавал математику[4].
Рубен Гудстейн | |
---|---|
Имя при рождении | англ. Reuben Louis Goodstein |
Дата рождения | 15 декабря 1912[1] |
Место рождения | |
Дата смерти | 8 марта 1985[1] (72 года) |
Место смерти | |
Страна | |
Род деятельности | математик, преподаватель университета |
Научная сфера | математика[2] и философия[2] |
Место работы | |
Альма-матер |
|
Научный руководитель | Людвиг Витгенштейн |
Гудстейн учился в школе Святого Павла в Лондоне. Затем поступил в колледж Магдалины в Кембридже, где получил степень магистра. Работал в Редингском университете, но большая часть его научной карьеры связана с Лестерским университетом. Степень доктора философии получил в Лондонском университете в 1946 году[5], в период службы в Рединге. Учился также у Людвига Витгенштейна[6][7].
Гудстейн опубликовал множество работ по финитизму и реконструкции анализа с финитистской точки зрения, например, «Constructive formalism — essays on the foundations of mathematics» («Конструктивный формализм: очерки об основах математики»). Теорема Гудстейна была одним из первых примеров теорем, которые оказались недоказуемыми в арифметике Пеано, но доказуемыми в более сильных логических системах, таких как логика второго порядка). Представил вариант функции Аккермана, известный как последовательность гиперопераций (тетрация, пентация, гексационирование и т. д.).
Помимо занятий математической логикой (Гудстейн был первым профессором по этому предмету в Великобритании), математическим анализом и философией математики, интересовался преподаванием математики. С 1956 по 1962 год был редактором журнала о математическом образовании The Mathematical Gazette[англ.]. В 1962 году был приглашённым докладчиком на Международном конгрессе математиков (с докладом о рекурсивной решётке) в Стокгольме. Среди его докторантов — Мартин Лёб и Алан Банди[англ.][8].
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.