Helena Rasiowa
Cet article est une ébauche concernant une mathématicienne polonaise.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
| Naissance | |
|---|---|
| Décès | |
| Sépulture | |
| Nationalité | |
| Formation |
Université de musique Frédéric-Chopin (jusqu'en ) Université de Varsovie (- |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinctions | Liste détaillée Médaille du 10e anniversaire de la Pologne populaire () Chevalier de l'ordre Polonia Restituta () Officier de l'ordre Polonia Restituta () Insigne d'honneur « Mérite pour Varsovie » () Médaille du 30e anniversaire de la Pologne populaire (en) () Polish State Award (d) () Odznaka tytułu honorowego „Zasłużony Nauczyciel PRL” (d) () Médaille du 40e anniversaire de la République populaire de Pologne (en) () Médaille Wacław Sierpiński () |
Rasiowa–Sikorski lemma (d) |
Helena Rasiowa (née le – morte le ) est une mathématicienne polonaise. Elle s'est spécialisée dans les fondements des mathématiques et dans la logique algébrique.
Biographie[modifier | modifier le code]
Rasiowa naît à Vienne en 1917 de parents polonais[1]. Dès que la Pologne regagne son indépendance en 1918, la famille s'établit à Varsovie[1]. Très tôt, Helena Rasiowa manifeste un certain intérêt pour les mathématiques.
En 1938, elle doit interrompre ses études. Sa famille est contrainte de fuir le pays et de se réfugier en Roumanie[1]. La famille passe ainsi un an à Lviv puis, après l'invasion de l'Union soviétique, retourne à Varsovie, bien que la vie y soit dangereuse sous l'occupation nazie[1].
Rasiowa prépare un mémoire sous la supervision de Jan Łukasiewicz et Bolesław Sobociński (pl)[1]. En 1944, l'insurrection de Varsovie éclate et la ville en sort presque totalement détruite[1]. Cela n'est pas seulement dû aux combats immédiats, mais aussi à la destruction systématique lors de la répression du soulèvement. La thèse de Rasiowa brûle avec sa maison. Elle-même survit avec sa mère dans une cave recouverte par les ruines du bâtiment démoli[1].
Après la Seconde Guerre mondiale, elle enseigne dans le secondaire[1]. Mais elle rencontre le mathématicien Andrzej Mostowski qui l'incite à revenir à l'université[1]. Elle réécrit sa thèse de maîtrise en 1945 et, l'année suivante, commence une carrière académique en tant qu'assistante à l'université de Varsovie, institution à laquelle elle reste liée jusqu'à la fin de sa vie[1]. À l'université, elle prépare et défend sa thèse de doctorat, Algebraic Treatment of the Functional Calculi of Lewis and Heyting, en 1950, sous la direction d'Andrzej Mostowski[1]. Cette thèse sur la logique algébrique lance sa carrière en contribuant à l'école de logique de Lwów-Varsovie[1]. En 1956, elle obtient son deuxième diplôme universitaire, le doktor nauk (équivalent de l'habilitation)[1], à l'Institut de mathématiques de l'Académie polonaise des sciences, où, entre 1954 et 1957, elle occupe un poste de professeur associé. Elle devient professeur en 1957, puis professeur titulaire en 1967. Ces résultats de recherche en font une pionnière dans la compréhension des liens entre la logique et les fondements de l'informatique[1].
Publications[modifier | modifier le code]
- (en) The Mathematics of Metamathematics (1963, co-écrit avec Roman Sikorski)
- (en) An Algebraic Approach to Non-Classical Logics (1974)
Notes et références[modifier | modifier le code]
- Christine Charretton, « Rasiowa, Helena [Vienne 1917 - Varsovie 1994] », dans Béatrice Didier, Antoinette Fouque et Mireille Calle-Gruber (dir.), Dictionnaire universel des créatrices, Éditions Des femmes, , p. 3605
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Helena Rasiowa » (voir la liste des auteurs).
Liens externes[modifier | modifier le code]
- (en) « Helena Rasiowa », sur le site du Mathematics Genealogy Project
- (en) John J. O'Connor et Edmund F. Robertson, « Helena Rasiowa », sur MacTutor, université de St Andrews.
- Ressources relatives à la recherche :
- Notice dans un dictionnaire ou une encyclopédie généraliste :
