Gabriel Sudan
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).
| Naissance | |
|---|---|
| Décès |
(Ă 78 ans) |
| Nationalité |
suisse et roumaine |
| Formation | |
| Activité |
| A travaillé pour | |
|---|---|
| Directeur de thèse |
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.