Gabriel Sudan
Cet article est une ébauche concernant un mathématicien roumain.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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
modifier- 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.
