Wanda Szmielew

De Wikipedia, la enciclopedia libre
Wanda Szmielew
Información personal
Nombre de nacimiento Wanda Montlak Ver y modificar los datos en Wikidata
Nacimiento 5 de abril de 1918 Ver y modificar los datos en Wikidata
Varsovia (Regencia de Polonia) Ver y modificar los datos en Wikidata
Fallecimiento 27 de agosto de 1976 Ver y modificar los datos en Wikidata (58 años)
Varsovia (Polonia) Ver y modificar los datos en Wikidata
Causa de muerte Cáncer Ver y modificar los datos en Wikidata
Sepultura Parrish cemetery of Kołbiel Ver y modificar los datos en Wikidata
Nacionalidad Polaca
Familia
Cónyuge Borys Szmielew Ver y modificar los datos en Wikidata
Educación
Educada en
Supervisor doctoral Alfred Tarski Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemática Ver y modificar los datos en Wikidata
Área Matemáticas Ver y modificar los datos en Wikidata
Empleador
  • Universidad de Łódź (1945-1947)
  • Universidad de Varsovia (1947-1949)
  • Universidad de California en Berkeley (1949-1950)
  • Universidad de Varsovia (1950-1976) Ver y modificar los datos en Wikidata
Distinciones
[editar datos en Wikidata]

Wanda Montlak Szmielew (Varsovia, Polonia, 5 de abril de 1918-ibídem, 27 de agosto de 1976)[1]​ fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos abelianos.[1]​

Biografía[editar]

Wanda Montlak nació el 5 de abril de 1918 en Varsovia. Terminó el instituto en 1935 y se casó, adoptando el apellido Szmielew. El mismo año, entró en la Universidad de Varsovia, donde estudió lógica con Adolf Lindenbaum, Jan Łukasiewicz, Kazimierz Kuratowski y Alfred Tarski. Su investigación se centraba en el axioma de elección, pero fue interrumpida en 1939 por la invasión de Polonia.[1]​

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]​

Publicaciones destacadas[editar]

  • Szmielew, 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: 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, 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 ..
  • Schwabhäuser, 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]

  1. ↑ a b c d e O'Connor, John J.; Robertson, Edmund F., «Wanda Montlak Szmielew» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Szmielew/ .
  2. ↑ a b c Kordos, Marek; Moszyńska, Maria; Szczerba, Lesław W. (December 1977), «Wanda Szmielew 1918–1976», Studia Logica (Kluwer Academic Publishers) 36 (4): 241-244, ISSN 0039-3215, doi:10.1007/BF02120661 ..
  3. ↑ Feferman, Anita Burdman; Feferman, Solomon (2004), Alfred Tarski: life and logic, Cambridge: Cambridge University Press, pp. 177-178, ISBN 0-521-80240-7 .
  4. ↑ Wanda Szmielew en el Mathematics Genealogy Project.
  5. ↑ 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.
  6. ↑ 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 ..
Obtenido de «https://es.wikipedia.org/w/index.php?title=Wanda_Szmielew&oldid=140368614»