[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
476(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)09:23 ID:P9qVEF++(2/25) AAS
>473
(引用開始)
日本で研究不正はたびたび起きている。
一方で日本は多数のノーベル賞受賞者を輩出している。フィールズ賞受賞もある。
望月とその一味が日本人の代表かのように言ってる馬鹿はよほど日本が嫌いなんだろう。なら日本から出ていけばよい。
(引用終り)
ミソクソ一緒の論だよ
1）研究不正は、日本に限らない
2）研究不正が、一番起きやすいのは 医学系だろう
例えば、ある薬を開発して ある人たちに試したら 50％効果ありだという論文があったとする
省17
477(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)09:23 ID:P9qVEF++(3/25) AAS
つづき
(参考)
外部ﾘﾝｸ:zbmath.org
zbMATH Reviewer: Peter Scholze (Bonn)
Mochizuki, Shinichi
Inter-universal Teichmüller theory. I: Construction of Hodge theaters. (English) Zbl 1465.14002
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
(抜粋)
Finally, let me briefly summarize the content of the individual papers. In parts II and III, with the exception of the critical Corollary 3.12, the reader will not find any proof that is longer than a few lines; the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”, which is in line with the amount of mathematical content.
“Why ABC is still a conjecture” [外部ﾘﾝｸ[pdf]:www.math.uni-bonn.de] that discusses the issues in slightly more detail.
省8
478: 11/08(土)09:33 ID:ZuSEB9pS(3/21) AAS
>>472に答えず独善持論吐きまくっても無駄
479(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)09:40 ID:P9qVEF++(4/25) AAS
>>472
>図式が集合の論理式より重要という独特の価値観を押しつけて>>313
なにをおっしゃる ウサギさん
現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ （＾＾
(google検索)
現代数学における 圏論の重要性
＜検索結果＞
外部ﾘﾝｸ:note.com
圏論の概要とその数学史における役割
under_the_sky
省15
480: 11/08(土)09:41 ID:hP1E8Bup(3/11) AAS
>>474
>イタリア語版 IUT Wikipedia
>外部ﾘﾝｸ:it.wikipedia.org
ほとんどはCicognacという人が書いているけれど
この人は別に数学の人ではないみたい
なのになぜこんな詳しいのか
多岐にわたる分野を編集していて
Wikipediaで賞を貰うくらいの人みたいだから
調査能力半端ないのかな？
481(2): 11/08(土)09:43 ID:hP1E8Bup(4/11) AAS
>>479
>現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ （＾＾
圏論は重要ですよ？
あなたに聞いたのは
>>472
>>>圏論のロジック（矢印図）の方が重要だと思うよ
>>>（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
>>「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
>>これもどこかに書かれていたのでしょうか？
>>あるいはあなた独自の解釈？
省6
482: 11/08(土)09:44 ID:elho9SB9(1) AAS
ネットサーフィンで単語拾い上げてるだけの作業を調査とかwww
セタみたいなアホのイタリア版やろwwwww
483(1): 11/08(土)09:47 ID:fkQlO+Il(1/3) AAS
MacLaneの"Homology"を読めば圏論的な思考のまとめ方が
どんなものかが理解できるように思う
484(2): 11/08(土)09:48 ID:hP1E8Bup(5/11) AAS
>>321
>「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
>集合の論理式よりずっと高尚なものなのじゃ」
>みたいなことを言いたいの？
てことですか？
485(2): 11/08(土)09:52 ID:fkQlO+Il(2/3) AAS
wwwがポイントでは？
486: 11/08(土)09:57 ID:ZuSEB9pS(4/21) AAS
>話をすり替えないで欲しいですね
ストローマンストローマン言うてるセタこそがストローマン
487: 11/08(土)10:02 ID:fkQlO+Il(3/3) AAS
というすりかえ
488(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:04 ID:P9qVEF++(5/25) AAS
>>479
>>図式が集合の論理式より重要という独特の価値観を押しつけて>>313
補足しておくと
集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと
つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと
つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
前20世紀中頃は、数学は 日常のいい加減な 思考を排して コテコテの一階述語論理を優先すべし
（代表例がεδ式）
みたく教える人が多かったが
今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います （＾＾
省8
489: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:09 ID:P9qVEF++(6/25) AAS
>>483
>MacLaneの"Homology"を読めば圏論的な思考のまとめ方が
>どんなものかが理解できるように思う
巡回ご苦労さまです
御大は、東大入学早々に
MacLaneの"Homology"を読んだとかいう ウワサですね
びつくりです （＾＾
490: 11/08(土)10:23 ID:ZuSEB9pS(5/21) AAS
>>488
>集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと
>つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと
ZFCも一階述語論理も理解できないオチコボレが大学教育論語ってて草
>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
素直に勉強するのが嫌と言えばよい 言い訳はみっともない
491(1): 11/08(土)10:28 ID:ZuSEB9pS(6/21) AAS
そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
とかほざいたところでまったくのナンセンス
492(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:35 ID:P9qVEF++(7/25) AAS
>>488 追加
(参考)
外部ﾘﾝｸ:www.math.is.tohoku.ac.jp
東北大 尾畑研
「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
第1章
外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp
ここの
P14 「定理1.20(背理法)次の推論は有効である」
からの”背理法”の説明が秀逸だ
省9
493(1): 11/08(土)10:36 ID:ZuSEB9pS(7/21) AAS
矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
セタの独善主張もまったくのナンセンス
494: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:53 ID:P9qVEF++(8/25) AAS
>>491
>そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
そもそもが、人の日常は 論理だけでは 成り立たない
例えば、下記のドジャース ロバーツ監督 ”逆王手をかけた「5つの神采配」”（下記）
決して 論理だけでは これは 成り立たない！
20世紀は、このような人のもつ能力を殺すことを ”厳密”と称して 数学教育としてきた きらいがある
そこらの反省が 21世紀には出てきたのでは？
>>13-14 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
"多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
省9
495(2): 11/08(土)11:01 ID:ZuSEB9pS(8/21) AAS
>>492
ワロタ。
それは命題論理における背理法の証明。
述語論理は命題論理の拡張なんだから、当然述語論理においても背理法は成立する。
なお、真理値表を使わなくても同値変形で証明できる。
((¬P⇒Q)∧¬Q)⇔((P∨Q)∧¬Q)（含意の定義）⇔((P∧¬Q)∨(Q∧¬Q))（分配律）⇔(P∧¬Q)（矛盾律と選言三段論法）⇒P（連言除去）
どや、アホのセタにはちんぷんかんぷんやろ？
上下前次1-新書関写板覧索設栞歴
あと 507 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s