Оглавление
Рубен Гудстайн
-
Образование и карьера
- Рубен Луис Гудстайн родился 15 декабря 1912 года и умер 8 марта 1985 года.
- Получил образование в школе Святого Павла в Лондоне и степень магистра в колледже Магдалины в Кембридже.
- Работал в Университете Рединга и большую часть карьеры провел в университете Лестера.
- Защитил докторскую диссертацию в Лондонском университете в 1946 году.
- Учился у Людвига Витгенштейна.
-
Исследования
- Опубликовал работы по финитизму и реконструкции анализа.
- Представил теорему Гудстайна, которая оказалась недоказуемой в арифметике Пеано, но доказуемой в более сильных логических системах.
- Предложил вариант функции Аккермана и соглашение об именовании для гиперопераций.
- Проявлял интерес к математической логике, математическому анализу и философии математики.
- Был редактором журнала “Математический вестник” с 1956 по 1962 год.
- В 1962 году был приглашенным докладчиком на Международном конгрессе математиков в Стокгольме.
-
Публикации
- Автор книг “Фундаментальные понятия математики”, “Очерки по философии математики”, “Рекурсивный анализ”, “Математическая логика”, “Развитие математической логики”, “Сложные функции”, “Булева алгебра”, “Теория рекурсивных чисел”, “Конструктивный формализм”.
- Совместно с Э. J. F. Примроузом написал “Аксиоматическую проективную геометрию”.