Szmielew se convirtió en agrimensora durante la Segunda Guerra Mundial, tiempo durante el cual continuó su investigación por su cuenta, desarrollando un problema de decisión basado en la eliminación de cuantificadores para la teoría de grupos abelianos. También fue profesora para la resistencia polaca. Tras la liberación de Polonia, Szmielew aceptó un puesto en la Universidad de Łódź, fundada en mayo de 1945. En 1947, publicó su artículo sobre el axioma de elección, obtuvo una maestría de la Universidad de Varsovia y se trasladó a esta última.[2]
En 1949 y 1950, Szmielew fue profesora visitante en la Universidad de California en Berkeley, en la que Tarski había encontrado una plaza permanente tras exiliarse de Polonia durante la guerra. Vivió en casa de Tarski y su esposa como amante de Tarski, dejando atrás a su marido en Polonia,[3] y completó un doctorado en Berkeley en 1950 bajo la dirección de Tarski.[2][4] Para la publicación de sus resultados en 1955, Tarski convenció a Szmielew de reformular su trabajo en términos de su teoría de funciones aritméticas, decisión que provocó que su trabajo fuera descrito por Solomon Feferman como «ilegible».[5] Trabajos posteriores de Eklof y Fischer (1972) volvieron a demostrar el resultado de Szmielew usando técnicas más estándar de teoría de modelos.[6]
Tras regresar a Varsovia como profesora ayudante, sus intereses se inclinaron más hacia los fundamentos de geometría. Junto con Karol Borsuk, publicó un libro de texto sobre el tema en 1955 y otra monografía, publicada póstumamente en 1981.[1][2]
Falleció de cáncer en Varsovia el 27 de agosto de 1976.[1]
Borsuk, Karol; Szmielew, Wanda (1955), Podstawy geometrii, Warsawa: Państwowe Wydawnictwo Naukowe.. Traducido como Borsuk, Karol; Szmielew, Wanda (1960), Foundations of geometry: Euclidean and Bolyai-Lobachevskian geometry; projective geometry, Revised English translation, New York: Interscience Publishers, Inc...
Szmielew, Wanda (1981), Od geometrii afinicznej do euklidesowej, Biblioteka Matematyczna [Mathematics Library] 55, Warsaw: Państwowe Wydawnictwo Naukowe (PWN), p. 172, ISBN83-01-01374-5.. Traducido como Szmielew, Wanda (1983), From affine to Euclidean geometry, Warsaw: PWN—Polish Scientific Publishers, ISBN90-277-1243-3..
Schwabhäuser, W.; Szmielew, W.; Tarski, A. (1983), Metamathematische Methoden in der Geometrie, Hochschultext [University Textbooks], Berlin: Springer-Verlag, ISBN3-540-12958-8, doi:10.1007/978-3-642-69418-9..
Feferman, Anita Burdman; Feferman, Solomon (2004), Alfred Tarski: life and logic, Cambridge: Cambridge University Press, pp. 177-178, ISBN0-521-80240-7.
Feferman, Solomon (2008), «Tarski's Conceptual Analysis of Semantical Notions», en Patterson, Douglas, ed., New Essays on Tarski and Philosophy, Oxford Univ. Press, Oxford, pp. 72-93, ISBN978-0-19-929630-9, doi:10.1093/acprof:oso/9780199296309.003.0004.. See footnote 27, p. 90.
Eklof, Paul C.; Fischer, Edward R. (1972), «The elementary theory of abelian groups», Annals of Pure and Applied Logic4: 115-171, doi:10.1016/0003-4843(72)90013-7..
Datos:Q1606268
Enero 01, 1970
wanda, szmielew, wanda, montlak, szmielew, varsovia, polonia, abril, 1918, ibídem, agosto, 1976, lógica, matemática, polaca, conocida, primera, demostrar, decidibilidad, teoría, primer, orden, grupos, abelianos, información, personalnombre, nacimientowanda, mo. Wanda Montlak Szmielew Varsovia Polonia 5 de abril de 1918 ibidem 27 de agosto de 1976 1 fue una logica matematica polaca conocida por ser la primera en demostrar la decidibilidad de la teoria de primer orden de grupos abelianos 1 Wanda SzmielewInformacion personalNombre de nacimientoWanda MontlakNacimiento5 de abril de 1918 Varsovia Regencia de Polonia Fallecimiento27 de agosto de 1976 58 anos Varsovia Polonia Causa de muerteCancerSepulturaParrish cemetery of KolbielNacionalidadPolacaEducacionEducada enUniversidad de California en BerkeleyUniversidad de Varsovia 1935 1939 Universidad de Varsovia 1945 1947 Supervisor doctoralAlfred TarskiInformacion profesionalOcupacionMatematicaAreaMatematicasEmpleadorUniversidad de Lodz 1945 1947 Universidad de Varsovia 1947 1949 Universidad de California en Berkeley 1949 1950 Universidad de Varsovia 1950 1976 DistincionesMedalla de 10º aniversario de la Polonia Popular 1955 Caballero de la Orden Polonia Restituta 1973 editar datos en Wikidata Biografia editarWanda Montlak nacio el 5 de abril de 1918 en Varsovia Termino el instituto en 1935 y se caso adoptando el apellido Szmielew El mismo ano entro en la Universidad de Varsovia donde estudio logica con Adolf Lindenbaum Jan Lukasiewicz Kazimierz Kuratowski y Alfred Tarski Su investigacion se centraba en el axioma de eleccion pero fue interrumpida en 1939 por la invasion de Polonia 1 Szmielew se convirtio en agrimensora durante la Segunda Guerra Mundial tiempo durante el cual continuo su investigacion por su cuenta desarrollando un problema de decision basado en la eliminacion de cuantificadores para la teoria de grupos abelianos Tambien fue profesora para la resistencia polaca Tras la liberacion de Polonia Szmielew acepto un puesto en la Universidad de Lodz fundada en mayo de 1945 En 1947 publico su articulo sobre el axioma de eleccion obtuvo una maestria de la Universidad de Varsovia y se traslado a esta ultima 2 En 1949 y 1950 Szmielew fue profesora visitante en la Universidad de California en Berkeley en la que Tarski habia encontrado una plaza permanente tras exiliarse de Polonia durante la guerra Vivio en casa de Tarski y su esposa como amante de Tarski dejando atras a su marido en Polonia 3 y completo un doctorado en Berkeley en 1950 bajo la direccion de Tarski 2 4 Para la publicacion de sus resultados en 1955 Tarski convencio a Szmielew de reformular su trabajo en terminos de su teoria de funciones aritmeticas decision que provoco que su trabajo fuera descrito por Solomon Feferman como ilegible 5 Trabajos posteriores de Eklof y Fischer 1972 volvieron a demostrar el resultado de Szmielew usando tecnicas mas estandar de teoria de modelos 6 Tras regresar a Varsovia como profesora ayudante sus intereses se inclinaron mas hacia los fundamentos de geometria Junto con Karol Borsuk publico un libro de texto sobre el tema en 1955 y otra monografia publicada postumamente en 1981 1 2 Fallecio de cancer en Varsovia el 27 de agosto de 1976 1 Publicaciones destacadas editarSzmielew Wanda 1947 On choices from finite sets Fundamenta Mathematicae 34 1 75 80 ISSN 0016 2736 Szmielew Wanda 1955 Elementary properties of Abelian groups Fundamenta Mathematicae 41 2 203 271 ISSN 0016 2736 Borsuk Karol Szmielew Wanda 1955 Podstawy geometrii Warsawa Panstwowe Wydawnictwo Naukowe Traducido como Borsuk Karol Szmielew Wanda 1960 Foundations of geometry Euclidean and Bolyai Lobachevskian geometry projective geometry Revised English translation New York Interscience Publishers Inc Szmielew Wanda 1981 Od geometrii afinicznej do euklidesowej Biblioteka Matematyczna Mathematics Library 55 Warsaw Panstwowe Wydawnictwo Naukowe PWN p 172 ISBN 83 01 01374 5 Traducido como Szmielew Wanda 1983 From affine to Euclidean geometry Warsaw PWN Polish Scientific Publishers ISBN 90 277 1243 3 Schwabhauser W Szmielew W Tarski A 1983 Metamathematische Methoden in der Geometrie Hochschultext University Textbooks Berlin Springer Verlag ISBN 3 540 12958 8 doi 10 1007 978 3 642 69418 9 Referencias editar a b c d e O Connor John J Robertson Edmund F Wanda Montlak Szmielew en ingles MacTutor History of Mathematics archive Universidad de Saint Andrews http www history mcs st andrews ac uk Biographies Szmielew html a b c Kordos Marek Moszynska Maria Szczerba Leslaw W December 1977 Wanda Szmielew 1918 1976 Studia Logica Kluwer Academic Publishers 36 4 241 244 ISSN 0039 3215 doi 10 1007 BF02120661 Feferman Anita Burdman Feferman Solomon 2004 Alfred Tarski life and logic Cambridge Cambridge University Press pp 177 178 ISBN 0 521 80240 7 Wanda Szmielew en el Mathematics Genealogy Project Feferman Solomon 2008 Tarski s Conceptual Analysis of Semantical Notions en Patterson Douglas ed New Essays on Tarski and Philosophy Oxford Univ Press Oxford pp 72 93 ISBN 978 0 19 929630 9 doi 10 1093 acprof oso 9780199296309 003 0004 See footnote 27 p 90 Eklof Paul C Fischer Edward R 1972 The elementary theory of abelian groups Annals of Pure and Applied Logic 4 115 171 doi 10 1016 0003 4843 72 90013 7 nbsp Datos Q1606268 Obtenido de https es wikipedia org w index php title Wanda Szmielew amp oldid 140368614, wikipedia, wiki, leyendo, leer, libro, biblioteca,
