[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
302: 11/05(水)21:16 ID:BjMQZrgB(4/7) AAS
カラスの世田はあいかわらず
肝心なところを略してるので
めいぜんおーえすが書いた注意が
全く分かってないことは明らかである
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
分出公理図式
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))
分出公理図式…に「自由変数でない」という条件がついています。
読み飛ばしやすい条件かもしれませんが、これがないと矛盾します。
省18
303(1): 11/05(水)21:19 ID:BjMQZrgB(5/7) AAS
>>283
満州を侵略したのは日本とかいう島の土人（笑）
中国より日本のほうが百万倍侵略的（笑）
まあ惨敗したけどな 所詮島の土人だから（笑）
304: 11/05(水)21:22 ID:BjMQZrgB(6/7) AAS
＞中国を甘く見てはいけない
＞中国は要警戒すべき国だが
＞中国との外交も重要だ
中国に比べたら日本なんてハナクソ
ハナクソのくせに１０倍以上も人口が多い
中国人を絶滅しようと大侵略戦争をおっぱじめた日本
もちろん大惨敗（笑）
身の程知らずもここまでくると哀れとしかいいようがない
モンゴル帝国のチンギス・ハンにでもなったつもりか？
ギャハハハハハハ！！！（嘲）
305(2): 11/05(水)21:25 ID:BjMQZrgB(7/7) AAS
中国を目の敵にする日本人は
なにかといえばウイグルがーチベットがーモンゴルがーとかいうが
実のところウイグルやチベットやモンゴルに全然関心がない
ただ中国を非難したいためだけに持ち出しただけ
島の土人は縄文生活のままのほうが幸せだったな
ヘタに知恵つけたせいで侵略戦争で殺人・強姦・略奪三昧
悪魔になりはてた日本人は絶滅するしかない
馬鹿な奴らだ（嘲）
306(3): 11/05(水)21:54 ID:FFxAuNzB(5/11) AAS
セタへの問題
>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))
の自由変数をすべて書け
307(1): 11/05(水)21:59 ID:FFxAuNzB(6/11) AAS
>>305
中国が尖閣領海侵犯を繰り返す理由を言ってみ？
308(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)22:00 ID:BZV1IQOW(3/5) AAS
>>297
>数板で思考実験を披露するのは勝手だが
>明白に事実に反した破綻してる虚偽を押し付けるのは許されないね。
激しく同意
それ、PETER SCHOLZEにも言える（下記）
(参考)
前スレより
2chｽﾚ:math
フィールズメダリストでなんであれ 下記の
”This will involve certain radical simplifications”
省16
309: 11/05(水)22:06 ID:FFxAuNzB(7/11) AAS
そっか
そもそもセタは>>306の問題文の意味からわからんよな そりゃそうだな 大の勉強嫌いだもんな
310(1): 11/05(水)22:32 ID:SGrAO/gw(1) AAS
日本を否定した彼が「縄文ナショナリズム」と言うべきものに至ったのは皮肉と言うしかない。
彼が好きだというアイドルの顔は、いわゆる「濃い」顔であり
好きなアイドルの顔にまで思想が反映されるほどの異常さだった。
さらに、中元すず香という自身の推しを「朝青龍が入ってる」と罵倒するに至る。
これこそ女から「親しき仲にも礼儀ありと言うけど、親しくもないあなたから
何でそんなこと言われるの？」と指摘される童貞ボーイの失礼な態度そのもの。
これをいい年のおじさんがやってるのだから。
311(1): 11/05(水)23:17 ID:ECmGTlzx(1) AAS
>>308
>”This will involve certain radical simplifications”
>（これにはいくつかの大幅な簡略化が含まれる）
>は、完全にアウトだよ！ｗ
>”ストローマン”（下記）やってるからｗ ；ｐ）
あなたはショルツという人がそのようなことをしていると断言できるくらいにはIUTを理解しているのでしょうか？
それとも
誰かがそのようなことを言ったのを理解もせず受け売りしているだけなのでしょうか？
312: 11/05(水)23:24 ID:FFxAuNzB(8/11) AAS
述語論理の初歩の初歩も分からんセタに受け売り以外ができるはずも無く
313(11): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)23:27 ID:BZV1IQOW(4/5) AAS
>>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))
の自由変数をすべて書け
(引用終り)
ふっふ、ほっほ
あのな、それよりか
省10
314(1): 11/05(水)23:33 ID:FFxAuNzB(9/11) AAS
>>305
ほれ、君がそんなこと言ってる間にもこんなん出てきたぞ左翼くん
なんで学問の自由を侵害してまで研究中止させたいか分かるかい？
中国の圧力で英大学がウイグル強制労働研究中止 教授「学問の自由侵害」、警察が捜査検討
315: 11/05(水)23:36 ID:FFxAuNzB(10/11) AAS
>>313
ほらね、逃げたｗ
>それよりか
大学数学の基本中の基本である述語論理の基本中の基本の問題にそれよりかもクソも無い
316(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)23:45 ID:BZV1IQOW(5/5) AAS
>>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）さらに、対中国外交を論じるときに、中国の現状分析だけでは足りない
今後の中国を論じなければならない。ここにも、厳密定義は存在しない。予測するしかない
予測をもとに、対中国外交を論じるしかない
省4
317: 11/05(水)23:49 ID:ddrgKVI5(1) AAS
出てくる単語しか見えない能無しセタ
今度は ZFC の公理全部使わず、ましてや Grothendieck の universe みたいな超巨大なものを回避して sheaf theory 構成するにはどれくらいの大きさの power set が最低限度必要かということを研究した自分の主張と真逆の話してる論文を紹介しだす。
どこまでもどこまでも無能
318: 11/05(水)23:58 ID:FFxAuNzB(11/11) AAS
>>316
>人生の重要な事項は、だいたいが 一階述語論理だけではどうしようもないことが多い （＾＾
だから言ってるじゃん
数学が人生の重要事項でない君は数学なんてきれいさっぱり忘れなよと もう数学板にも来なくていいよ
319: 11/06(木)00:03 ID:24EBkQLZ(1/2) AAS
そして一階述語論理をいまだに誤解して直せない。何が間違っているのかすらわからない無能。
320: 11/06(木)00:20 ID:24EBkQLZ(2/2) AAS
ちなみに wikipedia の述語論理の項
述語論理（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理（英語版）、無限論理などが含まれる。...
どこにも一ミリも「考え方」「思考法」などと読める部分などない。本文読む気がないのか、読んでもわからんのか
321(2): 11/06(木)01:16 ID:PuQ4Gk5G(1/3) AAS
>>313
>圏論のロジック（矢印図）
って
可換図式のこと？
>（例えば P15 "6.3. Duality and derived categories."とかね。にあるのは可換図式だけど
>なお 集合の論理式も P11辺りに 出てくるけどね）
集合の論理式って何のこと？ていうか何でこれらだけを取り上げてるの？
「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
集合の論理式よりずっと高尚なものなのじゃ」
みたいなことを言いたいの？
省2
上下前次1-新書関写板覧索設栞歴
あと 681 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s