Габриэль Судан - Gabriel Sudan

Габриэль Судан (14 апреля 1899 г. - 22 июня 1977 г.) румынский математик, известный Функция Судана (1927), важный пример в теория вычислений, аналогично Функция Аккермана (1928).

Рожден в Бухарест Судан получил Кандидат наук. от Геттингенский университет в 1925 году за диссертацию Über die geordneten Mengen («К теории упорядоченных множеств») под руководством Дэвид Гильберт.[1] Он преподавал в Политехнический университет Бухареста с 1941 г. до выхода на пенсию в 1966 г.

Судан создал функцию, носящую его имя, с той же целью, что и Вильгельм Аккерманн: утвердительно решить проблему, поставленную Гильбертом. Функции Аккермана и Судана - хронологически первые примеры рекурсивные функции которые не примитивно рекурсивный.

Рекомендации

  • Судан, Габриэль (1927). "Sur le nombre transfini ωω". Bulletin 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. JFM  54.0056.06.
  • Кристиан Калуд, Соломон Маркус, Ионел Теви, Первый пример рекурсивной функции, которая не является примитивно рекурсивной., Historia Mathematica 6 (1979), вып. 4, 380–384 Дои:10.1016/0315-0860(79)90024-7
  • Соломон Маркус, "Григоре Моисил: жизнь, превращающаяся в миф", Международный журнал компьютеров, связи и управления, вып. 1 (2006), нет. 1, 73–79.

Примечания