Gabriel Sudan

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Simeon (talk | contribs) at 13:43, 11 May 2020 (Importing Wikidata short description: "Romanian mathematician" (Shortdesc helper)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Zürich 1932

Gabriel Sudan (April 14, 1899 – June 22, 1977) was a Romanian mathematician, known for the Sudan function (1927), an important example in the theory of computation, similar to the Ackermann function (1928).

Gabriel Sudan received his Ph.D. from the University of Göttingen in 1925 for his thesis Über die geordneten Mengen ("On the theory of ordered sets"), supervised by David Hilbert. He taught at the Polytechnic University of Bucharest from 1941 until his retirement, in 1966.

Sudan constructed the function that bears his name with the same aim as Wilhelm Ackermann: to solve in the affirmative a problem raised by Hilbert. The Ackermann and Sudan functions are chronologically the first examples of recursive functions which are not primitive recursive.

References

  • 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.
  • Ackermann, Wilhelm (1928). "Zum Hilbertschen Aufbau der reellen Zahlen". Mathematische Annalen. 99: 118–133. JFM 54.0056.06.
  • Cristian Calude, Solomon Marcus, Ionel Tevy, The first example of a recursive function which is not primitive recursive, Historia Mathematica 6 (1979), no. 4, 380–384 doi:10.1016/0315-0860(79)90024-7
  • Solomon Marcus, "Grigore C. Moisil: A life becoming a myth", International Journal of Computers, Communications & Control, vol. 1 (2006), no. 1, 73–79.