海倫娜·拉西奧瓦(,)是一名波蘭數學家。她的研究領域涵蓋數學基礎與代數邏輯。
早年生活
拉西奧娃於1917年6月20日出生於維也納,父母皆為波蘭人。1918年波蘭重獲獨立後,全家便定居華沙。海倫娜的父親是一名鐵路專家。她展現出多方面的才能與興趣,從音樂到企業管理,以及她最熱衷的數學。
1938年,那時並非進入大學的理想時機。拉西奧娃不得不中斷學業,因為1939年後在波蘭已無法接受法律教育。許多人逃離了這個國家,或者至少逃離了大城市——這些地方正遭受德國的轟炸與恐怖統治。拉西奧娃一家也隨之逃離,當時大多數高級行政官員和政府成員正被疏散至羅馬尼亞。拉西奧娃一家人在利沃夫度過了一年。1939年9月蘇聯入侵後,該城被蘇聯佔領。許多波蘭人的生命陷入危險,因此海倫娜的父親決定返回華沙。
學術發展
拉西奧娃深受波蘭邏輯學家的影響。她在扬·武卡谢维奇和博萊斯瓦夫·索博琴斯基(Bolesław Sobociński)的指導下撰寫了碩士論文。1944年,華沙起義爆發,隨後華沙幾乎被徹底摧毀。這不僅是因為起義期間的直接戰鬥,還因為起義被鎮壓後所進行的有系統的破壞。拉西奧娃的論文連同整棟房子一同焚毀。她本人則與母親一同在被拆毀建築物的廢墟掩蓋下的地窖中倖存下來。
戰後,波蘭數學界開始重建其學術機構、重振學術氛圍,並匯聚人才。那些留下來的人們,將重建波蘭大學及科學界視為己任。這項重建的重要條件之一,便是匯聚所有能夠參與數學學科重建的人士。與此同時,拉西奧娃在某所中學擔任教職。正是在那裡,她結識了,並重返大學。她於1945年重新撰寫了碩士論文,隔年便以助教身分在華沙大學展開學術生涯,此後餘生她始終與這所學府保持著密切聯繫。
在大學期間,她在莫斯托夫斯基教授的指導下,於1950年完成並成功答辯了她的博士論文《路易斯與海廷函數演算的代數處理》(Algebraic Treatment of the Functional Calculi of Lewis and Heyting)。這篇關於代數邏輯的論文,開啟了她為做出貢獻的職業生涯。1956年,她在波蘭科學院數學研究所取得第二個學術學位——doktor nauk(相當於今日的特許任教資格),並於1954至1957年間在該所擔任副教授,1957年晉升為教授,隨後於1967年晉升為正教授。為取得該學位,她提交了兩篇論文:《公理化理論與構建理論的代數模型》(Algebraic Models of Axiomatic Theories and Constructive Theories),這兩篇論文合為一篇題為《初等理論的代數模型及其應用》(Algebraic Models of Elementary Theories and their Applications)的博士論文。
拉西奧娃在70年代末至80年代初,儘管當時波蘭局勢動盪,仍成功邀請了許多國際數學家(尤其是邏輯學家)造訪波蘭,在此過程中扮演了關鍵角色。據日本數學家小野寛晰所述,正是憑藉她那鋼鐵般的意志,才促成了這些合作。
著作
- 《元數學的數學》(The Mathematics of Metamathematics)(與合著,1963年)
- 《非經典邏輯的代數方法》(An Algebraic Approach to Non-Classical Logics)(1974年)
參考資料
外部連結
*
- [http://www.agnesscott.edu/lriddle/women/rasiowa.htm "Helena Rasiowa", Biographies of Women Mathematicians], Agnes Scott College
*
- Josep Maria Font (1996) [https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=508351 On the contributions of Helena Rasiowa to mathematical logic] via IEEE Xplore
- Zbigniew Ras [https://webpages.charlotte.edu/ras/CSL2022.ppt Photos of Helena Rasiowa with coworkers and students]
评论 (0)