[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 http://rio2016.5ch.net/test/read.cgi/math/1568026331/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
393: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/21(土) 08:03:13.33 ID:RSxZzkRi >>309 補足 (参考) https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%B3%E3%82%B8%E3%82%A7%E3%82%A4%E3%83%BB%E3%83%A2%E3%82%B9%E3%83%88%E3%83%95%E3%82%B9%E3%82%AD アンジェイ・モストフスキ (抜粋) アンジェイ・モストフスキ(Andrzej Mostowski, 1913年9月1日 ? 1975年8月22日)はポーランドの数学者。モストフスキ崩壊補題で有名。 オーストリア=ハンガリー帝国のリヴィウで生まれる。 生涯 1931年ワルシャワ大学に入学。クラトフスキ、アドルフ・リンデンバウム(英語版)、タルスキの影響を受ける。1939年博士号取得。公式にはクラトフスキに指導を受けたとされているが、実際には若かったタルスキから指導を受けていた。 彼はドイツのポーランド侵攻の後、会計士になった。しかし、隠れてワルシャワ大学で研究を続けていた。 1944年のワルシャワ蜂起の後、ナチスは彼を強制収容所に入れようとしたが、ポーランド人看護師の助けを借りて病院に逃れた。 食糧を持っていくため、研究成果の詰まったノートを置いていくしかなかった。戦後、その一部は彼が再構成したがほとんどは不明のままである。 彼の研究の大部分は再帰理論と決定不能性についてである。1946年からカナダのバンクーバーで死去するまで、彼はワルシャワ大学で研究を続けた。その時の研究の大部分は、一階述語論理とモデル理論である。 子息 彼の息子のタデウスも数学者になり、微分幾何学の研究している[1]。Krzysztof Kurdykaとアダム・パルシンスキーと共に、ルネ・トムの en:gradient conjectureを2000年に解決した。 https://en.wikipedia.org/wiki/gradient_conjecture Gradient conjecture http://rio2016.5ch.net/test/read.cgi/math/1568026331/393
394: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/21(土) 08:07:52.98 ID:RSxZzkRi >>393 補足 モストフスキ崩壊補題の原論文PDFが下記にあるね ”1949,?theorem 3”らしい https://en.wikipedia.org/wiki/Mostowski_collapse_lemma Mostowski collapse lemma (抜粋) In mathematical logic, the Mostowski collapse lemma, also known as the Shepherdson?Mostowski collapse, is a theorem of set theory introduced by Andrzej Mostowski (1949,?theorem 3) and John Shepherdson (1953). References http://matwbn.icm.edu.pl/ksiazki/fm/fm36/fm36120.pdf Mostowski, Andrzej (1949), "An undecidable arithmetical statement" (PDF), Fundamenta Mathematicae, Institute of Mathematics Polish Academy of Sciences, 36 (1): 143?164 http://rio2016.5ch.net/test/read.cgi/math/1568026331/394
397: 132人目の素数さん [sage] 2019/09/21(土) 11:41:52.87 ID:s+bHRCsH >>390-392 1は同一視という言葉で自分の主張をどう正当化したいのか不明 単に煙に巻きたいだけなら、そんなのこの板では通用しない この板では1より馬鹿なヤツはまずいないw そもそも1は>>376の質問に回答できなかった時点で負け犬w >>385で予想したようなトンチンカン回答は図星だったんだろうw >>393-394 1はどういうつもりでモストフスキに固執するのか不明だが そもそも∈や⊂の定義はモストフスキと無関係 自分の理解できないレベルの文章を読み間違えて 基本的な∈や⊂の理解すら間違える1は正真正銘の馬鹿w http://rio2016.5ch.net/test/read.cgi/math/1568026331/397
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s