[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
305: 132人目の素数さん [] 2025/11/05(水) 21:25:39.42 ID:BjMQZrgB 中国を目の敵にする日本人は なにかといえばウイグルがーチベットがーモンゴルがーとかいうが 実のところウイグルやチベットやモンゴルに全然関心がない ただ中国を非難したいためだけに持ち出しただけ 島の土人は縄文生活のままのほうが幸せだったな ヘタに知恵つけたせいで侵略戦争で殺人・強姦・略奪三昧 悪魔になりはてた日本人は絶滅するしかない 馬鹿な奴らだ(嘲) http://rio2016.5ch.net/test/read.cgi/math/1761878205/305
306: 132人目の素数さん [] 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: 132人目の素数さん [] 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” (これにはいくつかの大幅な簡略化が含まれる) は、完全にアウトだよ!w ”ストローマン”(下記)やってるからw ;p) (参考) 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: 132人目の素数さん [] 2025/11/05(水) 22:06:35.68 ID:FFxAuNzB そっか そもそもセタは>>306の問題文の意味からわからんよな そりゃそうだな 大の勉強嫌いだもんな http://rio2016.5ch.net/test/read.cgi/math/1761878205/309
310: 132人目の素数さん [] 2025/11/05(水) 22:32:27.23 ID:SGrAO/gw 日本を否定した彼が「縄文ナショナリズム」と言うべきものに至ったのは皮肉と言うしかない。 彼が好きだというアイドルの顔は、いわゆる「濃い」顔であり 好きなアイドルの顔にまで思想が反映されるほどの異常さだった。 さらに、中元すず香という自身の推しを「朝青龍が入ってる」と罵倒するに至る。 これこそ女から「親しき仲にも礼儀ありと言うけど、親しくもないあなたから 何でそんなこと言われるの?」と指摘される童貞ボーイの失礼な態度そのもの。 これをいい年のおじさんがやってるのだから。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/310
311: 132人目の素数さん [] 2025/11/05(水) 23:17:32.03 ID:ECmGTlzx >>308 >”This will involve certain radical simplifications” >(これにはいくつかの大幅な簡略化が含まれる) >は、完全にアウトだよ!w >”ストローマン”(下記)やってるからw ;p) あなたはショルツという人がそのようなことをしていると断言できるくらいにはIUTを理解しているのでしょうか? それとも 誰かがそのようなことを言ったのを理解もせず受け売りしているだけなのでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1761878205/311
312: 132人目の素数さん [] 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 の圏論のロジック(矢印図)読めるのか? キミはww (^^; どうも、読めなさそうに見えるけどよ どうなの?www いまどきは 圏論のロジック(矢印図)の方が重要だと思うよ (例えば 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: 132人目の素数さん [] 2025/11/05(水) 23:33:13.07 ID:FFxAuNzB >>305 ほれ、君がそんなこと言ってる間にもこんなん出てきたぞ左翼くん なんで学問の自由を侵害してまで研究中止させたいか分かるかい? 中国の圧力で英大学がウイグル強制労働研究中止 教授「学問の自由侵害」、警察が捜査検討 http://rio2016.5ch.net/test/read.cgi/math/1761878205/314
315: 132人目の素数さん [] 2025/11/05(水) 23:36:42.25 ID:FFxAuNzB >>313 ほらね、逃げたw >それよりか 大学数学の基本中の基本である述語論理の基本中の基本の問題にそれよりかもクソも無い 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: 132人目の素数さん [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: 132人目の素数さん [] 2025/11/05(水) 23:58:19.68 ID:FFxAuNzB >>316 >人生の重要な事項は、だいたいが 一階述語論理だけではどうしようもないことが多い (^^ だから言ってるじゃん 数学が人生の重要事項でない君は数学なんてきれいさっぱり忘れなよと もう数学板にも来なくていいよ http://rio2016.5ch.net/test/read.cgi/math/1761878205/318
319: 132人目の素数さん [sage] 2025/11/06(木) 00:03:25.67 ID:24EBkQLZ そして一階述語論理をいまだに誤解して直せない。何が間違っているのかすらわからない無能。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/319
320: 132人目の素数さん [sage] 2025/11/06(木) 00:20:13.76 ID:24EBkQLZ ちなみに wikipedia の述語論理の項 述語論理(じゅつごろんり、英: predicate logic)とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理(英語版)、無限論理などが含まれる。... どこにも一ミリも「考え方」「思考法」などと読める部分などない。本文読む気がないのか、読んでもわからんのか http://rio2016.5ch.net/test/read.cgi/math/1761878205/320
321: 132人目の素数さん [] 2025/11/06(木) 01:16:20.44 ID:PuQ4Gk5G >>313 >圏論のロジック(矢印図) って 可換図式のこと? >(例えば P15 "6.3. Duality and derived categories."とかね。にあるのは可換図式だけど >なお 集合の論理式も P11辺りに 出てくるけどね) 集合の論理式って何のこと?ていうか何でこれらだけを取り上げてるの? 「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ 集合の論理式よりずっと高尚なものなのじゃ」 みたいなことを言いたいの? >どうも、読めなさそうに見えるけどよ どうなの?www このwwwってどういう気分で書いてるのかな? http://rio2016.5ch.net/test/read.cgi/math/1761878205/321
322: 132人目の素数さん [] 2025/11/06(木) 04:53:20.16 ID:yNffKouK >>310 縄文にナショナリズムなんかないよ 縄文時代に国家なんかないんだから(笑) http://rio2016.5ch.net/test/read.cgi/math/1761878205/322
323: 132人目の素数さん [] 2025/11/06(木) 04:58:57.43 ID:yNffKouK >>313 >>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)) >>の自由変数をすべて書け >ふっふ、ほっほ なんだ こんな問題も解けずに、笑って誤魔化すのかい カラスの世田は そりゃ、大学1年で落ちこぼれるわけだ >あのな、それよりか圏論のロジック(矢印図)読めるのか? キミは >いまどきは圏論のロジック(矢印図)の方が重要だと思うよ 論理式も読めないカラスの世田が圏論の矢印図読めるわけなかろう 自分ができもしないことで自慢するとかアホか(笑) http://rio2016.5ch.net/test/read.cgi/math/1761878205/323
324: 132人目の素数さん [] 2025/11/06(木) 05:01:25.05 ID:yNffKouK >>314 なんかウイグルウイグルうるさいアホは 自分がインド・ヨーロッパ語族のキリスト教徒のコーカソイドだと 妄想してるんかな(笑) http://rio2016.5ch.net/test/read.cgi/math/1761878205/324
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 678 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s