[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
790: 132人目の素数さん [] 2025/11/11(火) 22:08:54.79 ID:ewbNriaY Hartshorne http://rio2016.5ch.net/test/read.cgi/math/1761878205/790
791: 132人目の素数さん [] 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: 132人目の素数さん [] 2025/11/12(水) 00:23:15.80 ID:Aucj6td8 >>792 内容がよく理解できていれば普通のことでは? http://rio2016.5ch.net/test/read.cgi/math/1761878205/794
795: 132人目の素数さん [] 2025/11/12(水) 00:29:11.80 ID:Aucj6td8 >>792 >きちんと証明書かないで、数学やれるんだね グロタンディークの夢想した遠アーベル幾何は数学ではないと? まあ確かにそうだったのかも http://rio2016.5ch.net/test/read.cgi/math/1761878205/795
796: 132人目の素数さん [] 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: 132人目の素数さん [] 2025/11/12(水) 03:25:53.06 ID:+6voqTol あ、ごめん、セタは∀恐怖症だったな そもそもその式の意味からワカランよな http://rio2016.5ch.net/test/read.cgi/math/1761878205/797
798: 132人目の素数さん [] 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: 132人目の素数さん [] 2025/11/12(水) 07:11:42.87 ID:pxtTmWLA ばかばかしい http://rio2016.5ch.net/test/read.cgi/math/1761878205/799
800: 132人目の素数さん [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 930132人目の素数さん 2025/11/12(水) ID:auYzJv10 >> 924 >>>査読過程 >こんなやり方は二度と通らないだろう ご苦労さまです ピュアな数学者に 政治的駆け引きを求めるのもあれですが・・ チャンスは2回あった 1回目は、査読完了の記者会見のとき ショルツェの批判について問われたときに たしか、「望月氏が反論していて それに対する回答がないから OKにした」 みたく答えたけれど 本当は、きちんとした説明としては 「ショルツェ氏のドキュメントは simplification という手法をつかっているが simplification はディベート論法で、厳密性を重視する数学では許されない ストローマン論法になっている。なので、数学的には認められない」と 数学者が納得する反論と説明を明確にすれば良かった 2回目のチャンスは 2021年7月、ペーター・ショルツェ氏がZentralblatt Math誌で望月IUT論文に批判的なレビューを寄稿したときで 同じように、「・・simplification はディベート論法で、厳密性を重視する数学では許されない ストローマン論法になっている。数学的には認められない議論で、そのビューは不当だ」 と きちんと反論しておく方が良かったでしょうね いまから思えばね 高市さんなら、反論したと思いますよ ;p) 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
803: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/12(水) 10:25:20.51 ID:ALZYQ4aC >>781 (引用開始) 代数学の基本定理 (Fundamental Theorem of Algebra)は ハーツホーンでは、直接は扱っていないぞ!www いや、もちろん ハーツホーンで扱う大定理で それに何かを組み合わせれば 代数学の基本定理 (Fundamental Theorem of Algebra)が 導けるかもしれないよ だがな、ハーツホーンの前提が 学部レベルの複素関数論や 代数学の基本定理を前提としていたら どうよ? それって、循環論法だよwww (引用終り) 補足しておくと いま、複素関数論で Y=f(x) fはn次多項式、xは複素変数 とする Y=f(x)を図形として幾何的に考えるとき 逆関数 f^-1:Y→x は、n価多価関数になる そこで、天才リーマンは 無限遠点を導入して リーマン面を導入する そうすると、一価になるのです!! ここで、代数学の基本定理が使われているのです つまり ”f^-1:Y→x は、n価多価関数”で n次多項式が、あるYに対して n個の解を持つことが使われているのです! よって、複素関数論→Y=f(x) fはn次多項式の図形 を考えるときに 代数学の基本定理 (Fundamental Theorem of Algebra)を使用している 余談だが Y=y^2と置きなおして y^2=f(x) fは3又は4次多項式 とすると これぞ、楕円曲線の式なり〜〜! (^^ で、ハーツホーンにも 楕円曲線の節がありますね y^2=f(x)と書き直すと 複素トーラスになるらしい (梅村や武部の楕円関数論の本に書いて有るよ) かように、代数学の基本定理 (Fundamental Theorem of Algebra)は 思わず知らず 当たり前 デフォルト として 無意識に使われていると思うぞ!w ;p) http://rio2016.5ch.net/test/read.cgi/math/1761878205/803
804: 132人目の素数さん [sage] 2025/11/12(水) 10:27:16.16 ID:5tb83k/H >>801 やっぱIUT擁護が日本人のフリする朝鮮人偽右翼なのワラタ http://rio2016.5ch.net/test/read.cgi/math/1761878205/804
805: 132人目の素数さん [] 2025/11/12(水) 10:44:33.05 ID:+6voqTol >>802 不正解 >∀x(P(x)→Q(x))→(∀xP(x)→∀xQ(x)) の証明もきちんと書けないのに >きちんと証明書かないで、数学やれるんだね と豪語しちゃうピエロ http://rio2016.5ch.net/test/read.cgi/math/1761878205/805
806: 132人目の素数さん [] 2025/11/12(水) 10:49:11.04 ID:mMgxDBn6 >>803 ちゃんとオーソドックスに勉強してる人は ヒルベルトの零点定理 を挙げて論じると思う。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/806
807: 132人目の素数さん [] 2025/11/12(水) 10:54:02.33 ID:cJLli140 >>803 > 補足しておくと >いま、複素関数論で Y=f(x) fはn次多項式、xは複素変数 とする >Y=f(x)を図形として幾何的に考えるとき >逆関数 f^-1:Y→x は、n価多価関数になる なぜ逆関数を考える? >そこで、天才リーマンは 無限遠点を導入して リーマン面を導入する >そうすると、一価になるのです!! なぜリーマン面を導入して逆関数を一価化する? >ここで、代数学の基本定理が使われているのです つまり >”f^-1:Y→x は、n価多価関数”で >n次多項式が、あるYに対して n個の解を持つ >ことが使われているのです! なぜそこで代数学の基本定理を持ち出す? なにからなにまでトン・チン・カン >よって、複素関数論→ >Y=f(x) fはn次多項式の図形 >を考えるときに >代数学の基本定理 (Fundamental Theorem of Algebra) >を使用している 馬鹿は馬鹿なことしかいわんなあ それじゃ大学の数学が何一つ分からんのも無理はない 諦めて数学書全部売って囲碁でもやってな http://rio2016.5ch.net/test/read.cgi/math/1761878205/807
808: 132人目の素数さん [] 2025/11/12(水) 10:54:49.35 ID:V8vZ+Ixu >>天才リーマンは 無限遠点を導入して リーマン面を導入する リーマンは 無限遠点を導入して リーマン球面を定義することにより 有理型関数をリーマン球面への正則写像とみる視点を 導入した。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/808
809: 132人目の素数さん [] 2025/11/12(水) 11:34:06.80 ID:i2O9mKsu AIに 「もしかして中間値の定理とか偏角の原理って・・・コホモロジーなの?」 って聞いたら・・・ 「よくわかったな! 実はそうなんだよ! これが現代数学の核心だぜ!」 みたいな回答が来ちまった びっくりするほどコホモロジー!!! http://rio2016.5ch.net/test/read.cgi/math/1761878205/809
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 193 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s