Gabriel Sudan

Zürich 1932

Gabriel Sudan (14 april 1899 – 22 juni 1977) var en rumänsk matematiker , känd för Sudan-funktionen , ett viktigt exempel i teorin om beräkning , liknande Ackermann-funktionen .

Född i Bukarest , Sudan tog sin doktorsexamen . från universitetet i Göttingen 1925 för sin avhandling Über die geordneten Mengen ("Om teorin om ordnade uppsättningar"), övervakad av David Hilbert . Han undervisade vid Polytechnic University of Bukarest från 1941 till sin pensionering, 1966.

Sudan konstruerade funktionen som bär hans namn med samma syfte som Wilhelm Ackermann : att jakande lösa ett problem som Hilbert tog upp. Ackermann- och Sudan-funktionerna är kronologiskt de första exemplen på rekursiva funktioner som inte är primitiva rekursiva .

Bibliografi

•    Ackermann, Wilhelm (1928). "Zum Hilbertschen Aufbau der reellen Zahlen" . Matematiska Annalen . 99 : 118–133. doi : 10.1007/BF01459088 . JFM 54.0056.06 . S2CID 123431274 .

• Calude, Cristian ; Marcus, Salomo ; Tevy, Ionel (1979). "Det första exemplet på en rekursiv funktion som inte är primitiv rekursiv" . Historia Mathematica . 6 (4): 380–384. doi : 10.1016/0315-0860(79)90024-7 .

• Marcus, Solomon (2006). "Grigore C. Moisil: Ett liv som blir en myt" . International Journal of Computers Communications & Control . 1 (1): 73–79. doi : 10.15837/ijccc.2006.1.2275 .

•    Sudan, Gabriel (1927). "Sur le nombre transfini ω ^ω ". Bulletin mathématique de la Société Roumaine des Sciences . 30 : 11–30. JFM 53.0171.01 . JSTOR 43769875 . Jbuch 53, 171