[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
299: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/05(水) 20:35:03.06 ID:BZV1IQOW これいい （＾＾ https://mathlog.info/articles/RdcGJ6OCfPig0W2FjXuv Mathlog 251030 あっとまーく 大学数学基礎 解説 公理的集合論はやらなくてもよい この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。 はじめに 非常にキャッチー(?)なタイトルをつけてしまったので初めに言っておくと,私は断じて「基礎論アンチ」ではありません.なんなら比較的好きで,楽しく勉強できるタイプです. この記事は基礎論のネガティブキャンペーンではありません. (そういった記事を期待されている方にとっては面白くない内容だと思います.) 実際,私は今年の夏休みのほぼすべてを公理的集合論の勉強に捧げました. 具体的にはZFC公理系を記述し,そこから集合演算,写像,数(自然数,整数,有理数,実数)の構成を行いました. 先日それがひと段落したのですが,実際やってみて 「別にやらなくてもよかったなぁ」 と,理由を持って思うことができました. 折角ですからその理由と,それに至った経緯を読み物として残しておこうと思います. https://mathlog.info/articles/1314 Mathlog 2020年12月19日 めいぜんおーえす 大学数学基礎 議論 文献あり ZFCの公理一覧と誤解しやすいポイント はじめに 比較的軽度の誤解をしてる人向けです。 この記事ではZFCの公理一覧と誤解しやすいポイントについてまとめています。 ZFCの公理一覧 まず、論理式の略記と自由変数についてです。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/299
300: １３２人目の素数さん [] 2025/11/05(水) 20:55:34.22 ID:BjMQZrgB あっとまーくが●違いな厳密感をもってたことはわかった まあ、この手の●違いは大学１〜２年にはワラワラいるが 「そんな●った”厳密性”は妄想である」と気づくことでまっとうな大人になる http://rio2016.5ch.net/test/read.cgi/math/1761878205/300
301: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/05(水) 20:58:27.52 ID:BZV1IQOW >>295-298 ありがとう 激しく同意 中国を甘く見てはいけない 中国は要警戒すべき国 だが 中国との外交も重要だ 2025年の いまの日本の外交課題です http://rio2016.5ch.net/test/read.cgi/math/1761878205/301
302: １３２人目の素数さん [] 2025/11/05(水) 21:16:15.70 ID:BjMQZrgB カラスの世田はあいかわらず 肝心なところを略してるので めいぜんおーえすが書いた注意が 全く分かってないことは明らかである ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 分出公理図式 Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする. ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z)) 分出公理図式…に「自由変数でない」という条件がついています。 読み飛ばしやすい条件かもしれませんが、これがないと矛盾します。 やらかした分出公理図式 Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1とする. ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z)) 定理１ やらかした分出公理図式の下で、∀x∀z¬(z∈x) 証明 z∈xとする やらかした分出公理図式のPに¬(z∈y)を代入すると (注：yはPの自由変数！） ∃y∀z(z∈y⇔(z∈x⋀¬(z∈y)) z∈yとすると¬(z∈y)となり矛盾 よって¬(z∈y) z∈xと¬(z∈y)よりz∈yとなり矛盾■ カラスの世田は「自由変数」が全く分かってないから読み飛ばして自爆死する 線形独立が分からないから、正則行列の条件の「行列式が０でない」を読み飛ばして自爆死したのと同じ 分からん上に分からんことも分からん馬鹿が、 大学1年で落ちこぼれ、しかもそのことも気づかず 数セミ読んだだけで「ボクちゃん数学の大天才」と自惚れる 完全無欠の●違い（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/302
303: １３２人目の素数さん [] 2025/11/05(水) 21:19:09.22 ID:BjMQZrgB >>283 満州を侵略したのは日本とかいう島の土人（笑） 中国より日本のほうが百万倍侵略的（笑） まあ惨敗したけどな 所詮島の土人だから（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/303
304: １３２人目の素数さん [] 2025/11/05(水) 21:22:41.90 ID:BjMQZrgB ＞中国を甘く見てはいけない ＞中国は要警戒すべき国だが ＞中国との外交も重要だ 中国に比べたら日本なんてハナクソ ハナクソのくせに１０倍以上も人口が多い 中国人を絶滅しようと大侵略戦争をおっぱじめた日本 もちろん大惨敗（笑） 身の程知らずもここまでくると哀れとしかいいようがない モンゴル帝国のチンギス・ハンにでもなったつもりか？ ギャハハハハハハ！！！（嘲） http://rio2016.5ch.net/test/read.cgi/math/1761878205/304
305: １３２人目の素数さん [] 2025/11/05(水) 21:25:39.42 ID:BjMQZrgB 中国を目の敵にする日本人は なにかといえばウイグルがーチベットがーモンゴルがーとかいうが 実のところウイグルやチベットやモンゴルに全然関心がない ただ中国を非難したいためだけに持ち出しただけ 島の土人は縄文生活のままのほうが幸せだったな ヘタに知恵つけたせいで侵略戦争で殺人・強姦・略奪三昧 悪魔になりはてた日本人は絶滅するしかない 馬鹿な奴らだ（嘲） http://rio2016.5ch.net/test/read.cgi/math/1761878205/305
306: １３２人目の素数さん [] 2025/11/05(水) 21:54:38.40 ID:FFxAuNzB セタへの問題 >Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする. のとき >∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z)) の自由変数をすべて書け http://rio2016.5ch.net/test/read.cgi/math/1761878205/306
307: １３２人目の素数さん [] 2025/11/05(水) 21:59:03.29 ID:FFxAuNzB >>305 中国が尖閣領海侵犯を繰り返す理由を言ってみ？ http://rio2016.5ch.net/test/read.cgi/math/1761878205/307
308: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/05(水) 22:00:49.95 ID:BZV1IQOW >>297 >数板で思考実験を披露するのは勝手だが >明白に事実に反した破綻してる虚偽を押し付けるのは許されないね。 激しく同意 それ、PETER SCHOLZEにも言える（下記） (参考) 前スレより https://rio2016.5ch.net/test/read.cgi/math/1759924222/955 フィールズメダリストでなんであれ 下記の ”This will involve certain radical simplifications” （これにはいくつかの大幅な簡略化が含まれる） は、完全にアウトだよ！ｗ ”ストローマン”（下記）やってるからｗ ；ｐ） (参考) https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf Whyabc is still a conjecture PETER SCHOLZE AND JAKOB STIX Date: July 16, 2018. P4 2.1.Glossary: IUTT-terminology and how we may think of these objects. To facilitate the discussion,we will describe (only)the notions that are strictly relevant to explain what we regard as the error. This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof. (google訳) 議論を円滑に進めるために、ここでは、私たちが誤りだと考える点を説明する上で厳密に必要となる概念のみを説明します。 これにはいくつかの大幅な簡略化が含まれるため、こうした簡略化によって、望月氏の証明の中核をなす興味深い数学的要素がすべて失われてしまうという批判もあるかもしれません。 https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3 ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す[1]。ストローマン手法、藁人形論法、案山子論法（かかし論法）ともいう。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/308
309: １３２人目の素数さん [] 2025/11/05(水) 22:06:35.68 ID:FFxAuNzB そっか そもそもセタは>>306の問題文の意味からわからんよな そりゃそうだな 大の勉強嫌いだもんな http://rio2016.5ch.net/test/read.cgi/math/1761878205/309
310: １３２人目の素数さん [] 2025/11/05(水) 22:32:27.23 ID:SGrAO/gw 日本を否定した彼が「縄文ナショナリズム」と言うべきものに至ったのは皮肉と言うしかない。 彼が好きだというアイドルの顔は、いわゆる「濃い」顔であり 好きなアイドルの顔にまで思想が反映されるほどの異常さだった。 さらに、中元すず香という自身の推しを「朝青龍が入ってる」と罵倒するに至る。 これこそ女から「親しき仲にも礼儀ありと言うけど、親しくもないあなたから 何でそんなこと言われるの？」と指摘される童貞ボーイの失礼な態度そのもの。 これをいい年のおじさんがやってるのだから。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/310
311: １３２人目の素数さん [] 2025/11/05(水) 23:17:32.03 ID:ECmGTlzx >>308 >”This will involve certain radical simplifications” >（これにはいくつかの大幅な簡略化が含まれる） >は、完全にアウトだよ！ｗ >”ストローマン”（下記）やってるからｗ ；ｐ） あなたはショルツという人がそのようなことをしていると断言できるくらいにはIUTを理解しているのでしょうか？ それとも 誰かがそのようなことを言ったのを理解もせず受け売りしているだけなのでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1761878205/311
312: １３２人目の素数さん [] 2025/11/05(水) 23:24:14.98 ID:FFxAuNzB 述語論理の初歩の初歩も分からんセタに受け売り以外ができるはずも無く http://rio2016.5ch.net/test/read.cgi/math/1761878205/312
313: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/05(水) 23:27:10.30 ID:BZV1IQOW >>306 (引用開始) セタへの問題 >Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする. のとき >∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z)) の自由変数をすべて書け (引用終り) ふっふ、ほっほ あのな、それよりか 下記 Colin McLarty https://arxiv.org/abs/1102.1773 の圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾； どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ いまどきは 圏論のロジック（矢印図）の方が重要だと思うよ （例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね） >>250 より再録 Colin McLarty has looked into this The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325, doi:10.1017/S1755020319000340, https://arxiv.org/abs/1102.1773 http://rio2016.5ch.net/test/read.cgi/math/1761878205/313
314: １３２人目の素数さん [] 2025/11/05(水) 23:33:13.07 ID:FFxAuNzB >>305 ほれ、君がそんなこと言ってる間にもこんなん出てきたぞ左翼くん なんで学問の自由を侵害してまで研究中止させたいか分かるかい？ 中国の圧力で英大学がウイグル強制労働研究中止 教授「学問の自由侵害」、警察が捜査検討 http://rio2016.5ch.net/test/read.cgi/math/1761878205/314
315: １３２人目の素数さん [] 2025/11/05(水) 23:36:42.25 ID:FFxAuNzB >>313 ほらね、逃げたｗ >それよりか 大学数学の基本中の基本である述語論理の基本中の基本の問題にそれよりかもクソも無い http://rio2016.5ch.net/test/read.cgi/math/1761878205/315
316: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/05(水) 23:45:06.82 ID:BZV1IQOW >>308 補足 >To facilitate the discussion,we will describe (only)the notions that are strictly relevant to explain what we regard as the error. >This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof. 1）”certain radical simplifications”は、数学以外の 例えば 対中国外交を論じるときなどは 必須だ つまり、”中国”の厳密な定義は存在しないし、Aさんの思う中国と Bさんの思う中国とは 異なるのが普通だし できるだけ共通認識を整えることは大事だが、それは 完璧にはいかない 2）さらに、対中国外交を論じるときに、中国の現状分析だけでは足りない 今後の中国を論じなければならない。ここにも、厳密定義は存在しない。予測するしかない 予測をもとに、対中国外交を論じるしかない 3）このとき、厳密な論理思考だけでは、どうにもならない（厳密な論理思考は当然必要だが） むしろ、予測（読み）が重要になる。論理以外の経験やカンも必要になる つまりは、一階述語論理だけでは どうしようもない ってことだ＊） ＊）人生の重要な事項は、だいたいが 一階述語論理だけではどうしようもないことが多い （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1761878205/316
317: １３２人目の素数さん [sage] 2025/11/05(水) 23:49:21.35 ID:ddrgKVI5 出てくる単語しか見えない能無しセタ 今度は ZFC の公理全部使わず、ましてや Grothendieck の universe みたいな超巨大なものを回避して sheaf theory 構成するにはどれくらいの大きさの power set が最低限度必要かということを研究した自分の主張と真逆の話してる論文を紹介しだす。 どこまでもどこまでも無能 http://rio2016.5ch.net/test/read.cgi/math/1761878205/317
318: １３２人目の素数さん [] 2025/11/05(水) 23:58:19.68 ID:FFxAuNzB >>316 >人生の重要な事項は、だいたいが 一階述語論理だけではどうしようもないことが多い （＾＾ だから言ってるじゃん 数学が人生の重要事項でない君は数学なんてきれいさっぱり忘れなよと もう数学板にも来なくていいよ http://rio2016.5ch.net/test/read.cgi/math/1761878205/318
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 684 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.018s