Ванда Шмелев

Ванда Шмелев
Рожденный ( 1918-04-05 ) 5 апреля 1918 г.
Варшава , Конгресс Польши
Умер 27 августа 1976 г. ( 1976-08-27 ) (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), Основы геометрии , Варшава: Państwowe Wydawnictwo Naukowe, MR   0071791 . Переведено как Борсук, Кароль; Шмелев, Ванда (1960), Основы геометрии: евклидова геометрия и геометрия Бояи-Лобачевского; проективная геометрия , исправленный английский перевод, Нью-Йорк: Interscience Publishers, Inc., MR   0143072 .
  • Шмелев, Ванда (1981), От аффинной к евклидовой геометрии , Biblioteka Matematyczna [Математическая библиотека], том 55, Варшава: Państwowe Wydawnictwo Naukowe (PWN), стр. 172, ISBN.  83-01-01374-5 , МР   0664205 . Переведено как Шмелев, Ванда (1983), От аффинной к евклидовой геометрии , Варшава: PWN — Польское научное издательство, ISBN  90-277-1243-3 , МР   0720548 .
  • Швабхойзер, В.; Шмелев, В.; Тарский, А. (1983), Метаматематические методы в геометрии , Университетские учебники, Берлин: Springer-Verlag, doi : 10.1007/978-3-642-69418-9 , ISBN  3-540-12958-8 , МР   0731370 .

Ссылки [ править ]

  1. ^ Jump up to: а б с д и ж г О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Ванда Монтлак Шмелев» , Архив истории математики MacTutor , Университет Сент-Эндрюс
  2. ^ Jump up to: а б с Кордос, Марк; Мошиньска, Мария; Щерба, Леслав В. (декабрь 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 .
  3. ^ Феферман, Анита Бурдман ; Феферман, Соломон (2004), Альфред Тарский: жизнь и логика , Кембридж: Издательство Кембриджского университета, стр. 177–178, ISBN  0-521-80240-7 , МР   2095748
  4. ^ Ванда Шмелев в проекте «Математическая генеалогия»
  5. ^ Jump up to: а б Феферман, Соломон (2008), «Концептуальный анализ семантических понятий Тарского», в книге Паттерсона, Дугласа (редактор), « Новые эссе о Тарском и философии» , Oxford Univ. Press, Oxford, стр. 72–93, doi : 10.1093/acprof:oso/9780199296309.003.0004 , ISBN.  978-0-19-929630-9 , МР   2509211 . См. сноску 27, с. 90 .
  6. ^ Эклоф, Пол С.; Фишер, Эдвард Р. (1972), «Элементарная теория абелевых групп», Annals of Pure and Applied Logic , 4 (2): 115–171, doi : 10.1016/0003-4843(72)90013-7 , MR   0540003 .
Retrieved from "https://en.wikipedia.org/w/index.php?title=Wanda_Szmielew&oldid=1209788733"