ガロア第一論文と乗数イデアル他関連資料スレ16

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

275: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/04/26(土) 23:53:49.76 ID:2tFMGt7T

>>231 つづき
１）さて、渕野昌先生が、「R.Dedekindの数学の基礎付けと集合論の公理化」で
　Dedekindが ”無限（集合）の存在証明”を 試みた 書物の出版を批判している
　つまり、現代の目からみれば、無限に関する集合は 「無限公理(無限集合の存在を主張する公理)」で扱うべきもので
　つまり、”無限の存在が集合論の他の公理から独立である”ということです（wikipedia 独立性 (数理論理学) もご参照）
２）さて、現代でも基礎論の錯乱者がいます。”無限集合の存在を証明せよ”などと 宣う(>>179)
　下記の渕野昌先生を百回音読してほしいです！ｗｗ ；ｐ）

(参考)
https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1739-16.pdf
数理解析研究所講究録第1739巻 2011年 168-179
R.Dedekindの数学の基礎付けと集合論の公理化 渕野昌
本稿は，2010年8月24日に筆者が行なった，RIMS研究集会「数学史の研究」での講演を敷術したものである．
この講演の後，早稲田大学理工学術院数学科の足立恒雄先生と
関連する討論の機会を持ったが，formulationの舌足らずのせいか うまくこちらの趣旨が伝
わらず，議論の行き違いになってしまっていたところがあった．本稿は，そのような行き違いの原因となりうる論述の稚拙を回避しようと真剣に努力した結果でもある．その意味で，本稿の執筆の強い動機を与えていただいた足立先生に深く感謝するとともに，この文章をお読みになった先生が，私の論旨に納得してくださることを切に願うものでもある．
P171
ここでは，Noetherや彼女の学派に受けつがれたDedekindの抽象代数の定式化や基礎付けの仕事については，触れるだけの余裕はないが，Noetherは彼女の代数的研究について，，，Es steht alles schonbei Dedekind“ (全部デデキントが書いたものに既に出ている)と口癖のように言っていたということである([12]).

P173
3 無限の存在証明
Dedekindの名誉のために付け加えておくと，1911年の時点では，無限の存在が集合論の他の公理から独立であることは，当時の若い集合論の研究者たちすら，まだ完全には把握しきれていなかった可能性がある．たとえば，Zermelo文[18]の公理系とよばれることになる体系の原形は発表されているが，その初めで，Zermelo Zermeloは，
略す
と書いているし，Zermelo [18],下線の公理の命題の間の独立性についての，より踏み込んだ議論は，Fraenkelの1922年の論文[7]までなされていないように思えるからである．

無限公理(無限集合の存在を主張する公理)の集合論の他の公理からの独立性は
(集合論のすべての公理を含む体系の中で),

H(ω) (hereditarily finiteな集合の全体)と，この上に∈関係を制限したものの組からなる構造を作ると，
そこでは，無限公理以外の集合論のすべてが成り立つことが確かめられ，
そのことから「集合論の公理系が無矛盾なら，集合論の公理系から無限公理を除いた体系から無限公理は導かれない」ことが導かれる
として示すことができる．
もちろん，[集合論の公理系が無矛盾なら」は，不完全性定理以降の時代に生きる我々の後知恵であるが(9),

つづく

http://rio2016.5ch.net/test/read.cgi/math/1744899342/275

308: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/04/27(日) 19:39:45.57 ID:ZZby/myn

>>179
(引用開始)
ツェルメロの自然数が大好きなおサルへの問題
{},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。
略
６．ZFにおいて集合{{・・・{}・・・}}（無限重括弧）は存在しない。
(引用終り)

なんか、臭くないか？
なんか、素人臭くないか？ｗ ；ｐ）

Dedekindが主張した ”無限（集合）の存在証明”を 渕野昌先生は 批判している（>>275）
本質的に、”無限（集合）の存在”というものは、他の公理から独立だと

そして、ツェルメロは 彼の自然数の定義として
後者関数 suc(a) で、0 := {}, suc(a) := {a} と定義した(>>12)
そうして、ツェルメロは彼の無限公理を 下記のように定義した

https://en.wikipedia.org/wiki/Zermelo_set_theory （>>212より）
Zermelo set theory
（Zermeloの無限公理）
　7.AXIOM VII. Axiom of infinity (Axiom des Unendlichen) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element."

もし、{a}が有限個で終われば、有限集合しか構成できないから
無限公理として機能するためには、{a}が無限個存在しなければならない
ということだね（当然 ツェルメロは そう考えていたはず）

そして、再度 『本質的に、”無限（集合）の存在”というものは、他の公理から独立だ』ということを強調しよう
ZFの公理系として、ノイマンの無限公理を採用したとして、ノイマンの無限公理から ツェルメロの無限が導けないことは ありうるだろう
しかし それは、ツェルメロの無限が ノイマンの無限公理からの 独立を意味するだけで、決して ツェルメロの無限を否定するものではない

再度 下記を参考に添えておく
https://en.wikipedia.org/wiki/Zermelo_set_theory
Zermelo set theory
Connection with standard set theoryThe axiom of infinity is usually now modified to assert the existence of the first infinite von Neumann ordinal ω; the original Zermelo axioms cannot prove the existence of this set, nor can the modified Zermelo axioms prove Zermelo's axiom of infinity.[2] Zermelo's axioms (original or modified) cannot prove the existence of Vω as a set nor of any rank of the cumulative hierarchy of sets with infinite index. In any formulation, Zermelo set theory cannot prove the existence of the von Neumann ordinal ω⋅2, despite proving the existence of such an order type; thus the von Neumann definition of ordinals is not employed for Zermelo set theory.

http://rio2016.5ch.net/test/read.cgi/math/1744899342/308

320: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/04/28(月) 14:24:20.60 ID:heJunuWl

>>308 補足
>>179
(引用開始)
ツェルメロの自然数が大好きなおサルへの問題
{},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。
略
６．ZFにおいて集合{{・・・{}・・・}}（無限重括弧）は存在しない。
(引用終り)

全く素人くさいよね、おサルさん>>7

素人は、まず 下記の 東北大 尾畑研
「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf)
第14章順序数と第15章 自然数 とを、百回音読しなｗ ；ｐ）

