[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 45 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 45 http://rio2016.5ch.net/test/read.cgi/math/1588552720/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
61: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 07:55:25 ID:dnbV/fKk >>60 コメントありがとう 興味深く読みました ”>Koshikawa had a similar problem, and when he asked Mochizuki about it, the latter responded that the deduction is self-evident.” の話は、本スレでも出ていたね(今年の4月3日の記者会見後に) で、それは2018年当時のKoshikawaで 「越川先生は、いまどう考えているのか」だった ”Cor3.12は証明になっていない”と直接聞いたってことだったと記憶している つまりは、私の記憶では、Cor3.12は2018年当時は、”self-evident”に近い簡単な記載であって それがSSとの論争と文書のやり取りの後 さらなる査読の過程で、Cor3.12の証明が追加補強されたと推察しています (改訂経緯を、きちんとフォローできていないが) なので、「越川先生は、いまどう考えているのか」がポイント かつ「いまの査読の過程で Cor3.12の証明が追加補強された版を読んで」どう思うかが、もう一つのポイントでしょうね http://rio2016.5ch.net/test/read.cgi/math/1588552720/61
62: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 08:02:16 ID:dnbV/fKk >>61 追加 >David Roberts says: >April 30, 2020 at 8:23 pm >@JE is this ‘specific mathematician’ Teruhisa Koshikawa? ここを追加しておくと @JE自身が、 Teruhisa Koshikawaに見えるけど それは、否定されています つまり ”JE says: May 1, 2020 at 4:57 am @Peter and David, Yes, that’s the tweet. ”です この”Yes, that’s the tweet. ”は、下記の ”Peter Woit says: April 30, 2020 at 8:58 pm David Roberts, I assume JE is referring to this tweet https://twitter.com/MugaShohou/status/1253341200054054912” です! https://twitter.com/5chan_nel (5ch newer account) http://rio2016.5ch.net/test/read.cgi/math/1588552720/62
64: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 08:06:53 ID:dnbV/fKk >>58 >議論が不利になってきたと見るやWoitはScholzeに最後に書かせてDupuyに >反論の場を与えずに書き込み禁止にして逃げやがった。どこまで卑怯者なのだろうか。 それはないでしょう?(^^; 下記のような提案もあるし どうなるか不明ですが https://www.math.columbia.edu/~woit/wordpress/?p=11723 David Roberts says: May 3, 2020 at 5:52 pm Hi Peter, I think it worth including *in the pdf document* a mention that the discussion continued, and give a link back. You mentioned that there was content before the first comment you included, so why not also say the discussion continued? Not everyone reading that document will come to it by a link from your blog post where you mention this. I say this merely from the point of view of having a coherent scholarly record (whatever one’s view of the various positions). http://rio2016.5ch.net/test/read.cgi/math/1588552720/64
65: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 08:18:06 ID:dnbV/fKk >>57 >だいたい柏原さんはIUT論文を読んだのかね? >絶対に読んでないと思うぞ。 >完全に彼の専門外だしね。 ”論文を読む”を、どう定義するかも問題だが それは、未定義としてw(^^ 全く読んでないってこともないでしょう ”Masaki Kashiwara, head of the team that examined the professor’s theory”(下記)を信じればね 自分が、「正しい」と確信を持てる程度には、読んだのでは? https://www.math.columbia.edu/~woit/wordpress/?p=11723 JE says: May 1, 2020 at 4:57 am (Kashiwara was presented as head of the team that examined professor Mochizuki’s theory, see e.g. https://www.japantimes.co.jp/news/2020/04/04/national/japanese-mathematician-shinichi-mochizuki/#.XqvfxGgzaUk) (上記URLから抜粋) https://www.japantimes.co.jp/news/2020/04/04/national/japanese-mathematician-shinichi-mochizuki/#.XrCgT6j7SUl Genius triumphs: Japanese mathematician's solution to number theory riddle validated japantimes KYODO, JIJI APR 4, 2020 “There are a number of new notions and it was hard to understand them,” Masaki Kashiwara, head of the team that examined the professor’s theory, said at a news conference. http://rio2016.5ch.net/test/read.cgi/math/1588552720/65
66: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 08:37:08 ID:dnbV/fKk >>55 >Akshay VenkateshはABC予想はまだ証明されてないって意見に同意しているんだよ。 >英語を勉強して出直してこい。ボケ。 その解釈もありだとは思うけどね(^^; (>>15より) https://www.galoisrepresentations.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ The ABC conjecture has (still) not been proved Posted on December 17, 2017 by Persiflage (抜粋) Akshay Venkatesh says: December 18, 2017 at 8:45 am I couldn’t agree more. (引用終り) この発言のすぐ後に、有名なTerence Tao saysがあって、当時そちらしか見ていなかったんだw ”Terence Tao says: December 18, 2017 at 2:46 pm Thanks for this. I do not have the expertise to have an informed first-hand opinion on Mochizuki’s work, but on comparing this story with the work of Perelman and Yitang Zhang you mentioned that I am much more familiar with, one striking difference to me has been the presence of short “proof of concept” statements in the latter but not in the former, by which I mean ways in which the methods in the papers in question can be used relatively quickly to obtain new non-trivial results of interest (or even a new proof of an existing non-trivial result) in an existing field. In the case of Perelman’s work, already by the fifth page of the first paper Perelman had a novel interpretation of Ricci flow as a gradient flow which looked very promising,・・” Venkateshは、2017年はまだフィールズ賞受賞前だし、目にとまらなかった で、かれの”I couldn’t agree more.”をどう解釈するかだが、私は「アンチには不同意」と読んだよ(否定文だし) 単に、「まだ証明されてないって意見」でも、ほとんど意味同じでしょうね(アンチが多いのだから) なお、Venkateshは、IUT IVの組合わせ論にコメントして、謝辞に名前がでているが 私の推理では、Venkateshはフェセンコ先生から言われて、IUT IVの組合わせ論を見たんじゃ無いかな? Venkateshはフェセンコ先生の弟子だから、多分ね(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/66
67: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 08:44:15 ID:dnbV/fKk >>63 どうも、コメントありがとう なるほど、”I couldn’t agree more.”は、慣用句か そういう気もしたな(^^; だが、>>66 単に、「まだ証明されてないって意見」でも、ほとんど意味同じでしょうね(アンチが多いのだから) ってことだったでしょうね 2017年当時としては 2020年の今、Akshay Venkateshがどう考えているのか? その情報はだれも有していない 2017年は過去でしかない それが事実です http://rio2016.5ch.net/test/read.cgi/math/1588552720/67
68: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 09:18:25 ID:dnbV/fKk >>66 補足 >なお、Venkateshは、IUT IVの組合わせ論にコメントして、謝辞に名前がでているが >私の推理では、Venkateshはフェセンコ先生から言われて、IUT IVの組合わせ論を見たんじゃ無いかな? >Venkateshはフェセンコ先生の弟子だから、多分ね(^^; IUT IV で、Venkateshは、P8謝辞とP36の2箇所に出てきます(^^ (参考) http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨ LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS Shinichi Mochizuki April 2020 (抜粋) P8 Acknowledgements: In addition, I would like to thank Kentaro Sato for useful comments concerning the set-theoretic and foundational aspects of the present paper, as well as Vesselin Dimitrov and Akshay Venkatesh for useful comments concerning the analytic number theory aspects of the present paper. P36 Remark 1.10.6. On the other hand, it was pointed out to the author by A. Venkatesh that in fact it is not difficult to modify the construction of these examples of abc sums given in [Mss] so as to obtain similar asymptotic estimates to those obtained in [Mss] [cf. the discussion of Remark 1.10.5, (ii)], even without taking into account the contributions at the prime 2. http://rio2016.5ch.net/test/read.cgi/math/1588552720/68
71: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 10:07:26 ID:dnbV/fKk >>69 あのさ、”I couldn’t agree more.”は、慣用句 は、良いけど、コンテキスト(文脈とか背景)を考えないと 真意は解釈できないと思うんだけど、維新さんかな? 例えば、日本語で「結構です」という発言を”遠慮”(もういらない)と解釈するか あるいは、「結構ですね」(=素晴らしい)と解釈するかの違いみたいなものです Venkatesh氏が、>>66の ”The ABC conjecture has (still) not been proved Posted on December 17, 2017 by Persiflage” に登場して、1行コメントをして行った ”agree”って、何に対して agreeしているか? も明言していない。だから、文脈から推察するしかないのです さて、Venkatesh氏はこの後2018年にフィールズ賞受賞して、フェセンコ先生のDR生だったという また、>>68に引用したが、望月 IUT IV に名前が挙がっているように、IUT IV の組合わせ論に 意見を寄せているのですよ ということは、ショルツ先生らの「IUT全面否定」の立場とは、全く違うと分かる では、なぜ「1行コメントをして行った」のか? 「IUTは証明になっていない」ではなく、「IUTの証明はまだ検証されていない」に賛成だと つまりは、「アンチたち、そう騒ぎなさんな」と、いう意図でしょ まあ、ここは”アンチ”と 応援団の私とは、解釈が分かれるとは思いますがね(;p (参考) http://nihonngokyoushi-naniwanikki.blog.jp/archives/68351179.html ゆるゆる日本語教師 なにわ日記 2016年12月30日 そうは言ってもやっぱり日本語ってハイコンテキストになりやすい言語じゃない? (抜粋) 世界の言語の中で、言語学的に考えて日本語がどの程度文脈依存度(文脈によって意味が変わる度合い)が高いのか、あるいは低いのかっていうのは、偉くて賢い言語学者さんたちにお任せして、私は今回は日本語の特徴と日本社会の傾向からこの日本語の文脈依存について書いてみます。 で、前提として文脈依存度が高いのがハイコンテキスト、低いのがローコンテキストです。 これだけの情報しか無い文っていうのは、前後の文や他の情報も含めて文脈でどっちの意味だか判断しないといけないというワケです。 http://rio2016.5ch.net/test/read.cgi/math/1588552720/71
74: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 10:32:23 ID:dnbV/fKk >>72 どうも コメントありがとう >Fesenkoってよく解らん立ち位置だな。 IUT賛成派か、おそらくは理解派でしょう(と見ました) >山下からは『理解したふり』ってバカにされてたり、 この話は、ヤジウマとしては 結構面白いのですが 記憶では、山下先生がサーベイをリリースしたときに(あるいは事前の閲覧で) サーベイを酷評したようです それに怒った山下先生が、おまえこそIUTを分かっていない(『理解したふり』) と口論になった (あと、些末ですが、メールの引用を改竄したとか、重箱の隅みたいな論争もありましたね) (なお、繰り返し指摘しておきますが、山下先生 サーベイは、望月先生のサイトからはリンクがありませんね。リンクくらいしてやれば良いと思うが。あるいは、不備があるなら、きちんと指摘して直すように指示すべき。リンクしないのは中途半端ですよね(^^; ) >弟子は共著でIUT関連のでかい発表控えてるし、 そうそう、南出先生が、Fesenko研に留学して、Porowski氏(Fesenko研のDR生だったと記憶していますが)と共同研究をしているとか(下記) http://www.kurims.kyoto-u.ac.jp/~motizuki/Minamide%20---%20Explicit%20estimates%20in%20inter-universal%20Teichmuller%20theory%20(in%20progress).pdf 南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライドを掲載 (November 2, 2018 東工大講演) http://rio2016.5ch.net/test/read.cgi/math/1588552720/74
75: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 10:33:38 ID:dnbV/fKk >>73 どうも コメントありがとう >ヴァンガテッシュの賛意はブログの内容にだよ。 >そこは完全に読み違い。 まあ、それもありでしょうね(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/75
77: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 10:45:00 ID:dnbV/fKk >>74 >Porowski氏(Fesenko研のDR生だったと記憶していますが) 確か、下記があって、2011年の数オリですが、このとき17歳とすると 今年、26歳です。DR生かポスドクか、定かではないですが、私はDR生と見ています (ああ、Polandの人ですね) (参考) https://www.imo-official.org/participant_r.aspx?id=20403 International Mathematical Olympiad Wojciech Porowski Year Country P1 P2 P3 P4 P5 P6 Total Rank Rel. Award 2011 Poland 4 0 1 7 7 1 20 171 69.75% Bronze medal http://rio2016.5ch.net/test/read.cgi/math/1588552720/77
78: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 10:49:36 ID:dnbV/fKk >>76 どうも コメントありがとう >いやいやほんと文脈みたらそう。彼はまだ中立ではないかな。 3分類で IUT賛成、中立、アンチ(含む ルサンチマン) で、ヴァンガテッシュの立ち位置は、中立かややIUT賛成と見ました 完全な中立なら、わざわざ書かないのではないかと(^^; >俺はちなみにミスター維新ではないよw 完全同意です! http://rio2016.5ch.net/test/read.cgi/math/1588552720/78
81: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 12:52:08 ID:dnbV/fKk >>80 どうも >望月先生は大天才か大ペテン師か? >の二択になっちゃうね。 そうかも知れないが 世の中、そういう陰謀論みたいなのが、結構横行するものです(^^ >先生のために援護射撃するのが弟子の役割と思うが? 柏原・玉川両先生が 援護射撃しているのにですか? (参考) https://ja.wikipedia.org/wiki/%E9%99%B0%E8%AC%80%E8%AB%96%E3%81%AE%E4%B8%80%E8%A6%A7 陰謀論の一覧 (抜粋) 2 世界秩序再構築に関する陰謀説 2.1 世界統一政府陰謀説 3 科学技術に関する陰謀論 3.6 アポロ計画陰謀論 3.8 地震兵器 3.9 気象兵器 3.11 地球温暖化陰謀説 https://ja.wikipedia.org/wiki/%E9%99%B0%E8%AC%80%E8%AB%96 陰謀論 http://rio2016.5ch.net/test/read.cgi/math/1588552720/81
82: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 13:09:22 ID:dnbV/fKk >>77 補足 >確か、下記があって、2011年の数オリですが、このとき17歳とすると >今年、26歳です。DR生かポスドクか、定かではないですが、私はDR生と見ています DR生にIUT論文を書かせるということは 前に Hilado氏の場合にも書いたけど 指導教授としては、生半可な覚悟では、そんなことはさせられない もし、IUTがこけたら、DR論文もドボンですから もし、Porowski氏が Fesenko研のDR生だったら(きっとそうではないかと思っていますが) Fesenko先生も、IUTに対するそれなりの自信と覚悟がないと、DR生にIUT論文を書かせられない Fesenko先生の趣味でお気楽に書く論文とは わけが違います!(^^; Porowski氏のDR論文に戻ると、IUTが弱いバージョンに後退していたのを 強いバージョンが導けることを示したとなると、もしIUTが成立なら、日本なら数学会賞もの(南出先生はそうなるかも) 一方で、IUTこけたら? Porowski氏のDR論文は、紙くず同然 大学・研究所への就職履歴書に、研究内容を書くとき 輝けるIUT論文になるか、あるいは紙くずIUTに関する論文になるのか? それは 天と地の違いになるのです だから、Fesenko先生も IUTに対するそれなりの自信と覚悟があると見て 間違いないのです!(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/82
84: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 13:56:24 ID:dnbV/fKk >>25 >分離閉包 Ksep ね >いまどきの 数学科の学部で Ksep やるのかな? >ふと思ってね(^^ 手元の”ガロア理論講義 増補版 足立恒雄”(私のは2010年版だが) P89 「4.2 分離閉包」という章があるね しかし、ここでの扱いは、「分離閉包が体になる」という命題としての扱いだけだな ”Gal(Ksep/K) 絶対ガロア群”の視点からの扱いではないな なお、足立本には、”第7章 無限次ガロア拡大の理論”が入っているのが、大きな特徴なのですが ここでも、”Gal(Ksep/K) 絶対ガロア群”の視点はないな!w(^^; (参考) https://www.nippyo.co.jp/shop/book/2113.html シリーズ:日評数学選書 ガロア理論講義 増補版 足立恒雄 2003.04 内容紹介 数学科・情報学科での10年余にわたる講義をふまえて書き下ろされた旧版は好評を博した。その2章「代数系入門」と5章「ガロア理論とその応用」に加筆することで、代数学の入門書としても使えることを目指した。 目次 第3章 有限体論 1 有限体論の基礎 2 有限体のガロア理論 第4章 体論 1 分離性 2 分離閉包 3 正規拡大 第7章 無限次ガロア拡大の理論 1 位相空間 2 位相群 3 プロ有限群 4 無限次ガロア拡大 (余談) ●正誤表 数式は TeX の表記に従います. 21 ページ,下から 4 行目 誤:det|...| 正:|...| (det を取る) 24 ページ,下から 12 行目 誤:xy = yx 正:xcdot y = ycdot x 35 ページ,上から 4 行目 誤:= (x_1y_1, x_1y_2) 正:= (x_1y_1, x_2y_2) 197 ページ,下から 11 行目 誤:(ki)(kj)(ji) 正:(ki)(kj)(ki) 訂正してお詫びします. http://rio2016.5ch.net/test/read.cgi/math/1588552720/84
85: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 13:59:03 ID:dnbV/fKk >>83 どもう レスありがとう >ショルツ、ヴェンカテシュと同じく、2018年にフィールズ賞を受賞した >コーチェル・ビルカーは、フェセンコの弟子だそうだ >ちなみにクルド人で、本名は Fereydoun Derakhshani そうか ビルカー氏が、フェセンコの弟子だったか なるほど >ヴェンカテシュはインド人だし、 >数学で人種なんて関係ないことが分かる 同意です(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/85
86: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 14:16:48 ID:dnbV/fKk >>84 補足 ついでに 雪江明彦 「代数学3」を見たけど、分離閉包は扱われていなかった Coxのガロア本も、分離閉包は無かったな アルティン本も、記憶では無かった思う Van der van der Waerden ”Moderne Algebra”は、手元に無いが(読んでもいない チラ見のみ)、多分ないんじゃないかな?(^^ ”分離閉包 Ksep”、”Gal(Ksep/K) 絶対ガロア群” は、学部では やらないような 気がするな(^^ (参考) https://books.google.co.jp/books?id=oVfzBgAAQBAJ&printsec=frontcover&dq=Moderne+Algebra+van+der+Waerden&hl=ja&sa=X&ved=0ahUKEwjTxPTQ-ZvpAhXRBIgKHfIcC-YQ6AEINzAB#v=onepage&q=Moderne%20Algebra%20van%20der%20Waerden&f=false Moderne Algebra 著者: Bartel Eckmann L. Van der van der Waerden、 1937 http://rio2016.5ch.net/test/read.cgi/math/1588552720/86
89: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 14:41:16 ID:dnbV/fKk >>85 >ショルツ、ヴェンカテシュと同じく、2018年にフィールズ賞を受賞した >コーチェル・ビルカーは、フェセンコの弟子だそうだ >ちなみにクルド人で、本名は Fereydoun Derakhshani ヴェンカテシュ氏は、フェセンコ氏の弟子ではなく ビルカーは、フェセンコの弟子です よって、下記 慎んで訂正しますm(_ _)m <訂正> >>66 私の推理では、Venkateshはフェセンコ先生から言われて、IUT IVの組合わせ論を見たんじゃ無いかな? Venkateshはフェセンコ先生の弟子だから、多分ね(^^; ↓ 2行削除 >>68 >私の推理では、Venkateshはフェセンコ先生から言われて、IUT IVの組合わせ論を見たんじゃ無いかな? >Venkateshはフェセンコ先生の弟子だから、多分ね(^^; ↓ 2行削除 >>71 さて、Venkatesh氏はこの後2018年にフィールズ賞受賞して、フェセンコ先生のDR生だったという ↓ 1行削除 http://rio2016.5ch.net/test/read.cgi/math/1588552720/89
90: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 14:42:18 ID:dnbV/fKk >>87-88 すんません 訂正しました >>89 訂正ご参照(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/90
92: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 14:53:42 ID:dnbV/fKk >>91 ありがとう ここのスレ主が読んだというノイキルヒ本 ↓ ここのスレ主が持っているというノイキルヒ本 ですね 確かに載っているね(^^ だが、知りたいのは 2020年の数学科の学部で、分離閉包とか絶対Galois群とかを、どこまで教えるのか? ってことなんだけど 調べた限りでは、普通は 分離閉包とか絶対Galois群とかは、学部の範囲外じゃね?(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/92
94: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 15:16:55 ID:dnbV/fKk >>93 悪いけど 話が黒人うんぬんまで行くと、さすがにスレチでしょ 別スレでやってよ(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/94
96: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 15:28:54 ID:dnbV/fKk >>95 ご苦労さん ここはIUT応援スレです あなたの巣は、あちらですよw(^^; みなさん、帰りを待ちわびていますよww Inter-universal geometry と ABC予想 否定派2 https://rio2016.5ch.net/test/read.cgi/math/1588226604/1- http://rio2016.5ch.net/test/read.cgi/math/1588552720/96
97: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 15:33:59 ID:dnbV/fKk 本スレから 下記、ある程度専門知識を求めるのは、現代数学では当然では? 遠アーベルの知識の無い人が、「IUT読めない」とか言っても、「それ当たり前」としか言えないでしょ?(^^; Inter-universal geometry と ABC予想 51 https://rio2016.5ch.net/test/read.cgi/math/1587468367/944 944 名前:132人目の素数さん[] 投稿日:2020/05/05(火) 15:07:18.77 ID:21NAviIx [6/6] Woitは 「一方の側(Scholze-Stix)は純粋に数学的な議論をしているが、 もう一方の側(望月-Fesenko)は自分に反対する人の力量について異常なまでに公的な議論をしている。 この非対称性の存在は、どちらの側が数学的に正しいかの証拠である。」 といっているが、大方の人はだいたいこんな印象をもっていると思う http://rio2016.5ch.net/test/read.cgi/math/1588552720/97
98: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 15:38:12 ID:dnbV/fKk 本スレから 下記、機械検証をやるのは、みんな自由だし、例えば欧州数学会が、機械検証やって、「IUTアウト!」もありじゃない? そしたら、RIMS側は、その機械検証の検証をやることになりますよね 決着早くなるから、大賛成ですよw(^^; Inter-universal geometry と ABC予想 51 https://rio2016.5ch.net/test/read.cgi/math/1587468367/932-938 932 名前:132人目の素数さん[] 投稿日:2020/05/05(火) 14:33:36.01 ID:B4L1lDg4 [7/7] 擁護派って、もうだいぶ前から、数学的真理の擁護じゃなくて 望月とRIMSの強弁をいかに擁護するかの「弁護士の論理(小保方の論理)」になってるよね。 だから、たとえば3.12だけでも「機械検証ができないか」って水を向けられたら、 機械検証からいかに逃れるかの理屈が返って来るw もはや数学的真理などどうでもいのだろう。 938 名前:132人目の素数さん[] 投稿日:2020/05/05(火) 14:53:12.59 ID:zuve741i [3/3] >>932 >「機械検証ができないか」 It's a great idea! どれだけ時間がかかるかわかりませんが 是非実施すべきでしょう 拒む理由は全くありません http://rio2016.5ch.net/test/read.cgi/math/1588552720/98
100: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 15:56:46 ID:dnbV/fKk >>99 1.Stix氏 とショルツ氏とは、分けた方が良いのでは? 2.ショルツ氏が、Stix氏と一緒に議論したいというならともかく、いまの展開は一人で論陣を張っているし 3.IUTが正しいとして、Stix氏 とショルツ氏とが、同時に了解納得しない可能性もある 4.どちらが先でも良いけど、遠アーベルの距離位相を入れると、 Stix氏 > ショルツ氏 だから、Stix氏の方が早く納得する可能性大でしょ (現実にそういう兆候がある。Stix氏は沈黙している。多分、もう一度IUTをチェックしていると思うよ。なにせ、玉川先生が太鼓判を押したのだからね(^^; ) http://rio2016.5ch.net/test/read.cgi/math/1588552720/100
102: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 16:06:45 ID:dnbV/fKk >>101 お茶目な維新さんだねぇ〜!w(^^; 応援いらねーw テンプレ>>3に 新一の「心の一票」 - 楽天ブログ https://plaza.rakuten.co.jp/shinichi0329/ をアップしてあるだろ? その応援メッセージ自分で書いてこいよw(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/102
103: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 16:09:14 ID:dnbV/fKk テンプレ>>2に あるように ”おサル=サイコパスのピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (Yahoo!でのあだ名が、「一石」) (参考)http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日” 応援団だぁ〜? そんな言葉を信じたら、対サイコパス対策としては、大失敗ですよw(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/103
106: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 16:52:02 ID:dnbV/fKk >>104 どうも コメントありがとう 見ました ですが、その名城大学の例は、有限次元の拡大に止まっています それだと、いまの ノイキルヒの代数的整数論とか、遠アーベルとか、IUTに繋がってこない気がするな(^^; (参考) https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E7%9A%84%E9%96%89%E5%8C%85 代数的閉包 分離閉包 K の代数的閉包 Kalg は、K の Kalg におけるすべての(代数的)分離拡大 を含むような K の唯一の分離拡大 Ksep を含む。この部分拡大は K の分離閉包(separable closure)と呼ばれる。 分離拡大の分離拡大は再び分離拡大であるので、Ksep の2次以上の有限次分離拡大は存在しない。別の言い方をすれば、K は「分離的に閉じている」代数拡大体に含まれている。これは(同型を除いて)本質的にただひとつである[5]。 一般に、K の絶対ガロワ群(英語版)は Ksep の K 上のガロワ群である[6]。 https://en.wikipedia.org/wiki/Absolute_Galois_group Absolute Galois group In mathematics, the absolute Galois group GK of a field K is the Galois group of Ksep over K, where Ksep is a separable closure of K. Alternatively it is the group of all automorphisms of the algebraic closure of K that fix K. The absolute Galois group is well-defined up to inner automorphism. It is a profinite group. (When K is a perfect field, Ksep is the same as an algebraic closure Kalg of K. This holds e.g. for K of characteristic zero, or K a finite field.) https://ja.wikipedia.org/wiki/%E5%B0%84%E6%9C%89%E9%99%90%E7%BE%A4 射有限群 数学において射有限群(英語: pro-finite group)あるいは副有限群は、有限群の射影系の極限になっているような位相群である。ガロア群やp-進整数を係数とする代数群など、数論的に興味深い様々な群が射有限群の構造を持つ。 射有限群は完全不連結でコンパクトなハウスドルフ位相群として定義される。同値な定義として、離散有限群の成す射影系(逆系)の射影極限(逆極限)として得られる位相群に同型であるような群を射有限群と定めるいうこともできる。 目次 1 例 2 性質および事実 3 射有限完備化 4 入射有限群 http://rio2016.5ch.net/test/read.cgi/math/1588552720/106
107: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 16:54:06 ID:dnbV/fKk >>105 >お維新によるお維新のためのIUT応援 いいんじゃね? おサルの勝手でしょw(^^; 放し飼いでww >落書きスレ 5chなんて、どこも似たようなものですよ(^^ http://rio2016.5ch.net/test/read.cgi/math/1588552720/107
113: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 17:55:47 ID:dnbV/fKk >>109-111 そういう話も面白いが それは、数学史スレでも立てたらどう?(^^ http://rio2016.5ch.net/test/read.cgi/math/1588552720/113
115: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 18:05:44 ID:dnbV/fKk >>112 同意ですよ 同じことを言っていると思うけど IUTを 9000m級の山(例えばK2)に例えると IUT 9000m級 > 遠アーベル 7000m級* > ノイキルヒ−内田 5000m級 > 数学修士 3000m級 > 学部1500m級 *)IUT登山口 ノイキルヒの代数的整数論(を読みこなす)が、学部1500m級 〜 ノイキルヒ−内田 5000m級まで到達 で、IUT がどうのこうのというためには、せめて 遠アーベル 7000m級まで達していないといけない ショルツ氏が、遠アーベル 7000mを超えて、8000mとか8500mとかじゃないかな? そこで道に迷ったらしい(^^; 一方、Woitとかザコは、せいぜい ノイキルヒ−内田 5000m級で IUTを論じるには、ぜんぜん足りないんだろうね おれ? 500〜1000m級 関東なら高尾山くらいは登れるだろう(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/115
116: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 18:08:17 ID:dnbV/fKk >>114 C++さん、どうも レスありがとう お元気そうで なによりです(^^; C++さんのご健勝をお祈りします!(^^ http://rio2016.5ch.net/test/read.cgi/math/1588552720/116
123: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 19:11:58 ID:dnbV/fKk >>121 >この人がミスター維新て奴ですか お答えします(^^ ミスター維新は、>>117 IUT応援団 団員 ID:zuve741iさんです 下記の展開で 銀河鉄道級の脱線やでw ↓ 脱線ついでに 維新の支持者ですか? ↓ 大阪弁でしゃべってきたのでそういってみました 大した意味はありません の展開になり、突然”維新の支持者ですか?”に、みんなが揚げ足取り(勇み足?)で 受けたことから、「ミスター維新」と呼ばれるようになりました (私の呼び方は、旧知の”おサル”(>>2)も、多用しますです、はい (^^; ) (参考) 前 Inter-universal geometry と ABC予想 (応援スレ) 44 https://rio2016.5ch.net/test/read.cgi/math/1586655469/796 791 名前:132人目の素数さん[] 投稿日:2020/05/03(日) 17:37:23.11 ID:9jUO25pO [15/20] >>789 銀河鉄道級の脱線やでw 796 名前:132人目の素数さん[sage] 投稿日:2020/05/03(日) 17:39:24.09 ID:vVCZgnBw [63/109] >>791 脱線ついでに 維新の支持者ですか? 862 名前:132人目の素数さん[sage] 投稿日:2020/05/03(日) 21:00:36.16 ID:vVCZgnBw [88/109] >>860 大阪弁でしゃべってきたのでそういってみました 大した意味はありません http://rio2016.5ch.net/test/read.cgi/math/1588552720/123
124: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 19:17:53 ID:dnbV/fKk >>120 どうも レスありがとう >まったくあたらしい数学IUTは >黒を白というお維新の弁護士ディベート >なんだよ 逆ですね 数学IUTはシロだと思っています ところが、誹謗中傷で、IUTはクロという人がいる そこで、応援団として「フレ〜 フレ〜 IUT〜! 」とエールを送っています(^^ 理不尽な、事実無根の根拠レスの非難は叩きます! 残念ながら、私は 数学は非力なので、数学的の擁護はできませんので 悪しからず(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/124
125: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 19:25:47 ID:dnbV/fKk >>119 どうも コメントありがとう >Cor3.12の全てを証明できてない人でも、分かる範囲でギャップを感じないが問題なさそうで応援する、 >自分の分からない範囲は「成立するかわからない」で保留する、の条件付きの応援で良いのだよね。 いいです。当然です。Cor3.12なんて、分かる人世界で20人とか言われます 海外の一流数学者でも「分からない」という人多数ですし >それぞれの者が「自分の専門や分かる範囲」で確認し、それらが繋がっても成立する可能性について、 >「自分の分からない範囲でギャップが出なければ」の条件付きで、応援している者ばかりと思いますが。 >そうと感じておりますが、一応のご確認まで。 いいですよ 私などは、IUTの数学の部分は、さっぱりです が、IUTの数学の外、つまり、「RIMSの記者会見が、STAP類似(のゴマカシ)だ」などという 根拠不明の 誹謗中傷は叩きます!!(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/125
126: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 19:33:29 ID:dnbV/fKk >>123 補足 ちょっと補足しておきますと ”862 名前:132人目の素数さん[sage] 投稿日:2020/05/03(日) 21:00:36.16 ID:vVCZgnBw [88/109]” の 88/109 で、”109”が 彼がこの日 一日でスレに投稿した数です つまり、109もの投稿をしたのですね 一日でね それを、揶揄している意味もあるのです(モチ 書いている内容がシラケルこともありますが)、”ミスター維新”と名付けて 笑う対象にしているのですw(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/126
128: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 19:45:55 ID:dnbV/fKk >>127 ええ ええ ID:zuve741i 維新さん 本スレでも、下記の3つ投稿 が ありますね ご苦労さまですw(^^; Inter-universal geometry と ABC予想 51 https://rio2016.5ch.net/test/read.cgi/math/1587468367/ 871 名前:132人目の素数さん[] 投稿日:2020/05/05(火) 10:28:14.02 ID:zuve741i [1/3] >>834 I couldn't agree less 895 名前:Trilemma[] 投稿日:2020/05/05(火) 12:23:05.79 ID:zuve741i [2/3] IUTに関する ・擁護(賛成) ・中立 ・批判(反対) の三つのシナリオは 938 名前:132人目の素数さん[] 投稿日:2020/05/05(火) 14:53:12.59 ID:zuve741i [3/3] >>932 >「機械検証ができないか」 It's a great idea! http://rio2016.5ch.net/test/read.cgi/math/1588552720/128
131: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 21:07:06 ID:dnbV/fKk >>129-130 おサルさん ご謙遜ですよ あなたの狂気の連投 とてもとても 足下にも及びませんw 整数論? 私は殆ど興味ありません 微分方程式は良く使いましたね http://rio2016.5ch.net/test/read.cgi/math/1588552720/131
134: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 21:20:12 ID:dnbV/fKk >>131 整数論? 女王? 胡散臭いよね 女王?なんて、イギリスの数学者、G・H・ハーディの英国女王崇拝の匂いがするな 私ら、女王があるなら、王は何ですかって、ツッコミ入れたくなるぜ(^^; (参考) https://ja.wikipedia.org/wiki/%E3%81%82%E3%82%8B%E6%95%B0%E5%AD%A6%E8%80%85%E3%81%AE%E7%94%9F%E6%B6%AF%E3%81%A8%E5%BC%81%E6%98%8E 『ある数学者の生涯と弁明』(あるすうがくしゃのしょうがいとべんめい、原題: A Mathematician's Apology)とは1940年にイギリスの数学者、G・H・ハーディによって書かれた随筆である。 この本の主要なテーマの一つは数学自身が持っている「美しさ」である。それをハーディは絵画や詩と比較している。 最も些細な数学というものは具体的に応用例のある数学のことを指しているのである。 これらの特徴づけはハーディによって定義された数学のある分野の根本的概念の独自性、深み、美しさによれば、実際の数学の分野に寄与するであろう。 これは「数学は科学の女王であり、数論は数学の女王である。」というカール・フリードリヒ・ガウスの言葉についてのハーディがしているコメントの中でも強調されている部分である。 ある人々はガウスにそのような事を言わしめたのは「数論の極端な非応用性」であると言うだろう。しかしながら、ハーディはこれは理由になっていないと指摘している。 「もしも数論が応用されている例を見出そうとするならば、その為に数論を『数学の女王』としての座から押しのける事は誰もしないであろう。 ガウスの意図したものは、数論を構成する基礎的概念は数学の他のどの分野と比較してもより深く、より優雅である」とハーディは言っている。 彼の純粋数学に関する信念は本の要約に次のようにまとめられている。 「純粋数学とは、すべての理想主義が基礎を成している石のようである。317は素数であるというのは我々がそのように思うからではなく、それが決まった形を成しているからである。数学の現実はそのように形作られているのである。」 https://okwave.jp/qa/q3142790.html 何故,整数論は数学の女王なのでしょうか? 2007/07/05 22:25 matsui888 http://rio2016.5ch.net/test/read.cgi/math/1588552720/134
135: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 21:23:22 ID:dnbV/fKk >>133 >聞いてもないのに立憲に投票したと答えたミスター維新がまた現れたのか。 同意です まあ、おサルです(>>2) いつものことでは、あります(>>2 サイコパスですから(^^; ) http://rio2016.5ch.net/test/read.cgi/math/1588552720/135
136: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 21:38:28 ID:dnbV/fKk IUT応援といいますが、極めて常識的な考えと発言をすれば、それで十分なのです (∵ アンチがむちゃくちゃ なのでw(^^; ) 1.査読終わりました。普通に終わりました。というよりも、いわくつきのIUTですから、念には念を入れて、丁寧に査読しました。問題なし これをそのまま、受取れば良いのです。STAP類似だとか、トンデモ説に惑わされないことです 2.ショルツ先生は、遠アーベルの専門家ではありません。IUT論文を読むには、遠アーベルの知識と、望月先生の書かれたIUTの基礎論文があります(例えばグロタンディーク予想解決など) ショルツ先生には、IUTを理解するための何かの知識が欠けていて、きっと自分流の解釈をしてしまって、「おかしい」と言っているのです。それ以外にこの対立を理解する道はありません 3.IUTを使った論文は出始めています。フェセンコ研での南出先生の強いIUTバージョン、Dupuy先生のところの Explicit Szpiro 論文、Joshi氏の”On Mochizuki’s idea of Anabelomorphy and its applications” これらの論文が出て、IUTに対する説明も、多分記者会見の玉川先生なども手伝って、分り易い説明文書が出てくることでしょう 上記の1〜3を認めて 冷静に、RIMSの次の展開を待ちましょう 理不尽な言い掛かりは、叩きましょう〜!(^^ それが、即ち応援になるのです(^^ http://rio2016.5ch.net/test/read.cgi/math/1588552720/136
139: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 23:23:19 ID:dnbV/fKk >>138 どうも コメントありがとう >Scholzeが正しいとしてだよ? その仮定には証明がないし、多分正しくないけど、ある程度の堂々巡りは避けられないと思う >しかしScholzeはDupuyが何が解って居ないのかが解って居ないなら、この話はe-mail上でも堂々巡りだ Dupuy氏は、ショルツ氏がなにが分かってないかを分かってそうだったが ショルツ氏の思い込みが激しく、Woitブログでは分からせることはできなかったみたいだ でも、なんどかやるうちに、ショルツ氏も誤りに気付くと思うよ http://rio2016.5ch.net/test/read.cgi/math/1588552720/139
142: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 23:30:41 ID:dnbV/fKk >>139 補足 概念の革命的飛躍があるとき、旧来の概念に縛られている人、あるいは旧来の概念が深く染みついている人ほど 新しい概念に入っていけないものです 物理だが ガリレオの地動説とか、地球が球形だとか アインシュタインのニュートンの絶対空間の否定とか あるいは、宇宙膨張説(物理は観測事実があるから、みんな納得するが、観測事実無しで、”宇宙が膨張している”というと、「何を言っているんだ?」でしょう) 「ビッグバン宇宙論」も、最初は殆ど相手にされなかった 数学でもある 虚数 i は、長い間まま子扱いだった ショルツ先生は、従来の数学を深く理解し過ぎていて IUTに入れないのではないか?(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/142
145: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 23:41:26 ID:dnbV/fKk >>141 投稿ありがとう 見ました その次に、下記が出てきたね IUTの初期の投稿みたいだね こちらも面白いな 余談だが、玉川先生に IUTのCor3.12の講義を1時間ずつ3回くらいに分けてやってもらって Youtubeに上げるってのどうかな? プロ数学者向けで(^^ (参考) https://www.youtube.com/watch?v=RkBl7WKzzRw abc Conjecture - Numberphile 1,371,634 回視聴?2012/10/12 Numberphile チャンネル登録者数 331万人 The abc Conjecture may have been proven by a Japanese mathematician - but what is it? More links & stuff in full description below ↓↓↓ Feeling brave and want to read the papers by Shinichi Mochizuki - http://www.kurims.kyoto-u.ac.jp/~moti... (scroll to the bottom) http://rio2016.5ch.net/test/read.cgi/math/1588552720/145
146: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/05(火) 23:43:33 ID:dnbV/fKk >>143-144 まじレスありがとう まあ、半分茶化しでね 「数論や整数論が女王なら、王様はなんだ?」という 掛け合い漫才が落ちなだったのですがw(^^; http://rio2016.5ch.net/test/read.cgi/math/1588552720/146
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s