Inter-universal geometry と ABC予想 (応援スレ) 73

Inter-universal geometry と ABC予想 (応援スレ) 73 (855ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

76: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/07/29(火) 20:29:44.91 ID:7CXjMyGa

つづき

https://taro-nishino.blogspot.com/2019/03/blog-post022.html
taro-nishinoの日記
ゲオルク・カントールと超限集合論闘争 3月 20, 2019
私はカントールについて伝記的なことも含めて何も知らないし、せいぜい精神病院で亡くなったことくらいしか知りませんでした。かと言って、今更"何とか数学者列伝"とか"何とか数学物語"とかを購入し読んで胸を熱くさせるような馬鹿な年齢でもないので、他に何か面白い記事は無いかと探しましたところ、Joseph W. Dauben博士の記事"Georg Cantor And The Battle For Transfinite Set Theory"(PDF)を見つけました。
https://acmsonline.org/home2/wp-content/uploads/2016/05/Dauben-Cantor.pdf
この記事を読んで、ちゃんとした数学史の専門家がきちんと調べ上げれば、いかに伝記作者というものがいい加減であるか(と言うよりも捏造していると言った方が正確です)が分かり、百聞は一見に如かずとはまさにこういうことだと感じました

https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%83%E3%82%BB%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
ラッセルのパラドックス

https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理

https://ja.wikipedia.org/wiki/%E5%86%AA%E9%9B%86%E5%90%88%E5%85%AC%E7%90%86
冪集合公理

https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%B3%E3%83%88%E3%83%BC%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86
カントールの定理
カントールの定理は「いかなる無限集合を考えたとしても、それより大きな濃度を持つ無限集合が存在する」ことを示す
特に、可算無限集合の冪集合は非可算無限である
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1753000052/76

851: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/20(水) 11:45:55.91 ID:n7uBTsIt

>>820
(引用開始)
https://de.wikipedia.org/wiki/Unendlichkeitsaxiom
Unendlichkeitsaxiom
(google英訳)
Infinity axiom
Natural numbers
By the existence of at least one inductive set I together with the exclusion axiom,
the existence of natural numbers as a set is also ensured:
N:={x∈I∣∀z(z inductive ⟹ x∈z)}
The natural numbers are therefore defined as the intersection of all inductive sets, as the smallest inductive set.
Infinite quantities
Without the infinity axiom, ZF would only guarantee the existence of finite sets. No statements could be made about the existence of infinite sets. The infinity axiom, together with the power set axiom , ensures that there are also uncountable sets, such as the real numbers.
https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95
数学的帰納法（英: mathematical induction）
(引用終り)

さて
　>>39より再録
下記 ”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”なる式が
ペアノ公理の自然数の集合論的構成 ja.wikipedia に書かれていたのです
おれは、こんな式訳分からんぞといったところ
ある 数学科 オチコボレさんが 積集合∩ は、数学科では自明だ
と言い出した
だが、その数学科 オチコボレさん
数学科で もし 学生や院生(M生)が「自明」といえば
徹底的に 突かれて 黒板ハリツケの刑が 日常茶飯事だ
（「自明」と言っていいのは、講義の教授だけだ　；ｐ）
学生や院生(M生)の「自明」は
しばしば 理解不十分をゴマカス言い訳と相場が決まっている
さてさて、”∩は自明”必死で逃げ回る オチコボレさんよ
詰んでるよね あなたｗ　；ｐ）
(参考)
https://rio2016.5ch.net/test/read.cgi/math/1753002417/55
　”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”ペアノ公理の自然数の集合論的構成 https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
　”Aは無限公理により存在する集合を任意に選んだもの”
(引用終り)

追記
・de.wikipedia 独語Unendlichkeitsaxiom 英語Infinity axiom
・ここで 自然数 N:={x∈I∣∀z(z inductive ⟹ x∈z)} と スッキリ
・一方、”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”ペアノ公理の自然数の集合論的構成
　”Aは無限公理により存在する集合を任意に選んだもの”
　これは、ちょっとまずい
　記号∩が、公理から直接導けないので 公理の裏付けが不明確
・もちろん、”The natural numbers are therefore defined as the intersection of all inductive sets, as the smallest inductive set.”
　だから 意図は分かるが この文をそのまま 論理式に書き下したのかもねｗ　；ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1753000052/851

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

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

ぬこの手ぬこTOP 0.042s