De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda

Wanda Montlak Szmielew
Nació( 05/04/1918 )5 de abril de 1918
Varsovia , Congreso Polonia
Fallecido27 de agosto de 1976 (27 de agosto de 1976)(58 años)
Varsovia , Congreso Polonia
alma mater
Carrera científica
CamposMatemáticas , lógica
TesisPropiedades elementales de los grupos abelianos  (1955)
Asesor de doctoradoAlfred Tarski
InfluenciadoAbraham Robinson [1]

Wanda Montlak Szmielew (5 de abril de 1918 - 27 de agosto de 1976) [2] 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 . [2]

Vida [ editar ]

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 este momento incluyó trabajos sobre el axioma de elección , pero fue interrumpido por la invasión de Polonia de 1939 . [2]

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 clandestinidad polaca. Después de la liberación de Polonia, Szmielew tomó un puesto en la Universidad de Łódź , que fue fundada en mayo de 1945. En 1947, publicó su artículo sobre el axioma de la elección, obtuvo una maestría en la Universidad de Varsovia y se mudó a Varsovia. como asistente senior. [2] [1]

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 esposo en Polonia, [3] y completó un doctorado. en Berkeley en 1950 bajo la supervisión de Tarski, y su tesis consistió en su trabajo sobre grupos abelianos. [2] [1] [4] Para la publicación de estos resultados en la revista de 1955, Tarski convenció a Szmielew de reformular su trabajo en términos de su teoría de las funciones aritméticas, una decisión que provocó que Solomon Feferman describiera este trabajo como "ilegible". . [5] Trabajo posterior deEklof y Fischer (1972) volvieron a probar el resultado de Szmielew utilizando técnicas de teoría de modelos más estándar . [5] [6]

Al regresar a Varsovia como profesora asistente, sus intereses cambiaron a los fundamentos de la geometría . 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) 1983. [2] [1]

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

Publicaciones seleccionadas [ editar ]

  • Szmielew, Wanda (1947), "Sobre elecciones de conjuntos finitos", Fundamenta Mathematicae , 34 (1): 75–80, ISSN  0016-2736 , MR  0022539.
  • Szmielew, Wanda (1955), "Propiedades elementales de los grupos abelianos", Fundamenta Mathematicae , 41 (2): 203–271, ISSN  0016-2736 , MR  0072131.
  • Borsuk, Karol ; Szmielew, Wanda (1955), Podstawy geometrii , Warsawa: Państwowe Wydawnictwo Naukowe, MR  0071791. Traducido como Borsuk, Karol; Szmielew, Wanda (1960), Fundamentos de la geometría: geometría euclidiana y bolyai-lobachevskiana; geometría proyectiva , traducción revisada al inglés, Nueva York: Interscience Publishers, Inc., MR 0143072 .
  • Szmielew, Wanda (1981), Od geometrii afinicznej do euklidesowej , Biblioteka Matematyczna [Biblioteca de matemáticas], 55 , Varsovia: Państwowe Wydawnictwo Naukowe (PWN), p. 172, ISBN 83-01-01374-5, MR  0664205. Traducido como Szmielew, Wanda (1983), De la geometría afín a la euclidiana , Varsovia: PWN — Polish Scientific Publishers, ISBN 90-277-1243-3, MR  0720548.
  • Schwabhäuser, W .; Szmielew, W .; Tarski, A. (1983), Metamathematische Methoden in der Geometrie , Hochschultext [University Textbooks], Berlín: Springer-Verlag, doi : 10.1007 / 978-3-642-69418-9 , ISBN 3-540-12958-8, MR  0731370.

Referencias [ editar ]

  1. ^ a b c d Kordos, Marek; Moszyńska, Maria; Szczerba, Lesław W. (diciembre de 1977), traducido por Smólska, J., "Wanda Szmielew 1918–1976", Studia Logica , Kluwer Academic Publishers, 36 (4): 241–244, doi : 10.1007 / BF02120661 , eISSN 1572- 8730 , ISSN 0.039 a 3.215 , MR 0497794   .
  2. ↑ a b c d e f g O'Connor, John J .; Robertson, Edmund F. , "Wanda Montlak Szmielew" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews.
  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, MR  2095748
  4. ^ Wanda Szmielew en el Proyecto de genealogía matemática
  5. ^ a b Feferman, Solomon (2008), "Análisis conceptual de las nociones semánticas de Tarski", en Patterson, Douglas (ed.), Nuevos ensayos sobre Tarski y filosofía , Universidad de Oxford. Press, Oxford, págs. 72–93, doi : 10.1093 / acprof: oso / 9780199296309.003.0004 , ISBN 978-0-19-929630-9, MR  2509211 CS1 maint: parámetro desalentado ( enlace ). Véase la nota a pie de página 27, pág. 90 .
  6. ^ Eklof, Paul C .; Fischer, Edward R. (1972), "La teoría elemental de los grupos abelianos", Annals of Pure and Applied Logic , 4 : 115-171, doi : 10.1016 / 0003-4843 (72) 90013-7 , MR 0540003 .