Ванда Шмилев
- Ванда Шмилев — польский математический логик, доказавшая разрешимость теории абелевых групп первого порядка.
- Шмилев родилась в Варшаве и окончила Варшавский университет, изучая логику у известных ученых.
- Ее исследования включали работу над аксиомой выбора, прерванную вторжением в Польшу в 1939 году.
- Шмилев стала геодезистом во время Второй мировой войны и продолжила свои исследования, разработав процедуру принятия решений.
- Она также преподавала в польском подполье и получила работу в Лодзинском университете после освобождения Польши.
- Шмилев защитила докторскую диссертацию в Беркли под руководством Тарского, посвященную абелевым группам.
- Вернувшись в Варшаву, она переключила свои интересы на основы геометрии и опубликовала несколько работ на эту тему.
- Шмилев умерла от рака в 1976 году в Варшаве.
Полный текст статьи: