Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Ванда Montlak Шмелевой (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]

Избранные публикации [ править ]

  • Шмилев, Ванда (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 .
  • Szmielew, Wanda (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, Руководство по ремонту  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, Руководство по ремонту  0731370.

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

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