Ванда Шмелев
Ванда Шмелев | |
|---|---|
| Рожденный | ( 1918-04-05 )5 апреля 1918 г. |
| Умер | 27 августа 1976 г. (27.08.1976)(58 лет) |
| Альма-матер |
|
| Научная карьера | |
| Поля | Математика , логика |
| Тезис | Элементарные свойства абелевых групп (1955) |
| научный руководитель | Альфред Тарский |
Ванда Шмелев, урожденная Монтлак (5 апреля 1918 г. – 27 августа 1976 г.) [1] была польским математическим логиком, которая первой доказала разрешимость теории первого порядка абелевых групп . [1]
Жизнь
Ванда Монтлак родилась 5 апреля 1918 года в Варшаве . Она окончила среднюю школу в 1935 году и вышла замуж, взяв фамилию Шмелев. В том же году она поступила в Варшавский университет , где изучала логику у Адольфа Линденбаума , Яна Лукасевича , Казимежа Куратовского и Альфреда Тарского . Ее исследования в это время включали работу над аксиомой выбора , но она была прервана вторжением в Польшу в 1939 году . [1]
Шмелев стала геодезистом во время Второй мировой войны , в течение которой она продолжала свои исследования самостоятельно, разрабатывая процедуру принятия решений, основанную на исключении квантификаторов для теории абелевых групп. Она также преподавала в польском подполье. После освобождения Польши Шмелев заняла должность в Лодзинском университете , который был основан в мае 1945 года. В 1947 году она опубликовала свою работу по аксиоме выбора, получила степень магистра в Варшавском университете и переехала в Варшаву в качестве старшего ассистента. [1] [2]
В 1949 и 1950 годах Шмелев посетила Калифорнийский университет в Беркли , где Тарский нашел постоянную должность после того, как был выслан из Польши на войну. Она жила в доме Тарского и его жены как любовница Тарского, оставив мужа в Польше, [3] и защитила докторскую диссертацию в Беркли в 1950 году под руководством Тарского, ее диссертация состояла из ее работы по абелевым группам. [1] [2] [4] Для публикации этих результатов в журнале в 1955 году Тарский убедил Шмелев перефразировать ее работу в терминах его теории арифметических функций, решение, которое привело к тому, что эта работа была описана Соломоном Феферманом как «нечитаемая». [5] Более поздняя работа Эклофа и Фишера (1972) повторно доказала результат Шмелева, используя более стандартные методы теории моделей . [5] [6]
Вернувшись в Варшаву в качестве доцента, ее интересы переместились к основам геометрии . С Каролем Борсуком она опубликовала текст на эту тему в 1955 году (переведенный на английский в 1960 году), а также еще одну монографию, опубликованную посмертно в 1981 году и (в переводе на английский) в 1983 году. [1] [2]
Она умерла от рака 27 августа 1976 года в Варшаве. [1]
Избранные публикации
- Шмелев, Ванда (1947), «О выборе из конечных множеств», Fundamenta Mathematicae , 34 (1): 75–80, doi : 10.4064/fm-34-1-75-80 , ISSN 0016-2736, MR 0022539.
- Шмелев, Ванда (1955), «Элементарные свойства абелевых групп», Fundamenta Mathematicae , 41 (2): 203–271, doi : 10.4064/fm-41-2-203-271 , ISSN 0016-2736, MR 0072131.
- Борсук, Кароль ; Шмелев, Ванда (1955), Podstawy geometrii , Варшава: 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, ИСБН 83-01-01374-5, МР 0664205. Перевод: Шмелев, Ванда (1983), От аффинной к евклидовой геометрии , Варшава: PWN — Польское научное издательство, ISBN 90-277-1243-3, МР 0720548.
- Швабхойзер, В.; Шмелев, В.; Тарский, А. (1983), Metamathematische Methoden in der Geometrie , Hochschultext [Университетские учебники], Берлин: Springer-Verlag, doi : 10.1007/978-3-642-69418-9, ISBN 3-540-12958-8, МР 0731370.
Ссылки
- ^ abcdefg О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Ванда Монтлак Шмелев», Архив истории математики MacTutor , Университет Сент-Эндрюс
- ^ abc Кордос, Марек; Мошиньска, Мария; Щерба, Леслав В. (декабрь 1977 г.), «Ванда Шмелев 1918–1976», Studia Logica , 36 (4), перевод Смольской Дж., Kluwer Academic Publishers: 241–244, doi : 10.1007/BF02120661, eISSN 1572- 8730, ISSN 0039-3215, MR 0497794, S2CID 123110088.
- ^ Феферман, Анита Бердман ; Феферман, Соломон (2004), Альфред Тарский: жизнь и логика, Кембридж: Cambridge University Press, стр. 177–178, ISBN 0-521-80240-7, МР 2095748
- ^ Ванда Шмелёв в проекте «Генеалогия математики»
- ^ ab Feferman, Solomon (2008), «Концептуальный анализ семантических понятий Тарского», в Patterson, Douglas (ред.), Новые эссе о Тарском и философии , Oxford Univ. Press, Оксфорд, стр. 72–93, doi :10.1093/acprof:oso/9780199296309.003.0004, ISBN 978-0-19-929630-9, МР 2509211. См. сноску 27, стр. 90.
- ^ Эклоф, Пол К.; Фишер, Эдвард Р. (1972), «Элементарная теория абелевых групп», Annals of Pure and Applied Logic , 4 (2): 115–171, doi :10.1016/0003-4843(72)90013-7, MR 0540003.
