Gabriel Sudan
Gabriel Sudan (né le et mort le ) est un mathématicien 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 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.
Portail de la Roumanie 
Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.