Габриэль Судан (14 апреля 1899 г. - 22 июня 1977 г.) был румынским математиком , известным благодаря функции Судана (1927 г.), важному примеру в теории вычислений , подобной функции Аккермана (1928 г.).
Родился в Бухаресте , Судан, получил степень доктора философии. из Геттингенского университета в 1925 году за диссертацию Über die geordneten Mengen («К теории упорядоченных множеств») под руководством Давида Гильберта . [1] Он преподавал в Политехническом университете Бухареста с 1941 года до выхода на пенсию в 1966 году.
Судан построил функцию, носящую его имя, с той же целью, что и Вильгельм Акерманн : утвердительно решить проблему, поднятую Гильбертом. Функции Аккермана и Судана хронологически являются первыми примерами рекурсивных функций, которые не являются примитивно рекурсивными .
Рекомендации
- Судан, Габриэль (1927). "Sur le nombre transfini ω ω ". Бюллетень Mathématique de la Société Roumaine des Sciences . 30 : 11–30. JFM 53.0171.01 . JSTOR 43769875 .
- Акерманн, Вильгельм (1928). "Zum Hilbertschen Aufbau der reellen Zahlen". Mathematische Annalen . 99 : 118–133. DOI : 10.1007 / BF01459088 . JFM 54.0056.06 . S2CID 123431274 .
- Кристиан Калуд , Соломон Маркус , Ионел Теви, Первый пример рекурсивной функции, которая не является примитивно рекурсивной , Historia Mathematica 6 (1979), нет. 4, 380–384 дой : 10.1016 / 0315-0860 (79) 90024-7
- Соломон Маркус, «Григоре К. Мойсил: жизнь, превращающаяся в миф» , Международный журнал компьютеров, коммуникаций и управления, вып. 1 (2006), нет. 1, 73–79.
Заметки
- ↑ Габриэль Судан в проекте « Математическая генеалогия»