[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
783: １３２人目の素数さん [] 2025/11/11(火) 21:29:35.86 ID:5zG2VQDm >>765 下らないことしか書かないね http://rio2016.5ch.net/test/read.cgi/math/1761878205/783
784: １３２人目の素数さん [] 2025/11/11(火) 21:32:09.64 ID:5zG2VQDm >>773 >>>767-768 >>ばかばかしい 混成ですよ http://rio2016.5ch.net/test/read.cgi/math/1761878205/784
785: １３２人目の素数さん [] 2025/11/11(火) 21:39:30.52 ID:rZBZzvXB ＞代数学の基本定理 (Fundamental Theorem of Algebra)はハーツホーンでは、直接は扱っていないぞ！ 「直接」＝代数学の基本定理 (Fundamental Theorem of Algebra)という言葉を明示して ということなら、そうはなってないかもしれんが、読む人が読めば ああ、これって代数学の基本定理のことじゃん と分かる記述があれば、それは「書いてある」ということになるんだよ ＞もちろん ハーツホーンで扱う大定理に何かを組み合わせれば ＞代数学の基本定理 (Fundamental Theorem of Algebra) ＞が 導けるかもしれないよ ここでいってるのは、そういうことではなくて 代数学の基本定理にあたることが、層とコホモロジーの言葉で書ける ということ わかる？ ＞だがな、ハーツホーンの前提が ＞学部レベルの複素関数論や代数学の基本定理を ＞前提としていたら どうよ？ ＞それって、循環論法だよ 複素関数論は基礎にあるだろうね でも、代数学の基本定理そのものを前提としてることはないな ところで、代数学の基本定理の実数版も、 層（というかファイバー束）で示せる つまり、奇数次の実代数方程式は必ず実数解を持つ なぜならメビウスの帯の切断はかならずファイバーの零点を通る ちなみに偶数時の場合は自明束だから零点を通らない切断が存在する http://rio2016.5ch.net/test/read.cgi/math/1761878205/785
786: １３２人目の素数さん [] 2025/11/11(火) 21:44:04.84 ID:rZBZzvXB >>773 ＞”フローチャート”自身は、構造化も非構造化も関係ないですよ！ というか構造化されてない と断言できるのは、構造化チャートというものが存在してるから https://www.ap-siken.com/kakomon/17_haru/q40.html 構造化チャートでは、フローチャートのような勝手なgotoは書けない 条件分岐と繰り返しの構造が規定されてるから キミ、構造化って何をどう構造化してるか全然分かってないでしょ http://rio2016.5ch.net/test/read.cgi/math/1761878205/786
787: １３２人目の素数さん [] 2025/11/11(火) 21:47:47.80 ID:ewbNriaY Siuは8月の研究集会で Hartshorneはformalなので嫌いだと 言っていた http://rio2016.5ch.net/test/read.cgi/math/1761878205/787
788: １３２人目の素数さん [] 2025/11/11(火) 21:50:33.41 ID:rZBZzvXB 別に「構造化自然言語文」で書けば、わかりやすく曖昧さのないプログラムは書けるよ ブログラムというけど、所詮は文章だから（笑） まあ、 ロクに文章も読めず ロクな文章も書けない高卒の世田君に、 ロクなプログラムは書けんし ロクな質問もAIに対してできないから ロクな回答をAIに書かせることもできんね ロクでもない奴といわれても仕方ない（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/788
789: １３２人目の素数さん [] 2025/11/11(火) 21:53:08.80 ID:rZBZzvXB >>787 Hartshornに書いてあるといったが Hartshornにしか書いてないとはいってないよ 日本語分かる？ http://rio2016.5ch.net/test/read.cgi/math/1761878205/789
790: １３２人目の素数さん [] 2025/11/11(火) 22:08:54.79 ID:ewbNriaY Hartshorne http://rio2016.5ch.net/test/read.cgi/math/1761878205/790
791: １３２人目の素数さん [] 2025/11/11(火) 23:08:20.88 ID:5zG2VQDm >>789 ID:ewbNriaY はどこかしら日本語が不自由 http://rio2016.5ch.net/test/read.cgi/math/1761878205/791
792: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/11(火) 23:32:37.28 ID:MAm0UGMh >>782 >「Chapter II.5–6：線束、切断、チャーン類。CP^1 上の O(n) の大域切断＝多項式。」 >意味わかる？わかんないならハーツホーン読んでも無駄だから、即古本屋に売りな >>785 >「直接」＝代数学の基本定理 (Fundamental Theorem of Algebra)という言葉を明示して >ということなら、そうはなってないかもしれんが、読む人が読めば >ああ、これって代数学の基本定理のことじゃん >と分かる記述があれば、それは「書いてある」ということになるんだよ ふっふ、ほっほ ははは ああ、おかしい 笑えるな・・・ ははは 久しぶりに、腹の底から笑えたよ 数学って、口先でやれるんだ・・ きちんと証明書かないで、数学やれるんだね わっハハ わっハハ http://rio2016.5ch.net/test/read.cgi/math/1761878205/792
793: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/11(火) 23:44:15.31 ID:MAm0UGMh >>787 >Siuは8月の研究集会で >Hartshorneはformalなので嫌いだと >言っていた 御大か 巡回ご苦労さまです なる・・・ 意味深ですな 余韻がないってことかな？ （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1761878205/793
794: １３２人目の素数さん [] 2025/11/12(水) 00:23:15.80 ID:Aucj6td8 >>792 内容がよく理解できていれば普通のことでは？ http://rio2016.5ch.net/test/read.cgi/math/1761878205/794
795: １３２人目の素数さん [] 2025/11/12(水) 00:29:11.80 ID:Aucj6td8 >>792 >きちんと証明書かないで、数学やれるんだね グロタンディークの夢想した遠アーベル幾何は数学ではないと？ まあ確かにそうだったのかも http://rio2016.5ch.net/test/read.cgi/math/1761878205/795
796: １３２人目の素数さん [] 2025/11/12(水) 03:22:03.92 ID:+6voqTol >>792 >きちんと証明書かないで、数学やれるんだね 人生で一度も証明書いたことが無いおまえがそれ言うか？ なら下記命題の証明をきちんと書いてみ？ ∀x(P(x)→Q(x))→(∀xP(x)→∀xQ(x)) http://rio2016.5ch.net/test/read.cgi/math/1761878205/796
797: １３２人目の素数さん [] 2025/11/12(水) 03:25:53.06 ID:+6voqTol あ、ごめん、セタは∀恐怖症だったな そもそもその式の意味からワカランよな http://rio2016.5ch.net/test/read.cgi/math/1761878205/797
798: １３２人目の素数さん [] 2025/11/12(水) 05:54:43.33 ID:gdxRFtgb ＞下記命題の証明をきちんと書いてみ？ ＞∀x(P(x)→Q(x))→(∀xP(x)→∀xQ(x)) そもそも以下が成立する ∀x(P(x)→Q(x))→(∃xP(x)→∃xQ(x)) また同じことだが以下が成立する ∀x(P(x)→Q(x))→(∀x¬Q(x)→∀x¬P(x)) http://rio2016.5ch.net/test/read.cgi/math/1761878205/798
799: １３２人目の素数さん [] 2025/11/12(水) 07:11:42.87 ID:pxtTmWLA ばかばかしい http://rio2016.5ch.net/test/read.cgi/math/1761878205/799
800: １３２人目の素数さん [sage] 2025/11/12(水) 09:54:12.57 ID:jidz5oCS おっ そうだな http://rio2016.5ch.net/test/read.cgi/math/1761878205/800
801: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/12(水) 09:58:30.74 ID:ALZYQ4aC 再録 https://rio2016.5ch.net/test/read.cgi/math/1749926306/930 Inter-universal geometry とABC 予想58 930１３２人目の素数さん 2025/11/12(水) ID:auYzJv10 >> 924 >>>査読過程 >こんなやり方は二度と通らないだろう ご苦労さまです ピュアな数学者に 政治的駆け引きを求めるのもあれですが・・ チャンスは2回あった 1回目は、査読完了の記者会見のとき ショルツェの批判について問われたときに たしか、「望月氏が反論していて それに対する回答がないから OKにした」 みたく答えたけれど 本当は、きちんとした説明としては 「ショルツェ氏のドキュメントは simplification という手法をつかっているが simplification はディベート論法で、厳密性を重視する数学では許されない ストローマン論法になっている。なので、数学的には認められない」と 数学者が納得する反論と説明を明確にすれば良かった 2回目のチャンスは 2021年7月、ペーター・ショルツェ氏がZentralblatt Math誌で望月IUT論文に批判的なレビューを寄稿したときで 同じように、「・・simplification はディベート論法で、厳密性を重視する数学では許されない ストローマン論法になっている。数学的には認められない議論で、そのビューは不当だ」 と きちんと反論しておく方が良かったでしょうね いまから思えばね 高市さんなら、反論したと思いますよ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1761878205/801
802: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/12(水) 10:03:32.11 ID:ALZYQ4aC >>799 巡回ご苦労様です ”ばかばかしい” ダメ出しが でました （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1761878205/802
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 200 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s