アンジェイ・モストフスキ

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アンジェイ・モストフスキ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2014年5月)

アンジェイ・モストフスキ
生誕	(1913-11-01) 1913年11月1日 オーストリア＝ハンガリー帝国 レンベルク （現： ウクライナ リヴィウ）
死没	(1975-08-22) 1975年8月22日（61歳没） カナダ バンクーバー
国籍	ポーランド
研究分野	数学
研究機関	コロンビア大学
出身校	ワルシャワ大学
博士課程 指導教員	カジミェシュ・クラトフスキ アルフレト・タルスキ
博士課程 指導学生	en:Andrzej Ehrenfeucht en:Moshé Machover ヘレナ・ラショーヴァ ローマン・シコルスキ Pawel Zbierski
プロジェクト:人物伝
テンプレートを表示

アンジェイ・モストフスキ(ポーランド語: Andrzej Mostowski, 1913年9月1日 - 1975年8月22日)はポーランドの数学者。モストフスキ崩壊補題で有名。

生涯

1931年ワルシャワ大学に入学。クラトフスキ、アドルフ・リンデンバウム（英語版）、タルスキの影響を受ける。1939年博士号取得。公式にはクラトフスキに指導を受けたとされているが、実際には若かったタルスキから指導を受けていた。彼はドイツのポーランド侵攻の後、会計士になった。しかし、隠れてワルシャワ大学で研究を続けていた。1944年のワルシャワ蜂起の後、ナチスは彼を強制収容所に入れようとしたが、ポーランド人看護師の助けを借りて病院に逃れた。食糧を持っていくため、研究成果の詰まったノートを置いていくしかなかった。戦後、その一部は彼が再構成したがほとんどは不明のままである。

彼の研究の大部分は再帰理論と決定不能性についてである。1946年からカナダのバンクーバーで死去するまで、彼はワルシャワ大学で研究を続けた。その時の研究の大部分は、一階述語論理とモデル理論である。

子息

彼の息子のタデウスも数学者になり、微分幾何学の研究している^[1]。Krzysztof Kurdykaとアダム・パルシンスキーと共に、ルネ・トムの en:gradient conjectureを2000年に解決した。

脚注

外部リンク

• アンジェイ・モストフスキ - Mathematics Genealogy Project
• O'Connor, John J.; Robertson, Edmund F., “アンジェイ・モストフスキ”, MacTutor History of Mathematics archive, University of St Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Mostowski/ .