Gabriel Sudan (né le et mort le ) est un mathématicien suisse (d'Hauteville, Fribourg) et roumain, connu pour la fonction de Sudan (1927) en théorie de la calculabilité, similaire à la fonction d'Ackermann (1928).
Gabriel Sudan a obtenu son doctorat à l'université de Göttingen en 1925. Sa thèse Über die geordneten Mengen (« De la Théorie des ensembles ordonnés »), a été supervisée par David Hilbert. Il a enseigné à l'université polytechnique de Bucarest de 1941 jusqu'à sa retraite en 1966.
Sudan a construit la fonction qui porte son nom dans le même but que Wilhelm Ackermann : résoudre un problème énoncé par Hilbert. Les fonctions d'Ackermann et de Sudan sont les premiers exemples de fonctions récursives qui ne sont pas récursives primitives.
Références
Gabriel Sudan, Sur le nombre transfini ωω, Bulletin Math. Soc. Roumaine des sciences 30, 11–30 (1927). JFM review Wilhelm Ackermann, Zum Hilbertschen Aufbau der reellen Zahlen, Mathematische Annalen 99, 118–133 (1928). JFM review Cristian S. 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 Solomon Marcus, "Grigore C. Moisil: A life becoming a myth", International Journal of Computers, Communications & Control, vol. 1 (2006), no. 1, 73–79.
Liens externes
Catégorie:Mathématicien roumain du XXe siècle Catégorie:Naissance en avril 1899 Catégorie:Naissance à Bucarest Catégorie:Décès en juin 1977 Catégorie:Décès à 78 ans