Wanda Szmielew

mathématicienne polonaise

Wanda Szmielew est une mathématicienne polonaise née Wanda Montlak le à Varsovie et morte le dans la même ville. Elle est la première à prouver la décidabilité de la théorie du premier ordre des groupes abéliens. Les axiomes de Szmielew-Tarski portent son nom.

Wanda Szmielew
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 58 ans)
VarsovieVoir et modifier les données sur Wikidata
Sépulture
Parrish cemetery of Kołbiel (d)Voir et modifier les données sur Wikidata
Nom de naissance
Wanda MontlakVoir et modifier les données sur Wikidata
Nationalité
Formation
Activité
Conjoint
Borys Szmielew (d)Voir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Directeur de thèse
Distinctions

Biographie

modifier

Wanda Montlak est née le 5 avril 1918 à Varsovie[1]. Elle termine ses études secondaires en 1935[2]. Elle entre à l'Université de Varsovie, où elle étudie la logique mathématique auprès d'Adolf Lindenbaum, Jan Łukasiewicz, Kazimierz Kuratowski et Alfred Tarski[2],[3],[4]. En 1937, elle épouse le géomètre Borys Szmielew[3].

Durant la guerre, elle interrompt ses études, devient géomètre tout en enseignant dans la clandestinité et en poursuivant ses recherches[2],[5]. Elle est connue alors sous deux pseudonymes, Wanda Gawrońska puis Wanda Kowalska[4]. Après la libération de la Pologne, elle reprend ses études et obtient en 1947 un poste d'assistante à l'Université de Łódź (fondée en mai 1945)[6]. Après avoir obtenu son diplôme, elle retourne à l'Université de Varsovie, où elle obtient, en 1947, une maîtrise avec un mémoire « O zupełności teorii grup abelowych bez elementów cyklicznych (Sur l'exhaustivité de la théorie des groupes abéliens sans éléments cycliques) »[2].

En 1949 et 1950, Wanda Szmielew est invitée à l'Université de Californie à Berkeley, où Tarski, en exil depuis la guerre, a trouvé un poste permanent[6]. Compte-tenu de l'avancement de ses travaux, elle pense pouvoir terminer sa thèse en un an tout en donnant les cours demandés par son université d'accueil[4],[6]. Pour plus de commodité matérielle et de fluidité dans les échanges scientifiques avec son directeur, elle est accueillie chez le couple Tarski[6]. Elle soutient sa thèse en 1950[2].

De retour à Varsovie elle est nommée en 1954 (année où naît sa fille), maîtresse de conférences[2]. Elle est professeure en 1967[2]. Elle devient membre de la commission des manuels scolaires du Ministère de l'éducation. De 1965 à 1967, elle est quatre fois professeure invitée à Berkeley chez Tarski afin d'approfondir ses recherches[2]. Elle est décrite comme sûre d'elle, audacieuse et indépendante, très bien organisée dans ses méthodes de travail et attachée à la qualité de l'enseignement qu'elle donne au public étudiant[6]. En 1972, elle est professeure invitée à l'Université Humboldt de Berlin[4]. Gravement malade à partir de 1974, elle se lance dans l'écriture de plusieurs ouvrages et textes, mais elle ne peut les finir[6]. Elle meurt d'un cancer le 27 août 1976 à Varsovie[7]. Ses travaux sur la géométrie euclidienne sont publiés à titre posthume par sa collègue Maria Moszynska[6].

Elle est membre de la Société mathématique de Pologne et, entre 1959 et 1961, la présidente du groupe de Varsovie[5].

Travaux

modifier

Les recherches de Szmielew portent sur les fondements des mathématiques, au croisement notamment de l'algèbre et de la géométrie[8],[9]

Ses premières recherches, finies en 1938, portent sur l'axiome du choix[7]. Elles sont publiées après la guerre en 1947[7],[10].

 
Visualisation du groupe abélien (2,2,2,2).

