Wanda Szmielew

matemàtica polonesa

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]

Infotaula de personaWanda Szmielew
Biografia
Naixement(pl) Wanda Montlak Modifica el valor a Wikidata
5 abril 1918 Modifica el valor a Wikidata
Varsòvia (Polònia) Modifica el valor a Wikidata
Mort27 agost 1976 Modifica el valor a Wikidata (58 anys)
Varsòvia (Polònia) Modifica el valor a Wikidata
Causa de mortCauses naturals Modifica el valor a Wikidata (Càncer Modifica el valor a Wikidata)
SepulturaCementiri parroquial de Kołbiel, E2, Z1, 4 52° 03′ 36″ N, 21° 29′ 08″ E / 52.060109°N,21.485577°E / 52.060109; 21.485577 Modifica el valor a Wikidata
Dades personals
FormacióUniversitat de Varsòvia (1945–1947)
Universitat de Varsòvia (1935–1939)
Universitat de Califòrnia a Berkeley Modifica el valor a Wikidata
Tesi acadèmicaElementary properties of Abelian groups  (1955 Modifica el valor a Wikidata)
Director de tesiAlfred Tarski Modifica el valor a Wikidata
Activitat
Camp de treballMatemàtiques Modifica el valor a Wikidata
Ocupaciómatemàtica Modifica el valor a Wikidata
OcupadorUniversitat de Varsòvia (1950–1976)
Universitat de Califòrnia a Berkeley (1949–1950)
Universitat de Varsòvia (1947–1949)
Universitat de Łódź (1945–1947) Modifica el valor a Wikidata
Interessada enGrup abelià Modifica el valor a Wikidata
Obra
Estudiant doctoralLeslaw Szczerba i Zenon Piesyk Modifica el valor a Wikidata
Família
CònjugeBorys Szmielew
ParesDawid i Bronislawa Montlak
Premis

BiografiaModifica

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]

Va morir de càncer a Varsòvia el 27 d'agost de 1976.[1]

ReferènciesModifica

  1. 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. 2,0 2,1 2,2 , ISSN 0039-3215, DOI 10.1007/BF02120661
  3. , 2004, ISBN 0-521-80240-7, <https://books.google.cat/books?id=wqktlxHo9wkC&pg=PA177>
  4. Wanda Szmielew al Mathematics Genealogy Project.
  5. Patterson, ed. (2008), ISBN 978-0-19-929630-9, DOI 10.1093/acprof:oso/9780199296309.003.0004. See footnote 27, p. 90.
  6. , 1972, DOI 10.1016/0003-4843(72)90013-7

BibliografiaModifica

Enllaços externsModifica

  • 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à)