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