Pendant la Seconde Guerre mondiale, ses recherches menées en solitaire portent sur des problèmes de logique qui appartiennent aujourd’hui au domaine de l’informatique théorique[4]. Elle a notamment travaillé sur un problème de décision basé sur l'élimination des quantificateurs pour la théorie des groupes abéliens[4].

Elle soutient son doctorat, « Propriétés élémentaires des groupes abéliens » à Berkeley en 1950, sous la direction de Tarski[7],[11]. Elle y démontre la décidabilité de la théorie des groupes abéliens, ce qui lui permet d'accéder à la notoriété et de recevoir le Prix du Ministre de l'Enseignement Supérieur de Pologne (pl) en 1956[5],[4]. En 1954, pour la publication de ces résultats dans une revue, Tarski réussit à convaincre Szmielew de reformuler son travail en fonction de sa théorie des fonctions arithmétiques. Une décision qui amène Solomon Feferman à qualifier ce travail d'« illisible ». En 1972, Paul Eklof et Edward Fischer prouvent à nouveau, en utilisant des techniques de théorie des modèles plus standard, le résultat de Szmielew[12],[13].

De retour à Varsovie, ses recherches se sont tournées vers les fondements de la géométrie (en)[4]. Elle propose un algorithme géométrique basé sur la géométrie hyperbolique qui se substitue par sa simplicité à celui d'Enden-Rechnung de Hilbert[4]. Avec Karol Borsuk, elle publie un texte sur le sujet en 1955, texte traduit en anglais en 1960, ainsi qu'une autre monographie, publiée à titre posthume en 1981 et en traduction anglaise en 1983[7].

Dans les années 1970, ses recherches cherchent à tisser des ponts entre algèbre et géométrie[4]. Les axiomes de Szmielew-Tarski portent son nom[8]. Ces travaux sur la géométrie euclidienne sont publiés à titre posthume en 1981 par sa collègue Maria Moszynska[6],[8]. Le projet qu'elle mène avec Alfred Tarski sur les fondements métamathématiques de la géométrie euclidienne est achevé en 1983 par Wolfram Schwabhäuser[4].

Engagement

modifier

Durant une grande partie de sa vie, Wanda Szmielew est adhérente de partis politiques. De 1948 à 1959, elle fait partie du Parti ouvrier unifié polonais[4].

Hommages et distinctions

modifier

Publications

modifier