その上で、下記の
上島晟宏 神戸大学 ”Zermelo と von Neumann の無限公理の同値性”
2023年 すうがく徒のつどい 第4回
を、99回写経しなよ

分からないところは、上島晟宏へ質問しろ！ｗ ；ｐ）

(参考)
https://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研
「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf)
https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_14.pdf
TAIKEI-BOOK : 2019/1/1(22:21)
第14章順序数
https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_15.pdf
TAIKEI-BOOK : 2019/1/1(22:21)
第15章 自然数
15.1 ペアノの公理
P234
要は空集合Φから始めて後続順序数を次々に考えることで自然数が次々に得られるのである7)
注
7)このアイデアは順序数の定義第節とともにフォン・ノイマンによる

https://math-tsudoi.jp/4/
すうがく徒のつどい 第4回
2023年9月16日(土)および9月17日(日)に開催。
https://math-tsudoi.jp/4/schedule
9月17日
301教室「Zermelo と von Neumann の無限公理の同値性」 (一般枠)
上島晟宏 (Abstract, スライド)
https://math-tsudoi.jp/4/slides/ikotondo.pdf
Zermelo と von Neumann の無限公理の同値性
上島晟宏 神戸大学大学院システム情報学研究科研究生
目次
1.歴史と無限公理の意味
2. von Neumann 流の無限公理が「改良」足り得る理由
3. 証明の概略
　von Neumann 流 =⇒ Zermelo 流
　Zermelo 流 =⇒ von Neumann 流

http://rio2016.5ch.net/test/read.cgi/math/1744899342/320

321: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/04/28(月) 15:02:32.44 ID:heJunuWl

>>319
>間違いを理解できないのではなく認めないのだということが
>理解できないことが
>理解できない

これは御大か
巡回ご苦労様です

いやね おサルさん>>7 石の強弱が分かっていない

Zermeloの >>12 0 := {}, suc(a) := {a} （後者関数定義）
で、Zermeloが自然数の定義に失敗しているとか バカなことを言ってきたけど
上島晟宏氏 神戸大学 が、>>320のように発表しているし

>>179で、『{{・・・{}・・・}}（無限重括弧）は存在しない』とかいうが
論の立て方がおかしい
Zermeloは、Zermelo流の無限公理を採用しているので、まずは そこからがスタートです
そもそも ”無限” とは >>303で 御大が ご指摘された ごとくデデキントなど（カントールも）が
ZFCの公理化のずっと前に 考察を進めていたのです

”葦（よし）の髄（ずい）から天井をのぞく”
デデキント、カントール以前にも
ガウス、コーシー、リーマン、ワイエルシュトラスらが ”無限”（の概念）を縦横につかって
数学を展開していた

その一つに、数列の収束と発散があります
　>>12より
　0 := {}
　1 := {0} = {{}}
　2 := {1} = {{{}}}
　3 := {2} = {{{{}}}}
つまり
・0＜1＜2＜3＜・・・ →∞
　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・→{・・・{}・・・}（無限重括弧）
これを、否定することはできない！

ZermeloなりZF公理から 証明はできないかもしれないが、否定することは 絶対にできないだろう
即ち、百歩譲っても ”{・・・{}・・・}（無限重括弧）”の存在は、ZermeloなりZF公理から 独立だ

とすれば、ゲーデルの不完全性定理の示すところ
”{・・・{}・・・}（無限重括弧）”の存在を公理として認めれば それで終わり！ です （＾＾

まあ、目あり目無し の攻め合いみたいなものですねｗ ；ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1744899342/321

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.028s