Wandy Szmielew

Wandy Szmielew
Urodzić się	( 05.04.1918 ) 5 kwietnia 1918 Warszawa , Kongresówka
Zmarł	27 sierpnia 1976 ( w wieku 58) ( 27.08.1976 ) Warszawa , Polska
Alma Mater	Uniwersytet Warszawski (magister) Uniwersytet Kalifornijski w Berkeley (doktorat)
Kariera naukowa
Pola	Matematyka , logika
Praca dyplomowa	Elementarne właściwości grup abelowych (1955)
Doradca doktorski	Alfreda Tarskiego
Pod wpływem	Abrahama Robinsona

Wanda Szmielew z domu Montlak (5 kwietnia 1918 - 27 sierpnia 1976) była polską logiką matematyczną , która jako pierwsza udowodniła rozstrzygalność teorii grup abelowych pierwszego rzędu .

Życie

Wanda Montlak urodziła się 5 kwietnia 1918 roku w Warszawie . Liceum ukończyła w 1935 r. i wyszła za mąż, przyjmując nazwisko Szmielew. W tym samym roku wstąpiła na Uniwersytet Warszawski , gdzie studiowała logikę u Adolfa Lindenbauma , Jana Łukasiewicza , Kazimierza Kuratowskiego i Alfreda Tarskiego . Jej badania w tym czasie obejmowały prace nad aksjomatem wyboru , ale zostały one przerwane przez inwazję na Polskę w 1939 roku .

Szmielew została geodetą w czasie II wojny światowej , w tym czasie kontynuowała samodzielnie badania, opracowując procedurę decyzyjną opartą na eliminacji kwantyfikatorów dla teorii grup abelowych. Uczyła także dla polskiego podziemia. Po wyzwoleniu Polski Szmielew objęła posadę na Uniwersytecie Łódzkim , który powstał w maju 1945 r. W 1947 r. opublikowała pracę na temat aksjomatu wyboru, uzyskała tytuł magistra na Uniwersytecie Warszawskim i przeniosła się do Warszawy jako starszy asystent.

W 1949 i 1950 Szmielew odwiedził Uniwersytet Kalifornijski w Berkeley , gdzie Tarski znalazł stałą posadę po zesłaniu z Polski na wojnę. Mieszkała w domu Tarskiego i jego żony jako kochanka Tarskiego, zostawiając męża w Polsce i zrobiła doktorat. w Berkeley w 1950 pod kierunkiem Tarskiego, z rozprawą składającą się z pracy nad grupami abelowymi. Solomon Feferman opisał tę pracę jako „nieczytelne”. Późniejsza praca Eklofa i Fischera (1972) ponownie potwierdziła wynik Szmielewa przy użyciu bardziej standardowych technik teorii modeli .

Po powrocie do Warszawy jako adiunkt jej zainteresowania przesunęły się w stronę podstaw geometrii . Wraz z Karolem Borsukiem opublikowała tekst na ten temat w 1955 (przetłumaczony na język angielski w 1960) oraz kolejną monografię, opublikowaną pośmiertnie w 1981 i (w tłumaczeniu na język angielski) 1983.

Zmarła na raka 27 sierpnia 1976 roku w Warszawie.

Wybrane publikacje

•    Szmielew, Wanda (1947), „O wyborach ze zbiorów skończonych”, Fundamenta Mathematicae , 34 (1): 75–80, doi : 10.4064/fm-34-1-75-80 , ISSN 0016-2736 , MR 0022539 .
•    Szmielew, Wanda (1955), „Elementarne właściwości grup abelowych”, Fundamenta Mathematicae , 41 (2): 203–271, doi : 10.4064/fm-41-2-203-271 , ISSN 0016-2736 , MR 0072131 .
•   Borsuk, Karol ; Szmielew, Wanda (1955), Podstawy geometrii , Warszawa: Państwowe Wydawnictwo Naukowe, MR 0071791 . Przetłumaczone jako   Borsuk, Karol; Szmielew, Wanda (1960), Podstawy geometrii: geometria euklidesowa i Bolyai-Lobachevskian; geometria rzutowa , poprawione tłumaczenie na język angielski, Nowy Jork: Interscience Publishers, Inc., MR 0143072 .
•    Szmielew, Wanda (1981), Od geometrii afinicznej do euklidesowej , Biblioteka Matematyczna, tom. 55, Warszawa: Państwowe Wydawnictwo Naukowe (PWN), s. 172, ISBN 83-01-01374-5 , MR 0664205 . Przetłumaczone jako    Szmielew, Wanda (1983), Od geometrii afinicznej do euklidesowej , Warszawa: PWN – Polskie Wydawnictwo Naukowe, ISBN 90-277-1243-3 , MR 0720548 .
•    Schwabhäuser, W.; Szmielew W.; Tarski, A. (1983), Metamathematische Methoden in der Geometrie , Hochschultext [Podręczniki uniwersyteckie], Berlin: Springer-Verlag, doi : 10.1007/978-3-642-69418-9 , ISBN 3-540-12958-8 , MR 0731370 .