Elle est l'autrice d'une trentaine de publications dont[15] :

  • (en) Wanda Szmielew, « On choices from finite sets » [« Sur les choix parmi des ensembles finis »], Fundamenta Mathematicae, vol. 34,‎ , p. 75–80 (ISSN 0016-2736 et 1730-6329, DOI 10.4064/fm-34-1-75-80, lire en ligne, consulté le )
  • (en) Wanda Szmielew, « Elementary properties of Abelian groups » [« Propriétés élémentaires des groupes abéliens »], Fundamenta Mathematicae, vol. 41, no 2,‎ , p. 203–271 (ISSN 0016-2736 et 1730-6329, DOI 10.4064/fm-41-2-203-271, lire en ligne, consulté le )
  • (pl) Borsuk, Karol; Szmielew, Wanda, Podstawy geometrii [« Fondements de la géométrie »], Varsovie,
  • (pl) Wanda Szmielew et Maria Moszyńska, Od geometrii afinicznej do euklidesowej: rozważania nad aksjomatyką [« De la géométrie affine à la géométrie euclidienne : considérations sur l'axiomatique »], Państwowe Wydawnictwo Naukowe, coll. « Biblioteka Matematyczna », (ISBN 978-83-01-01374-5)
  • (de) Wolfram Schwabhäuser, Alfred Tarski et Wanda Szmielew, Metamathematische Methoden in der Geometrie [« Méthodes métamathématiques en géométrie »], Springer, coll. « Hochschultext », (ISBN 978-3-540-12958-5 et 978-0-387-12958-7)

Notes et références

modifier
  1. Marek Kordos, Maria Moszyńska, Lesław W. Szczerba et J. Smólska, « Wanda Szmielew 1918-1976 », Studia Logica: An International Journal for Symbolic Logic, vol. 36, no 4,‎ , p. 241–244 (ISSN 0039-3215, lire en ligne, consulté le )
  2. a b c d e f g h et i Polski wkład w przyrodoznawstwo i technikę: słownik polskich i związanych z Polską odkrywców, wynalazców oraz pionierów nauk matematyczno-przyrodniczych i techniki. T. 1: A-G, Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów Polskiej Akademii Nauk : Instytut Pamięci Narodowej - Komisja Ścigania Zbrodni przeciwko Narodowi Polskiemu : Oficyna Wydawnicza Aspra-JR, (ISBN 978-83-7545-569-4, 978-83-7545-570-0 et 978-83-7629-828-3)
  3. a et b Słownik biograficzny matematyków polskich, Państ. Wyższa Szkoła Zawodowa im. prof. Stanisława Tarnowskiego, (ISBN 978-83-917293-3-5)
  4. a b c d e f g h i j k l et m (en) Institute of National Remembrance, « Wanda Szmielew », sur Giants of Science (consulté le )
  5. a b et c (pol)Kordos M., Moszyńska M., Szczerba L., Wanda Szmielew (1918–1976), „Roczniki Polskiego Towarzystwa Matematycznego”, Warszawa 1978 (Wiadomości Matematyczne), ISSN 0373-8302
  6. a b c d e f g h et i (en) « Wanda Szmielew - Biography », sur Maths History (consulté le )
  7. a b c d et e (en) John J. O'Connor et Edmund F. Robertson, « Wanda Montlak Szmielew », sur MacTutor, université de St Andrews.
  8. a b c d et e (pl) « Wanda Szmielew », (consulté le )
  9. (pl) « Wanda Szmielew », Roczniki polskiego towardzystwa matematycznego,‎ (lire en ligne   [PDF])
  10. . Kordos, Marek; Moszyńska, Maria; Szczerba, Lesław W. (December 1977), "Wanda Szmielew 1918–1976", Studia Logica, 36 (4), translated by Smólska, J., Kluwer Academic Publishers: 241–244, doi:10.1007/BF02120661, eISSN 1572-8730, ISSN 0039-3215, MR 0497794, S2CID 123110088.
  11. https://mathgenealogy.org/id.php?id=32659
  12. Eklof, Paul C.; Fischer, Edward R. (1972), "The elementary theory of abelian groups", Annals of Pure and Applied Logic, 4 (2): 115–171, doi:10.1016/0003-4843(72)90013-7, MR 0540003.
  13. (en) Solomon Feferman, « Tarski's Conceptual Analysis of Semantical Notions », sur academic.oup.com (DOI 10.1093/acprof:oso/9780199296309.003.0004, consulté le )
  14. (pl) « Lista osób odznaczonych "Medalem 10-lecia Polski Ludowej". », sur ISAP (consulté le )
  15. (en) Marek Kordos, Maria Moszyńska et Lesław W. Szczerba, « Wanda Szmielew 1918–1976 », Studia Logica, vol. 36, no 4,‎ , p. 241–244 (ISSN 1572-8730, DOI 10.1007/BF02120661, lire en ligne, consulté le )

Annexes

modifier

Bibliographie

modifier
  • (pl) Kordos M., Moszyńska M., Szczerba L, Roczniki Polskiego Towarzystwa Matematycznego [« Annales de la Société mathématique polonaise »], Varsovie, , « Wanda Szmielew (1918–1976) »
  • (pl) S. Domoradzki, Z. Pawlikowska-Brożek, D. Węglowska, Słownik biograficzny matematyków polskich [« Dictionnaire biographique des mathématiciens polonais »], (ISBN 83-917293-3-8), « Wanda Szmielew », p. 238–239
  • (pl) B. Orłowski, Polski wkład w przyrodoznawstwo i technikę [« Contribution polonaise aux sciences naturelles et à la technologie »], vol. 4, (ISBN 978-83-7545-570-0), « SZMIELEW Wanda », p. 239–241
  • (en) « Wanda Montlak Szmielew »  , sur Maths history

Liens externes

modifier