Helena Rasiowa
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.
Helena Rasiowa
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 (en) () 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) |
Biographie
Rasiowa naît à Vienne le de parents polonais. Dès que la Pologne regagne son indépendance en 1918, la famille s'établit à Varsovie. 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 fuit le pays et se réfugie en Roumanie. La famille passe ainsi un an à Lviv puis, après l'invasion de l'Union soviétique, retourne à Varsovie.
Rasiowa présente un mémoire sous la supervision de Jan Łukasiewicz et Bolesław Sobociński (pl).
Publications
- (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
- (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
- (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.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.