[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ17 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
15
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/05/07(水) 15:22:03.76 ID:w6tWvnRz(15/15) AAS
つづき

・自然数 ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
 『形式的な定義 自然数の公理
 以上の構成(注 ノイマン構成)は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
 例えば、0 := {}, suc(a) := {a} と定義したならば、
 0 := {}
 1 := {0} = {{}}
 2 := {1} = {{{}}}
 3 := {2} = {{{{}}}}
 と非常に単純な自然数になる』
・0<1<2<3<・・・
 {}<{{}}<{{{}}}<{{{{}}}}<・・・
 ここで
 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
 と書ける
 何が言いたいか?
 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を逆に辿れば
 {}<{{}}<{{{}}}<{{{{}}}}<・・・ となり
 0<1<2<3<・・・ となる
・つまり、{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ において
 ∈を<に書き換える
 そうして、{}→0、{{}}→1、{{{}}}→2、{{{{}}}}→3、・・・
 と順序数の背番号がついていると思え
 あるいは、例えば {{{}}}→2 ならば、括弧{}の多重度を基準に整列していると考えれば良い(括弧{}の多重度-1が、順序数に相当している)
・このように、列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を、順序関係<に置き換えて
 {}<{{}}<{{{}}}<{{{{}}}}<・・・ として、整列集合と考えることができる(整列可能定理の主張はこれ)
・おサルさん、なにをとち狂ったか、列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ が、整列していることを否定する
 上記『{}∈{{{}}} は偽』とか、勝手な妄想を沸かす。ほんと、エンタの王で笑いを取る名人だね
 私には、単なるアホとしか思えないがw ;p)
以上

あと
<乗数イデアル関連(含む層)>の話や
文学論、囲碁の話もあります
これも、5chらしくて良いと思いますw

テンプレは、以上です
16: 132人目の素数さん [] 2025/05/07(水) 16:22:39.76 ID:j5ktu5Ri(1/2) AAS
>>15
>『{}∈{{{}}} は偽』とか、勝手な妄想を沸かす
勝手な妄想ではなく∈の定義から言えること
定義の確認すらできない池沼ザルは口閉じような
66
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/05/09(金) 17:06:44.04 ID:bmPDK4UI(4/5) AAS
>>15 追加

ホイ

https://math-tsudoi.jp/past-events/
すうがく徒のつどい
過去開催
https://math-tsudoi.jp/4/schedule
すうがく徒のつどい
第4回 スケジュール 2023年
https://math-tsudoi.jp/4/slides/ikotondo.pdf
Zermelo と von Neumann の無限公理の同値性
上島晟宏
神戸大学大学院システム情報学研究科研究生 2023年9/17

1 歴史と無限公理の意味
2 von Neumann 流の無限公理が「改良」足り得る理由
3 証明の概略
von Neumann 流 =⇒ Zermelo 流
Zermelo 流 =⇒ von Neumann 流
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.031s