Wanda Szmielew - Wanda Szmielew

Wanda Montlak Szmielew
narozený(1918-04-05)5. dubna 1918
Varšava, Kongres Polsko
Zemřel27. srpna 1976(1976-08-27) (ve věku 58)
Varšava, Kongres Polsko
Alma mater
Vědecká kariéra
PoleMatematika, logika
TezeZákladní vlastnosti abelianských skupin  (1955)
Doktorský poradceAlfred Tarski
OvlivněnoAbraham Robinson[1]

Wanda Montlak Szmielew (5. dubna 1918-27. Srpna 1976)[2] byl Polák matematický logik kdo jako první prokázal rozhodnutelnost z teorie prvního řádu z abelianské skupiny.[2]

Život

Wanda Montlak se narodila 5. dubna 1918 v Varšava. Střední školu dokončila v roce 1935 a vdala se pod jménem Szmielew. Ve stejném roce vstoupila do Varšavská univerzita, kde studovala logiku pod Adolf Lindenbaum, Jan Łukasiewicz, Kazimierz Kuratowski, a Alfred Tarski. Její výzkum v této době zahrnoval práci na axiom volby, ale byl přerušen rokem 1939 Invaze do Polska.[2]

Szmielew se stal a zeměměřič v době druhá světová válka, během této doby pokračovala ve svém výzkumu sama a vyvinula a rozhodovací postup na základě eliminace kvantifikátoru pro teorii abelianských skupin. Učila také pro polské podzemí. Po osvobození Polska zaujal Szmielew pozici u Univerzita v Lodži, která byla založena v květnu 1945. V roce 1947 publikovala referát o axiomu volby, získala magisterský titul na Varšavské univerzitě a přestěhovala se do Varšavy jako asistentka.[2][1]

V letech 1949 a 1950 navštívil Szmielew University of California, Berkeley, kde Tarski našel trvalé místo poté, co byl vypovězen z války na polské území. Žila v domě Tarského a jeho manželky jako Tarskiho milenka a nechala svého manžela za sebou v Polsku,[3] a dokončil Ph.D. v Berkeley v roce 1950 pod Tarskiho vedením a její disertační práce spočívala v její práci na abelianských skupinách.[2][1][4] Pro publikaci těchto výsledků v časopise z roku 1955 Tarski přesvědčil Szmielew, aby přeformulovala svou práci, pokud jde o jeho teorii aritmetických funkcí, rozhodnutí, které způsobilo, že tuto práci popsal Solomon Feferman jako „nečitelný“.[5] Později práce od Eklof a Fischer (1972) znovu prokázal Szmielewův výsledek s použitím více standardů model-teoretický techniky.[5][6]

Po návratu do Varšavy jako odborná asistentka se její zájmy přesunuly na základy geometrie. S Karol Borsuk, na toto téma vydala text v roce 1955 (přeložen do angličtiny v roce 1960) a další monografii, která vyšla posmrtně v roce 1981 a (v anglickém překladu) 1983.[2][1]

Zemřela na rakovinu 27. srpna 1976 ve Varšavě.[2]

Vybrané publikace

  • Szmielew, Wanda (1947), „O volbách z konečných množin“, Fundamenta Mathematicae, 34 (1): 75–80, ISSN  0016-2736, PAN  0022539.
  • Szmielew, Wanda (1955), „Základní vlastnosti abelianských skupin“, Fundamenta Mathematicae, 41 (2): 203–271, ISSN  0016-2736, PAN  0072131.
  • Borsuk, Karol; Szmielew, Wanda (1955), Podstawy geometriiWarsawa: Państwowe Wydawnictwo Naukowe, PAN  0071791. Přeloženo jako Borsuk, Karol; Szmielew, Wanda (1960), Základy geometrie: Euklidovská a Bolyai-Lobachevskianova geometrie; projektivní geometrieRevidovaný anglický překlad, New York: Interscience Publishers, Inc., PAN  0143072.
  • Szmielew, Wanda (1981), Od geometrii afinicznej do euklidesowej, Biblioteka Matematyczna [Matematická knihovna], 55, Varšava: Państwowe Wydawnictwo Naukowe (PWN), s. 172, ISBN  83-01-01374-5, PAN  0664205. Přeloženo jako Szmielew, Wanda (1983), Od afinní k euklidovské geometrii, Varšava: PWN — polští vědečtí vydavatelé, ISBN  90-277-1243-3, PAN  0720548.
  • Schwabhäuser, W .; Szmielew, W .; Tarski, A. (1983), Metamathematische Methoden in der Geometrie, Hochschultext [univerzitní učebnice], Berlín: Springer-Verlag, doi:10.1007/978-3-642-69418-9, ISBN  3-540-12958-8, PAN  0731370.

Reference

  1. ^ A b C d Kordos, Marek; Moszyńska, Maria; Szczerba, Lesław W. (prosinec 1977), překládal Smólska, J., „Wanda Szmielew 1918–1976“, Studia Logica Kluwer Academic Publishers, 36 (4): 241–244, doi:10.1007 / BF02120661, eISSN  1572-8730, ISSN  0039-3215, PAN  0497794.
  2. ^ A b C d E F G O'Connor, John J.; Robertson, Edmund F., „Wanda Montlak Szmielew“, MacTutor Historie archivu matematiky, University of St Andrews.
  3. ^ Feferman, Anita Burdman; Feferman, Solomon (2004), Alfred Tarski: život a logika, Cambridge: Cambridge University Press, s. 177–178, ISBN  0-521-80240-7, PAN  2095748
  4. ^ Wanda Szmielew na Matematický genealogický projekt
  5. ^ A b Feferman, Solomon (2008), „Tarskiho Konceptuální analýza sémantických představ“, v Patterson, Douglas (ed.), Nové eseje o Tarském a filozofii, Oxford Univ. Press, Oxford, s. 72–93, doi:10.1093 / acprof: oso / 9780199296309.003.0004, ISBN  978-0-19-929630-9, PAN  2509211. Viz poznámka pod čarou 27, str. 90.
  6. ^ Eklof, Paul C .; Fischer, Edward R. (1972), „Elementární teorie abelianských skupin“, Annals of Pure and Applied Logic, 4: 115–171, doi:10.1016/0003-4843(72)90013-7, PAN  0540003.