[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
322(2): 11/06(木)04:53 ID:yNffKouK(1/12) AAS
>>310
縄文にナショナリズムなんかないよ
縄文時代に国家なんかないんだから（笑）
323: 11/06(木)04:58 ID:yNffKouK(2/12) AAS
>>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))
>>の自由変数をすべて書け
>ふっふ、ほっほ
なんだ こんな問題も解けずに、笑って誤魔化すのかい カラスの世田は
そりゃ、大学１年で落ちこぼれるわけだ
>あのな、それよりか圏論のロジック（矢印図）読めるのか？ キミは
省3
324(1): 11/06(木)05:01 ID:yNffKouK(3/12) AAS
>>314
なんかウイグルウイグルうるさいアホは
自分がインド・ヨーロッパ語族のキリスト教徒のコーカソイドだと
妄想してるんかな（笑）
325(2): 11/06(木)05:39 ID:yNffKouK(4/12) AAS
>>316
＞”certain radical simplifications”(ある種の根本的な単純化)は、
＞例えば 対中国外交を論じるときなどは 必須だ
＞つまり、”中国”の厳密な定義は存在しないし、
＞Aさんの思う中国と Bさんの思う中国とは 異なるのが普通だし
＞できるだけ共通認識を整えることは大事だが、それは 完璧にはいかない
なんか具体性ゼロの抽象論でドヤってるカラスの世田に質問
”中国本土”(China Proper)って知ってる？
中国本土
外部ﾘﾝｸ:ja.wikipedia.org
省21
326(1): 11/06(木)05:39 ID:yNffKouK(5/12) AAS
>>325のつづき
＞このとき、厳密な論理思考だけでは、どうにもならない
＞（厳密な論理思考は当然必要だが）
＞むしろ、予測（読み）が重要になる
＞論理以外の経験やカンも必要になる
＞つまりは、一階述語論理だけでは どうしようもない ってことだ
未来を予測するには現在の認識と現在から未来への変化の仕方の認識が必要
そして、変化の仕方を認識するには、過去の認識と過去から現在への変化の認識が必要
そこから「〇が□に対して●●であるならば〇が□を●●する」
とかいう法則を抽出する必要がある
省16
327(1): 11/06(木)05:48 ID:yNffKouK(6/12) AAS
一階述語論理は、アリストテレス論理学よりは強力
アリストテレス論理学は、根本的に単項述語文に関するものである
したがってラッセルパラドックスすら扱えない
ラッセルパラドックスを論じるには二項述語を扱えねばならない
「誰であれ、自分以外のすべての人のヒゲをそることはできない」
この文章で「ヒゲを剃る」という述語は、
ヒゲを剃る人「主語」とヒゲを剃られる人「目的語」の
二つの項を必要とする
これは「日本人である」とか「中国人である」とかいう
一つの項しかない述語とは全く異なる
省2
328(1): 11/06(木)05:56 ID:yNffKouK(7/12) AAS
ラッセルパラドックスは集合論の欠陥を示すものではなく
より一般に二項以上の述語文に対する定理と解釈できる
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、XがXを●●するときそのときに限る」
まあ、そのようなYはX自身に決まってるだろ、というのは明白だが
こんなことすら、アリストテレス論理学では扱い得なかったのだから
フレーゲはやっぱり大した論理学者だといっていい
ただ理論構成でちょっとしくじっただけのことである（笑）
329(5): 11/06(木)06:04 ID:yNffKouK(8/12) AAS
御免、328の文章間違った（笑）
正しくは以下
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」
この否定は
「ある特定のXがいて、任意のYに対して、XがYを●●するのは、YがYを●●しないときそのときに限る」
ここで、YがXだとすると、
「XがXを●●するとのは、XがXを●●しないときそのときに限る」
となって矛盾する
要するに、ラッセルパラドックスとは
「一階述語論理における、基本的な定理の否定文」
省4
330(1): 11/06(木)07:14 ID:kZjwl31O(1) AAS
；ｐ）；ｐ）；ｐ）；ｐ）；ｐ）
331: 11/06(木)08:20 ID:PuQ4Gk5G(2/3) AAS
>>329
>XがYを●●するのは、YがYを●●するときそのときに限る
P={(X,Y)|XがYを●●する}
Q={(X,Y)|YがYを●●する}
P⊂Q ⇔ P-Q=φ
¬(P⊂Q) ⇔ P-Q≠φ
∃X∀Y:YがYを●●しないときでもXがYを●●することがある
Y=X
XがXを●●しないときでもXがXを●●することがある
人
332: 11/06(木)08:39 ID:j8xkVDrd(1/12) AAS
>>324
>>307に答えられないアホが何言っても無駄
333: 11/06(木)08:52 ID:0JXWfEhS(1/5) AAS
というか無関心
上下前次1-新書関写板覧索設栞歴
あと 669 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s