Wanda Szmielew
Wanda Szmielew (Varsòvia, 5 d'abril de 1918 - Varsòvia, 27 d'agost de 1976),[1] de soltera Wanda Montlak, va ser una lògica matemàtica polonesa, coneguda per ser la primera persona a demostrar la decidibilitat de la teoria de primer ordre de grups abelians.[1]
| Biografia | |
|---|---|
| Naixement | (pl) Wanda Montlak  5 abril 1918 Varsòvia (Polònia) |
| Mort | 27 agost 1976 (58 anys) Varsòvia (Polònia) |
| Causa de mort | Causes naturals (Càncer ) |
| Sepultura | Cementiri parroquial de Kołbiel, E2, Z1, 4 52° 03′ 36″ N, 21° 29′ 08″ E / 52.060109°N,21.485577°E |
| Dades personals | |
| Formació | Universitat de Varsòvia (1945–1947) Universitat de Varsòvia (1935–1939) Universitat de Califòrnia a Berkeley |
| Tesi acadèmica | Elementary properties of Abelian groups (1955 ) |
| Director de tesi | Alfred Tarski |
| Activitat | |
| Camp de treball | Matemàtiques |
| Ocupació | matemàtica |
| Ocupador | Universitat de Varsòvia (1950–1976) Universitat de Califòrnia a Berkeley (1949–1950) Universitat de Varsòvia (1947–1949) Universitat de Łódź (1945–1947) |
| Interessada en | Grup abelià |
| Obra | |
| Estudiant doctoral | Leslaw Szczerba i Zenon Piesyk |
| Família | |
| Cònjuge | Borys Szmielew |
| Pares | Dawid i Bronislawa Montlak |
Premis | |
Biografia modifica
Wanda Montlak va néixer el 5 d'abril de 1918 a Varsòvia. Va acabar l'institut l'any 1935 i es va casar, adoptant el cognom Szmielew. El mateix any, va entrar a la Universitat de Varsòvia, on va estudiar lògica amb Adolf Lindenbaum, Jan Lukasiewicz, Kazimierz Kuratowski i Alfred Tarski. La seva recerca estava centrada en l'axioma de l'elecció, però va ser interrompuda l'any 1939 per la invasió de Polònia.[1]
Szmielew es va convertir en agrimensora durant la Segona Guerra Mundial, temps en el qual va continuar la seva recerca pel seu compte, desenvolupant un problema de decisió basat en l'eliminació de quantificadors per a la teoria de grups abelians. També va ser professora per a la resistència polonesa. Després de l'alliberament de Polònia, Szmielew va acceptar una plaça a la Universitat de Łódź, fundada el maig de 1945. L'any 1947, va publicar un article sobre l'axioma de l'elecció, va obtenir un màster a la Universitat de Varsòvia i s'hi va traslladar.[2]
En els anys 1949 i 1950, Szmielew va ser professora assistent a la Universitat de Califòrnia a Berkeley, on Tarski havia obtingut una plaça permanent després d'exiliar-se de Polònia durant la guerra. Va viure a casa de Tarski i la seva dona com a amant de Tarski, deixant enrere al seu marit a Polònia,[3] i va completar el doctorat a Berkeley l'any 1950 sota la direcció de Tarski.[2][4] Per a la publicació dels seus resultats al 1955, Tarski va convèncer Szmielew de reformular el seu treball en termes de la seva teoria de funcions aritmètiques, decisió que va fer que el seu treball fos descrit per Solomon Feferman com «il·legible».[5] Treballs posteriors d'Eklof & Fischer (1972) i de Fischer (1972) van tornar a demostrar el resultat de Szmielew utitilitzant tècniques més estàndards de teoria de models.[6]
Després de tornar a Varsòvia com a professora assistent, els seus interessos es van inclinar més cap als fonaments de la geometria. Juntament amb Karol Borsuk, va publicar un llibre de text sobre el tema l'any 1955 i una altra monografia, publicada pòstumament al 1981.[1][2]
Referències modifica
- ↑ 1,0 1,1 1,2 1,3 1,4 O'Connor, John J.; Robertson, Edmund F. «Wanda Montlak Szmielew» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
- ↑ 2,0 2,1 2,2 , ISSN 0039-3215, DOI 10.1007/BF02120661
- ↑ , 2004, ISBN 0-521-80240-7, <https://books.google.cat/books?id=wqktlxHo9wkC&pg=PA177>
- ↑ Wanda Szmielew al Mathematics Genealogy Project.
- ↑ Patterson, ed. (2008), ISBN 978-0-19-929630-9, DOI 10.1093/acprof:oso/9780199296309.003.0004. See footnote 27, p. 90.
- ↑ , 1972, DOI 10.1016/0003-4843(72)90013-7
Bibliografia modifica
- Casals Ruiz, Montserrat «Teories de primer ordre i els problemes de Tarski». Butlletí de la Societat Catalana de Matemàtiques, Vol. 28, Num. 5, 2013, pàg. 5-49. DOI: 10.2436/20.2002.01.46. ISSN: 0214-316X.
- Kenney, Emelie Agnes. «Making Her mark in a Century of Turmoil and Triumph: A Tribute of Polish Women in Mathematics». A: Janet L. Beery, Sarah J. Greenwald, Jacqueline A. Jensen-Vallin, Maura B. Mast (eds.). Women in Mathematics (en anglès). Springer, 2017, p. 67-90. ISBN 978-3-319-66693-8.
- Kordos, Marek; Moszyńska, Maria; Szczerba, Lesław W.; Smólska, J. «Wanda Szmielew 1918-1976» (en anglès). Studia Logica, Vol. 36, Num. 4, 1977, pàg. 241-244. ISSN: 1572-8730.
Enllaços externs modifica
- O'Connor, John J.; Robertson, Edmund F. «Wanda Szmielew» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
- Macho, M. «Wanda Montlak Szmielew (1918-1976)». Euskal Herriko Unibertsitatea, 2016. [Consulta: 7 desembre 2022]. (castellà)