Gabriel Súdán - Gabriel Sudan

Curych 1932

Gabriel Súdán (14. dubna 1899 - 22. června 1977) byl a rumunština matematik, známý pro Súdánská funkce (1927), důležitý příklad v teorie výpočtu, podobně jako Ackermannova funkce (1928).

Narozen v Bukurešť, Súdán přijal jeho Ph.D. z Univerzita v Göttingenu v roce 1925 za svou diplomovou práci Über die geordneten Mengen („O teorii uspořádaných množin“), pod dohledem David Hilbert.[1] Učil na Polytechnická univerzita v Bukurešti od roku 1941 do svého odchodu do důchodu, v roce 1966.

Súdán postavil funkci, která nese jeho jméno, se stejným cílem jako Wilhelm Ackermann: kladně vyřešit problém vznesený Hilbertem. Funkce Ackermanna a Súdánu jsou chronologicky první příklady rekurzivní funkce které nejsou primitivní rekurzivní.

Reference

  • Súdán, 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.
  • Ackermann, Wilhelm (1928). „Zum Hilbertschen Aufbau der reellen Zahlen“. Mathematische Annalen. 99: 118–133. JFM  54.0056.06.
  • Cristian Calude, Solomon Marcus, Ionel Tevy, První příklad rekurzivní funkce, která není primitivní rekurzivní, Historia Mathematica 6 (1979), č. 1. 4, 380–384 doi:10.1016/0315-0860(79)90024-7
  • Solomon Marcus, „Grigore C. Moisil: Život se stává mýtem“, International Journal of Computers, Communications & Control, vol. 1 (2006), č. 1, 73–79.

Poznámky

  1. ^ Gabriel Súdán na Matematický genealogický projekt