TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
ラマヌジャン、ってナニモノ?
大学学部レベル質問スレ 12単位目
数学板の天才方、表現論の教科書教えてください 数論方面で
現代数学の系譜 古典ガロア理論を読む35
【数学検定】数学検定1級 合格4
数学科の就職って……
Inter-universal geometry と ABC予想 38
算数&数学が全くできない人のスレ パート2
現代数学の系譜11 ガロア理論を読む25
【新海誠】君の名は。
257 :
>>256 追加

 >>250より
自然数のノイマン構成:空集合から出発して、後者関数はそれ以前に出来た全ての数とする

>>164より
(ノイマン構成)に倣って、
後者関数suc (a)に対して、
それまでに出来た集合の和 ∪a との対応を考えよう
番号    ∪a
0:=Φ  
1:={Φ}   {0}
2:={{Φ}}  {0,1}
 ・
 ・
n:={・・{Φ}・・} {0,1・・n-1}
 ・
 ・
 ↓(極限 lim n→∞ )
ω:=・・・{Φ}・・・ {0,1・・n-1・・}(=:N(自然数)))
(引用終り)

という対応になる
もし、ノイマン構成のN(自然数)が、
下記のフォン・ノイマン宇宙
Vω+ω:ordinary mathematicsの宇宙であり、ツェルメロの集合論のモデル
内の存在とすれば、
 >>176より
2 := suc(1) = {0, 1} = {0, {0}} = { Φ, {Φ} }→{{Φ}}(→は、一番右のΦを残すように不要の{}とΦを除く操作)
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { Φ, {Φ}, { Φ, {Φ} } }→{{{Φ}}}(同上)
というように
ノイマン構成の集合に対応して
→:(→は、一番右のΦを残すように不要の{}とΦを除く操作)
という集合操作を行うと、Zermeloのシングルトンが生成されるのです

なので、ノイマン構成のN(自然数)から、
→:(→は、一番右のΦを残すように不要の{}とΦを除く操作)
という集合操作、それは”超限回”の操作
で、Zermeloのシングルトンが生成されると解釈することも可能
なので、Zermeloのシングルトンも、Vω+ωの宇宙内(ツェルメロの集合論のモデル)です(^^;

つづく

Inter-universal geometry と ABC 予想 45
【理3悲報】 高専>理3
高校数学の質問スレPart401
奇数の完全数の存在に関する証明が完成しました2
Octaveやmaximaなどの数学系のフリーソフトのスレ
フェルマーの最終定理の反例が見つかる
【自称数学者】三鷹の大類昌俊 Part8【つどい出禁】
数学力と文章力にはなにか関係があるのか。
現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
「理論物理学のための幾何学とトポロジー」
--------------------
NFL総合 Vol.306
-- 新国立劇場を語る --- Part 45
【悲報】コロナショックさん、リーマンショックどころか1929年の世界恐慌すら上回る勢いになりそう [266670284]
行徳ラーメン街道 Part45
【第196回常会】国会中継総合スレ1795
□■2019□■F1GP総合 LAP2029□■洪牙利□■
ドラえもん 第1059話「かべ景色きりかえ機」 第1060話「『時』はゴウゴウと流れる」 ◇2
ららマジ第304楽章
【KFC】ケンタッキーフライドチキン 164【Ponta】
介護職員とコンビニ店員
【ダイハツ】新型ミラ イース Part6【2018】
読書好きの奥様 101冊目
【性犯罪者】ゆうたごんこと鈴木雄太70【発達障害】
2019年千葉マリーンズドラフトスレ 6
【増税財務省】上念司27【−44万人で1兆円税収増】
■糞ローラさん、テレビと広告から消えて御願い
これから任豚のこと韓黒人って呼ぼうぜ
【四国の】舟本舞【ボウリングマイスター】
加藤泰
Diary
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