[過去ログ]
Inter-universal geometry と ABC予想 26 (1002レス)
Inter-universal geometry と ABC予想 26 http://rio2016.5ch.net/test/read.cgi/math/1523148966/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
3: 132人目の素数さん [] 2018/04/08(日) 10:08:27.92 ID:EKQijD9c The abc conjecture has (still) not been proved https://galoisrepresentations.wordpress.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ https://web.archive.org/web/20171229175021/https://www.facebook.com/ivan.fesenko.37/posts/1128469910617882 Peter Scholze points out possible error in IUT https://amp.reddit.com/r/math/comments/7leoy8/peter_scholze_points_out_possible_error_i http://rio2016.5ch.net/test/read.cgi/math/1523148966/3
5: 132人目の素数さん [] 2018/04/08(日) 10:19:45.15 ID:EKQijD9c 加藤和也先生の講義ノート 再 スレ25を参照 加藤先生の講義のノート http://math.uchicago.edu/~chonoles/expository-notes/courses/2013/326/math326notes.pdf 今年の講義のノート http://math.uchicago.edu/~dsli/notes/math383_w18_notes.pdf http://rio2016.5ch.net/test/read.cgi/math/1523148966/5
47: 132人目の素数さん [] 2018/04/10(火) 20:17:43.45 ID:DnIQmVVW 中島啓先生がRIMSから転出したのは、もっちー周辺のうさんくさい状況に嫌気がさしたからなの? http://rio2016.5ch.net/test/read.cgi/math/1523148966/47
48: 132人目の素数さん [sage] 2018/04/10(火) 21:19:30.87 ID:XJ+sZPjt ロバートなんたらのSNSで、ショルツのことコメントしてた。ショルツは私的してたエラーは論文のアップデートで納得していた、ような書きこみだったけど。 http://rio2016.5ch.net/test/read.cgi/math/1523148966/48
90: 132人目の素数さん [] 2018/04/12(木) 09:00:58.22 ID:9jKffp7y >>87 うーん、 事実でも、 なぜIUTの公式な「理解者」Robert Kucharczykと共著者scholzeさえ2017年12まで理解不能 だったんだろ。 突然scholzeが 理解?したとコメントが出た? 北白川の定理は 摩訶不思議 http://rio2016.5ch.net/test/read.cgi/math/1523148966/90
201: 132人目の素数さん [] 2018/04/15(日) 00:31:40.75 ID:bAavW9uI >>199 査読中や査読後に論文修正なんて反則だわ、 http://rio2016.5ch.net/test/read.cgi/math/1523148966/201
252: 132人目の素数さん [sage] 2018/04/15(日) 17:56:24.59 ID:ZcCi+oFL 思ったんだけど、数学という学問は、工学などの実学と違って、 「合ってる」かどうかを確かめるのって難しくないですか? だって、例えば、プログラム基礎論の場合、プログラムを自分で書いたりすることによって、 ちゃんと命令どうりにコンピュータが動いたらその作業は「合っていた」ということが分かりますが、 数学は、紙とペンだけなので、自分でどんなに紙に数式を書いていっても 確かめる術がないような気がするのですが・・・・。 参考書みたいに、問題だけでなく解答もかいてあったら、それが正しいということが分かりますが、 数学者って、自分で研究のテーマを立てて証明をしたりするわけじゃないですか。 その場合、どうやって自分がやってることが「正しい」ということを理解できるのでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1523148966/252
260: 132人目の素数さん [] 2018/04/15(日) 20:02:21.63 ID:MU6FSmgG >>256 理由を書かない批判レス(非自明な内容を含まないレス)は禁止 http://rio2016.5ch.net/test/read.cgi/math/1523148966/260
292: 132人目の素数さん [] 2018/04/16(月) 19:17:16.73 ID:zvNicx+T 「間違った数学」は存在するが 「正しい数学のやり方」というのは 存在しない。 ↑ 趣味やロマンなら良いけど、詭弁だね。 間違った数学の対は正しい数学。 標準的な学び方はあり 定石 古典がある。 例えば 比例→線形→非線形、 定石 古典は過去の失敗から迷路に入らぬ よう生まれた。 江戸の和算は帰納法で明治に洋学の演繹法 を取り入れた歴史がある。 抽象化の権化 グロタンディクの盲信は 日本には合わないだろう http://rio2016.5ch.net/test/read.cgi/math/1523148966/292
377: 132人目の素数さん [] 2018/04/17(火) 23:50:12.16 ID:ojnBBBOb >>373,>>374,>>375 >>260←に違反 おまえらスレを汚すな もったない http://rio2016.5ch.net/test/read.cgi/math/1523148966/377
383: 132人目の素数さん [] 2018/04/18(水) 01:24:06.00 ID:UIV4bs8y >>379 トートロジーは「根拠」ではない http://rio2016.5ch.net/test/read.cgi/math/1523148966/383
385: 132人目の素数さん [] 2018/04/18(水) 01:53:35.68 ID:OCp8dg1l >>383 荒らしだ 出入り禁止 >>1 http://rio2016.5ch.net/test/read.cgi/math/1523148966/385
673: 132人目の素数さん [] 2018/04/27(金) 06:45:45.72 ID:+OcwjR0z >>665 世界の評価とか如何様にもなる 数学に方向性を与えた仕事かどうかが真の価値 20年経っても誰もがこぞって精読するような仕事とは思えない http://rio2016.5ch.net/test/read.cgi/math/1523148966/673
698: 132人目の素数さん [sage] 2018/04/28(土) 03:19:41.04 ID:6m4ri2bs >>673の文章をめぐり論争が起きているようだが、>>673の最初の >世界の評価とか如何様にもなる の部分の「如何様にもなる」は、「如何様(いかよう)にもなる」と「如何様(いかさま)にもなる」の2通りの解釈が出来る。 >>673のその最初の文に続く後の文脈と照らし合わせて読むと、前者の「如何様(いかよう)にもなる」と解釈することになる。 >>673の内容は別においといて、その最初の上の部分の読み方や解釈を書いた。 http://rio2016.5ch.net/test/read.cgi/math/1523148966/698
704: 132人目の素数さん [sage] 2018/04/28(土) 09:46:54.85 ID:6m4ri2bs >>701 文章の感じ方は人それぞれ。 http://rio2016.5ch.net/test/read.cgi/math/1523148966/704
724: 132人目の素数さん [sage] 2018/04/29(日) 04:09:24.55 ID:XbA/68W5 何度もレスするが、決まるのは来月らしい。だけど普通アクセプトはニュースになんかならん。なるとしても掲載決定のころじゃろう。 http://rio2016.5ch.net/test/read.cgi/math/1523148966/724
809: 132人目の素数さん [] 2018/05/01(火) 02:09:26.95 ID:eCQMukAf でも自称中の人は問題ないと言ってるわけだよね 何でこれ以上待つ必要があるのかよくわからないんだけど 慎重も糞も終わったら載せるだろ普通 http://rio2016.5ch.net/test/read.cgi/math/1523148966/809
882: 132人目の素数さん [sage] 2018/05/02(水) 20:56:07.70 ID:f/uzGEUx あ、いくら言っても数学的に意味がきちんと伝わる文章書いてくれないとわかったんで もういいです http://rio2016.5ch.net/test/read.cgi/math/1523148966/882
909: 132人目の素数さん [] 2018/05/03(木) 02:37:56.79 ID:n2DEPfXC >>908 それなら絶対ガロア群の意味がわかりません、stackの意味がわかりません、とでも正直に 言えばいいし、IUTTの内容イメージを全くはぐらかしたので怪しいなとは感じた 以下は嫌なら読まなくていいし一切責任をとらない駄文として書いておく 何れにせよ「圏の幾何」とか「basepointless」というものは抽象化するということだ 抽象化とは何らかの性質を抜き出すということ そうすることで異質な環=宇宙を「共通に」捉える舞台を得ることができる その抽象化には明確にFrobenioidとAnabelioidの両圏が対応する だが、他方で「本質的に異なる」宇宙の性質を区別しなければ整合的に統一できない この整合化に際して、絶対遠アーベル幾何学からすれば絶対ガロア群が宇宙の特徴付けを行う これは「通常の遠アーベル幾何学では基本群がスキームの情報を記述する」の延長に過ぎない ※IUTTでは基本的に数論的基本群は絶対ガロア群と同じものと見なせる 以上のメカニズムは、抽象的なプログラム言語を用いてソフトウェアの対象を識別・記述する 仕組みに似ている。特に絶対遠アーベル幾何学はスキームの根源的な言語として使われる 更にこれは非公式な説明だが、要は抽象的な圏の居場所になるトポスなら 環を一式基礎づけできるのでInter-universal formalismができるのだとしている (実は非常に有名な理論とも仕組みが似ているが敢えて書かない) 勿論注意として単に「トポスだから宇宙際」、なのではない(要点は上の通り) >>882は厳格・形式的に論文のように書くことを数学的だと誤解してるのかな、とも思ったが 要点は以上の通りで、別に細かい話など必要ない。言葉遊びとの批判もどうでもよい http://rio2016.5ch.net/test/read.cgi/math/1523148966/909
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.449s*