Helena Rasiowa — Wikipédia

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.

Helena Rasiowa
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 77 ans)
Varsovie (Pologne)Voir et modifier les données sur Wikidata
Sépulture
Nationalité
Formation
Activités
Autres informations
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 ()Voir et modifier les données sur Wikidata
Œuvres principales
Rasiowa–Sikorski lemma (d)Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

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]
  1. ↑ a b c d e f g h i j k l m et n 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

Liens externes

[modifier | modifier le code]

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Helena_Rasiowa&oldid=208428792 ».