Rózsa Péter

Rózsa Péter ( - ) était une mathématicienne hongroise. Elle est connue pour ses travaux sur la théorie des fonctions récursives ; en particulier, elle a donné une fonction de seulement deux variables connue aujourd'hui sous le nom de fonction d'Ackermann, variante de la fonction originelle. Rózsa (née Politzer) est née à Budapest en Hongrie. Elle a suivi les cours à l'université de Budapest, en commençant par étudier la chimie avant de bifurquer vers les mathématiques, où elle suit les cours de Lipót Fejér et József Kürschák, et elle y rencontre László Kalmár avec qui elle collaborera quelques années plus tard, et Kalmár l'encourage à poursuivre sa passion des mathématiques. Elle est diplômée en 1927, mais ne trouve pas de poste d'enseignement permanent bien qu'elle ait réussi les examens la qualifiant comme professeur de mathématiques. En raison des effets de la Grande Dépression, de nombreux diplômés de l'université ne trouvent pas de travail et Péter donne des cours privés. À cette époque, elle entame ses études doctorales et soutient son doctorat en 1935. Pendant l'occupation de la Hongrie par l'Allemagne nazie, le régime lui interdit d'enseigner du fait de sa judéité, elle est même brièvement confinée dans un ghetto à Budapest. Après la guerre, elle publie son ouvrage le plus important : Recursive Functions. Elle enseigne à l'université de Budapest jusqu'à sa retraite en 1975. Initialement, Péter effectue ses recherches doctorales en théorie des nombres. Quand elle découvre que ses résultats avaient déjà été prouvés par Robert Carmichael et L. E. Dickson, elle abandonne les mathématiques pour se consacrer à la poésie. Néanmoins, László Kalmár arrive à convaincre son amie de revenir aux mathématiques et lui suggère de s'intéresser aux travaux de Kurt Gödel sur la théorie de l'incomplétude. Elle travaille à des preuves différentes, de son crû, des travaux de Gödel. Péter présente les résultats de son article sur la théorie récursive, « Rekursive Funktionen », au congrès international des mathématiciens à Zurich, en 1932.