Inter-universal geometry と ABC予想 (応援スレ) 73 (698レス)
Inter-universal geometry と ABC予想 (応援スレ) 73 http://rio2016.5ch.net/test/read.cgi/math/1753000052/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
213: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/01(金) 20:51:57.33 ID:3GStjv9j >>210 補足 (引用開始) https://fr.wikipedia.org/wiki/Axiomes_de_Peano Axiomes de Peano (google仏語訳) ペアノの公理 存在と唯一性 集合N は、 0 が属し、かつ後続集合に関して閉じているすべての集合の共通集合である。 (引用終り) 『集合N は、 0 が属し、かつ後続集合に関して閉じているすべての集合の共通集合』 つまりは、無限集合N は、無限集合の中で最小の集合だ だが、これは結論としてそうであって、我々はそれを結果として知っている この結果は、カントールが素朴集合論で得ている いまやろうとしていることは この結論の ”・・後続集合に関して閉じているすべての集合の共通集合” ”無限集合の中で最小の集合N” を 公理的集合論のルールの中で きちんと 疑義なく 集合Nを組み立てること そのためには、ロジックは簡素な方が良い また、使う公理は はっきりと明示されるべき 無限公理から 分出公理で 最小の集合Nが取り出せるならば 記号∩を使うなど 余計なことをする必要がない まして、記号∩を使ったときには 記号∩の意味や集合Nの定義を、きちんと集合公理を使って 明示的に示す必要がある (それが出来ないならば 記号∩を使うのは ”ま ず い”!!ww ;p) http://rio2016.5ch.net/test/read.cgi/math/1753000052/213
214: 132人目の素数さん [] 2025/08/01(金) 21:09:31.50 ID:n2NtHms/ >>213 >記号∩を使うなど 余計なことをする必要がない 「余計なこと」は言いがかり。 >まして、記号∩を使ったときには >記号∩の意味 まったく明確。オチコボレが理解できないだけのこと。 >や集合Nの定義を、 まったく明確。オチコボレが理解できないだけのこと。 >きちんと集合公理を使って 明示的に示す必要がある どんなZFの公理ではない命題を使ってると? >(それが出来ないならば 記号∩を使うのは ”ま ず い”!!ww ;p) それが示せなければただの言いがかり。言いがかりはやめましょうね、チンピラさん。 http://rio2016.5ch.net/test/read.cgi/math/1753000052/214
220: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/02(土) 10:27:57.47 ID:WzsFWnhL >>219 そのURL は 詩想社刊 絶対「謝らない人」 自らの非をけっして認めない人たちの心理 榎本 博明(著) 新書判 200ページ 2025年6月3日 発売 内容紹介 いま、急増している「絶対謝らない人」たち・・・ 「謝ったら死ぬ病」を読み解く。 ネットで炎上を繰り返す懲りないインフルエンサー、 過ちを指摘されても決して非を認めない政治家、 責められても屁理屈をこねて「言い負かす」ことに執着する著名人、 自分の失態だけはなぜかスルーする職場の同僚、 謝罪すべきなのに常に上から目線でイラっとさせる知人、 ミスを指摘するとむきになって反論してくる部下・・・ なぜいま、「謝ることのできない日本人」が増えてきたのか 略 なぜある種の人たちは、そこまで謝罪を忌避し、 自己正当化にこだわるのか。 「絶対謝らない人」の いびつな心理を読み解く。 目次 第1章 何があっても「謝らない人」が増えてきた ・ミスを指摘されると謝るどころ かキレる人 ・平気で見え透いた言い訳をする人 (引用終り) だね なるほどね それゴキブリくんのことだね >>213より再録 (引用開始) https://fr.wikipedia.org/wiki/Axiomes_de_Peano Axiomes de Peano (google仏語訳) ペアノの公理 存在と唯一性 集合N は、 0 が属し、かつ後続集合に関して閉じているすべての集合の共通集合である。 (引用終り) この仏 wikipediaにある 自然数の集合Nは、無限集合として最小であり 無限公理では、無限集合に含まれる部分として 規定される 即ち、無限公理で認められる無限集合には、必ず 自然数の集合Nが含まれ 集合N より小さい集合は、有限集合だから 繰り返すが 無限集合として最小 結果的に そうなる 問題は、無限公理で規定された 無限集合に含まれる部分の集合Nを 公理的集合論として 公理のみを使って 如何に集合Nを取り出すか? いま2025年現在では、分出公理を使うのが主流で スッキリしている 例えば 無限公理のwikipedia 日 ”無限集合Iから自然数を抽出する” https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86 英 ”Extracting the natural numbers from the infinite set” https://en.wikipedia.org/wiki/Axiom_of_infinity 仏 ”L'ensemble des entiers naturels” https://fr.wikipedia.org/wiki/Axiome_de_l%27infini など 記号∩を使う問題点は 1)記号∩自身は、ZFCの公理ではない(和集合の公理はあるが) 2)記号∩を使った式から、きちんと ”公理のみを使って 如何に集合Nを取り出すか?”の証明が困難で面倒 ってことですね ゴキブリくんは、えらく 記号∩を使うことに執着しているw ;p) http://rio2016.5ch.net/test/read.cgi/math/1753000052/220
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s