Ванда Шмелев - Wanda Szmielew

Ванда Монтлак Шмелев
Родился(1918-04-05)5 апреля 1918 г.
Варшава, Конгресс Польша
Умер27 августа 1976 г.(1976-08-27) (58 лет)
Варшава, Конгресс Польша
Альма-матер
Научная карьера
ПоляМатематика, логика
ТезисЭлементарные свойства абелевых групп  (1955)
ДокторантАльфред Тарский
Под влияниемАвраам Робинсон[1]

Ванда Монтлак Шмелев (5 апреля 1918 - 27 августа 1976)[2] был поляком математический логик кто первым доказал разрешимость из теория первого порядка из абелевы группы.[2]

Жизнь

Ванда Монтлак родилась 5 апреля 1918 года в г. Варшава. Она закончила среднюю школу в 1935 году и вышла замуж, взяв фамилию Шмелев. В том же году она поступила в Варшавский университет, где она изучала логику под Адольф Линденбаум, Ян Лукасевич, Казимеж Куратовски, и Альфред Тарский. Ее исследования в то время включали работу над аксиома выбора, но он был прерван 1939 г. Вторжение в Польшу.[2]

Шмелев стал инспектор в течение Вторая Мировая Война, в течение которого она продолжила свои исследования самостоятельно, разработав процедура принятия решения на основе исключение квантора по теории абелевых групп. Также она преподавала для польского подполья. После освобождения Польши Шмелев занял позицию в Лодзинский университет, который был основан в мае 1945 года. В 1947 году она опубликовала свою статью об аксиоме выбора, получила степень магистра в Варшавском университете и переехала в Варшаву в качестве старшего ассистента.[2][1]

В 1949 и 1950 годах Шмелев посетил Калифорнийский университет в Беркли, где Тарский нашел постоянную должность после изгнания из Польши на войну. Она жила в доме Тарского и его жены любовницей Тарского, оставив мужа в Польше.[3] и защитил кандидатскую диссертацию. в Беркли в 1950 году под руководством Тарского, с ее диссертацией, состоящей из ее работы по абелевым группам.[2][1][4] Для публикации этих результатов в журнале в 1955 году Тарский убедил Шмелев перефразировать ее работу в терминах его теории арифметических функций, решение, которое заставило эту работу быть описанной Соломон Феферман как «нечитаемый».[5] Позже работа Эклоф и Фишер (1972) повторно доказал результат Шмелева, используя более стандартные теоретико-модельный техники.[5][6]

Вернувшись в Варшаву в качестве доцента, ее интересы сместились в основы геометрии. С участием Кароль Борсук, она опубликовала текст по этой теме в 1955 году (переведен на английский в 1960 году) и еще одну монографию, опубликованную посмертно в 1981 и (в английском переводе) в 1983 году.[2][1]

Она умерла от рака 27 августа 1976 года в Варшаве.[2]

Избранные публикации

  • Szmielew, Ванда (1947), "О выборе из конечных множеств", Fundamenta Mathematicae, 34 (1): 75–80, ISSN  0016-2736, Г-Н  0022539.
  • Szmielew, Ванда (1955), "Элементарные свойства абелевых групп", Fundamenta Mathematicae, 41 (2): 203–271, ISSN  0016-2736, Г-Н  0072131.
  • Борсук Кароль; Шмелев, Ванда (1955), Подставы геометрии, Варшава: Państwowe Wydawnictwo Naukowe, Г-Н  0071791. Переведено как Борсук, Кароль; Шмелев, Ванда (1960), Основы геометрии: евклидова геометрия и геометрия Бояи-Лобачевского; проективная геометрия, Исправленный перевод на английский язык, Нью-Йорк: Interscience Publishers, Inc., Г-Н  0143072.
  • Шмелев, Ванда (1981), Od geometrii afinicznej do euklidesowej, Biblioteka Matematyczna [Библиотека математики], 55, Варшава: Państwowe Wydawnictwo Naukowe (PWN), стр. 172, ISBN  83-01-01374-5, Г-Н  0664205. Переведено как Шмелев, Ванда (1983), От аффинной к евклидовой геометрии, Варшава: PWN — Польские научные издательства, ISBN  90-277-1243-3, Г-Н  0720548.
  • Schwabhäuser, W .; Szmielew, W .; Тарский, А. (1983), Metamat Mathematische Methoden in der Geometrie, Hochschultext [Университетские учебники], Берлин: Springer-Verlag, Дои:10.1007/978-3-642-69418-9, ISBN  3-540-12958-8, Г-Н  0731370.

Рекомендации

  1. ^ а б c d Кордос, Марек; Мошинская, Мария; Щерба, Леслав В. (декабрь 1977 г.), перевод Смульской Ю., «Ванда Шмелев 1918–1976», Studia Logica, Kluwer Academic Publishers, 36 (4): 241–244, Дои:10.1007 / BF02120661, eISSN  1572-8730, ISSN  0039-3215, Г-Н  0497794.
  2. ^ а б c d е ж грамм О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Ванда Монтлак Шмелев", Архив истории математики MacTutor, Сент-Эндрюсский университет.
  3. ^ Феферман, Анита Бурдман; Феферман, Соломон (2004), Альфред Тарский: жизнь и логика, Кембридж: Издательство Кембриджского университета, стр. 177–178, ISBN  0-521-80240-7, Г-Н  2095748
  4. ^ Ванда Шмелев на Проект "Математическая генеалогия"
  5. ^ а б Феферман, Соломон (2008), «Концептуальный анализ семантических понятий Тарского», в Паттерсоне, Дугласе (ред.), Новые очерки Тарского и философии, Oxford Univ. Press, Oxford, pp. 72–93, Дои:10.1093 / acprof: oso / 9780199296309.003.0004, ISBN  978-0-19-929630-9, Г-Н  2509211. См. Сноску 27, п. 90.
  6. ^ Эклоф, Пол С .; Фишер, Эдвард Р. (1972), "Элементарная теория абелевых групп", Анналы чистой и прикладной логики, 4: 115–171, Дои:10.1016/0003-4843(72)90013-7, Г-Н  0540003.