レス書き込み
スレへ戻る
写
レス栞
レス消
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
PC,スマホ,PHSは
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>124 > >>118 追加 > > まあ、ご参考 > ・フォン・ノイマン宇宙「整礎的集合から得られたでかい領域」 > ・構成可能宇宙「人間に扱える有限モデルに行き着く領域」 > 下記でも,見て下さい > > (参考) > https://www.practmath.com/universe/ > 実用的な数学を > 2019年4月26日 投稿者: TAKAN > 宇宙 Universe > (抜粋) > 目次 > ・議論領域「宇宙の本質に当たる概念で、より広い意味」 > ・グロタンディーク宇宙「集合論で作れる最大の大きさ」 > ・フォン・ノイマン宇宙「整礎的集合から得られたでかい領域」 > ・構成可能宇宙「人間に扱える有限モデルに行き着く領域」 > > フォン・ノイマン宇宙 Von Neumann > || 直観でわかるものを全部集めてみました > これは『順序数』基準で作られた「宇宙」になります。 > 『順序数』由来なんで、かなり直観に近いです。 > 「順序数」で作られてるんで、 > 作られ方は基本的に『順序数』と一緒です。 > 初期値はいつもの『空集合』。 > V_0=Φ > 『順序数』由来なんで『宇宙 V 』はクラスになります。 > それも「真のクラス」です。集合じゃありません。 > ただ、その要素になる『 V_α 』は集合です。 > 定義自体が『整礎的集合』なんで、ちゃんと中身が全部わかります。 > > 構成可能宇宙 Costructible > || 人間が扱えるものだけ集めてみました > 恐らく考え得る限り『最小の宇宙』がこれ。 > 基本は↑の「フォン・ノイマン宇宙」と同じで、 > 2 番目の「後者」の規則に条件が加わっています。 > その制約の本質が『人間に扱えるように』という感じ。 > > 『後者』について「フォン・ノイマン宇宙」と違う点は、 > 略 > これでどうして人間に扱える程度になるかは、別記事で。 > ちょっとどころじゃない長さになるので小分けになるかと。 > 雰囲気だけ伝えるとするなら、 > 濃度が決まってるものの内側に納まってる上で、 > 更には『有限』の長さで定義できることが確定している、みたいな。 > (レーヴェンハイム・スコーレムの定理などが理由) > だから、人間に扱える程度の大きさになっている、みたいな感じ。 > いわゆる「帰納的に定義できる」とか、そんなです。 > 通例では、『構成可能宇宙』は「 L 」と表されます。
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.018s