Loading AI tools
mathématicienne polonaise De Wikipédia, l'encyclopédie libre
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.
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) |
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].
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.