Wanda Szmielew: diferència entre les revisions

Szmielew es va convertir en [[Agrimensura|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 [[Grup abelià|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.<ref name="sl">{{Obra citada|título=Wanda Szmielew 1918–1976|apellidos=Kordos|nombre=Marek|fecha=December desembre 1977|editorial=Kluwer Academic Publishers|pub-periódica=[[Studia Logica]]|número=4|volumen=36|páginas=241–244|apellidos2=Moszyńska|nombre2=Maria|apellidos3=Szczerba|nombre3=Lesław W.|ISSN=0039-3215|DOI=10.1007/BF02120661}}.</ref>

En els anys 1949 i 1950, Szmielew va ser professora assistent a la [[Universitat de Califòrnia a Berkeley]], on [[Alfred Tarski|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,<ref>{{Obra citada|título=Alfred Tarski: life and logic|apellidos=Feferman|nombre=Anita Burdman|enlaceautor=Anita Burdman Feferman|url=https://books.google.com/books?id=wqktlxHo9wkC&pg=PA177|editorial=Cambridge University Press|lugar=Cambridge|páginas=177–178|apellidos2=Feferman|nombre2=Solomon|enlaceautor2=Solomon Feferman|ISBN=0-521-80240-7|year=2004}}</ref> i va completar el doctorat a Berkeley l'any 1950 sota la direcció de Tarski.<ref name="sl">{{Obra citada|título=Wanda Szmielew 1918–1976|apellidos=Kordos|nombre=Marek|fecha=December desembre 1977|editorial=Kluwer Academic Publishers|pub-periódica=[[Studia Logica]]|número=4|volumen=36|páginas=241–244|apellidos2=Moszyńska|nombre2=Maria|apellidos3=Szczerba|nombre3=Lesław W.|ISSN=0039-3215|DOI=10.1007/BF02120661}}.</ref><ref>{{MathGenealogy|id=32659}}</ref> 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».<ref name="fef">{{Obra citada|título=New Essays on Tarski and Philosophy|apellidos=Feferman|nombre=Solomon|enlaceautor=Solomon Feferman|editorial=Oxford Univ. Press, Oxford|capítulo=Tarski's Conceptual Analysis of Semantical Notions|páginas=72–93|editor=Patterson|nombre-editor=Douglas|ISBN=978-0-19-929630-9|DOI=10.1093/acprof:oso/9780199296309.003.0004|year=2008}}. See footnote 27, [https://books.google.com/books?id=0rYUDAAAQBAJ&pg=PA90 p.&nbsp;90].</ref> Treballs posteriors d'{{Harvtxt|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]].<ref>{{Obra citada|título=The elementary theory of abelian groups|apellidos=Eklof|nombre=Paul C.|pub-periódica=Annals of Pure and Applied Logic|volumen=4|páginas=115–171|apellidos2=Fischer|nombre2=Edward R.|DOI=10.1016/0003-4843(72)90013-7|year=1972}}.</ref>

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.<ref name="mt"/><ref name="sl">{{Obra citada|título=Wanda Szmielew 1918–1976|apellidos=Kordos|nombre=Marek|fecha=December desembre 1977|editorial=Kluwer Academic Publishers|pub-periódica=[[Studia Logica]]|número=4|volumen=36|páginas=241–244|apellidos2=Moszyńska|nombre2=Maria|apellidos3=Szczerba|nombre3=Lesław W.|ISSN=0039-3215|DOI=10.1007/BF02120661}}.</ref>