[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
479: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 09:40:51.90 ID:P9qVEF++ >>472 >図式が集合の論理式より重要という独特の価値観を押しつけて>>313 なにをおっしゃる ウサギさん 現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ (^^ (google検索) 現代数学における 圏論の重要性 <検索結果> https://note.com/x_under_the_sky/n/n3374ab32ad7c#:~:text=%E5%9C%8F%E8%AB%96%E3%81%AF%E7%8F%BE%E4%BB%A3%E6%95%B0%E5%AD%A6,%E3%81%AB%E8%B2%A2%E7%8C%AE%E3%81%97%E3%81%A6%E3%81%84%E3%81%BE%E3%81%99%E3%80%82 圏論の概要とその数学史における役割 under_the_sky 2024年5月10日 圏論は現代数学における「普遍言語」とも呼ばれ、異なる数学的構造や理論間の類似性と相違性を明確にします。 さらに、数学以外の分野、特に物理学や哲学においても、その概念が応用されていることがあります。 圏論は、これらの分野における基本的な概念や理論の橋渡しを行うことで、跨分野的な研究の発展に貢献しています https://gendai.media/articles/-/159277?page=3 2025.10.27 「現代数学の最重要理論」と呼ばれる「圏論」とは一体……わかりやすく「ハンバーグ」にたとえて解説してみた ブルーバックス編集部 「圏論」をもっと身近に! いかがだったでしょう。難解に思えた「圏論」を、すこしだけ身近に思ってもらえたでしょうか。続きはぜひ、『はじめての圏論』を読んでお確かめください。よりわかりやすく、詳しい解説が載っています。 https://realsound.jp/book/2025/10/post-2198972.html Real Sound 2025.10.28 数学者・加藤文元に聞く、“圏論”がさまざまな分野で注目されるワケ「人間が世界を理解するときの、最適なモデルを与えてくれる」 文・取材=宮田翔平、写真=はぎひさこ 圏論は、わたしたちの思想の基盤を根本から変える可能性を秘めている。『はじめての圏論 ブンゲン先生の現代数学入門』(ブルーバックス)を上梓した加藤文元(かとうふみはる)氏に、「圏論」の基本と、これからの応用可能性について聞いた。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/479
480: 132人目の素数さん [] 2025/11/08(土) 09:41:19.06 ID:hP1E8Bup >>474 >イタリア語版 IUT Wikipedia >https://it.wikipedia.org/wiki/Teoria_di_Teichm%C3%BCller_inter-universale ほとんどはCicognacという人が書いているけれど この人は別に数学の人ではないみたい なのになぜこんな詳しいのか 多岐にわたる分野を編集していて Wikipediaで賞を貰うくらいの人みたいだから 調査能力半端ないのかな? http://rio2016.5ch.net/test/read.cgi/math/1761878205/480
481: 132人目の素数さん [] 2025/11/08(土) 09:43:44.55 ID:hP1E8Bup >>479 >現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ (^^ 圏論は重要ですよ? あなたに聞いたのは >>472 >>>圏論のロジック(矢印図)の方が重要だと思うよ >>>(例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね) >>「圏論のロジック(矢印図)」が「集合の論理式」より重要な訳は何なんでしょう? >>これもどこかに書かれていたのでしょうか? >>あるいはあなた独自の解釈? >図式が集合の論理式より重要という独特の価値観を押しつけて>>313 >>どうも、読めなさそうに見えるけどよ どうなの?www >「www」と書いたのでしょうか? >それとどこを以て「どうも、読めなさそうに見える」と解釈したんでしょうか? ということです 話をすり替えないで欲しいですね http://rio2016.5ch.net/test/read.cgi/math/1761878205/481
482: 132人目の素数さん [sage] 2025/11/08(土) 09:44:58.78 ID:elho9SB9 ネットサーフィンで単語拾い上げてるだけの作業を調査とかwww セタみたいなアホのイタリア版やろwwwww http://rio2016.5ch.net/test/read.cgi/math/1761878205/482
483: 132人目の素数さん [] 2025/11/08(土) 09:47:44.70 ID:fkQlO+Il MacLaneの"Homology"を読めば圏論的な思考のまとめ方が どんなものかが理解できるように思う http://rio2016.5ch.net/test/read.cgi/math/1761878205/483
484: 132人目の素数さん [] 2025/11/08(土) 09:48:13.56 ID:hP1E8Bup >>321 >「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ >集合の論理式よりずっと高尚なものなのじゃ」 >みたいなことを言いたいの? てことですか? http://rio2016.5ch.net/test/read.cgi/math/1761878205/484
485: 132人目の素数さん [] 2025/11/08(土) 09:52:11.53 ID:fkQlO+Il wwwがポイントでは? http://rio2016.5ch.net/test/read.cgi/math/1761878205/485
486: 132人目の素数さん [] 2025/11/08(土) 09:57:04.21 ID:ZuSEB9pS >話をすり替えないで欲しいですね ストローマンストローマン言うてるセタこそがストローマン http://rio2016.5ch.net/test/read.cgi/math/1761878205/486
487: 132人目の素数さん [] 2025/11/08(土) 10:02:37.17 ID:fkQlO+Il というすりかえ http://rio2016.5ch.net/test/read.cgi/math/1761878205/487
488: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 10:04:38.10 ID:P9qVEF++ >>479 >>図式が集合の論理式より重要という独特の価値観を押しつけて>>313 補足しておくと 集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで 前20世紀中頃は、数学は 日常のいい加減な 思考を排して コテコテの一階述語論理を優先すべし (代表例がεδ式) みたく教える人が多かったが 今21世紀は、もう少し 多様な考えが出てきた(その代表が超準や圏論)ように思います (^^ (参考) https://www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大 尾畑研 「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf) 第1章 第2章 第3章 略す http://rio2016.5ch.net/test/read.cgi/math/1761878205/488
489: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 10:09:42.76 ID:P9qVEF++ >>483 >MacLaneの"Homology"を読めば圏論的な思考のまとめ方が >どんなものかが理解できるように思う 巡回ご苦労さまです 御大は、東大入学早々に MacLaneの"Homology"を読んだとかいう ウワサですね びつくりです (^^ http://rio2016.5ch.net/test/read.cgi/math/1761878205/489
490: 132人目の素数さん [] 2025/11/08(土) 10:23:00.28 ID:ZuSEB9pS >>488 >集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと >つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと ZFCも一階述語論理も理解できないオチコボレが大学教育論語ってて草 >つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで 素直に勉強するのが嫌と言えばよい 言い訳はみっともない http://rio2016.5ch.net/test/read.cgi/math/1761878205/490
491: 132人目の素数さん [] 2025/11/08(土) 10:28:32.46 ID:ZuSEB9pS そもそも一階述語論理は思考法ではないが、そこから分かってないセタが >つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで とかほざいたところでまったくのナンセンス http://rio2016.5ch.net/test/read.cgi/math/1761878205/491
492: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 10:35:55.86 ID:P9qVEF++ >>488 追加 (参考) https://www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大 尾畑研 「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf) 第1章 https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_01.pdf ここの P14 「定理1.20(背理法)次の推論は有効である」 からの”背理法”の説明が秀逸だ ZFCのコテコテの一階述語論理より、こっちの方が重要だろうさ ;p) (参考)(但し 東京理科大の人は、”背理法被害者の会”が 済むまで 大人しくしておくように。望月先生のような態度は、天才のみに許されるのです (^^) https://note.com/uen0/n/n45881d3391b2 背理法に背を向ける(2002,2013・東京理科大学・理学部・数学科) uenotakato(上野尚人:イマイさん)数学講師 2019年5月31日 https://abel.a.la9.jp/sub11.html 背理法被害者の会 東京理科大学理学部第一部数学科 教授 安部直人 http://rio2016.5ch.net/test/read.cgi/math/1761878205/492
493: 132人目の素数さん [] 2025/11/08(土) 10:36:06.84 ID:ZuSEB9pS 矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス セタの独善主張もまったくのナンセンス http://rio2016.5ch.net/test/read.cgi/math/1761878205/493
494: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 10:53:00.89 ID:P9qVEF++ >>491 >そもそも一階述語論理は思考法ではないが、そこから分かってないセタが >>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで そもそもが、人の日常は 論理だけでは 成り立たない 例えば、下記のドジャース ロバーツ監督 ”逆王手をかけた「5つの神采配」”(下記) 決して 論理だけでは これは 成り立たない! 20世紀は、このような人のもつ能力を殺すことを ”厳密”と称して 数学教育としてきた きらいがある そこらの反省が 21世紀には出てきたのでは? >>13-14 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013 "多くの数学の研究者にとっては,数学は,記号列として記述された「死んだ」数学ではなく, 思考のプロセスとしての脳髄の生理現象そのものであろう" ”加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」” ”<“big picture”>” Career advice Terence Tao に なっているように思う (^^ (参考) https://news.yahoo.co.jp/articles/b7a98b0768bb4217fc2608a672bbd79669c80522 解任騒ぎの“ポンコツ評価”から一転、ロバーツ監督の逆王手をかけた「5つの神采配」を米メディアやファンがSNSで絶賛 11/2(日) RONSPO ドジャースが10月31日(日本時間1日)、敵地トロントでのブルージェイズとのワールドシリーズ第6戦に3−1で勝利し、対戦成績を3勝3敗に戻して逆王手をかけた。不振のムーキー・ベッツ(33)を4番にし9回無死二、三塁で佐々木朗希(27)からタイラー・グラスノー(32)にスイッチするなど、デーブ・ロバーツ監督(54)の繰り出した5つの采配が次々と的中。これまでは継投策が裏目に出るなど、その采配が批判の対象となっていたが、一転、米メディアは「神采配」と評価し、SNSではファンが「彼に敬意を表する」などと称賛の言葉を並べた。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/494
495: 132人目の素数さん [] 2025/11/08(土) 11:01:22.16 ID:ZuSEB9pS >>492 ワロタ。 それは命題論理における背理法の証明。 述語論理は命題論理の拡張なんだから、当然述語論理においても背理法は成立する。 なお、真理値表を使わなくても同値変形で証明できる。 ((¬P⇒Q)∧¬Q)⇔((P∨Q)∧¬Q)(含意の定義)⇔((P∧¬Q)∨(Q∧¬Q))(分配律)⇔(P∧¬Q)(矛盾律と選言三段論法)⇒P(連言除去) どや、アホのセタにはちんぷんかんぷんやろ? http://rio2016.5ch.net/test/read.cgi/math/1761878205/495
496: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 11:02:55.70 ID:P9qVEF++ >>493 >矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス そうだね もし ”人が 純粋な述語論理のみで思考するならば・・”だが 具体的には、下記の 自己言及のパラドックス:嘘つきのパラドックス これが、古代から エピメニデスのパラドックス(紀元前600年ごろ)として知られていたらしい そして、集合論における ラッセルのパラドックス に 繋がっている だが、古代から近世において 人は このような 自己言及のパラドックスを排除できる あるいは 排除すべきことを 知っていたのだろう 実際、古代ギリシャのユークリッド原論は 論理破綻など してない!ww ;p) (参考) https://ja.wikipedia.org/wiki/%E8%87%AA%E5%B7%B1%E8%A8%80%E5%8F%8A%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 自己言及のパラドックス 哲学および論理学における自己言及のパラドックス(じこげんきゅうのパラドックス)または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる(パラドックス参照)。 歴史 嘘つきのパラドックスの一例として、エピメニデスのパラドックス(紀元前600年ごろ)が示された。エピメニデスは伝説的哲学者でクレタ島出身(クレタ人)とされており、「クレタ人はいつも嘘をつく」と言ったとされている。この言葉の出典は、新約聖書中の「テトスへの手紙」(1章12-15節)である[1]。 集合論におけるパラドックス (ラッセルのパラドックス) →詳細は「ラッセルのパラドックス」を参照 集合論における典型的なパラドックスは次のようなものである。これは特に、バートランド・ラッセルが議論の対象としたことで知られる(ラッセルは述語論理における同様のパラドックスについても議論している)。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/496
497: 132人目の素数さん [] 2025/11/08(土) 11:06:46.65 ID:hP1E8Bup >>488 結局答えてはくれないんですね>>472,481,484 それから>>458に ストローマンさん http://rio2016.5ch.net/test/read.cgi/math/1761878205/497
498: 132人目の素数さん [] 2025/11/08(土) 11:18:01.14 ID:5C95UMYm >>465 オウンゴールvwwwwwwwwwwwwwwwww http://rio2016.5ch.net/test/read.cgi/math/1761878205/498
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 504 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.026s