stringtranslate.com

Wanda Szmielew

Wanda Szmielew, de soltera Montlak (5 de abril de 1918 - 27 de agosto de 1976) [1] fue una lógica matemática polaca que demostró por primera vez la decidibilidad de la teoría de primer orden de los grupos abelianos . [1]

Vida

Wanda Montlak nació el 5 de abril de 1918 en Varsovia . Terminó la escuela secundaria en 1935 y se casó, tomando el nombre de Szmielew. Ese mismo año ingresó en la Universidad de Varsovia , donde estudió lógica con Adolf Lindenbaum , Jan Łukasiewicz , Kazimierz Kuratowski y Alfred Tarski . Su investigación en ese momento incluía trabajos sobre el axioma de elección , pero fue interrumpida por la invasión de Polonia en 1939. [1]

Szmielew se convirtió en topógrafo durante la Segunda Guerra Mundial , tiempo durante el cual continuó su investigación por su cuenta, desarrollando un procedimiento de decisión basado en la eliminación de cuantificadores para la teoría de grupos abelianos. También enseñó para la resistencia polaca. Después de la liberación de Polonia, Szmielew aceptó un puesto en la Universidad de Łódź , que se fundó en mayo de 1945. En 1947, publicó su artículo sobre el axioma de elección, obtuvo una maestría en la Universidad de Varsovia y se mudó a Varsovia como asistente principal. [1] [2]

En 1949 y 1950, Szmielew visitó la Universidad de California, Berkeley , donde Tarski había encontrado un puesto permanente después de ser exiliado de Polonia por la guerra. Vivió en la casa de Tarski y su esposa como amante de Tarski, dejando a su marido en Polonia, [3] y completó un doctorado en Berkeley en 1950 bajo la supervisión de Tarski, con su disertación consistente en su trabajo sobre grupos abelianos. [1] [2] [4] Para la publicación en revista de 1955 de estos resultados, Tarski convenció a Szmielew de reformular su trabajo en términos de su teoría de funciones aritméticas, una decisión que provocó que este trabajo fuera descrito por Solomon Feferman como "ilegible". [5] El trabajo posterior de Eklof y Fischer (1972) volvió a demostrar el resultado de Szmielew utilizando técnicas de teoría de modelos más estándar. [5] [6]

Al regresar a Varsovia como profesora adjunta, sus intereses se orientaron hacia los fundamentos de la geometría . Junto con Karol Borsuk , publicó un texto sobre el tema en 1955 (traducido al inglés en 1960) y otra monografía, publicada póstumamente en 1981 y (en traducción al inglés) en 1983. [1] [2]

Murió de cáncer el 27 de agosto de 1976 en Varsovia. [1]

Publicaciones seleccionadas

Referencias

  1. ^ abcdefg O'Connor, John J.; Robertson, Edmund F. , "Wanda Montlak Szmielew", Archivo de Historia de las Matemáticas MacTutor , Universidad de St Andrews
  2. ^ abc Kordos, Marek; Moszyńska, María; Szczerba, Lesław W. (diciembre de 1977), "Wanda Szmielew 1918–1976", Studia Logica , 36 (4), traducido por Smólska, J., Kluwer Academic Publishers: 241–244, doi :10.1007/BF02120661, eISSN  1572- 8730, ISSN  0039-3215, SEÑOR  0497794, S2CID  123110088.
  3. ^ Feferman, Anita Burdman ; Feferman, Solomon (2004), Alfred Tarski: vida y lógica, Cambridge: Cambridge University Press, págs. 177–178, ISBN 0-521-80240-7, Sr.  2095748
  4. ^ Wanda Szmielew en el Proyecto de Genealogía Matemática
  5. ^ ab Feferman, Solomon (2008), "Análisis conceptual de las nociones semánticas de Tarski", en Patterson, Douglas (ed.), New Essays on Tarski and Philosophy , Oxford Univ. Press, Oxford, págs. 72-93, doi :10.1093/acprof:oso/9780199296309.003.0004, ISBN 978-0-19-929630-9, Sr.  2509211. Véase nota 27, pág. 90.
  6. ^ Eklof, Paul C.; Fischer, Edward R. (1972), "La teoría elemental de los grupos abelianos", Anales de lógica pura y aplicada , 4 (2): 115–171, doi :10.1016/0003-4843(72)90013-7, MR  0540003.