TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
数学と物理学って何で統合しないの？
現代数学の系譜11 ガロア理論を読む18
虚数とか複素数ってなんですか？
現代数学の系譜11 ガロア理論を読む34
不等式への招待 第10章
高校数学の質問スレPart400
コラッツ予想がとけたらいいな その2
Inter-universal geometry と ABC予想 42
未だに数学で納得いかないこと挙げてけ4
未解決問題の証明論文は論文誌には載らない
- 82 ：
- メモ追加
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6)
宇宙
(抜粋)
構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。
通常の数学
与えられた X (カントールの場合には、 X = R) の部分集合を考えれば、宇宙は X の部分集合の集合の存在を要請する。 (例えば、X の位相は X の部分集合の集合である。)
主要な関心が X であっても、 X よりもかなり大きな宇宙が必要とされることになる。 上記のアイデアに続いて、X の宇宙としての 上部構造 が要請される。
物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
公理的集合論は元来1908年にエルンスト・ツェルメロによって開発された。ツェルメロ集合論は"通常の"数学を公理化することができるため、カントールによって三十年早く始められたプログラムを達成して、確実に成功した。
しかし、ツェルメロ集合論は公理的集合論および数学基礎論、特にモデル理論における他の研究のさらなる発展にとって不十分であった。劇的な例として、上述の上部構造プロセスの記述はツェルメロ集合論においてそれ自身実行できないことが挙げられる。
最終ステップとして、無限和 (infinitary union) としてのSを形成するための置換公理が必要である。
置換公理は、ツェルメロ＝フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。
この公理集合は今日最も広く受け入れられている。
そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
つづく
高校数学の質問スレPart403
0.99999……は１ではない その２
現代数学の系譜 工学物理雑談 古典ガロア理論も読む46
なぜeやπは様々な性質を持つのか？
【大学院へ】 30過ぎて、数学の道へ その２
【自称数学者】三鷹の大類昌俊2018-2【つどい出禁】
カス厨房が語る長寿記録
面白い問題おしえて〜な 26問目
点の長さは0である。しかし点の集まりである線には長さが存在する。
分からない問題はここに書いてね456
--------------------
【HONDA】ホンダ N-BOX vol.154
響とかいう子に惚れた無職
ボランティアエキストラについて語ろう 第５現場
ナンバーズ4 Part317〜ナンバーズ4で逝こう〜
方言板の糞コテ、広島世界一は広島大学文学部
そんなにパヨクって呼ばれるのが嫌なら日本から出てけよ
【東方神起】チャンミンアンチスレ516【グロ鮑】
【小湊鐵道】五井駅の弁当【跨線橋】
骨潤とTAKAHIRO
よし、決まったな！風呂にでも入るか→あ、あれ？72
【AXN】アメリカン・クライム【バレ禁】
【Rank101↑】グランブルーファンタジー初級者スレ2156
【DFFOO】DISSIDIA FINAL FANTASY OPERA OMNIA part1101【苦痛周回想定通りジレンマ ディシディアオペラオムニア】
テイケイワークス＆トレード63現場【避難所】
☆若手人気女優総合スレッド1100☆
WordPress
マシンロボ＆ムゲンバイン４７
変態女児愛好家松田卓也と敗北プレゼンター本田圭佑
【旧機種だが】Canon BJ-F300【写真画質最強】
■●初心者歓迎、刃物質問＆相談スレ 31
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
