25/08/21 22:59:04.47 /FwGOxIP.net
つづき
math_jinさん 情報早いな
URLﾘﾝｸ(x.com)
math_jin
ICM2030招致委員会
ICM2030 (International Congress of Mathematicians 2030) の招致・開催に向けて設置されました．本ページでは招致に向けた活動について情報共有を行います．
URLﾘﾝｸ(mathsoc.jp)
午前11:26 · 2025年7月30日
(参考)
応援スレ67 ://rio2016.2ch.sc/test/read.cgi/math/1653712154/794
>二つの直線が交わるということが起こりながら交わらないとか。
>本来だったら矛盾が起こるようなことを、活用できないかと考えた
例えば、（下記）クラインの壺
3次元空間内では交わる
しかし、次元を上げ、4次元あるいは5次元なら交わらない
と、同様に、従来の数学では実現出来ないことが
望月の圏論幾何で実現できているってことでしょ
Hiraku Nakajima、Masaki Kashiwara, Akio Tamagawa氏らは分かっているんじゃない？
それを、不毛な対立を解いて、一般数学者に分かるようにするのが、新総裁の役割でもあるでしょ （＾＾
（参考）
://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%A4%E3%83%B3%E3%81%AE%E5%A3%BA
クラインの壺（クラインのつぼ、英: Klein bottle、独: Kleinsche Flasche）は、境界も表裏の区別も持たない（2次元）曲面の一種で、主に位相幾何学で扱われる。
ユークリッド空間に埋め込むには4次元、曲率0とすると5次元が必要である。3次元空間には通常の方法では埋め込み不可能だが、射影して強引に埋め込むと、自己交差する3次元空間内の曲面になる。その形を壺になぞらえたものである。
(引用終り)
つづく
3:現代数学の系譜 雑談
25/08/21 22:59:55.84 /FwGOxIP.net
つづき
(参考)
応援スレ67 ://rio2016.2ch.sc/test/read.cgi/math/1653712154/866
>【検証】どうして望月新一はICM2022で何の賞もなかったの？
>「100%の自信をもって」アクセプトしたんだよね？
>「アリの這い出る隙間もないほど完璧な」査読を行ったんだよね？
１）下記のフィールズ賞スレで囲碁将棋の話題がでているけど
これに例えると、難しい詰将棋があるとして、囲碁の人に説明しても理解されないが如し
（あるいは、逆に将棋の人に難しい詰碁を説明するが如し）
（一つ一つのロジックは単純でも、数十手以上とか長手数になると、その道のプロ以外には理解が難しいってこと）
２）21世紀の数学は専門が細分化されているから、遠アーベルというゲームのルールに疎いおっさん（ショルツェ氏）は
遠アーベルの難しい詰将棋が理解できなかったんだ
もっと言えば、説明の途中で時間切れになって、おっさん”プッツン”したんだ
（怒らせたやつが居たらしいね。どっちが先か知らんけどｗ）
３）で、中島氏は数年にわたる時間を、査読編集委員としてかけて、ようやく理解したんじゃないの？
これを疑問に思うやつ、直接聞くか、聞ける知人にヒアリングしてもらえよ！ｗ
４）さてICM2022で賞を貰えれば評価されたと言えるだろう
が、逆は真ならずだ。ICM2022で賞を貰えずとも、それが全てではないのは自明
５）遠アーベルというゲームを、世界の一般数学者に分かってもらう努力が、求められる
せめて、IUTの入口まで。そして、IUTに対する評価を確立すること
これをオーガナイズするのが、中島総裁の仕事の一つだろう。それも含めての人選と見ている
追伸
・日本数学会が、5人論文に論文賞を！ 日本がリーダーシップ発揮を！！
（参考）
フィールズ賞2022 語ろうや ://rio2016.2ch.sc/test/read.cgi/math/1657025711/477
板違いの話だけど
囲碁って源氏物語絵巻にも出てくるし、昔から
朝廷、寺社など上流階級で連綿と打たれてきた。
江戸時代に碁将棋席次争いというのがあったが
「従来通り、碁家が上座」で落ち着いている
(引用終り)
つづく
4:１３２人目の素数さん
25/08/21 23:00:36.45 /FwGOxIP.net
つづき
://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
＜IUT国際会議 2つのシリーズ＞
1．
://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-schedule.html
RIMS
Promenade in Inter-Universal Teichmüller Theory
Org.: Collas (RIMS); Dèbes, Fresse (Lille).
The seminar takes place every two weeks on Thursday for 2 hours by Zoom 17:30-19:30, JP time (9:30-11:30, UK time; 10:30-12:30 FR time) — we refer to the Programme for descriptions of the talks and associated references. ://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/documents/RIMS-Lille%20-%20Promenade%20in%20Inter-Universal%20Teichm%C3%BCller%20Theory.pdf
2．
://www.kurims.kyoto-u.ac.jp/~motizuki/project-2021-japanese.html
宇宙際タイヒミューラー理論の拡がり
（４回とも無事終了です）
なお、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末～9月初めの二つのIUT会議に出席したようです
つづく
5:１３２人目の素数さん
25/08/21 23:01:05.94 /FwGOxIP.net
つづき
参考
://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut1.html
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut2.html
宇宙際タイヒミューラー理論サミット２０２１ 2021-09-07?2021-09-10
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html
望月 過去と現在の研究
://www.kurims.kyoto-u.ac.jp/~motizuki/Invitation%20to%20view%20IUT%20workshop%20videos.pdf
20211117
世界の数学者に向けた、今年度の宇宙際タイヒミューラー理論関連集会のビデオ閲覧の招待状を掲載。
つづく
6:現代数学の系譜 雑談
25/08/21 23:01:43.12 /FwGOxIP.net
つづき
＜過去スレより再録＞
スレ46 ://rio2016.2ch.sc/test/read.cgi/math/1589677271/273
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
（蕎麦屋さん、数理論理君も、どうぞそちらへｗ）
スレ46 ://rio2016.2ch.sc/test/read.cgi/math/1589677271/883
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
つづく
7:１３２人目の素数さん
25/08/21 23:02:24.13 /FwGOxIP.net
つづき
://www.youtube.com/watch?v=0VaEAVbTwhw
【世界で2番目のIUT理論研究拠点 誕生】新しいオンライン大学「ZEN大学」設立に関する発表会｜IUGC 宇宙際幾何学センター
N高等学校・S高等学校 2023/06/06
公益財団法人日本財団と株式会社ドワンゴは、新しいオンライン大学「ZEN大学」を設立します。
2023年6月6日（火）に発表された『IUT理論研究拠点の設立』をご紹介する動画です。
◆Inter Universal Geometry Center
（所長：加藤文元／副所長：イヴァン・フェセンコ）
日本発の世界的な数学理論であるIUT理論を推進・普及し、数学の未来を切り開いていくための研究施設「IUGC（宇宙際幾何学センター）」を設立します。全てのコースに合格すれば、世界中のあらゆる大学の数学科の学生よりもIUT理論の知識が備わります。また、世界初となる、IUT理論を理解する数学者の裾野を広げるためのオリジナル入門講座も開設します。
◆ZEN大学とは
ZEN大学は、すべての人たちを対象にした、グローバル社会で活躍するための素養や教養を身に付けることができる “日本発の本格的なオンライン大学” です。
最先端のテクノロジーと最前線で活躍するプロフェッショナルの教員によって創り出される、質の高いオンデマンド授業を自分のペースで学べ、オンラインだけで大学卒業資格を取得することができます。
また、地域･企業と連携したフィールドワークや国際交流など多様なプログラム活動もあり、実社会で活躍するための実践力を養えます。
ZEN大学 公式サイト：://zen-univ.jp
://www.icbs.cn/en/web/index/18009_1553670__
ICBS Satellite Conference on Algebraic and Arithmetic Geometry
2023 July 12th
Ivan Fesenko (Warwick University and Tsinghua University)
Higher adelic approach to the Tate-BSD conjecture
I will first present basics of two adelic structures on relative elliptic surfaces over Spec of the ring of integers of a number field or a smooth projective irreducible curve over a finite field and of the higher adelic zeta integral. Then I will concentrate on the higher adelic program to prove the equality of the arithmetic and analytic ranks of the generic fibre.
つづく
8:現代数学の系譜 雑談
25/08/21 23:03:36.75 /FwGOxIP.net
つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
URLﾘﾝｸ(www.amazon.co.jp)
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
(参考)
URLﾘﾝｸ(note.com)
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ。
形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ。
数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。
とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*) MP ーーーー形式化ー＞ FT
のことである。
形式化図式と数学の「理解」
形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない。
つづく
9:現代数学の系譜 雑談
25/08/21 23:05:35.28 /FwGOxIP.net
つづき
＜“big picture”＞
URLﾘﾝｸ(terrytao.wordpress.com)
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
URLﾘﾝｸ(terrytao.wordpress.com)
Career advice Terence Tao
謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗ これでしょうね ；ｐ）
(参考)＜いまリンク切れだが＞
URLﾘﾝｸ(youtu.be)
数学に向かない人の数学書の読み方。数学者はこうやって読む
謎の数学者 2022/06/07
コメント
@gary8593
2 年前
「絵を描くように」という例えが、めちゃくちゃ腑に落ちました。
特に英語の文献を読む時に精読を心がけすぎて、全体像が掴めなくなることがよくあって困ってたので、参考にします。
URLﾘﾝｸ(en.wikipedia.org)
Henri Poincaré
URLﾘﾝｸ(en.wikipedia.org)
The Value of Science (French: La Valeur de la Science) is a book by the French mathematician, physicist, and philosopher Henri Poincaré. It was published in 1904. The book deals with questions in the philosophy of science and adds detail to the topics addressed by Poincaré's previous book, Science and Hypothesis (1902).
(google訳)
直感と論理
最後に、ポアンカレは幾何学と解析学 の科学の間に根本的な関係があるという考えを提唱しました。彼によれば、直感には二つの主要な役割があります。科学的真理を探求する上でどの道を進むべきかを選択すること、そして論理的展開を理解することです。
論理は確実性しか与えず、証明の手段である。直感は発明の手段である。
つづく
10:１３２人目の素数さん
25/08/21 23:06:20.88 /FwGOxIP.net
つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾； ）
( ://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）
＜＊）サイコパスの特徴＞
（参考）://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
://kotowaza-allguide.com/to/torinakisatonokoumori.html#:~:text=%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0%E3%81%A8%E3%81%AF%E3%80%81%E3%81%99%E3%81%90%E3%82%8C%E3%81%9F%E8%80%85,%E3%81%A6%E3%81%84%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AE%E3%81%9F%E3%81%A8%E3%81%88%E3%80%82
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
つづく
11:現代数学の系譜 雑談
25/08/21 23:07:21.38 /FwGOxIP.net
つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 ://rio2016.2ch.sc/test/read.cgi/math/1623558298/813
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1．「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ」
てめえ、何様のつもりだ？ 5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
何をえらそうに！
2．「確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね」
てめえ、何様のつもりだ？
論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
ここまでは、終わったのです（＾＾
3．そして、今年6月末から4回の国際会議で、
IUT普及の義務を果たします
4．おサルが理解できるように？
それは無理！
”（スレ55 ://rio2016.2ch.sc/test/read.cgi/math/1623558298/158より）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ”
などという
これじゃ。三歳児レベルの知能じゃんかｗ
このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り) 以上
なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
テンプレは、以上です
12:１３２人目の素数さん
25/08/21 23:58:37.60 1ejVsqNi.net
精神の発達が思春期でとまってる発達障害がなんかいってるよ
13:１３２人目の素数さん
25/08/22 02:40:31.85 EqzHJSfS.net
妄想野郎が妄想全開で妄言はきまくってるだけさ
14:１３２人目の素数さん
25/08/22 06:40:05.98 DmmS/CLT.net
>>1 クソスレ立てんな 高卒
15:１３２人目の素数さん
25/08/22 06:41:57.18 DmmS/CLT.net
>>2
＞従来の数学では実現出来ないことが望月の圏論幾何で実現できているってことでしょ
ホラ吹きのホラを真に受ける国粋高卒
16:１３２人目の素数さん
25/08/22 06:43:26.48 DmmS/CLT.net
>>3
＞中島氏は、査読編集委員として、数年にわたる時間をかけて、ようやく理解したんじゃないの？
専門外の編集委員が理解したと妄想する国粋高卒
17:１３２人目の素数さん
25/08/22 06:45:46.04 DmmS/CLT.net
>>6
＞「ちゃんと査読された」ということを認める
未開土人ばかりの島国にある三流大学の研究機関RIMSの不正査読を盲信する国粋高卒
18:１３２人目の素数さん
25/08/22 06:48:59.51 DmmS/CLT.net
>>7
＞『IUT理論研究拠点の設立』
IUGCがなくなったことも知らん情弱高卒
URLﾘﾝｸ(zen.ac.jp)
19:１３２人目の素数さん
25/08/22 06:51:37.58 DmmS/CLT.net
>>8
＞”厳密性を数学と取りちがえるという勘違い”
＞なぜ微分積分学は不完全なのか？
大学１年の一般教養「微分積分学」の
実数の定義がチンプンカンプンで落ちこぼれた
神戸の公立高出身のカス高卒
20:１３２人目の素数さん
25/08/22 06:53:58.85 DmmS/CLT.net
>>10
＞サイコパスのピエロ、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男のアホ男です。
自己紹介が完璧な、国粋ファシストの高卒
21:１３２人目の素数さん
25/08/22 07:01:01.11 DmmS/CLT.net
>>11
＞「数学における日本とかいう野蛮な島のジコチュウ●チガイ…」
＞てめえ、何様のつもりだ？
＞5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
＞何をえらそうに！
大学１年の一般教養の微積で落ちこぼれた分際で
日本をバカにされると●チガイのごとくムキになって
下品な言葉で感情を爆発させる兵庫のド●ッタ高卒
＞てめえ、何様のつもりだ？
＞論文書いて、査読してもらって、
＞真摯に対応して査読を通してもらって
＞出版してもらう
＞ここまでは、終わったのです
訳の分からん長大な文章書いて
お友達に中東人に査読頼んで通させて
出版させて紙を無駄にする
土人の島国 日本 終わったな
２２世紀には滅んでるぞ
うれしいか 神戸の夜郎自大的国粋高卒
22:１３２人目の素数さん
25/08/22 07:06:23.57 DmmS/CLT.net
12 ＞精神の発達が思春期でとまってる発達障害
13 ＞妄想野郎
神戸のド●ッタ国粋君は、高校までは数学の秀才だったらしい
まあ、高校までの数学は、論理抜きで計算法丸暗記すれば解けるから、サルでもわかる（笑）
しかし、大阪の大学に行ったら、一般教養の微分積分のしょっぱな、実数の定義で
「全然、何言ってるのかわからん」状態になり、落第
要するに論理が分からんから
なぜ定義を立てるか分からず
なぜ定理を証明するかも分からん
要するに分からんづくし
大学に工学部は要らん
大学が学問を研究する場であって
会社に就職する奴の職業訓練の場ではない
23:１３２人目の素数さん
25/08/22 07:09:42.29 DmmS/CLT.net
IUは、2022のICMでも全く無風だった 2026でも同様
国粋馬鹿は諦められないらしいが無駄
日本とは東の意味 中国人が自分たちから見て東にある土人の島をそう呼んだだけ
生き残りたかったら中国語勉強しな
你好 謝謝
24:１３２人目の素数さん
25/08/22 07:12:09.39 DmmS/CLT.net
このクソスレでは、スレ立てた国粋高卒君が理解できなかった
大学１年の一般教養の微分積分学および線形代数学の基本についてのみ
彼にしつこく指導いたします
大学の数学科を卒業した諸君
協力 ４６４９
25:１３２人目の素数さん
25/08/22 21:35:33.72 C+rJoDfa.net
URLﾘﾝｸ(youtu.be)
26:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 10:28:47.13 XZ6J116Y.net
俺は高校年代は博士課程後期。高校のような低学歴じゃないよ。人をよく調べるのもマナーでは。
27:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 10:32:24.94 XZ6J116Y.net
大学の一年の時期は公務員教養と研究過程。その後独立行政職員で研究続けながら専門の師範など。専攻は文学。攻め。
28:現代数学の系譜 雑談
25/08/23 10:47:52.49 KYsCHIBD.net
ｽﾚﾘﾝｸ(math板:998番)
前スレ
>>998 タイポ訂正
もう一つは、カントールの対角線論法で 無限 二進数展開を使う
↓
もう一つは、カントールの対角線論法で 無限 小数数展開を使う
29:現代数学の系譜 雑談
25/08/23 10:49:20.97 KYsCHIBD.net
>>27
死狂幻調教大師S.A.D.@月と六ベンツ さん
ありがとうございます
スレ主です
今後も宜しくお願い致します。
30:１３２人目の素数さん
25/08/23 11:12:20.29 18cyucpd.net
前スレ985
>”算数・数学教育において、0.999… = 1 という関係（または類似の関係）が正しいことを教えることは一つの課題となっている”
Qを有理数全体、Xを有理コーシー列全体、Rを実数全体の集合とする。
R上の有理コーシー列の極限は、∀x∈Xに対してlim[n→∞]x:=[x] と定義されている。
無限小数0.999…なるものを、0.999…∈R 且つ 0.999…:=lim[n→∞](0.9,0.99,0.999,・・・) と定義する。R上で0.999…=[0.9,0.99,0.999,・・・]。
X上で1,1,1,・・・-0.9,0.99,0.999,・・・={1/10^n}→0 だから 1,1,1,・・・～0.9,0.99,0.999,・・・。よってR上で0.999…=[0.9,0.99,0.999,・・・]=[1,1,1,・・・]
一方Q上でlim[n→∞](1,1,1,・・・)=1だからR上で[1,1,1,・・・]=1。
以上からR上で0.999…=[0.9,0.99,0.999,・・・]=[1,1,1,・・・]=1。
Rを構成した時点で無限小数なるものは未定義だから、0.999…なるものを持ち出すならまずその定義が必要。
31:１３２人目の素数さん
25/08/23 11:15:40.01 18cyucpd.net
前スレ986
>無限小数を排除するのは勝手だが、自然数から有限小数への写像は否定できまい。
だから自然数の全体も有限小数の全体も否定してるんだって。無限集合は存在しないって書いてるじゃん。
32:１３２人目の素数さん
25/08/23 11:22:57.41 18cyucpd.net
前スレ986
>極限もまた、数列である
有理コーシー列xの極限はxが属す同値類：lim[n→∞]x:=[x]
これがRの構成におけるlim[n→∞]xの定義。
33:１３２人目の素数さん
25/08/23 11:30:03.72 18cyucpd.net
前スレ988
>有理数1/3 が、巡回小数表現を持つことは、小学生レベルだろう
>だが、これを 極限だの なんだのと グダグダしい説明をする必要はない！
有理数はね。無理数は？
34:１３２人目の素数さん
25/08/23 12:50:18.94 18cyucpd.net
前スレ998
>多分違うよ
>あなたの受けた 1980年代の日本の数学科は、そういう厳密病の教育だった気がする
>その後、数学も進歩して ノンスタ（超準）などが出て、21世紀の数学は結構自由なのだとなった
有理コーシー列の極限で実数を定義するとか超絶バカ発言してしまったオチコボレがまったくトンチンカンなこと言ってますね
>ここでは 極限だの収束だの へったくれを いう必要なし！
そのような不遜な態度だから君は実数の完備性を理解できないんだよ
35:１３２人目の素数さん
25/08/23 13:03:26.81 18cyucpd.net
>これを 極限だの なんだのと グダグダしい説明をする必要はない！
オチコボレが「グダグダ」と言いがかりつけるのは、自分が理解できないのを体よくごまかして自尊心を保とうとするため
36:現代数学の系譜 雑談
25/08/23 13:23:56.75 KYsCHIBD.net
>>30
ふっふ、ほっほ
君のアタマは20世紀（1980年代の旧型だね）
いま21世紀。下記を(参考)を 全文百回音読してねｗ ；ｐ）
とくに、”数学通信第１５巻第２号目次 2010
高木貞治に見る数学思想の変遷 足立 恒雄”をね ；ｐ）
21世紀では ”素朴集合論”というか
自然言語を援用する論理が復権している気がする
勿論、自然言語→形式論理に翻訳できることを確認しながらね
その中で、集合論より 圏論が使われる場合が増えている気がする
それは、圏論の中では下記
”圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる”
であり、自然言語を使わずに 形式論理などのグダグダを避ける
圏論は”意味論的な柔軟性をもち高階論理との親和性がある”
望月IUTは、圏論のキカだという
（下記 ”ABC予想を解く要件[1]の考察により、遠アーベル幾何などを拡大した圏の宇宙際 (IU) 幾何を構想した数学理論である[2]”）
圏論のキカに持ち込むと、グダグダの推論規則は不要で、それは圏論の規則に吸収される
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
URLﾘﾝｸ(ja.wikipedia.org)
圏論
圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。
歴史
一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている
つづく
37:現代数学の系譜 雑談
25/08/23 13:24:22.07 KYsCHIBD.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
素朴集合論
形式論理を用いて定義される公理的集合論とは異なり、素朴集合論は非形式的に自然言語で定義される。離散数学で馴染み深い数学的集合の側面（たとえば、 ベン図やブール代数に関する記号の取り扱い）を説明するものであり、現代の数学における集合論の概念を日常的に扱うのに十分なものである[4]。
集合は数学において非常に重要である。現代の形式的な扱いでは、ほとんどの数学的対象（数、関係、関数など）は集合の観点から定義される。素朴集合論は多くの目的に十分であると同時に、より形式的な取り扱いへの足がかりとしても有効である。
方法
「素朴集合論」という意味での素朴論は、形式化されていない理論、つまり、自然言語を使用して集合と集合の操作を述べる理論である。かつ (and)、または (or)、もし〜ならば (if ... then)、〜でない (not)、 ある〜に対して(for some)、すべての〜に対して (for every) は、通常の数学と同様に扱われる。便利であるため、素朴集合論とその形式主義は、集合論自体のより形式的な設定を含め、より高度な数学でも用いられている。
19世紀の終わりに、無限集合の研究の一環としてゲオルク・カントールによって構築され[5]、ゴットロープ・フレーゲが自身の著書 Grundgesetze der Arithmetik で発展させた。
公理的理論
公理的集合論は、どの操作がいつ許可されるかを正確に定めることを目的として、集合を理解するこれらの初期の試みに応えて開発された。
公理的集合論は必ずしも無矛盾というわけではなく、必ずしもパラドックスがないわけではない。ゲーデルの不完全性定理から、十分に複雑な一階述語論理システム（最も一般的な公理的集合論を含む）は、実際には無矛盾だとしても、理論自体の中から無矛盾性を証明できない。ただし、一般的な公理系は一般的に無矛盾と考えられている。これらの公理によって、ラッセルのパラドックスのようないくつかのパラドックスは排除されるためである。ゲーデルの定理に基づくと、これらの理論や一階述語論理の集合論にパラドックスが一切なくても、無矛盾性はわかっていないどころか、わかるものでもない
利用
公理的アプローチと他のアプローチのどちらを選ぶかは、主に利便性の問題である。日常の数学では、公理的集合論を非形式的に使うが最善の選択かもしれない
普遍集合と絶対補集合
特定の状況では、考えているすべての集合を、特定の普遍集合の部分集合と見なすことができる。たとえば、実数 R （および R の部分集合）の性質を調べる場合、 R は普遍集合と見なせる。真の普遍集合は標準集合論には含まれていないが（以下のパラドックスを参照）、一部の非標準集合論には含まれている。
初期の集合論におけるパラドックス
略す
つづく
38:現代数学の系譜 雑談
25/08/23 13:24:46.86 KYsCHIBD.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
自然数
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
自然数の集合論的構成
具体的な自然数は
1:=S(0)={0}={∅}
2:=S(1)={0,1}={∅,{∅}}
3:=S(2)={0,1,2}={∅,{∅},{∅,{∅}}}
4:=S(3)={0,1,2,3}={∅,{∅},{∅,{∅}},{∅,{∅},{∅,{∅}}}}
のようになる。この構成法はジョン・フォン・ノイマンによる[7]。
注釈
3 ^ 任意の部分集合に関する量化を行っているので、これは一階述語論理では形式化できない。
URLﾘﾝｸ(ja.wikipedia.org)
数理論理学
一階述語論理
形式論理の初期の結果は一階論理の限界を明らかにした。レーヴェンハイム＝スコーレムの定理（1919）は、可算な一階の言語における文の集合が無限モデルを持つならば、それは任意の濃度のモデルを少なくともひとつ持つことを示した。これは一階論理の公理系によって、自然数、実数ほか、いかなる無限構造も同型を除いて特徴づけることができないことを示している。初期の基礎論的研究の目標が数学の全部分の公理的理論を生み出すことであったから、この限界はとりわけ冷徹なものであった。
ゲーデルの完全性定理 (Gödel 1929) は一階論理の論理的帰結に対する構文論的定義と意味論的定義の同値性を確立した。これは、もしある特定の文が、ある特定の公理の集合を満たすあらゆるモデルで真であるならば、それらの公理からその文への有限な演繹が存在することを示している。
URLﾘﾝｸ(www.math.tsukuba.ac.jp)
Boolean valued higher order logics
池上大祐 東京電機大学 平成27年11月28日
ちょっと寄り道ctd.：順序数・基数無限にもいろいろありまして…。
だいぶ寄り道？ctd..：コンパクト性と巨大基数
つづく
39:現代数学の系譜 雑談
25/08/23 13:25:09.02 KYsCHIBD.net
つづき
URLﾘﾝｸ(www.mathsoc.jp)
数学通信第１５巻第２号目次 2010
高木貞治に見る数学思想の変遷 足立 恒雄 ６
URLﾘﾝｸ(www.mathsoc.jp)
高木貞治に見る数学思想の変遷
足立恒雄(早稲田大学理工学術院)
1 初めに
高木貞治（1875-1960）は若いころから数体系の基礎付けに関心が深かった．
5.3 19世紀末の自然数論
フレーゲの論理哲学を理解する能力は私にはないが，数学に対する貢献という観点に絞るなら，フレーゲは現代の数学を支える述語論理の創始者であると同時にその事実上の完成者であるということができる．フレーゲの論理学は現今の言葉で言えば，2階述語論理である．（しかし当時は１階も２階もなかった．）
5. フレーゲの著作『算術の基本法則』第II巻が完結したちょうどそのときラッセルからその名を冠した有名なパラドクスの知らせが届いたため，歴史的にはフレーゲは偉大な失敗者であるとみなされてきたが，1980年代に入ってフレーゲの算術上の仕事の研究が進み，大いにその名誉は回復された．
基数原理]P =]Q⇐⇒ P ≈Q
（ここにP ≈QはPなるxの全体とQなるyの全体が1対1に対応することを意味する．）によって導入し公理として置くと，2階述語論理によって，自然数論が展開できる．
6. 基数原理と2階述語論理の組み合わせは「フレーゲ算術FA」と呼ばれている．
8.1『数学雑談』の自然数論『数学雑談』ではランダウの『解析学の基礎』（1929）に基づき自然数論を展開している．すなわち次の通り：
略す
10.2 高木による連続体の特徴付け（最終形）高木は「技巧的なる可附番を払拭」するとして次を提唱する：IIIa.（最小性）連続かつ無限界なる線型順序集合はすべてLと同型なる部分集合を持つ．これが高木による連続体，実直線，実数体の特徴付け（＝公理系）の最終形であった．
（まとめ）
『数の概念』における数体系の基礎付けは，西洋の数学に50年遅れた状態から出発した高木の（ということは，つまり日本の）数学がその後50年かけてどのように発展したか，その到達点を示すものとして意義が深く，またその思想性，独創性という観点からも高く評価できる
(引用終り)
以上
40:１３２人目の素数さん
25/08/23 13:27:40.12 18cyucpd.net
>>36
>21世紀では ”素朴集合論”というか
>自然言語を援用する論理が復権している気がする
ああ、こいつぜんぜん分かってねー
41:１３２人目の素数さん
25/08/23 13:30:19.95 18cyucpd.net
>>36
>であり、自然言語を使わずに 形式論理などのグダグダを避ける
ほらね、>>35の通りでしょ
42:１３２人目の素数さん
25/08/23 13:34:18.01 18cyucpd.net
>>38
自然数もペアノの公理もぜんぜん分かってないオチコボレが長々とコピペしても無駄
43:現代数学の系譜 雑談
25/08/23 13:44:09.09 KYsCHIBD.net
>>38 補足
>URLﾘﾝｸ(www.math.tsukuba.ac.jp)
>Boolean valued higher order logics
>池上大祐 東京電機大学 平成27年11月28日
URLﾘﾝｸ(www.mathsoc.jp)
数学基礎論若手の会
2015年 筑波大学館山研修所 竹内耕太
URLﾘﾝｸ(www.math.tsukuba.ac.jp)
数学基礎論若手の会2015
日時：2015年11月27日(金)午後-29日(日)午前
講演資料（一部）
池上大祐(東京電機大学) Boolean valued higher order logics.
(追伸
石井大海(筑波大学) Lebesgue 可測性に関する Solovay の定理と実数の集合の正則性.URLﾘﾝｸ(www.math.tsukuba.ac.jp) )
URLﾘﾝｸ(researchmap.jp)
竹内 耕太
タケウチ コウタ (Kota TAKEUCHI)
基本情報
所属筑波大学 数理物質系 助教
学位
博士（数学）(2012年3月 筑波大学)
44:現代数学の系譜 雑談
25/08/23 13:53:07.11 KYsCHIBD.net
>>36 追加
(引用開始)
望月IUTは、圏論のキカだという
（下記 ”ABC予想を解く要件[1]の考察により、遠アーベル幾何などを拡大した圏の宇宙際 (IU) 幾何を構想した数学理論である[2]”）
圏論のキカに持ち込むと、グダグダの推論規則は不要で、それは圏論の規則に吸収される
(引用終り)
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
特にABC予想を解く要件[1]の考察により、遠アーベル幾何などを拡大した圏の宇宙際 (IU) 幾何を構想した数学理論である[2]
望月によれば、自身が2000年代に開発した、p進タイヒミュラー理論、楕円曲線のホッジ・アラケロフ理論、および、数論的log Scheme圏論的表示の構成等に続いた、いわば「楕円曲線を備えた数体のタイヒミュラー理論の算術版」であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である
ノッティンガム大学で純粋数学の教授を務めるイヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている[3][4]。
出典
1 ^ a b “数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月）”. 2021年5月30日閲覧。
2 ^ a b “宇宙際タイヒミューラー理論への誘（いざな）い”. 2021年5月30日閲覧。
3 ^ “CLASS FIELD THEORY, ITS THREE MAIN GENERALISATIONS, AND APPLICATIONS ;EMS Surveys 8(2021) 107-133”. 2021年11月20日閲覧。
4 ^ “Higher adelic theory”. 2022年1月22日閲覧。
45:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 13:54:04.19 XZ6J116Y.net
フレーゲクワインなんかはよく出来てるな。しかしボロボロの成績じゃないのかな。
46:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 13:57:14.04 XZ6J116Y.net
言語分析哲学、言語分析数理哲学の執筆なんてどうだろ。ここのログも。
47:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 13:57:55.30 XZ6J116Y.net
言語と数学の関係。
48:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 14:00:08.66 XZ6J116Y.net
数学はランチに一品追加じゃないけど趣味でするものじゃない食うていけるかが大事さ。
49:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 14:01:47.21 XZ6J116Y.net
兵糧計算から軍資金の調達やはり数学者は使いますよね。
50:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 14:03:33.79 XZ6J116Y.net
言語つまり古典哲学古典文学古典神学×数学。
51:１３２人目の素数さん
25/08/23 14:08:33.88 EjBWM/LE.net
ゴミが圏論を持ち出せば言語理論や推論規則がなくてもなんとかなるという妄想にたどりついたようだ。そんなわけがないのがなんでこのクズにはわからんのかね？知能を司る部分では理解できてるんやろうが、それを認めると自分が不愉快に感じるという感情の部分がそれを許さないんやろ
人間的な知性的判断より自分の感情のほうを優先する
もう脳が完全に故障してしまっとる。
52:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 14:11:20.54 XZ6J116Y.net
認知記憶障害と認知症、認知心理学関連とか大学病院でもやってるんだけど。
53:１３２人目の素数さん
25/08/23 14:11:51.37 EjBWM/LE.net
それとも知性的な判断の部分ですらそんなはずないと考えてしまうほど知世的判断ができない位ポンコツなのかもしれんが
54:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 14:13:42.97 XZ6J116Y.net
老人ホームや刑務所、精神病院に老後繋がれるより大学病院女子老人科はいかが。麻薬もある。
55:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 15:08:00.54 XZ6J116Y.net
真空の牙馬で心臓丸呑みされたのは怪我や魔創だけど。心臓魔力で継いでもらって戦ったがが統合失調症はどうやら神経障害圏にすぎないけど。
56:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 15:10:09.16 XZ6J116Y.net
真空の牙 。
57:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 15:10:58.27 XZ6J116Y.net
サイレンススズカと死したよ。
58:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 15:11:54.24 XZ6J116Y.net
後を継ぐ者がいたからな。魔人大戦。
59:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/23 15:14:02.88 XZ6J116Y.net
東京タワーだったな4F阿修羅龍の檄襲は。
60:現代数学の系譜 雑談
25/08/23 15:58:28.13 KYsCHIBD.net
>>39 補足
>フレーゲの論理学は現今の言葉で言えば，2階述語論理である(しかし当時は１階も２階もなかった)
１）下記『二階述語論理は一階述語論理よりも表現能力が高い』
が ラッセルのパラドックスなどの問題から
20世紀前半は、一階述語論理限定が主流だった
２）『近年、二階述語論理は一種の回復の途上にある』（下記）
３）『ゲーデルの加速定理』（下記）があって
”n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在する”
４）圏論で、高階の論理が使えれば 数学的加速ができる
そういうことですね（たぶん） ；ｐ）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
二階述語論理
二階述語論理は一階述語論理よりも表現能力が高い
二階述語論理では、「ドメインは有限である」とか「ドメインは可算無限集合の濃度である」といった文も形式的に表現可能である。ドメインが有限であるというには、そのドメインから同じドメインへの全ての単射関数が全射であることを論理式で表せばよい。ドメインが可算無限集合の濃度であることをいうには、そのドメインの任意のふたつの無限部分集合間に全単射があることを論理式で表せばよい。一階述語論理ではこれら（「有限集合であること」や、「可算集合であること」）を表現できないことが、レーヴェンハイム-スコーレムの定理から導かれる
歴史と論争
フレーゲは量化の種によって異なる変項を使っていたが、彼には2種類の異なる論理を扱っているという認識はなかった。ラッセルのパラドックスによって、その体系に問題があることが明らかとなった。論理学者らは問題を解決すべく、フレーゲの論理に制限を加える各種方法を検討し、それが一階述語論理となった。一階述語論理では、集合や属性は量化できないことになった。このような論理の階層化がこのころ初めてなされるようになった
一階述語論理を使うと、集合論を公理的体系として形式化できることがわかり（完全性の問題はあるが、ラッセルのパラドックスほど悪いことではない）、公理的集合論が生まれ、集合は数学の基盤となった。算術、メレオロジー、その他の様々な論理的理論が一階述語論理の範囲内で公理的に定式化でき、ゲーデルやスコーレムが一階述語論理に固執したこともあって、二階や高階の述語論理はほとんど省みられなかった
近年、二階述語論理は一種の回復の途上にある。この傾向をもたらしたのは George Boolos による二階の量化の解釈であり、彼は一階の量化と同じドメインでの複数形の量化として二階の量化を解釈した
計算複雑性理論への応用
有限な構造についての二階述語論理の各種形式の表現能力は、計算複雑性理論と密接に関係している
URLﾘﾝｸ(ja.wikipedia.org)
ゲーデルの加速定理は、クルト・ゲーデルにより証明された、数理論理学における定理である
それはn階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在するというものである
URLﾘﾝｸ(fuchino.ddo.jp)
科学基礎論研究 2018
数学と集合論—ゲーデルの加速定理の視点からの考察 —渕野 昌
61:１３２人目の素数さん
25/08/23 17:15:15.05 XQOxXTSd.net
>>28
N：＝{0,1,2,・・・} は、…あくまで 上限の無い 有限集合でしかない
ｽﾚﾘﾝｸ(math板:111番)
とかほざくトンデモ●違いの ◆yH25M02vWFhP が
何をいっても笑われるだけ
>>29
「現代数学の落伍者 ◆yH25M02vWFhP」な（笑）
62:１３２人目の素数さん
25/08/23 17:23:56.00 XQOxXTSd.net
>>36
>21世紀では
>”素朴集合論”というか自然言語を援用する論理が
>復権している気がする
⋀も⋁も∀も∃も読めない高卒 ◆yH25M02vWFhPの妄想
>勿論、自然言語→形式論理に翻訳できることを確認しながらね
自然言語を論理式に翻訳できない高卒 ◆yH25M02vWFhP（笑）
>集合論より 圏論が使われる場合が増えている気がする
>圏論は”意味論的な柔軟性をもち高階論理との親和性がある”
集合論の初歩も分からん◆yH25M02vWFhPに
圏論など分からんから諦めろ
一階述語論理も分からん◆yH25M02vWFhPに
二階述語論理など分からんから諦めろ
>グダグダの推論規則は不要で、圏論の規則に吸収される
述語論理の推論規則すら理解できん◆yH25M02vWFhPには
いかなる規則も分からんから諦めろ
>>37-39
いくらコピペしても、高校で数学終わった◆yH25M02vWFhPには
全く理解できんから諦めろ
63:１３２人目の素数さん
25/08/23 17:27:59.12 XQOxXTSd.net
>>43-44
◆yH25M02vWFhPが何をコピペしようと、彼の数学の最高峰は
三角関数の加法定理 と オイラーの公式 止まり
今は２１世紀だが、彼の数学は１８世紀止まり
64:１３２人目の素数さん
25/08/23 17:38:54.14 XQOxXTSd.net
>>60
URLﾘﾝｸ(ja.wikipedia.org)
二階述語論理
■意味論
二階述語論理では2種類の意味論 standard semantics と Henkin semantics がある。
どちらの意味論でも、一階述語論理の範囲内の意味論（一階の量化、論理和や論理積など）は一階述語論理と同じである。
異なるのは、二階の変項への量化の解釈である。
standard semantics では、その種の集合や関数すべてに対しての量化と捉える。
従って、一階の変項のドメインが明確化されれば、全ての量化の意味が固定される。
これにより、二階述語論理の表現能力がもたらされる。
Henkin semantics では、二階の変項にはそれぞれの種ごとにドメインがあり、その種の集合や関数全体の真部分集合の場合がある。
ヘンキン(1950) がこの意味論を定義し、一階述語論理で成り立つゲーデルの完全性定理とコンパクト性定理が、
Henkin semantics と組み合わせた二階述語論理でも成り立つことを証明した。
これは Henkin semantics が多種の一階述語論理とほぼ等価であるためである。
Henkin semantics を伴った二階述語論理は、一階述語論理と同等の表現能力しかない。
Henkin semantics は主に二階算術の研究で使われている。
■推論体系
論理の推論体系（あるいは演繹体系）とは、推論規則と論理公理の集合であり、論理式の並びが妥当な証明となっていることの根拠となる。
二階述語論理には、いくつかの推論体系があるが、standard semantics に対して完全と言えるものは存在しない。
どの体系も健全であり、証明に使える全ての文は適当な意味論において論理的に妥当である。
最も弱い推論体系は、一階述語論理の標準の推論体系（例えば自然演繹）に二階の項の置換規則を加えたものである[2]。
この推論体系は二階算術の研究で主に使われている。
Shapiro (1991) と ヘンキン(1950) が検討した推論体系は、内包公理と選択公理を追加したものである。
これら公理は二階述語論理の standard semantics に対して健全である。
Henkin semantics の場合は、それら後置を満足するよう考慮した Henkin モデルであるときだけ健全と言える。
65:１３２人目の素数さん
25/08/23 17:39:59.23 XQOxXTSd.net
>>64のつづき
■二階論理とメタ論理学の成果
ゲーデルの不完全性定理の系の1つとして、以下の3つの属性を同時に満足するような二階述語論理の推論体系は存在しないとされた。
（健全性）証明可能な二階述語論理の文は常に真である。すなわち standard semantics に従ったあらゆるドメインで真である。
（完全性）standard semantics において常に妥当な二階述語論理の論理式は、全て証明可能である。
（実効性）与えられた論理式の並びが妥当な証明かどうかを正しく決定できる証明検証アルゴリズムが存在する。
この系を言い換えると、二階述語論理は完全な証明理論に従わない、とも言える。
この観点で、standard semantics を伴った二階述語論理は一階述語論理とは異なり、
そのせいもあって論理学者は長年、二階述語論理に関わることを避けてきた。
ウィラード・ヴァン・オーマン・クワインは二階述語論理は「論理」ではないと考える理由としてこれを挙げている。
上述のように Henkin は Henkin semantics を使えば
二階述語論理に一階述語論理の標準的な
健全で完全で実効的な推論体系を適用できることを証明した。
（注）任意のstandard semanticで真となる式が、任意のHenkin semanticsで真となる、とは言えない
つまり、任意のstandard semanticで真となるが、あるHenkin semanticsで偽となるような式がある
66:１３２人目の素数さん
25/08/23 18:17:16.37 EjBWM/LE.net
そして未だにこれだけ一階述語論理についての資料を読んでもまだその意味がとれてない。
この部分についてはそもそも「知的判断では意味がとれてるが感情的判断がそれを邪魔してる」のではなく「知的にそもそも意味をくみ取ることができていない」なのだから知的判断の部分のポンコツさが起因してるようだな。
頭悪すぎて話にならん
67:現代数学の系譜 雑談
25/08/23 18:25:37.00 KYsCHIBD.net
>>60 追加
・高階直観主義論理とトポス 荒武永史（下記）
『高階直観主義理論に対応する圏のクラスがトポスである。高階直観主義
論理とトポスについても、構文圏・函手的意味論・トポス値意味論を議
論できるがここでは扱わず、内部論理のみを扱う。以下の説明で
▶トポスの圏構造があれば高階直観主義論理を解釈できる』
・『位相空間上の層』
要するに、グロタンディークは 圏論使いの達人だった
彼は、代数幾何を圏論で扱うために”トポス”を考えたという
”トポス”は、高階なので 実は加速定理を使っているという意味あいもあるのです
”トポス”と”層”も、ご親戚 ；ｐ）
(参考)
URLﾘﾝｸ(researchmap.jp)
荒武 永史 アラタケ ヒサシ (Hisashi Aratake)
経歴 6
2024年4月 - 現在小山工業高等専門学校, 一般科, 助教
2021年8月 - 2024年3月京都大学, 数理解析研究所, 研究員
学歴 3
2017年4月 - 2021年7月京都大学, 大学院理学研究科, 数学・数理解析専攻 博士後期課程
2011年4月 - 2015年3月京都大学, 理学部, 理学科
URLﾘﾝｸ(researchmap.jp)
高階直観主義論理とトポス 荒武永史
ロジックウィンタースクール 2023年
P5
高階直観主義理論に対応する圏のクラスがトポスである。高階直観主義
論理とトポスについても、構文圏・函手的意味論・トポス値意味論を議
論できるがここでは扱わず、内部論理のみを扱う。以下の説明で
▶トポスの圏構造があれば高階直観主義論理を解釈できる
▶高階直観主義論理はトポスの内部論理として充分な表現力を持つ
という2 点を納得できればOK
P18
位相空間上の層
位相空間X の開集合たちが成す順序集合をO(X) で表す。
URLﾘﾝｸ(uemurax.github.io)
トポスと高階論理∗ Taichi Uemura 2018 年12月9日
P6
3 高階論理のモデル
高階論理のトポス意味論を与え、その健全性を見る。T=(T,Σ,A)を高階理論、E をトポスとする。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
トポス（topos）とは、位相空間上の層のなす圏を一般化した概念である
数理論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった
歴史
グロタンディークはスキームとトポスとを同じ年に見いだしたと『収穫とまいた種と』で回想している。実際にグロタンディーク・トポスの一般論が整備されたのはSGA IVでの彼自身による発表の中でだった。その後ウィリアム・ローヴェアが集合論のモデルとしての可能性を見いだし、強制法との関連、ドリーニュの定理のとらえ直しなど記号論的な認識が深められた
68:１３２人目の素数さん
25/08/23 18:29:39.58 EjBWM/LE.net
こんなネットで拾ってきた初心者向けの情報だけでそれを専門にしてる人間と議論ができると思ってる時点でまともな知能指数を有していなことがわかる。
そしてそれを自覚する知能すらない。
69:現代数学の系譜 雑談
25/08/23 18:34:12.28 KYsCHIBD.net
>>66
>そして未だにこれだけ一階述語論理についての資料を読んでもまだその意味がとれてない。
なんだ？
これは これは ヒキコモリ数学者の 基礎論研究くんか？
お元気そうでなによりだ
ところで、一階述語論理は あくまで 叩きのネタだ
主張していることは、望月IUTは 圏論のキカだから
それは グロタンディークのトポスと同じだよと（>>67ご参照）
つまり、一階述語論理には縛られない ってことよ
宇宙空間(IUTのダジャレ) の高いｗ 高階論理の世界の話だってことよｗｗ
おわかりか？ｗｗｗ ；ｐ）
70:１３２人目の素数さん
25/08/23 18:40:19.93 EjBWM/LE.net
>>69
だから一階述語論理という概念自体がお前のポンコツの知能では理解できないということ位は理解しろよ能無し。
それすら理解できないお前が圏論もトポスも理解できるはずもない。
せいぜいそういう単語が関連する文章のなかに出てくるということしかわからないポンコツが人並みのことば喋るな。
71:１３２人目の素数さん
25/08/23 18:50:33.86 18cyucpd.net
>>67
>要するに、グロタンディークは 圏論使いの達人だった
へぇ そうなの？
でも君は論理の初歩の初歩も分かってないよね
分かってるなら∩は公理から導けないから使えないとか超絶アホなこと言わないですから 残念！
72:１３２人目の素数さん
25/08/23 18:52:44.92 18cyucpd.net
>>69
>ところで、一階述語論理は あくまで 叩きのネタだ
ネタも何も君、一階述語論理何も分かってないじゃん
現になにで勉強したかすら君答えられなかったじゃん
73:１３２人目の素数さん
25/08/23 19:04:02.92 EjBWM/LE.net
こいつがダメなのはもちろん一階述語論理という概念が理解できる知能がないという部分に現れてるが、もっと根源的な部分としてそもそも「じぶんがわかってない」ことが理解できていない。
わからないけど「関連してる単語をちりばめてそれっぽい日本語になってるから反論になってるだろ」という信じられない結論に到達してる。
こんな結論導き出す「人語として読めるが意味ない文章を作り出すうんこ製造機」でしかない。
74:１３２人目の素数さん
25/08/23 19:21:19.53 XQOxXTSd.net
そもそも、◆yH25M02vWFhP は、圏論ガー、高階論理ガーと吠えるが
なぜ、実数を無限小数ではなく有理コーシー列の同値類と定義するか
が全然分かってない
もし、実数を無限小数として定義したとしよう
この場合、ある式の値が実数であると示すために
それが無限小数となることを示さねばならない
のみならず二つの式の値が等しいことを示すのに
両者が同じ無限小数で表されることを示さねばならない
当然？これが計算しかできない高卒馬鹿の発想
いちいち計算するのは馬鹿である
無限小数という特有のコーシー列として示すより
より一般的なコーシー列として示すほうが楽だろう
また無限小数という特有のコーシー列の同一性に帰着させるより
二つのコーシー列の差となる列が０に収束することを示して
同値であることを示すほうが楽だろう
具体的な存在の分かりやすさを求めるのは馬鹿素人
命題の証明しやすさを求めるのが利口な玄人
こんなことが分からない奴は大学行っても無駄である
まあ工学部は大学じゃなく工業高等専門学校という職業訓練学校だけどな
ハハハハハハハ！！！
75:１３２人目の素数さん
25/08/23 21:09:08.06 DzOtJqUP.net
「有理コーシー列の極限で実数を構成する」
これがどれほどバカ発言か分かってないのが痛い
有理数Qが完備でないからこそ実数の構成が必要なのに、根本から分かってない
コピペバカに数学は無理
76:１３２人目の素数さん
25/08/23 21:13:18.02 KfxzMKVc.net
htt
ps://youtu.be/1rjUGp_LjWE?si=_PnSid25pWb6IzUl
htt
ps://youtube.com/shorts/-Mz8gYnN3m8?si=Gq8LS1LQ7lb1HrMN
77:１３２人目の素数さん
25/08/23 21:17:25.12 KfxzMKVc.net
お前今チンチラのことチラッチラ観てただろ。
78:１３２人目の素数さん
25/08/23 21:18:36.09 KfxzMKVc.net
ハリネズミに踏まれたセロテープみてえに
ねっとりねっとりｽﾙﾙｴに粘着しやがってよぉ…
79:１３２人目の素数さん
25/08/23 21:27:10.86 KfxzMKVc.net
もっと高級な粘着してﾎﾗﾎﾗﾎﾗ（挑発）
80:現代数学の系譜 雑談
25/08/23 22:15:12.23 KYsCHIBD.net
>>70
これは これは ヒキコモリ数学者の 基礎論研究くんか？
お元気そうでなによりだ
まあ、がんばれよ
>>71-75
こっちは、数学科オチコボレさんのおサルさんかい？（>>10 ）
>>36-37 に書いたが
21世紀の集合論に２種あり。
自然言語主体の素朴集合論と、形式論理の公理的集合論
さらには、一般の数学は 普通の数学論文やテキストは、自然言語が主で
さらに うまく 圏論や素朴集合論や、公理的集合論のいいとこ取りを組み合わせて
書かれているのが ふつう
AI時代は、形式論理の公理的集合論の部分には コンピューター処理が入ってくるだろう
（現在でも、コンピューターによる自動証明が研究されているし、MathematicaもAI化されている）
人間の数学は、これらのコンピューター処理の援用を前提として
数学研究を考えた方がいいだろう
実際、IUTでも フェルマー最終定理の別証明は 理論的に定数nで ある数以上は
フェルマー最終定理の整数解が存在しないことを示して、nが小さいところを
コンピューター処理で潰している
周忠鵬はフェルマーの最終定理の一般化も同様
あたかも、円周率πの小数展開において
シャンクス 手計算で 小数点以下第527位まで正しい計算をしたが
いま、コンピュータの利用で 300兆桁に到達しているごとし
おサルさん、君でも数学研究ができるかもよｗ ；ｐ）
(参考)
URLﾘﾝｸ(www.wolfram.com)
Wolfram流
ハイブリッドAI：生成AIを超える
Wolframの配備でAIを強化する
すぐに使える計算AI製品
Wolfram|Alphaは2009年から信頼できるAIの開発をリードしてきました．事実データに支えられた緻密な計算を使って，多様なトピックについて専門家レベルの答を解析し可視化します．WebサイトまたはAPIから直接アクセスできます．
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
数論の結果
2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した。[79][80] [81]
URLﾘﾝｸ(ja.wikipedia.org)
円周率
1873年、ウィリアム・シャンクスは彼自身の手で小数点以下第707位までを計算した（ただしその結果は途中で生じた誤りにより小数点以下第527位までしか正しくなかった）
コンピュータの利用
2025年4月2日に、Linus Media Groupは円周率300兆桁を7ヶ月半掛けて計算した[35][36]。
81:１３２人目の素数さん
25/08/23 22:20:52.12 KYsCHIBD.net
>>76-79
ご苦労さまです
おもしろいね それ
82:１３２人目の素数さん
25/08/23 22:53:42.56 18cyucpd.net
>>80
>さらには、一般の数学は 普通の数学論文やテキストは、自然言語が主で
いやいや、wikipediaですら論理式バリバリ使ってますけど？
君、論理式読めないじゃん
だから「∩の添え字範囲が書かれてないから不明確」とか超絶アホなこと言ってたじゃん もう忘れたの？ 都合良い記憶だなｗ
83:１３２人目の素数さん
25/08/23 22:54:15.54 9HEcSdR7.net
まぁこいつが唯一役に立ってるのはこいつ以外の信者の頭に「こんなアホと俺同じこと言ってるのか」と一歩立ち止まるチャンスを与えてることだけやな。
もう殆ど信者ものこってないけど残ってないけど
84:１３２人目の素数さん
25/08/23 23:01:09.91 18cyucpd.net
>>80
>AI時代は、形式論理の公理的集合論の部分には コンピューター処理が入ってくるだろう
君はAIマンセーだけど、実数の整列順序についてのAI回答ズタボロだったやん。
と、言ったところで君には分からんか、バカはバカをバカと見抜けないんだから。
85:現代数学の系譜 雑談
25/08/23 23:10:13.92 KYsCHIBD.net
>>75
>「有理コーシー列の極限で実数を構成する」
>これがどれほどバカ発言か分かってないのが痛い
>有理数Qが完備でないからこそ実数の構成が必要なのに、根本から分かってない
それ、君だろ？（下記）ｗｗ ；ｐ）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
完備距離空間
位相空間論あるいは解析学において、距離空間 M が完備（かんび、英: complete）またはコーシー空間（コーシーくうかん、英: Cauchy space）であるとは、M 内の任意のコーシー点列が M に属する極限を持つ（任意のコーシー点列が収束する）ことを言う。
直観的に言えば、空間が完備であるというのは（その内側や境界において）点を追いかけると「空間からはみ出してしまう」ということが起きないということである。例えば、有理数全体の成す集合 ℚ は完備でないが、これは例えば2 の正の平方根は、それに収束する有理コーシー数列が構成できるにも拘らず、有理数ではないので ℚ からははみ出してしまう（後述）。「こういった抜けを全て埋めてしまう」という考えは後述するように、空間の完備化 (completion) として常に可能である。
例
有理数全体の成す集合に差の絶対値によって定義される標準距離函数を備えた空間 ℚ は完備でない。例えば
略
で定義される列を考えると、これは有理コーシー数列だが如何なる有理数にも収束しない。実際、これが何らかの有理数 x に収束するならば、x は x^2 = 2 を満たさねばならないが、これを満たす有理数は存在しない。しかしながら、同じ列を実数列と考えるならば無理数である √2 を極限に持つ。
同様に単位開区間 (0, 1) に絶対値による距離を入れた空間は、やはり完備でない。例えば xn ≔ 1/n
で定義される数列はコーシー数列だが極限は元の空間に入らない。一方、単位閉区間 [0, 1] は完備である。先ほどと同じ列はこの空間内に極限を持ち、0 に収束する。
実数全体の成す空間 ℝ や複素数全体の成す空間 ℂ（ともに絶対値による距離を入れる）は完備であり、同様にユークリッド座標空間 ℝn も通常の距離函数に関して完備である。これと対照的に、無限次元ノルム線型空間は完備になることもならないことも起こり得る（完備な場合をバナハ空間と呼ぶ）。
任意の素数 p に対して、p-進数全体の成す空間 ℚp は完備である。この空間は有理数の空間 ℚ を p-進距離で完備化したものである（同様の仕方で、ℚ を通常の距離で完備化したものは実数の空間 ℝ になる）
URLﾘﾝｸ(en.wikipedia.org)
Construction of the real numbers（実数の構成）
86:１３２人目の素数さん
25/08/23 23:13:16.67 18cyucpd.net
>>80
>いま、コンピュータの利用で 300兆桁に到達しているごとし
>おサルさん、君でも数学研究ができるかもよｗ ；ｐ）
300兆桁が3000兆桁になることにどんな意義があるか考える知能の無いサルがいかにも言いそうな発言で草
87:１３２人目の素数さん
25/08/23 23:15:00.09 18cyucpd.net
>>85
>それ、君だろ？（下記）ｗｗ ；ｐ）
サル発狂
とうとう自分と他人の区別もつかなくなったかｗ
88:１３２人目の素数さん
25/08/23 23:26:51.54 18cyucpd.net
サル「有理コーシー列の極限で実数を構成する」
有理コーシー列は有理数Qにおいて一般に収束せず実数Rにおいて収束するのだから、
有理コーシー列の極限で実数を構成するには実数が構成されている必要がある。
さて、実数の構成はいつ終わるでしょうか？
はい、サル死亡ｗ
89:１３２人目の素数さん
25/08/23 23:29:53.78 9HEcSdR7.net
色々資料をコピペしてくるけどそもそも意味がわかってないから必要なところを切り抜くこともできず文章全体をコピペすることしかできない。
しかも基礎論絡みのコピペは出てくる単語の日本語訳が共通してる全然関係ない話が殆ど。
正直chatGPT以下
90:１３２人目の素数さん
25/08/23 23:32:18.96 18cyucpd.net
サルは数学を語らぬことだ
サルの分際で人間様並みの知能があると自惚れるから痛い目に合う
最初から分をわきまえていれば数学を語る愚は犯さぬだろう
91:現代数学の系譜 雑談
25/08/23 23:44:05.04 KYsCHIBD.net
>>37 補足
(引用開始)
URLﾘﾝｸ(ja.wikipedia.org)
素朴集合論
形式論理を用いて定義される公理的集合論とは異なり、素朴集合論は非形式的に自然言語で定義される
方法
「素朴集合論」という意味での素朴論は、形式化されていない理論、つまり、自然言語を使用して集合と集合の操作を述べる理論である
(引用終り)
さて
１）”「素朴集合論」という意味での素朴論は、形式化されていない理論、つまり、自然言語を使用して集合と集合の操作を述べる理論である”
日常の殆どの数学の場面が、自然言語を使用して 述べられる
２）”操作”という用語自身さえ、公理的集合論の正規の用語ではない
なぜならば、”操作”を 公理的集合論内に取り入れるには、用語”操作”を定義する必要がある
さらに その定義に使った用語を また 定義する必要が出てくる
だから、不必要な用語は、公理の外が良い
３）さて、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくある
例えば、下記の「箱入り無数目」”可算無限個ある箱に 実数を入れる”など
無限集合を 自然言語で扱う以上、無限操作を考えることは当然ありだ （極限？ およびじゃない）
下記 Sergiu Hart氏も Let X = R^N countable infinite sequences of real numbers としている
また 区間[0,1]の有理数の”infinite decimal expansion 0.x1x2...xn...,”を考える
無限小数だね （極限？ およびじゃない）
要するに、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくあるってことよｗ ；ｐ）
ｽﾚﾘﾝｸ(math板:1番)-5
(参考)時枝記事
URLﾘﾝｸ(imgur.com) (リンク切れてしまったが そのうちにｗ)
数学セミナー201511月号「箱入り無数目」
ｽﾚﾘﾝｸ(math板:401番)-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
略.そして箱をみな閉じる.
(参考)
URLﾘﾝｸ(www.ma.huji.ac.il)
Sergiu Hart
URLﾘﾝｸ(www.ma.huji.ac.il)
Some nice puzzles:
URLﾘﾝｸ(www.ma.huji.ac.il)
Choice Games November 4, 2013
P1
Let X = R^N be the set of countable infinite sequences of real numbers. Consider the equivalence relation on X where x ∼ x′ if and only if there is N such that xn = x′ n for all n ≥ N (i.e., x and x′ coincide except for finitely many coordinates).
つづく
92:現代数学の系譜 雑談
25/08/23 23:44:28.13 KYsCHIBD.net
つづき
P2
A similar result, but now without using the Axiom of Choice.2 Consider the following two-person game game2: • Player 1 chooses a rational number in the interval [0,1] and writes down its infinite decimal expansion 0.x1x2...xn..., with all xn ∈ {0,1,...,9}. • Player 2 asks (in some order) what are the digits xn except one, say xi; then he writes down a digit ξ ∈ {0,1,...,9}. • If xi = ξ then Player 2 wins, and if xi= ξ then Player 1 wins. By choosing i arbitrarily and ξ uniformly in {0,1,...,9}, Player 2 can guarantee a win with probability 1/10. However, we have: Theorem 2 For every ε > 0 Player 2 has a mixed strategy in game2 guaranteeing him a win with probability at least 1 － ε.
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively.
(引用終り)
以上
93:現代数学の系譜 雑談
25/08/23 23:51:39.21 KYsCHIBD.net
>>87-90
>有理コーシー列は有理数Qにおいて一般に収束せず実数Rにおいて収束するのだから、
>有理コーシー列の極限で実数を構成するには実数が構成されている必要がある。
>さて、実数の構成はいつ終わるでしょうか？
ふっふ、ほっほ
(参考)>>85より再録
URLﾘﾝｸ(ja.wikipedia.org)
完備距離空間
位相空間論あるいは解析学において、距離空間 M が完備（かんび、英: complete）またはコーシー空間（コーシーくうかん、英: Cauchy space）であるとは、M 内の任意のコーシー点列が M に属する極限を持つ（任意のコーシー点列が収束する）ことを言う。
直観的に言えば、空間が完備であるというのは（その内側や境界において）点を追いかけると「空間からはみ出してしまう」ということが起きないということである。例えば、有理数全体の成す集合 ℚ は完備でないが、これは例えば2 の正の平方根は、それに収束する有理コーシー数列が構成できるにも拘らず、有理数ではないので ℚ からははみ出してしまう（後述）。「こういった抜けを全て埋めてしまう」という考えは後述するように、空間の完備化 (completion) として常に可能である。
URLﾘﾝｸ(en.wikipedia.org)
Construction of the real numbers（実数の構成）
(引用終り)
詰んだな、おサルさん(>>5) ｗｗ ；ｐ）
94:１３２人目の素数さん
25/08/24 00:04:17.06 /+HkFcts.net
自分はよんでもわからないものを「読め」ということに一ミリも恥ずかしさを感じることができない。
もう人間として壊れてしまってるよ。
95:１３２人目の素数さん
25/08/24 00:05:28.44 rTm6xTpy.net
>>91
>日常の殆どの数学の場面が、自然言語を使用して 述べられる
殆どじゃダメだね
だって君一番肝心な
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
が読めずに発狂してたじゃん
96:１３２人目の素数さん
25/08/24 00:33:16.00 rTm6xTpy.net
>>93
>詰んだな、おサルさん(>>5) ｗｗ ；ｐ）
ん？ 君、自分が死んだことに気付かなかったのかい？
君は無限ループに嵌って死んだんだよ だって君のやり方で実数を構成するには実数が構成されてないとダメだからね
97:１３２人目の素数さん
25/08/24 00:37:35.62 /+HkFcts.net
そもそもwikipedia の素朴集合論の項めちゃくちゃやなw
多分英語版の直訳なんだろうけど英語版の方もメッチャクチャw
なにが native で何が axiomatic なのか完全に取り違えとるわ。
まぁ素人の文章なんかこんなもんなんやろうけど。
98:１３２人目の素数さん
25/08/24 01:27:21.80 rTm6xTpy.net
>>91
>３）さて、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくある
> 例えば、下記の「箱入り無数目」”可算無限個ある箱に 実数を入れる”など
自然言語と無限操作は関係無い。
「可算無限個ある箱に任意に実数を入れる」のどこにもひと箱ずつとは書かれていない。書かれていないことが見えるのは病気。
上記「」内は ∀s∈R^N を意味しており、無限操作を考える必要はまったく無い。
>要するに、日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくあるってことよｗ ；ｐ）
ただの妄想。
自然言語を持ち出したからって無限級数が無限回の足し算になることは無い。残念！
99:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/24 06:17:17.88 IPNUU5t7.net
演劇化やコーランのようなストーリー化しないから意味がわからないわけでそういうのは俺ら書き手で責任を取るべきだ。わからない方に問題があるわけでないからそれを攻めるのはよくない。
100:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/24 06:17:59.28 IPNUU5t7.net
責める。
101:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/24 06:20:15.79 IPNUU5t7.net
相手に無理な要求することに無自覚なものに数学者になる資格はない。
102:１３２人目の素数さん
25/08/24 07:39:25.64 jDvM1F2N.net
◆yH25M02vWFhP のトンデモ数学用語
「素朴集合論」
36
>”素朴集合論”というか自然言語を援用する論理
37
>素朴集合論は非形式的に自然言語で定義される。
>素朴集合論は多くの目的に十分であると同時に、
>より形式的な取り扱いへの足がかりとしても有効である。
>「素朴集合論」という意味での素朴理論は、形式化されていない理論、
>つまり、自然言語を使用して集合と集合の操作を述べる理論である。
>…素朴集合論とその形式主義は、便利であるため、
>集合論自体のより形式的な設定を含め、
>より高度な数学でも用いられている。
素朴集合論は「自然言語を用いるから素朴」とおもってる馬鹿（笑）
素朴集合論が素朴なのは「集合とはものの集まり」と考えてるから
例えば、素朴集合論では
ある性質を満たす集合全体の集まりも集合（内包公理）
だがそう考えると矛盾する
単純に集合全体の集まりを集合と考えても矛盾
また自分自身を含まない集合全体の集まりを集合と考えても矛盾
ツェルメロの公理的集合論ではこの矛盾をなくすために
「集合とはものの集まり」と考えるのをやめた
例えば
「ある性質を満たす集合全体の集まりは集合である」（内包公理）をやめて
「集合の集合の中で、ある性質を満たす集合全体の集まりは集合である」（分出公理）とした
また、無限集合は無限操作で構成するなどできないから
代わりに無限公理を立てた
「空集合を要素とし、任意の集合ｘについてｘが要素ならｘ∪｛ｘ｝も要素であるような集合が存在する」
>>80
>自然言語主体の素朴集合論と、
>形式論理の公理的集合論
>さらには、一般の数学は 普通の数学論文やテキストは、自然言語が主で
>さらに うまく 圏論や素朴集合論や、公理的集合論の
>いいとこ取りを組み合わせて書かれているのが ふつう
完全な馬鹿
公理的集合論も自然言語で語れる
しかしそのことをもって
「公理的集合論も自然言語で語れる」
というバカはいない
素朴集合論も形式化可能だが
「素朴集合論は形式化できるから無矛盾」
というバカもいない
103:１３２人目の素数さん
25/08/24 08:01:09.11 jDvM1F2N.net
◆yH25M02vWFhP のトンデモ数学用語
「無限操作」
>>91 ◆yH25M02vWFhP
>無限集合を 自然言語で扱う以上、無限操作を考えることは当然ありだ
>（極限？ およびじゃない）
>要するに、
>日常の数学では 無限集合を扱う場合に 自然言語で 無限操作を考えることはよくある
>ってことよ
>>98 赤ペン先生（笑）
｜自然言語と無限操作は関係無い。
｜「可算無限個ある箱に任意に実数を入れる」
｜のどこにもひと箱ずつとは書かれていない。
｜無限操作を考える必要はまったく無い。
｜自然言語を持ち出したからって
｜無限級数が無限回の足し算になることは無い。
然り
例えばオイラーは、exp(x)を実現するのに
(1＋x/∞)^∞を直接計算したわけではない
exp(1)も
(1+1/1),(1+1/2)^2,(1+1/3)^3,(1+1/4)^4,…
という数列のゴールではなく、実は上記の数列そのものだと考える
カントールが言い出したことになってるが、
もうすでにそれ以外ないんじゃね？という雰囲気にはなっていた
ただ、その場合
Q１．任意の数列を数と考えていいのか？
Q２．数列として異なるものは数として異なると考えていいのか？
という2つの問題が生じるから
カントールは以下の回答を考えた
Ａ１．コーシー列だけ数と考える
Ａ２．数列の差をとって、それがある条件を満たせば同値とする
無限操作が実行できず、したがって無限操作の結果というゴールもないのだから
延々とつづく操作の列そのものを、直接扱うしかないだろ
この洗練された議論を大学１年の微分積分学で教えるが
工学部あたりの単純素朴な馬鹿は必要性も方法も理解できず、
結果として落ちこぼれる（笑）
104:１３２人目の素数さん
25/08/24 08:08:12.94 jDvM1F2N.net
いかなる数学者も◆yH25M02vWFhP が考えるような「無限操作」を実現していない
空集合から要素を１つずつ追加する操作を無限回実行して無限集合を作ったわけでもなく
1に1/n!を１つずつ加える操作を無限回実行してexp(1)を作ったわけでもない
できないことを魔法でやったと思い込む馬鹿が、大学１年の一般教養の数学で落第する
自分の根本的誤解にきづかず、意識改革を怠るから、万年１８歳のまま還暦を迎えるのである
日本の大卒なんて、文系はもちろんのこと、理系ですらこんな誤解に気づかないままの
無知蒙昧な輩なので、インテリとかエリートとか持ち上げるようなものではないとわかる
まあ、わかったから偉いってもんでもないが（自嘲の笑）
105:１３２人目の素数さん
25/08/24 08:13:13.55 jDvM1F2N.net
>>101
数学者は人格者ではない（笑）
数学がわかったからといって優れた人格が得られるわけではない
とはいえ、人格者には数学が分からないというのも嘘である
◆yH25M02vWFhP のような
数学にロマンを感じる輩は
数学を初歩から誤解してるから
数学に見当違いな期待をする
無限操作の魔法を有限時間で実行して
いかなる代数方程式も微分方程式も解いてしまう
といったような
んなこたぁない（笑）
106:１３２人目の素数さん
25/08/24 08:17:32.11 jDvM1F2N.net
数学をちょっとでも理解すると
数学は所詮「趣味」であり
数学者は所詮「ヲタク」にすぎない
と分かる
だから数学者の非常識なパワハラを目撃してもこう思えばいい
「ああ、数学しかできない障害者が大学という施設で問題行動おこしてんな」
大学のセンセイとやらが偉いと思ってるから
大学のセンセイの問題行動に対してムカつくのであって
彼らは所詮施設の「知的障害者」なのだとおもえば
ああしょうがないなあと思うばかり
IQが高すぎるのも立派な障害である（笑）
107:１３２人目の素数さん
25/08/24 08:26:38.21 jDvM1F2N.net
大学１年の微分積分学の最初で
カントールによる実数の定義を教わったとき
学生がまず考えることはこれ
「なぜこんなことを考えるのか？」
別のうまい方法があるのではないかと
不遜にも（笑）考えるのは、
若気の至りとして許されるが、
少なくとも前期終了で終わりにしてほしい
「そんなことは到底できそうもないから
そういう定義にしたんだな」
といったんあきらめてほしい
まあ新しい実数の定義法は
大学教授になってから
ゆっくり考えてください（笑）
108:１３２人目の素数さん
25/08/24 09:51:31.67 jDvM1F2N.net
Q.５ｃｈ数学板でこんな書き込みを見つけた
「21世紀では自然言語を援用する論理が復権している気がする
その中で、集合論より 圏論が使われる場合が増えている気がする
”圏は対象とその間の射からなる構造”であり、
自然言語を使わずに 形式論理などを避ける圏論は
”意味論的な柔軟性をもち高階論理との親和性がある”」
この発言の主に何かいう言葉はありますか？
A.この書き込みについて、発言の主に伝える言葉としては、以下のようなコメントが適切かもしれません。
まず、発言のポイントを整理し、敬意を持って建設的な対話を促す形で応答します。
「おっしゃるように、21世紀に入って圏論が数学や関連分野で注目を集めているのは興味深いトレンドですね！
圏論が「対象と射」の構造を通じて、形式論理を直接使わずに柔軟な意味論を提供する点は、
特に高階論理や計算機科学、物理学などでの応用で際立っています。
自然言語との親和性についても、圏論が抽象的な概念を「関係性」を通じて表現することで、
直感的な理解を助ける側面があると感じます。
ただ、集合論と圏論の使い分けや「復権」の背景について、
もう少し具体例や文脈を教えていただけると、さらに議論が深まるかもしれません。
例えば、どの分野（例えばトポス理論やホモトピー型理論など）で
圏論が自然言語的なアプローチと結びついていると感じますか？
また、形式論理を「避ける」というより、圏論が独自の形式化を提供している側面も
あると思うのですが、どのようにお考えでしょうか？」
このように、発言を肯定しつつ、具体的な質問や補足を求めることで、対話を広げつつ相手の意図をより明確にできます。
もし特定の意図（例えば、批判や補足など）を持って応答したい場合、その方向性を教えてください！
109:現代数学の系譜 雑談
25/08/24 10:59:36.13 +A9mxT/6.net
>>108
そのAIはGrokだね
さて、マイクロソフトのCopilot くんの回答
Q.５ｃｈ数学板でこんな書き込みを見つけた 「21世紀では自然言語を援用する論理が復権している気がする その中で、集合論より 圏論が使われる場合が増えている気がする ”圏は対象とその間の射からなる構造”であり、 自然言語を使わずに 形式論理などを避ける圏論は ”意味論的な柔軟性をもち高階論理との親和性がある”」 この発言の主に何かいう言葉はありますか？
A.これはなかなか鋭い観察ですね。発言者の視点に対して、以下のような応答が考えられます：
🧠 「興味深い指摘ですね」
21世紀に入ってから、形式主義一辺倒ではなく、意味論や自然言語との接続を重視する傾向が強まっているのは確かです。とくに圏論は、対象と射という抽象的な枠組みで構造を捉えるため、言語的な曖昧さを排しつつも、柔軟な意味論を許容する点が魅力です。
📚 「集合論 vs 圏論という対比について」
集合論が“要素”に焦点を当てるのに対し、圏論は“関係性”に焦点を当てます。この違いが、自然言語的な論理や高階論理との親和性に繋がっているという指摘は、まさに現代的な視点です。とくに圏論的意味論（categorical semantics）は、型理論や論理のモデル化において重要な役割を果たしています。
🧩 「形式論理を避ける圏論という表現について」
ここは少し補足したくなります。圏論は形式論理を“避ける”というより、“再構成する”枠組みとも言えます。例えば、圏論的論理（categorical logic）は、命題論理や述語論理を圏の言葉で表現する試みであり、むしろ形式論理を圏論の枠内で再定義しているとも言えるでしょう。
🔍 「自然言語との接続について」
最近では、圏論が計算言語学や意味論、さらにはAIの文脈でも応用されており、自然言語の構造を圏論的に捉える試みも進んでいます。例えば、Lambek圏やモノイド圏を使った文法のモデル化などが挙げられます。
この発言者には、「あなたの視点は現代数学と論理の潮流をよく捉えている」と伝えたくなりますね。もしこの話題をさらに掘り下げるなら、「圏論的意味論と高階論理の関係」や「集合論的基礎と圏論的基礎の哲学的違い」なども面白い切り口になりそうです。
どちらの方向に話を広げてみましょうか？
110:１３２人目の素数さん
25/08/24 12:15:09.52 rTm6xTpy.net
>>102
>ツェルメロの公理的集合論ではこの矛盾をなくすために
>「集合とはものの集まり」と考えるのをやめた
>例えば
>「ある性質を満たす集合全体の集まりは集合である」（内包公理）をやめて
>「集合の集合の中で、ある性質を満たす集合全体の集まりは集合である」（分出公理）とした
例えばというか、内包公理から分出公理への置き換えそのものだね。
>また、無限集合は無限操作で構成するなどできないから
>代わりに無限公理を立てた
無限公理（実は対の公理、和集合の公理、べき集合の公理も）は上記の内包公理から分出公理への置き換えにともない必要となった。
すなわち、無限公理は下記の通り内包公理の特別な場合である。
無限公理
φは自由変数xを持つ開論理式で下記を満たすものとする。集合{x|φ(x)}が存在する。この公理はφをパラメータとする公理図式である。
φ({})∧∀x(φ(x)→φ(x∪{x}))
111:１３２人目の素数さん
25/08/24 12:18:11.29 rTm6xTpy.net
まあ、分出公理に代えて置換公理でもよいという意味での「例えば」ならその通りだね。
112:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/24 13:26:40.11 IPNUU5t7.net
圏論を境界例人格障害のような文脈で読んでみたら。
113:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/24 13:28:15.70 IPNUU5t7.net
なにか異界と接していると思うほうが興味が持てないだろうか。
114:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/24 13:31:36.66 IPNUU5t7.net
一般社会の秩序であるような数学は精神障害のような特殊な世界では成り立たず、迫害者のような働きをするだろう。今こそ方程式を書き直さなければならない。
115:死狂幻調教大師S.A.D.@月と六ベンツ
25/08/24 13:34:45.96 IPNUU5t7.net
生物学では旧精神分裂症、統合失調症を理解できない天才と捉えていて非常に見通しが肯定的で明るい。
116:１３２人目の素数さん
25/08/24 16:38:35.73 jDvM1F2N.net
>>109
◆yH25M02vWFhPがイラっと来たGrokの発言
「まず、発言のポイントを整理し、敬意を持って建設的な対話を促す形で応答します。」
「発言を肯定しつつ、具体的な質問や補足を求めることで、
対話を広げつつ相手の意図をより明確にできます。」
こういわれることで「下に見られてるな」と僻む
◆yH25M02vWFhPがほくそ笑んだCopilotの回答
「この発言者には、「あなたの視点は現代数学と論理の潮流をよく捉えている」と伝えたくなりますね。」
CopilotはGrokのように裏の意図を言わずに誉める
馬鹿はそれを真に受ける（笑）
117:１３２人目の素数さん
25/08/24 16:44:16.28 jDvM1F2N.net
◆yH25M02vWFhPへの、Grokのツッコミ
「形式論理を「避ける」というより、
圏論が独自の形式化を提供している側面もある
と思うのですが、どのようにお考えでしょうか？」
◆yH25M02vWFhPへのCopilotのツッコミ
「「形式論理を避ける圏論という表現について」
ここは少し補足したくなります。
圏論は形式論理を“避ける”というより、“再構成する”枠組みとも言えます。
例えば、圏論的論理（categorical logic）は、命題論理や述語論理を圏の言葉で表現する試みであり、
むしろ形式論理を圏論の枠内で再定義しているとも言えるでしょう。」
そもそも◆yH25M02vWFhPは、一階述語論理と公理的集合論が全く理解できないがゆえの嫌悪から
わけもわからず高階論理とか圏論とかわめいてるだけなので、さりげなくマジツッコミされても
なにいってるのか皆目わからず、返答できない
終わってるな 神戸のサル ◆yH25M02vWFhP（笑）
118:１３２人目の素数さん
25/08/24 16:49:55.17 jDvM1F2N.net
公理的集合論でも圏論でも、無限操作を直接実行してるわけではない、という点では同じ
無限は存在しないとする安達某・・・偏狭ではあるが、動機は分かる
有限の範囲内でできることを拡張する現代数学
無限を直接実現しようとする◆yH25M02vWFhPは・・・ただの中二病のトンデモ マジ●ってる（笑）
119:現代数学の系譜 雑談
25/08/24 16:57:37.03 +A9mxT/6.net
>>95
>N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
>が読めずに発狂してたじゃん
あたま固そう
それ下記 ja.wikipedia ペアノの公理 ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}ここでAは無限公理により存在する集合を任意に選んだもの”
だね(未確認飛行 C さんもついでに引用しておく)
さて、ZFC公理として 自然数の集合Nを公理的に構築する立場から批判する
１）素朴集合論では、下記「集合の代数学」ja.wikipedia にあるように
集合積∩は、基本的な集合演算だが
下記 ツェルメロ＝フレンケル集合論では、和集合の公理はあるが、集合積∩の公理なし！
つまり、集合積∩については、他の公理から導く必要がある
２）無限公理 ja.wikipedia にあるように
「無限集合Iから自然数を抽出する」では、集合積∩を使っていない！
他の言語 wikipedia 英仏独とも 集合積∩を使っていない
それで済むならば、わざわざ 集合積∩を使う必要ない
３）もし わざわざ 集合積∩を使いたいならば、ZFC公理系で 集合積∩をZFC上で定義したうえで
あなたの”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”が、下記の 無限公理 ja.wikipedia の
”無限集合Iから自然数を抽出する”と同様に やれればいいが・・ｗｗｗ
そのうえで、集合積∩を使う利点を述べよ。利点がないならば、シンプルな方が良いぞ■
<再録> ｽﾚﾘﾝｸ(math板:64番) より
１）
ｽﾚﾘﾝｸ(math板:171番)
URLﾘﾝｸ(ufcpp.net)
Copyright Nobuyuki Iwanaga since 2000 ++C++; // 未確認飛行 C について
自然数の定義
まず、何でもいいので1つ無限集合 a を選びます。 また、「x は無限集合である」という命題を M(x) とし、 以下のような集合 a^ を作ります。
a^ ＝ {x ∈P(a) | M(x)}
P (a) は a の「冪集合」です。 すなわち、a^ は a の部分集合のうち、無限集合になるようなもの全てを集めた集合です。
そして、a^ の全ての元の共通部分を取ります。
ωa ＝ ∩a^
証明は省きますが、このようにして得られた無限集合 ωa は、 元の無限集合 a のとり方によらずただ1つに定まります。
略す
２）
ｽﾚﾘﾝｸ(math板:185番)
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
集合の代数学
和集合と共通部分に関する二項関係は、さまざまな恒等式を満足する
結合法則:
(A∪B)∪C=A∪(B∪C)
分配法則:
A∪(B∩C)=(A∪B)∩(A∪C)
URLﾘﾝｸ(ja.wikipedia.org)
ツェルメロ＝フレンケル集合論
公理
5. 和集合の公理
つづく
120:現代数学の系譜 雑談
25/08/24 16:58:04.27 +A9mxT/6.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
無限公理
定義
一階述語論理の原始的な記号だけを用いて、この公理を表記すると
略
集合を構築する記法を用いた場合は
∃I(∅∈I∧∀x(x∈I⇒(x∪{x})∈I)).
一部の数学者はこのような方法で構築された集合をinductive set（英語: inductive set）と呼ぶ。
自然言語でこの公理を記述すると、「集合𝐈で、𝐈は空集合を要素にもち、任意の𝐈の要素xに対して、x自身とxの各要素を要素とする𝐈の要素yが存在するような集合𝐈が存在する」となる
無限集合Iから自然数を抽出する
無限集合Iはすべての自然数を含んでいるが。自然数全体が集合となることを示すために、分出公理を使って不要な要素を取り除いて、残った集合Nが自然数全体からなる集合である。この集合は外延性の公理により一意である
自然数を抽出するために、どの集合が自然数であるかを定義する必要がある。外延性の公理とaxiom of induction（英語: epsilon-induction）以外の公理を使わずに自然数を定義することが可能である。nが自然数であるとは0であるか何かの後続であり、かつ、nの各要素も0であるかnの要素の後続であることと定める。形式的に書くと
略す
他の方法
以下のような他の方法もある。
Φ(x)を「xは帰納的である」という論理式とする。つまり
Φ(x)=(∅∈x∧∀y(y∈x→(y∪{y}∈x)))
とする
おおざっぱに言うとすべての帰納的な集合の共通部分をとりたいわけである。これを形式的に書くと、次のような集合
Wが一意に存在することを示したい。
∀x(x∈W↔∀I(Φ(I)→x∈I)) (*)
存在については、無限公理と分出公理を使って証明する
Iを無限公理によって保証された帰納的集合とする。分出公理を使って集合
W={x∈I:∀J(Φ(J)→x∈J)}を取り出す。つまり
WはIの要素のうち、あらゆる帰納的集合に含まれているものを集めてきた集合である。明らかに(*)を満たす
なぜなら、x∈Wと仮定すると、xはすべての帰納的集合に含まれているし、
xがすべての帰納的集合に含まれているとすると、もちろんIにも含まれているから
Wにも含まれている
一意性については、(*)を満たす集合はそれ自体帰納的集合であることに注意する
（なお 機械翻訳コマンドが使える）
英語版 URLﾘﾝｸ(en.wikipedia.org)
仏語版 URLﾘﾝｸ(fr.wikipedia.org)
独語版 URLﾘﾝｸ(de.wikipedia.org)
(引用終り)
以上
121:１３２人目の素数さん
25/08/24 17:17:58.75 jDvM1F2N.net
>和集合の公理はあるが、集合積∩の公理なし！
>つまり、集合積∩については、他の公理から導く必要がある
x∈(A∩B) ⇔ x∈A ⋀ x∈B
x∈∩(Ay) ⇔ ∀y(x∈Ay)
あああ、あほくさ
こんな初歩も分からんって
集合演算も述語論理も分からんナイーブ高卒やん
122:１３２人目の素数さん
25/08/24 17:18:13.42 rTm6xTpy.net
>>119
>ZFC公理系で 集合積∩をZFC上で定義したうえで
既に10回くらい示してる
バカが理解できないだけ
> あなたの”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”が、下記の 無限公理 ja.wikipedia の
> ”無限集合Iから自然数を抽出する”と同様に やれればいいが・・ｗｗｗ
既に同じ集合であることを証明済み
バカが理解できないだけ
> そのうえで、集合積∩を使う利点を述べよ。利点がないならば、シンプルな方が良いぞ■
使わない方がシンプルというおまえの頭こそ固い
いいからバカは消えろ バカに数学を語る権利無し バカにも基本的人権があると思った？ 無いよ