Хелена Расёва
Хелена Расёва | |
|---|---|
 | |
| Рожденный | 20 июня 1917 г. |
| Умер | 9 августа 1994 г. ( 77 лет |
| Национальность | Польский |
| Альма-матер | Варшавский университет |
| Известный | Лемма Расёвы – Сикорского. |
| Научная карьера | |
| Поля | Математика |
| Докторантура | Анджей Мостовский |
| Докторанты | Ева Орловска |
Хелена Расёва (20 июня 1917 — 9 августа 1994) — польский математик . Она занималась основами математики и алгебраической логики .
Ранние годы
[ редактировать ]Расёва родилась в Вене 20 июня 1917 года в семье поляков. Как только Польша восстановила свою независимость в 1918 году , семья поселилась в Варшаве . Отец Елены был железнодорожным специалистом. Она продемонстрировала множество различных навыков и интересов: от музыки до управления бизнесом и самого важного из своих интересов - математики. [1]
В 1938 году время было не очень подходящее для поступления в университет. Расёве пришлось прервать учебу, поскольку после 1939 года в Польше не было возможности получить юридическое образование . Многие люди бежали из страны или, по крайней мере, из больших городов, которые подвергались немецким бомбардировкам и террору . Семья Расёва также бежала, поскольку большинство высокопоставленных чиновников администрации и членов правительства эвакуировались в Румынию . Семья провела год во Львове . После советского вторжения в сентябре 1939 года город перешел под контроль Советского Союза. Жизнь многих поляков оказалась под угрозой, поэтому отец Елены решил вернуться в Варшаву .
Академическое развитие
[ редактировать ]Расёва оказалась под сильным влиянием польских логиков. Магистерскую диссертацию она написала под руководством Яна Лукасевича и Болеслава Собочинского . В 1944 году Варшавское восстание вспыхнуло , в результате которого Варшава была почти полностью разрушена. Это произошло не только из-за непосредственных боевых действий, но и из-за систематических разрушений, последовавших за восстанием после его подавления. Диссертация Расиовой сгорела всем домом. Сама она выжила вместе с матерью в подвале, заваленном руинами снесенного здания.
После войны польская математика начала восстанавливать свои институты, свои настроения и своих людей. Те, кто остался, считали своим долгом восстановление польских университетов и научного сообщества. Одним из важных условий этой реконструкции было собрать всех, кто мог участвовать в воссоздании математики. Тем временем Расёва приняла должность преподавателя в средней школе. Там она встретила Анджея Мостовского и вернулась в университет. В 1945 году она переписала магистерскую диссертацию, а в следующем году начала свою академическую карьеру в качестве ассистента в Варшавском университете , учреждении, с которым она оставалась связана до конца своей жизни.
В университете она подготовила и защитила докторскую диссертацию « Алгебраическая трактовка функциональных исчислений Льюиса и Гейтинга» в 1950 году под руководством профессора Анджея Мостовского. Эта диссертация по алгебраической логике положила начало ее карьере в Львовско-Варшавской школе логики : в 1956 году она получила вторую ученую степень доктора наук (эквивалент сегодняшней хабилитации ) в Институте математики Польской академии наук , где между В 1954 и 1957 годах она занимала должность доцента, став профессором в 1957 году, а затем профессором в 1967 году. Для получения этой степени она представила две статьи: « Алгебраические модели аксиоматических теорий» и «Конструктивные теории» , которые вместе составили диссертацию под названием «Алгебраические модели». элементарных теорий и их приложений .
Расёва сыграла решающую роль в приглашении многих международных математиков, особенно логиков, в Польшу в конце 70-х и начале 80-х годов, несмотря на нестабильность страны в то время. [2] По словам японского математика Хироакиры Оно, она способствовала сотрудничеству благодаря своей железной воле. [3]
Работает
[ редактировать ]- 1963: (совместно с Романом Сикорским ) Математика метаматематики
- 1974: Алгебраический подход к неклассической логике
Ссылки
[ редактировать ]- ^ В. Бартол, Э. Орловска и А. Скоуран (1995) Хелена Расёва, 1917–1994 гг.
- ^ Мелвин Фиттинг (2006) Дань уважения Хелене Расиовой. Архивировано 3 марта 2006 г. в Wayback Machine.
- ^ Николаос Галатос; Казусигэ Теруи (2022). Хироакира Оно о субструктурной логике . Чам. ISBN 978-3-030-76920-8 . OCLC 1288635200 .
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
Внешние ссылки
[ редактировать ]- Хелена Расёва в проекте «Математическая генеалогия»
- «Хелена Расёва», Биографии женщин-математиков , Колледж Агнес Скотт
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Хелена Расёва» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- Хосеп Мария Фонт (1996) О вкладе Хелены Расиовой в математическую логику через IEEE Xplore
- Збигнев Рас Фотографии Елены Расёвой с коллегами и учениками
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1917 рождений
- 1994 смертей
- Польские математики ХХ века
- Польские женщины-математики
- Польские логики
- Женщины-математики XX века
- Лауреаты Государственной награды (Польша)
- Польские женщины 20-го века
- Кавалеры Медали 10-летия Польской Народной Республики.
- Кавалеры Медали 40-летия Польской Народной Республики.