[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
319: １３２人目の素数さん [sage] 2025/11/06(木) 00:03:25.67 ID:24EBkQLZ そして一階述語論理をいまだに誤解して直せない。何が間違っているのかすらわからない無能。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/319
320: １３２人目の素数さん [sage] 2025/11/06(木) 00:20:13.76 ID:24EBkQLZ ちなみに wikipedia の述語論理の項 述語論理（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理（英語版）、無限論理などが含まれる。... どこにも一ミリも「考え方」「思考法」などと読める部分などない。本文読む気がないのか、読んでもわからんのか http://rio2016.5ch.net/test/read.cgi/math/1761878205/320
321: １３２人目の素数さん [] 2025/11/06(木) 01:16:20.44 ID:PuQ4Gk5G >>313 >圏論のロジック（矢印図） って 可換図式のこと？ >（例えば P15 "6.3. Duality and derived categories."とかね。にあるのは可換図式だけど >なお 集合の論理式も P11辺りに 出てくるけどね） 集合の論理式って何のこと？ていうか何でこれらだけを取り上げてるの？ 「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ 集合の論理式よりずっと高尚なものなのじゃ」 みたいなことを言いたいの？ >どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ このwwwってどういう気分で書いてるのかな？ http://rio2016.5ch.net/test/read.cgi/math/1761878205/321
322: １３２人目の素数さん [] 2025/11/06(木) 04:53:20.16 ID:yNffKouK >>310 縄文にナショナリズムなんかないよ 縄文時代に国家なんかないんだから（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/322
323: １３２人目の素数さん [] 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)) >>の自由変数をすべて書け >ふっふ、ほっほ なんだ こんな問題も解けずに、笑って誤魔化すのかい カラスの世田は そりゃ、大学１年で落ちこぼれるわけだ >あのな、それよりか圏論のロジック（矢印図）読めるのか？ キミは >いまどきは圏論のロジック（矢印図）の方が重要だと思うよ 論理式も読めないカラスの世田が圏論の矢印図読めるわけなかろう 自分ができもしないことで自慢するとかアホか（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/323
324: １３２人目の素数さん [] 2025/11/06(木) 05:01:25.05 ID:yNffKouK >>314 なんかウイグルウイグルうるさいアホは 自分がインド・ヨーロッパ語族のキリスト教徒のコーカソイドだと 妄想してるんかな（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/324
325: １３２人目の素数さん [] 2025/11/06(木) 05:39:22.18 ID:yNffKouK >>316 ＞”certain radical simplifications”(ある種の根本的な単純化)は、 ＞例えば 対中国外交を論じるときなどは 必須だ ＞つまり、”中国”の厳密な定義は存在しないし、 ＞Aさんの思う中国と Bさんの思う中国とは 異なるのが普通だし ＞できるだけ共通認識を整えることは大事だが、それは 完璧にはいかない なんか具体性ゼロの抽象論でドヤってるカラスの世田に質問 ”中国本土”(China Proper)って知ってる？ 中国本土 https://ja.wikipedia.org/wiki/%E4%B8%AD%E5%9B%BD%E6%9C%AC%E5%9C%9F 今の中華人民共和国の領土が中国本土からはみ出してる こういえばいいだけ ウイグルがーとかチベットがーとかモンゴルがーとか 具体的な名前を喚き散らす必要なし わかる？これが正しい「ある種の根本的な単純化」な（笑） ＞さらに、対中国外交を論じるときに、 ＞中国の現状分析だけでは足りない ＞今後の中国を論じなければならない。 ＞ここにも、厳密定義は存在しない。 ＞予測するしかない ＞予測をもとに、対中国外交を論じるしかない なんか具体性ゼロの抽象論でドヤってるカラスの世田に質問 冊封体制って知ってる？ 冊封体制 https://ja.wikipedia.org/wiki/%E5%86%8A%E5%B0%81%E4%BD%93%E5%88%B6 今の中国の行動は、過去の冊封体制のなぞりでしかない そしてなぜ東アジアでそういう体制が実現したかといえば 中国本土が周辺地域に比べて恵まれていたという地理的条件があるから 日本とかいう東の島の土人がいかにギャアギャアわめこうとこの条件は否定しようもない 過去を知ることで今が見える 過去を知らぬものに今は見えんし、将来が見えるわけもない わかる？これが正しい「ある種の根本的な単純化」な（笑） （つづく） http://rio2016.5ch.net/test/read.cgi/math/1761878205/325
326: １３２人目の素数さん [] 2025/11/06(木) 05:39:53.63 ID:yNffKouK >>325のつづき ＞このとき、厳密な論理思考だけでは、どうにもならない ＞（厳密な論理思考は当然必要だが） ＞むしろ、予測（読み）が重要になる ＞論理以外の経験やカンも必要になる ＞つまりは、一階述語論理だけでは どうしようもない ってことだ 未来を予測するには現在の認識と現在から未来への変化の仕方の認識が必要 そして、変化の仕方を認識するには、過去の認識と過去から現在への変化の認識が必要 そこから「〇が□に対して●●であるならば〇が□を●●する」 とかいう法則を抽出する必要がある そして法則の正当性は過去の条件から現在の状況が演繹できることである 決して個人の心理的欲求の投影として正当化してはならんし そんな狂ったことで正当化できるわけもない そして、〇〇は対象であり、●●は述語であるから、 当然主語、目的語を備えた述語文が必要であり さらにそのような述語文に対する論理法則も必要 これの最低限のレベルが一階述語論理 つまり一階述語論理も分からんカラスの世田には 中国の過去から現在までの歴史も理解できんし 中国の将来も理解できんし ただ中国が恵まれてて尊大なのが気に入らないとかいう 嫉妬感情だけで中国を詰っていい気分になる程度の オナニー発言しかできんってこった（笑） どうだ、カラスの世田 あまりにもズバリそのまますぎて、グウの音もでないだろ ギャハハハハハハ！！！ http://rio2016.5ch.net/test/read.cgi/math/1761878205/326
327: １３２人目の素数さん [] 2025/11/06(木) 05:48:02.04 ID:yNffKouK 一階述語論理は、アリストテレス論理学よりは強力 アリストテレス論理学は、根本的に単項述語文に関するものである したがってラッセルパラドックスすら扱えない ラッセルパラドックスを論じるには二項述語を扱えねばならない 「誰であれ、自分以外のすべての人のヒゲをそることはできない」 この文章で「ヒゲを剃る」という述語は、 ヒゲを剃る人「主語」とヒゲを剃られる人「目的語」の 二つの項を必要とする これは「日本人である」とか「中国人である」とかいう 一つの項しかない述語とは全く異なる まあ、国籍だけでギャアギャア騒ぐ国粋馬鹿野郎どもは アリストテレス論理学で止まったままなのだろう（嘲） http://rio2016.5ch.net/test/read.cgi/math/1761878205/327
328: １３２人目の素数さん [] 2025/11/06(木) 05:56:40.62 ID:yNffKouK ラッセルパラドックスは集合論の欠陥を示すものではなく より一般に二項以上の述語文に対する定理と解釈できる 「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、XがXを●●するときそのときに限る」 まあ、そのようなYはX自身に決まってるだろ、というのは明白だが こんなことすら、アリストテレス論理学では扱い得なかったのだから フレーゲはやっぱり大した論理学者だといっていい ただ理論構成でちょっとしくじっただけのことである（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/328
329: １３２人目の素数さん [] 2025/11/06(木) 06:04:31.17 ID:yNffKouK 御免、328の文章間違った（笑） 正しくは以下 「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」 この否定は 「ある特定のXがいて、任意のYに対して、XがYを●●するのは、YがYを●●しないときそのときに限る」 ここで、YがXだとすると、 「XがXを●●するとのは、XがXを●●しないときそのときに限る」 となって矛盾する 要するに、ラッセルパラドックスとは 「一階述語論理における、基本的な定理の否定文」 なので、一階述語論理が確立された現在では その気になれば誰でも分かって当然なのである わかったかな カラスの世田君 （完） http://rio2016.5ch.net/test/read.cgi/math/1761878205/329
330: １３２人目の素数さん [] 2025/11/06(木) 07:14:15.40 ID:kZjwl31O ；ｐ）；ｐ）；ｐ）；ｐ）；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1761878205/330
331: １３２人目の素数さん [] 2025/11/06(木) 08:20:02.78 ID:PuQ4Gk5G >>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を●●することがある 人 http://rio2016.5ch.net/test/read.cgi/math/1761878205/331
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 671 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.099s