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

アンジェイ・モストフスキ
1973年のモストフスキー
生まれる	( 1913-11-01 )1913年11月1日 レンベルク、オーストリア＝ハンガリー
死亡	1975年8月22日(1975-08-22)（61歳） バンクーバー、ブリティッシュコロンビア、カナダ
国籍	研磨
母校	ワルシャワ大学
知られている	クリーン・モストウスキー階層 モストウスキー崩壊補題 モストウスキーモデル
科学者としてのキャリア
フィールド	数学
機関	ワルシャワ大学
博士課程の指導教員	カジミエシュ・クラトフスキ アルフレッド・タルスキ
博士課程の学生	アンジェイ・エーレン フォイヒト モシェ・ マホヴァー ヘレナ・ ラシオワ ロマン・シコルスキー ビクター・W・マレック

アンジェイ・モストフスキ（1913年11月1日 - 1975年8月22日）はポーランドの数学者である。彼は主に論理学と数学の基礎を研究し、おそらくモストフスキ崩壊補題で最もよく知られている。彼はポーランド科学アカデミーの会員であり、ワルシャワ数学学校の代表者でもあった。

モストフスキーはオーストリア＝ハンガリー帝国のレンベルクに生まれ、 1931年にワルシャワ大学に入学した。彼はクラトフスキー、リンデンバウム、タルスキの影響を受け、1939年に博士号を取得した。公式にはクラトフスキーが指導したが、実際には当時若手講師であった タルスキが指導した。

彼はドイツ軍のポーランド侵攻後、会計士になったが、地下ワルシャワ大学で働き続けた。1944年のワルシャワ蜂起後、ナチスは彼を強制収容所に送ろうとした。ポーランド人看護師の助けを借りて、彼は病院に逃げ、研究の記録が書かれたノートではなくパンを持って行った。彼は戦後、この研究の一部を再編成したが、その多くは失われたままであった。

1954年、モストフスキーはポーランド復興勲章騎士十字章を授与され、1963年にはポーランド社会科学協会の正会員に選出された。第二次世界大戦後、彼はラシオヴァの論理学と数学の基礎に関する修士論文と博士論文の両方を指導した。

彼の研究は主に再帰理論と決定不可能性に関するものであった。1946年からカナダのブリティッシュコロンビア州バンクーバーで亡くなるまで、彼はワルシャワ大学で働いた。その期間の研究の多くは、第一階述語論理とモデル理論に関するものであった。彼はまた、 1952年にポーランド科学アカデミーに統合された国立数学研究所でも働いていた。 ^[1]

彼の息子タデウシュも微分幾何学を研究する数学者である。^[2]タデウシュ・モストフスキーは、クリストフ・クルディカとアダム・パルシンスキとともに、 2000年にルネ・トムの勾配予想を解決した。

• ポーランドの数学者一覧
• モストフスキーモデル

• 1968 年および 1976 年: ( Kazimierz Kuratowskiと共著)集合論。記述的集合論入門付き、論理学および数学基礎研究 #86、北ホラント、MR 0485384
• 1952年：形式化された算術では決定不可能な文：クルト・ゲーデルの理論の解説、北ホラント、アムステルダム、ISBN 978-0313231513 
• 1969年：Constructible Sets with Applications、北ホラント州、アムステルダム。

• アンジェイ・モストウスキー「Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip」基礎数学Vol. 32、No.1、ss。 201-252、(1939)。
• Andrzej Mostowski、「正の整数の定義可能な集合について」、Fundamenta Mathematicae Vol. 34、No. 1、ss. 81-112、(1947)。
• Andrzej Mostowski、「Un théorème sur les nombres cos 2πk/n」、Colloquium Mathematicae Vol. 1、No.3、ss。 195-196、(1948)。
• Casimir Kuratowski、Andrzej Mostowski、「グループの理論とトポロジの関係に関する問題」、Colloquium Mathematicae Vol. 2、No.3-4、ss. 212-215、(1951)。
• Andrzej Mostowski、「ブール代数に関連する群。（問題 P92 の部分解）」、Colloquium Mathematicae第 2 巻、第 3-4 号、ss. 216-219、(1951)。
• Andrzej Mostowski、「理論の直積について」、Journal of Symbolic Logic、第17巻、第1号、ss. 1-31、(1952)。
• Andrzej Mostowski、「公理システムのモデル」、Fundamenta Mathematicae Vol. 2 39、No.1、ss。 133-158、(1952)。
• Andrzej Mostowski、「再帰的に列挙可能な算術モデルを持たない公理系について」、Fundamenta Mathematicae Vol. 40、No. 1、ss. 56-61、(1953)。
• Andrzej Mostowski、「再帰的に列挙可能なモデルを持たない式」、Fundamenta Mathematicae Vol. 42、No.1、ss。 125-140、(1955)。
• Andrzej Mostowski、「2 つおよび 3 つの量指定子によって定義可能な集合の例」、Fundamenta Mathematicae Vol. 42、No. 2、ss. 259-270、(1955)。
• Andrzej Mostowski、「定義可能な集合と関数の理論への貢献」、Fundamenta Mathematicae Vol. 42、No. 2、ss. 271-275、(1955)。
• Andrzej Ehrenfeucht、Andrzej Mostowski、「自己同型を認める公理理論のモデル」、Fundamenta Mathematicae、Vol. 43、No.1、ss。 50-68 (1956)。
• Andrzej Mostowski、「L'oeuvre scientifique de Jan Łukasiewicz dans le Domaine de la logique mathématique」、Fundamenta Mathematicae Vol. 44、No.1、ss。 1-11、(1957)。
• Andrzej Mostowski、「量指定子の一般化について」、Fundamenta Mathematicae Vol. 44、No. 1、ss. 12-36、(1957)。
• Andrzej Mostowski、「計算可能なシーケンスについて」、Fundamenta Mathematicae Vol. 44、No.1、ss。 37-51、(1957)。
• Andrzej Grzegorczyk、Andrzej Mostowski、Czesław Ryll-Nardzewski、「古典的およびω完全算術」、Journal of Symbolic Logic Vol. 2 23、No.2、SS。 188-206、(1958)。
• アンジェイ・モストウスキー、「W. キナと K. ワーグナーの問題について」、Colloquium Mathematicae Vol. 6、No.1、ss。 207-208、(1958)。
• Andrzej Mostowski、「不完全性定理の一般化」、Fundamenta Mathematicae Vol. 49、No.2、SS。 205-232、(1961)。
• Andrzej Mostowski、「いくつかの多くの価値ある述語計算の公理可能性」、Fundamenta Mathematicae Vol. 2 50、No.2、SS。 165-190、(1961)。
• 鈴木陽進堂、Andrzej Mostowski、「β モデルではない ω モデルについて」、Fundamenta Mathematicae Vol. 2 65、No.1、ss。 83-93、(1969)。

• オコナー、ジョン J.、ロバートソン、エドマンド F.、「アンジェイ モストフスキー」、マクチューター数学史アーカイブ、セントアンドリュース大学
• スタニスワフ・クレイェフスキとマリアン・スレブルヌイ、アンドジェク・モストウスキの生涯と作品について語る