ワンダ・シュミエレフ
ワンダ・シュミエレフ | |
|---|---|
| 誕生 | ( 1918-04-05 )1918年4月5日 |
| 死去 | 1976年8月27日(1976-08-27)（享年58歳） |
| 出身校 |
|
| 科学的なキャリア | |
| 分野 | 数学、論理学 |
| 論文 | アーベル群の基本的性質 (1955) |
| 博士課程指導教員 | アルフレッド・タルスキ |
ワンダ・シュミレフ（旧姓モンラック、1918年4月5日 - 1976年8月27日）[ 1 ]は、ポーランドの数理論理学者であり、アーベル群の一階理論の決定可能性を初めて証明しました。[ 1 ]
生涯
ワンダ・モントラクは1918年4月5日にワルシャワで生まれました。1935年に高校を卒業し、結婚してシュミエレフという名前を名乗りました。同年、ワルシャワ大学に入学し、アドルフ・リンデンバウム、ヤン・ウカシェヴィチ、カジミエシュ・クラトフスキ、アルフレッド・タルスキの指導の下で論理学を学びました。当時の彼女の研究には選択公理に関する研究が含まれていましたが、1939年のポーランド侵攻によって中断されました。[ 1 ]
シュミレフは第二次世界大戦中に測量士となり、その間も独自の研究を続け、アーベル群論における量限定子除去に基づく決定手順を開発しました。また、ポーランドの地下組織で教鞭をとりました。ポーランド解放後、シュミレフは1945年5月に設立されたウッチ大学に職を得ました。1947年に選択公理に関する論文を発表し、ワルシャワ大学で修士号を取得した後、上級助手としてワルシャワに移りました。[ 1 ] [ 2 ]
1949年と1950年にシュミエルフはカリフォルニア大学バークレー校を訪れた。そこは、タルスキが戦争でポーランドから追放された後に永住の地としていた場所である。彼女は夫をポーランドに残し、タルスキの愛人として夫妻の家に住み、[ 3 ] 1950年にバークレーでタルスキの指導の下で博士号を取得し、その学位論文はアーベル群に関する研究であった。[ 1 ] [ 2 ] [ 4 ]これらの結果を1955年の学術誌に掲載するにあたり、タルスキはシュミエルフを説得して自身の算術関数の理論を用いて彼女の研究を言い換えさせたが、この決定により、この研究はソロモン・フェファーマンから「読みにくい」と評された。[ 5 ]その後、エクロフとフィッシャー (1972)は、より標準的なモデル理論的手法を用いてシュミエルフの結果を再証明した。[ 5 ] [ 6 ]
助教授としてワルシャワに戻った後、彼女の関心は幾何学の基礎へと移り、カロル・ボルスクと共に1955年にこのテーマに関するテキスト（1960年に英訳）を出版し、さらに別のモノグラフ（死後1981年と1983年に英訳）を出版した。[ 1 ] [ 2 ]
彼女は1976年8月27日にワルシャワで癌のため亡くなった。[ 1 ]
選定された出版物
- Szmielew, Wanda (1947)、「有限集合からの選択について」、Fundamenta Mathematicae、34 (1): 75– 80、doi : 10.4064/fm-34-1-75-80、ISSN 0016-2736、MR 0022539。
- シュミエルフ、ワンダ（1955）、「アーベル群の基本的性質」、Fundamenta Mathematicae、41（2）：203–271、doi：10.4064/fm-41-2-203-271、ISSN 0016-2736、MR 0072131。
- カロル ボルスク;シュミエレウ、ワンダ (1955 年)、ポドスタウィ幾何学、ワルシャワ: Państwowe Wydawnictwo Naukowe、MR 0071791. 翻訳：Borsuk, Karol; Szmielew, Wanda (1960), Foundations of Geometry: Euclidean and Bolyai-Lobachevskian Geometry; Projective Geometry , 改訂英訳, New York: Interscience Publishers, Inc., MR 0143072 。
- Szmielev、Wanda (1981)、Od geometrii afinicznej do euklidessowej、Biblioteka Matematyczna [数学ライブラリ]、vol. 55、ワルシャワ: パンストウェウェ・ヴィダウニクトゥ・ナウコウェ (PWN)、p. 172、ISBN 83-01-01374-5、MR 0664205シュミエルフ、ワンダ（1983）『アフィン幾何学からユークリッド幾何学へ』として翻訳、ワルシャワ：PWN—ポーランド科学出版社、ISBN 90-277-1243-3、MR 0720548。
- Schwabhäuser, W.; Szmielew, W.; Tarski, A. (1983), Metamathematische Methoden in der Geometrie , Hochschultext [University Textbooks], Berlin: Springer-Verlag, doi : 10.1007/978-3-642-69418-9 , ISBN 3-540-12958-8、MR 0731370。
参考資料
- ^ a b c d e f gオコナー、ジョン・J.;ロバートソン、エドマンド・F.、「ワンダ・モンラック・シュミエルウ」、マクチューター数学史アーカイブ、セントアンドリュース大学
- ^ a b cコルドス、マレク;モシンスカ、マリア。 Szczerba、Lesław W. (1977 年 12 月)、「Wanda Szmierew 1918–1976」、Studia Logica、36 (4)、Smólska, J. 訳、Kluwer Academic Publishers: 241–244、doi : 10.1007/BF02120661、eISSN 1572-8730、ISSN 0039-3215、MR 0497794、S2CID 123110088 。
- ^フェファーマン、アニタ・バードマン；フェファーマン、ソロモン（2004年）、アルフレッド・タルスキ：人生と論理、ケンブリッジ：ケンブリッジ大学出版局、pp. 177– 178、ISBN 0-521-80240-7、MR 2095748
- ^数学系譜プロジェクトのワンダ・シュミエルフ
- ^ a bフェファーマン、ソロモン（2008）、「タルスキの意味概念の概念分析」、パターソン、ダグラス（編）、タルスキと哲学に関する新論文集、オックスフォード大学出版局、オックスフォード、pp. 72– 93、doi：10.1093/acprof:oso/9780199296309.003.0004、ISBN 978-0-19-929630-9、MR 250921190ページの脚注27を参照
- ^エクロフ, ポール C.; フィッシャー, エドワード R. (1972)、「アーベル群の基本理論」、純粋応用論理学会誌、4 (2): 115– 171、doi : 10.1016/0003-4843(72)90013-7、MR 0540003 。
