Елена Рашиова: Жизнь и вклад польского математика

Введение

Хелена Расиова (20 июня 1917 – 9 августа 1994) – польский математик. Она занималась основами математики и алгебраической логикой.

Ранние годы

Расиова родилась в Вене 20 июня 1917 года в семье польских родителей. Как только Польша восстановила независимость в 1918 году, семья переехала в Варшаву. Отец Хелены был специалистом в области железнодорожного транспорта. Она проявляла разнообразные способности и интересы – от музыки до управления бизнесом, но математика была для неё самым важным увлечением. 1938 год был не самым подходящим временем для поступления в университет. Расиове пришлось прервать учёбу, поскольку после 1939 года в Польше получить высшее образование стало невозможно. Многие люди бежали из страны, или, по крайней мере, из крупных городов, подвергавшихся немецким бомбардировкам и террору. Семья Расиовых тоже бежала, так как большинство высокопоставленных чиновников и членов правительства эвакуировались в Румынию. Семья провела год во Львове. После советского вторжения в сентябре 1939 года город перешёл под контроль Советского Союза. Жизни многих поляков оказались в опасности, поэтому отец Хелены решил вернуться в Варшаву.

Академическое развитие

Расиову сильно повлияли польские логики. Она написала магистерскую диссертацию под руководством Яна Лукашевича и Болеслава Собоцинского. В 1944 году вспыхнуло Варшавское восстание, и в результате Варшава была почти полностью разрушена. Это было обусловлено не только непосредственными боевыми действиями, но и систематическим разрушением, последовавшим за подавлением восстания. Диссертация Расиовы сгорела вместе со всем домом. Она сама выжила вместе с матерью в подвале, засыпанном руинами разрушенного здания. После войны польская математика начала восстанавливать свои институты, научную атмосферу и кадры. Те, кто остался, считали своим долгом восстановление польских университетов и научного сообщества. Важным условием этой реконструкции было привлечение всех, кто мог участвовать в возрождении математики. В это время Расиова приняла предложение о работе в средней школе. Там она встретила Анджея Мостовского и вернулась в университет. В 1945 году она переписала свою магистерскую диссертацию, а в следующем году начала академическую карьеру в качестве ассистента в Варшавском университете, с которым оставалась связана всю жизнь. В университете она подготовила и защитила кандидатскую диссертацию «Алгебраическое рассмотрение функциональных исчислений Льюиса и Хейтинга» в 1950 году под руководством профессора Анджея Мостовского. Эта диссертация по алгебраической логике положила начало ее вкладу в развитие Львовско-Варшавской школы логики. В 1956 году она получила вторую научную степень, доктор наук (эквивалент современной габилитации), в Институте математики Польской академии наук, где с 1954 по 1957 год занимала должность доцента, а затем стала профессором в 1957 году и заслуженным профессором в 1967 году. В качестве диссертации для получения степени она представила две работы: «Алгебраические модели аксиоматических теорий» и «Конструктивные теории», которые вместе составили труд под названием «Алгебраические модели элементарных теорий и их применения». Расиова сыграла ключевую роль в приглашении многих международных математиков, особенно логиков, в Польшу в конце 70-х и начале 80-х годов, несмотря на нестабильную ситуацию в стране в то время. По словам японского математика Хироакиры Оно, она обеспечивала сотрудничество благодаря своей несгибаемой воле.

Rasiowa became strongly influenced by Polish logicians. She wrote her Master's thesis under the supervision of Jan Łukasiewicz and Bolesław Sobociński. In 1944, the Warsaw Uprising broke out and consequently Warsaw was almost completely destroyed. This was not only due to the immediate fighting, but also because of the systematic destruction which followed the uprising after it had been suppressed. Rasiowa's thesis burned with the whole house. She herself survived with her mother in a cellar covered by the ruins of the demolished building. After the war, Polish mathematics began to recover its institutions, its moods, and its people. Those who remained considered their duty to be the reconstruction of Polish universities and the scientific community. One of the important conditions for this reconstruction was to gather all those who could participate in re creating mathematics. In the meantime, Rasiowa had accepted a teaching position in a secondary school. That is where she met Andrzej Mostowski and came back to the university. She re wrote her Master's thesis in 1945 and in the next year she started her academic career as an assistant at the University of Warsaw, the institution she remained linked with for the rest of her life. At the university, she prepared and defended her PhD thesis, Algebraic Treatment of the Functional Calculi of Lewis and Heyting, in 1950 under the guidance of Prof. Andrzej Mostowski. This thesis on algebraic logic initiated her career contributing to the Lwów–Warsaw school of logic: In 1956, she took her second academic degree, doktor nauk (equivalent to habilitation today) in the Institute of Mathematics of the Polish Academy of Sciences, where between 1954 and 1957, she held a post of associate professor, becoming a professor in 1957 and subsequently Full Professor in 1967. For the degree, she submitted two papers, Algebraic Models of Axiomatic Theories and Constructive Theories, which together formed a thesis named Algebraic Models of Elementary Theories and their Applications. Rasiowa was pivotal in her role for inviting many international mathematicians, especially logicians, to Poland in the late '70s and early '80s, despite the country's instability at the time. According to Japanese mathematician Hiroakira Ono, she enabled collaboration through her iron will.