Ванда Шмелев

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

Life

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

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

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

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

Она умер от рака 27 августа 1976 г. в Варшаве.

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

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

Ссылки