Wanda Szmielew - Wanda Szmielew

Wanda Szmielew née Montlak (05 abril de 1918 - 27 de agosto de 1976) foi um polonês lógico matemático que primeiro provaram a decidibilidade da teoria de primeira ordem dos grupos abelianos .

Vida

Wanda Montlak nasceu em 5 de abril de 1918 em Varsóvia . Ela concluiu o ensino médio em 1935 e se casou, assumindo o nome de Szmielew. No mesmo ano, ela ingressou na Universidade de Varsóvia , onde estudou lógica com Adolf Lindenbaum , Jan Łukasiewicz , Kazimierz Kuratowski e Alfred Tarski . Sua pesquisa nessa época incluía trabalhos sobre o axioma da escolha , mas foi interrompida pela Invasão da Polônia em 1939 .

Szmielew tornou-se um topógrafo durante a Segunda Guerra Mundial , período durante o qual ela continuou suas pesquisas por conta própria, desenvolvendo um procedimento de decisão baseado na eliminação de quantificadores para a teoria dos grupos abelianos. Ela também ensinou para o underground polonês. Após a libertação da Polônia, Szmielew assumiu um cargo na Universidade de Łódź , fundada em maio de 1945. Em 1947, ela publicou seu artigo sobre o axioma da escolha, fez mestrado na Universidade de Varsóvia e mudou-se para Varsóvia como assistente sênior.

Em 1949 e 1950, Szmielew visitou a Universidade da Califórnia, Berkeley , onde Tarski havia encontrado um cargo permanente após ser exilado da Polônia para a guerra. Ela morava na casa de Tarski e sua esposa como amante de Tarski, deixando o marido na Polônia e completou um doutorado. em Berkeley em 1950 sob a supervisão de Tarski, com sua dissertação consistindo em seu trabalho sobre grupos abelianos. Para a publicação desses resultados em um jornal em 1955, Tarski convenceu Szmielew a reformular seu trabalho em termos de sua teoria das funções aritméticas, uma decisão que fez com que este trabalho fosse descrito por Solomon Feferman como "ilegível". O trabalho posterior de Eklof & Fischer (1972) provou novamente o resultado de Szmielew usando técnicas teóricas de modelos mais padronizadas .

Retornando a Varsóvia como professora assistente, seus interesses mudaram para os fundamentos da geometria . Com Karol Borsuk , publicou um texto sobre o assunto em 1955 (traduzido para o inglês em 1960), e outra monografia, publicada postumamente em 1981 e (tradução para o inglês) em 1983.

Ela morreu de câncer em 27 de agosto de 1976 em Varsóvia.

Publicações selecionadas

• Szmielew, Wanda (1947), "On choices from finite sets", Fundamenta Mathematicae , 34 (1): 75-80, ISSN  0016-2736 , MR  0022539.
• Szmielew, Wanda (1955), "Elementary properties of Abelian groups", 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. Traduzido como Borsuk, Karol; Szmielew, Wanda (1960), Fundamentos da geometria: geometria euclidiana e bolyai-lobachevskiana; geometria projetiva , tradução revisada para o inglês, New York: Interscience Publishers, Inc., MR  0143072.
• Szmielew, Wanda (1981), Od geometrii afinicznej do euklidesowej , Biblioteka Matematyczna [Mathematics Library], 55 , Varsóvia: Państwowe Wydawnictwo Naukowe (PWN), p. 172, ISBN 83-01-01374-5, MR  0664205. Traduzido como Szmielew, Wanda (1983), From affine to Euclidean geometry , Warsaw: 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], Berlin: Springer-Verlag, doi : 10.1007 / 978-3-642-69418-9 , ISBN 3-540-12958-8, MR  0731370.

Referências