ＡＢＣ予想が解かれたかもしれんぞ！　ＰＡＲＴ２

1 名前：１３２人目の素数さん [2012/09/28(金) 20:33:45.62 ] 前スレ uni.2ch.net/test/read.cgi/math/1347851182/l50 前スレ>>1のレス 京大の望月教授によってABC予想が解かれたかもしれない これから検証するんだろうけど、本当に解けてるならすごいぞ これnatureの記事ね www.nature.com/news/proof-claimed-for-deep-connection-between-primes-1.11378 なお、現在、イエール院生による反例が提出されている模様。詳細不明。 quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/#comment-10863 830 名前：１３２人目の素数さん mailto:sage [2012/10/28(日) 17:12:29.50 ] 数学も分かんないけど、外科医の求道的なインタビューも面白かった。 831 名前：１３２人目の素数さん mailto:sage [2012/10/28(日) 17:51:14.19 ] まったくのど素人なんですが、 リーマン予想が証明されると、いくらでも大きい素数が 簡単に得られるみたいに犬HKは言ってましたけど、そんなことってできるんですか？ クリティカルラインの上にゼロ点が並んでることが証明されたとして、 それでどうやって素数を求めるんですか？ もし、それができるんだったら、 おそらくは正であろうリーマン予想が、証明されようとされるまいと、 クリティカルラインの上にゼロ点が並んでる、ということにして、 素数を求めることって出来ないんですか？ 832 名前：１３２人目の素数さん mailto:sage [2012/10/28(日) 18:03:32.24 ] リーマン予想は素数の個数の分布に関するものだから、素数を具体的に求めるのに使われるとは思えんけど。 833 名前：１３２人目の素数さん mailto:sage [2012/10/28(日) 18:04:29.17 ] 訂正 リーマン予想は素数の個数の分布に関係するものだから 834 名前：１３２人目の素数さん mailto:sage [2012/10/28(日) 18:43:43.33 ] >>831 あの暗号と結び付けてたのはあんまり信じすぎない方がいいらしいよ 835 名前：１３２人目の素数さん mailto:sage [2012/10/28(日) 21:18:51.26 ] >>832 >>833 >>834 ご回答ありがとうございます。 やっぱり、犬HKはふかし半分ですかw 素人ながらも、何か変な話だと思ったものですからw 836 名前：１３２人目の素数さん mailto:sage [2012/10/28(日) 23:41:48.89 ] >>818 貴重なコメントを有難うございます。 それはそうと、 もっちー先生の解説で、 数も関数である、という発想に衝撃を受けました。 837 名前：１３２人目の素数さん [2012/10/29(月) 00:19:32.07 ] >>836 あぁあぁあ？？ 変数０個の関数が定数ってのは述語論理じゃ既知だっつぅ〜の 838 名前：１３２人目の素数さん [2012/10/29(月) 00:32:11.68 ] リンデレフ予想も難しい。 839 名前：１３２人目の素数さん [2012/10/29(月) 00:37:45.15 ] >>837 私はこれを読んだのです。 www.kurims.kyoto-u.ac.jp/~motizuki/Takoushiki%20no%20kai%20no%20kinji%20ga%20torimotsu%20suuron%20to%20kika%20no%20kankei.pdf 内容はよくは理解できませんけど。 840 名前：１３２人目の素数さん [2012/10/29(月) 00:57:09.38 ] ん？京大の望月じゃなくて、東大の森口でしょ？w 841 名前：１３２人目の素数さん [2012/10/29(月) 01:20:58.62 ] 数論幾何でもゼータとか保型形式とか出てくるの？ 842 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 02:09:35.31 ] >>839 俺も「数も多項式も同じ関数」っての読んで衝撃受けた 分かる人には分かるんだろうけどそういう発想はなかったから 既約多項式も素数と同じだと考えればなるほど〜って感じで 同じ様に暗号、符号化なんかに使われてるよね 843 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 04:04:59.64 ] 逆を言えば和算家には関数の概念が希薄ないしはないまま 恐ろしく高度に発展したからな 844 名前：１３２人目の素数さん [2012/10/29(月) 08:50:16.39 ] >>842 定数関数と数を同一視したことないの？ 845 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 10:34:24.47 ] 数を定数関数と同一視したことならあるけど、逆はなかったな。 同一視なんだから逆もできるのは当然かもしれないが、そこに行き着く発想は無かったよ。 846 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 11:54:42.33 ] 数学なんて知りませんが、数学的オブジェクトuo　∋　｛数（点） ＝ 関数（点の集合たる空間）｝ 誰も否定できないはず。ちなみにuoは宇宙際オブジェクト　^^) 847 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 13:35:47.95 ] >>842が何を言っているのか分からない 848 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 15:36:34.14 ] 842が言いたいことはわかるが 849 名前：１３２人目の素数さん mailto:age [2012/10/29(月) 18:40:23.81 ] (1, 1) 型行列はスカラーと同一視 スカラーは数と同一視 (1, n), (n, 1) 型行列はベクトルと同一視 850 名前：１３２人目の素数さん [2012/10/29(月) 18:44:26.77 ] もっちーがいる分野で有名な数学者って誰がいるのですか？ 851 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine.co.jp [2012/10/29(月) 19:23:37.63 ] 　２０代と６０代の、ニート・無職の、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、関西の、ゴミ・クズ・カス・無能・虫けらのクソガキども！ 　死ね！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！ 852 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 21:14:13.67 ] オクラホマ大学数学クラブの記事 oumathclub.wordpress.com/tag/shinichi-mochizuki/ モッチー先生カッコイイです。 853 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 21:52:27.18 ] >>844 ないない 数学屋さんじゃあないから 最近、暗号をやることがあってなるほどなーって ど素人でレベルの低いおバカちゃんなので笑って許して 854 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 22:10:17.94 ] HAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHAHA 855 名前：１３２人目の素数さん [2012/10/29(月) 22:28:39.84 ] ABC予想特集号、だと。 www.pourlascience.fr/ewb_pages/s/sommaire_pls.php?art_id=30541&num=421 856 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 22:40:54.50 ] これも www.pourlascience.fr/ewb_pages/f/fiche-article-esprit-droit-ou-juste-30550.php 857 名前：１３２人目の素数さん [2012/10/29(月) 22:52:18.40 ] Billions in Hidden Riches for Family of Chinese Leader www.nytimes.com/2012/10/26/business/global/family-of-wen-jiabao-holds-a-hidden-fortune-in-china.html?pagewanted=all Wealth and Politics Converge in China dealbook.nytimes.com/2012/10/26/wealth-and-politics-converge-in-china/ 858 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 22:58:31.28 ] その望月さんのよんではいないけど 数を関数と思うというのは定数関数とかではなくて、スキーム的に捉え直すとということではないの？ アファイン直線の（ある種の）関数が多項式環であるのとおなじように、整数環のSpecの関数が整数みたいな。これは定数関数ではないでしょうけど。剰余体（つまり各点での値のすんでるところ）が点によって違うから そしてそれは望月先生オリジナルというわけではないと思うけど 859 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 23:05:02.35 ] おそらく問題は多項式だと微分があるのに整数だとないというところが問題で 多項式環だとその係数体があるが、それが整数環ではないから作ろうというのが絶対数学だと私は理解しています 望月さんの数学が絶対数学とどの程度関連があるのかは今後明らかになっていくのか、それともわかっている人にはもうわかっているのか、気になるところですね 860 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 23:13:17.47 ] 特集号が正しい 数セミは間違っている ジャーナリズム、そのとき旬の話題を扱うべし 861 名前：１３２人目の素数さん mailto:sage [2012/10/29(月) 23:14:11.38 ] 『絶対数学』という言葉にシビれるのですが、どんな内容なんですか？ 素人の質問で本当に申し訳ないのですけれども。 862 名前：１３２人目の素数さん mailto:sage [2012/10/30(火) 11:22:19.59 ] ＞『絶対数学』という言葉にシビれるのですが そう？中身はそれほどないよ 863 名前：１３２人目の素数さん [2012/10/30(火) 14:56:49.93 ] @1Q84_0216 アナタがいうならそうなのでしょう、間違いなく。アナタの中ではね。学問したことあるんですか？すごいや＞＜ @LaughtingMan ん？「学問は社会に出たら役に立たない」と言われたからよー。 深い意味はないし、私はそれを職業にしてはないからね(´・ω・｀) 多分りょうじさんの言う学問は 私の言う学問とはちがうと思うな（笑） 申し訳ないくらいの温度差でござる 2012年3月26日 - 9:08 864 名前：１３２人目の素数さん [2012/10/30(火) 14:57:53.01 ] @1Q84_0216 ごめんなさい、私が軽率でした。mixiの私の日記で逆上した @LaughtingMan いつものりょうじさんではないように思いました。だから流そうとも思いました。 無理やったけど。 りょうじさんは理性がふだん強過ぎて 稀に暴走する傾向があるように思います。 良くも悪くも私は最近それに遭遇する機会が多かっただけなのかも？ 2012年3月27日 865 名前：１３２人目の素数さん [2012/10/30(火) 14:59:39.22 ] @1Q84_0216 対等だからこそ「軽い発言」と「軽率な発言」の違い我慢できなかった。「軽い発言に食いつく」＝「冗談を本気にする馬鹿」、「軽率な発言に食いつく」＝「軽はずみな発言をたしなめる」。志穂さんは正確な日本語を使える人という前提だから。 @LaughtingMan 軽率であるか軽はずみであるか そういうのはうち問題にしてない。 私の言葉がりょうじさんにとって 軽率だったとして、 忍くんの人間サンドバックになればいいは悪意にしかとれない。 たしなめるであったり諭す、指導するとはちがうし、 指導でさえちがう。 可哀想は感想と取れる。 人は人によって 同じ言葉を同じ重さで感じないよ。 日本語か違うんだと、軽率か軽はずみか そういうことはもはやうちには屁理屈で ただ、言葉として文字として ここに残ったものが残るだけだよ。 2012年3月27日 866 名前：１３２人目の素数さん [2012/10/30(火) 19:20:50.05 ] LaughtingManって誰？ 867 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine.co.jp [2012/10/30(火) 20:18:34.83 ] 　２０代の、ニートの、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、関西の、ゴミ・クズ・カス・無能・虫けらのクソガキ！ 　死ね！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！ 868 名前：１３２人目の素数さん mailto:sage [2012/10/31(水) 02:44:46.04 ] 因みに、ABC予想関係の話では、p進Teichmuller理論に登場する 「標準的なFrobenius持ち上げの微分をとる」という操作の「抽象的 パターン的類似物」が主役です。p進Teichmuller理論の解説としては、 ・An Introduction to p-adic Teichmuller Theory ・「An Introduction to p-adic Teichmuller Theory」 (和文） が挙げられます。 869 名前：１３２人目の素数さん mailto:sage [2012/10/31(水) 05:24:30.40 ] >>868 情報ありがとうございます。 英文・An Introduction to p-adic Teichmuller Theory はすぐ見つかったのですが ・「An Introduction to p-adic Teichmuller Theory」 (和文）は、どれのことでしょうか 870 名前：１３２人目の素数さん mailto:sage [2012/10/31(水) 05:32:20.94 ] >>869 www.kurims.kyoto-u.ac.jp/~motizuki/students-japanese.html www.kurims.kyoto-u.ac.jp/~motizuki/p-shin%20Teichmuller%20riron%20no%20kaisetsu%20(Hokudai%202001-01).pdf 871 名前：１３２人目の素数さん mailto:sage [2012/11/01(木) 10:33:01.93 ] こんなのもあるのですね。 2009-05-29 14:45 音声信号処理とp進Teichmuller理論の共通フレーム www.ieice.org/ken/paper/20090529TaM1/ 音声信号処理における不特定話者化では、音声信号に含まれる言語情報、話者情報等、 その多重構造が問題となる。この多重構造に対する解析方法のひとつとして、多変数複素関数の 観点からの報告がある[白00]。この多重構造に対して本稿では、数論幾何学でのABC予想の解決を 狙いとした立場において展開されている、望月新一氏の「圏の幾何学」との関連について述べる。 「音声信号処理における不特定話者化」と「圏の幾何における不特定化」＝「IU幾何」が類似の共通構造をもつ。 その共通構造の背景には「入れ子構造」がある。本稿では「入れ子構造」に関わる３項目について述べる（Inter-universal=IU）. 872 名前：１３２人目の素数さん mailto:sage [2012/11/01(木) 10:45:43.73 ] 音声信号処理に使えるなら、エシュロンとかにも応用されるのけ。 873 名前：１３２人目の素数さん mailto:sage [2012/11/01(木) 11:39:51.21 ] よくわからんが、望月氏がすんごい数学に取り組んでることはわかる 弟子が社会への応用に取り組むことを期待したいね 本来なら、高度な情報セキュリティ分野に多数の数学者が活躍すべきなんだが 日本にはそうした求人ってあんまり無いよな 874 名前：１３２人目の素数さん mailto:sage [2012/11/01(木) 13:54:10.62 ] スカラーとベクトルですが、それぞれ独立して存在できるものなんですかね？ 光速で飛ぶウンコの質量はマンションでしたウンコと変わらない？ 私の理論では不可能だと思うのですが。 875 名前：１３２人目の素数さん mailto:sage [2012/11/01(木) 23:08:23.61 ] >>870 ありがとう 見ました もっちー節面白ね 876 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 01:56:55.74 ] Anabelian geometry V sms.cam.ac.uk/media/655127?format=flv&quality=high 877 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 01:59:54.01 ] 数って無限に続くのに、どうして0とか1とかから数え始めるの？ という疑問が湧いた。 878 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 02:02:28.07 ] Non-Abelian Fundamental Groups in Arithmetic Geometry sms.cam.ac.uk/collection/652358 879 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 02:18:04.52 ] >>877 なんで？　じゃ、どっから数え始めたいんだい？ 数え始める起点を０とか１と呼んでるだけなんだが。 実際、昔の日本人は０とか１で数え始めたわけじゃないし。 880 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 05:26:22.06 ] "Anabelian geometry"という分野は専門家の数が少ないようですが、 なにか理由があるのですか？ 881 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 07:39:37.61 ] >>876 日本人にはすごくわかりやすい英語だけど、ネイティブにしたら聞き取りづらいだろうなｗ 882 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 08:06:35.91 ] >>876 誰この人? 俺凄く自信ついたわw 883 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 12:14:44.06 ] >>882 岡山大学の H. Nakamura さんか。 俺が博士課程のときに論文を投稿したジャーナルで、 エディターをやっていた。 884 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 17:20:53.62 ] www.youtube.com/watch?feature=player_embedded&v=4hJTm8pTV5A "Sokkuri House" 885 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 17:57:23.11 ] ぜーんぜん付いていけてないけど、グロタンディークっていうんですかの本の紹介読んで、 超ひも理論と関係あるのかと思った。発想がなんか。どっちが先か知らない。 物質って拡大したらすかすか、もやもや、ニュートリノに種類があったなんて聞いてないよー。 で、最新宇宙論もどんなんか知らないけど、観測結果をどう解釈するかって数学だと数学の体系（って言うの？） と関係してくるのってのが入門の糸口……なんですっけ？ トポロジーとか言われてもさっぱりだけどね。頭のいい人頑張れ！超頑張れ！ 886 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 18:09:25.19 ] >>836 最近子供が「存在」がどうのこうの言いやがりまして。そんな難しいこと言う子じゃないんだけど。 というわけで宇宙に恋をできる人がここにもいたらすごいやね。（応援していいのか分からんけど） 887 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 18:24:22.20 ] >>885 まずは日本語の勉強を。 888 名前：１３２人目の素数さん mailto:sage [2012/11/02(金) 23:12:22.72 ] >>883 この人、英語の発音の勉強はまったくやってないね。 Fの発音がHになってる・・ 889 名前：１３２人目の素数さん mailto:sage [2012/11/03(土) 00:01:58.91 ] まぁ、生徒から何を言ってるのかわからないとかクレーム殺到しないかぎりＯＫ 890 名前：１３２人目の素数さん [2012/11/03(土) 00:54:34.59 ] 　　　　　　　　　/;;;;;;;;　　;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;　　　,,,;;;;;i 　　　　　　　　　i;;;;;;;;;;;;;;;,,,;;;;;;;;;;;;;;;;;;;;;;;;;; ;;　;;;;; ,,,,,,,,;;;;;;;;;;;;;;;;;;;;;| 　　　　　　　　　ﾉ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;li;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;|　　それは　事件 　　　　　　　　　 i;;;;;;;;;;;;;;;;;;;／l;;;/l;ｿ;;/ |;;;;;;/| l;;lﾞヾ;;;ﾄ､;;;;;;;;;;;;;i　それは　勇気 　　　　　　　　　　|;;､;;;;;;;;// /,'' / l/　 |/|/ 　 ﾞｌ　 ヾ､ﾞi;;;;;;::::/　それは　逃げないこと 　　　　　　　　　　/ヾ;;/ｿ　　　　 　 ,　　,　　　　　　ヽ l;;l"ﾞl　それは　信じること 　　　　　　　　　　'､ (ヾ,,＝==;;;;;;;,,,,,_`il,iﾞ__,,,,;;;;;==＝　,/|lヽ l　それは　愛 　　　　　　　 　 　 ヽ､`||ヾi;'（:::::ﾞ'ﾞ:::/;;i＝i;;;ヽ:::ﾞ'ﾞ::::）ﾞi;/ |l'ﾉ/　それは　新しい世界 　　　　　　　　　　　/ヽ|l､ ﾞi::;;;;／⌒⌒）.ヾ..;;;;;;;;;;..ノノ/l.,/＼　これは、アニメではない 　　　　　　　　　　/;;;/::ﾐヾ､.／ ／ ／　）　　　　　'ﾞ /ﾐ"i;;;;;;;;＼_　エヴァである！ 　　　　　　 _,.-;;'";;;;;;;;r‐ ﾐ/ﾞ ,／ ／ 　/_!／`　　 /,,l;;;ﾐ/;;;;;;;;;;;;;;;;~＼11月16日　夜9時 　　_,､-‐;;'";;;;;;;;;;;;;;;;;;;;;|　/　/　 / 　 /.__,,,..-／ヽ　/;;;ﾐ/;;;;;;;;;;;;;;;;;;;;;;;;;;`;,,､_ ‐'";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;| ﾉ　/　.ﾉ　　/　,,, ／　 ﾉ/';;;;ﾐ/;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ﾞ'';;;,,､_ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ﾉ/ ノ　 /　　/,,,,／ 　 ／;;;;ミ /;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;` ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;/　　　　/　　/;／　／;;;;;;ミ　ヽ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ﾉ　　　,　　　 `ﾞ　　／―''':::::::::::ヽ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;|　|　　|　　　　　　ﾉ:::::::::::::::::::;;;;／i;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ttp://www.youtube.com/watch?v=NGI7zz4139o 891 名前：１３２人目の素数さん [2012/11/03(土) 01:09:59.90 ] 英語なんてただの道具。 892 名前：１３２人目の素数さん mailto:sage [2012/11/03(土) 01:23:30.15 ] Differences between Galois representations in automorphism and outer-automorphism groups of the fundamental group of curves sms.cam.ac.uk/media/657797?format=flv&quality=high On the combinatorial cuspidalizations and the faithfulness of the outer Galois representations of hyperbolic curves sms.cam.ac.uk/media/657657?format=flv&quality=high Torsion of abelian schemes and rational points on moduli spaces (joint work with Anna Cadoret) sms.cam.ac.uk/media/657607?format=flv&quality=high 893 名前：１３２人目の素数さん mailto:sage [2012/11/03(土) 02:39:21.79 ] Topological methods in Grothendieck-Teichmueller theory sms.cam.ac.uk/media/699593?format=flv&quality=high 894 名前：１３２人目の素数さん mailto:sage [2012/11/03(土) 05:01:47.49 ] 日本人学者以外でタイヒミュラーに興味を持っていた人はほとんどいなかったのか。 そんなだから、フィールズメダリストも含めて有名な学者でも準備不足で もっちー大先生の論文を読めないんだ。 895 名前：１３２人目の素数さん mailto:sage [2012/11/03(土) 05:12:53.95 ] 数論幾何の学者さんって難しいことやってる割に、教員紹介の文章なんかは分かりやすい、というか数学の魅力が伝わってくる文章を書く人が多い気がする 文中に出てくる用語の意味ははっきり分からなくとも、用語の対比のされ方などから、抽象的なのか具体的なのかとか、局所的なのか大域的なのかとか、概念同士の関係性が分かるように書かれる場合が多い 896 名前：１３２人目の素数さん mailto:sage [2012/11/03(土) 08:50:44.42 ] >>884 www.youtube.com/watch?v=1RtGGXcLk48 897 名前：１３２人目の素数さん mailto:sage [2012/11/03(土) 09:20:21.03 ] そっくりハウス　⇒　入れ子構造 ｛｛｛数（点） ＝ 関数（空間）｝ ＝ 関数（空間）｝・・｝ 898 名前：１３２人目の素数さん mailto:sage [2012/11/04(日) 11:50:23.48 ] ファルティングスやテレンス・タオでさえもモッチー先生の論文を読んで内容を解することが すぐにはできないということに驚きました。 899 名前：１３２人目の素数さん mailto:sage [2012/11/04(日) 12:16:54.83 ] >>898 そりゃ無理だよ。じっくりと読み込まないと無理。そういうもん。 900 名前：１３２人目の素数さん mailto:sage [2012/11/04(日) 16:16:20.83 ] An ABC proof too tough even for mathematicians In Tokyo, a solitary thinker unveils a solution that’s either a dizzying advance―or a blind alley. By Kevin Hartnett | GLOBE CORRESPONDENT NOVEMBER 04, 2012 bostonglobe.com/ideas/2012/11/03/abc-proof-too-tough-even-for-mathematicians/o9bja4kwPuXhDeDb2Ana2K/story.html 901 名前：１３２人目の素数さん mailto:sage [2012/11/04(日) 16:45:06.16 ] "Vesselin Dimitrov, a graduate student at Yale University, has been concentrating on reading Mochizuki’s preliminary writing as preparation for reading the proof. In a series of e-mails, he explained that he’s drawn by both the challenge of the ABC conjecture and the elegance of Mochizuki’s thinking. “Reading through Mochizuki’s world,” Dimitrov writes, “I am much impressed by the unity and structural coherence that it exhibits. “ Dimitrov stressed that it’s too early to predict whether Mochizuki’s proof will stand up to the intense scrutiny coming its way. In October he and a collaborator, Akshay Venkatesh at Stanford University, sent a letter to Mochizuki about an error they found in the third and fourth papers of the proof. In response, Mochizuki posted a reply to his website acknowledging the error but explaining that it was minor and didn’t affect his conclusions. He is expected to post a corrected version of his proof by January." bostonglobe.com/ideas/2012/11/03/abc-proof-too-tough-even-for-mathematicians/o9bja4kwPuXhDeDb2Ana2K/story.html 902 名前：１３２人目の素数さん mailto:sage [2012/11/04(日) 20:05:57.05 ] >>900-901 情報ありがとうございます。 望月先生が世界的にシャイと思われているのと、 ＣＭＩ　が、インフォーマルだけど、望月先生を入れた査読のワークショップの スポンサーになることに関心を表明したということが判りました。 キムさんの最後の言葉、私にはわかりづらかったんですが、 間違っていたら修正をお願いします。 「あなたが自分の研究にくるまれて長い間すごしたら、あなたは時々 ほかの人々が何を理解しないかという感覚を失うのでは」 「他の人々は彼のしていることについてかなり不思議に感じていますが、 彼の中ではそれがなぜなのかまったく理解していないと私は思っています。」 903 名前：１３２人目の素数さん mailto:sage [2012/11/04(日) 20:40:00.55 ] New Info. Thanks. 904 名前：１３２人目の素数さん mailto:sage [2012/11/04(日) 20:51:41.85 ] >>902 読んだけど確かに最後のキム氏の言ってることのニュアンスがよーわからんね 905 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 05:38:58.54 ] The math community has reacted to Mochizuki’s proof with equal parts hope and skepticism, though few mathematicians are willing to discuss their doubts on the record out of respect for Mochizuki and a desire not to prejudge the vetting process. Mathematicians speak of a “brick wall” in mathematical reasoning that has thwarted previous attempts to solve ABC. “Before Mochizuki came along, this problem was viewed as utterly, hopelessly intractable and out of reach, like an out-of-the-solar-system kind of situation,” says Lagarias. In that light, any supposed proof was bound to be greeted with some doubt. Another source of skepticism is the potential expansiveness of Mochizuki’s accomplishment. It has long been understood by mathematicians that any proof of ABC would have the effect of simultaneously proving four other theorems (the work of Roth, Baker, Faltings, and Wiles) that stand among the most celebrated achievements in math in the last half-century. If Mochizuki has found a way to subsume those monumental results into a single formula, his work would take its place alongside equations like Einstein’s E=mc2 and the inequality behind Heisenberg’s uncertainty principle in terms of its sheer explanatory power. To many, such a discovery seems too good to be possible. Minhyong Kim thinks that the initial reaction to Mochizuki’s work owes to something else. “Frankly, there are many people who express skepticism because they look at it and they can’t understand what’s going on, and of course when you can’t understand something the most natural initial response is to be skeptical.” 906 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 05:41:32.81 ] In the coming weeks mathematicians are hoping Mochizuki will provide a kind of “executive summary” of his work―a 20- or 30-page template that traces the pivot points in his logic. Meanwhile, mathematicians like Ellenberg and Dimitrov will continue to poke at Mochizuki’s proof, looking for openings, raising questions, and translating Mochizuki’s ideas into terms that a wider circle of mathematicians can understand. If Mochizuki’s work makes it through these informal early checks, work groups and conferences will be organized around his ideas. The Clay Mathematics Institute at Oxford has already expressed interest in sponsoring one such workshop. Further down the line―perhaps a year from now, if Mochizuki is able to build up sufficient trust with his peers―Mochizuki will submit his work for journal publication and it will be sent out for peer review. Mochizuki’s reputation as a gifted mathematician will survive even if his proof turns out to be wrong. But the same cannot be said for his work of the last decade. Mathematicians are tantalized by the possibility of a proof of ABC, but if an error is found early in the vetting process, the math world will likely move on without bothering to explore the rest of the mathematical universe Mochizuki has created. Mochizuki has almost certainly made significant discoveries―but without the allure of a proof, it’s possible no one will take the time to understand them. 907 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 05:43:00.21 ] Mochizuki, who is known as a shy person and has declined interview requests since publishing the proof in August, will have an important role to play in all of this, answering queries and explaining his work to a math community from which he long ago parted ways. And this, Kim thinks, might pose the greatest challenge of all. “When you’ve been wrapped up in your own research program for a long time sometimes you lose a sense of what it is that other people don’t understand,” he says. “Other people feel quite mystified as to what he’s doing and part of him, I suspect, doesn’t quite understand why.” 908 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 09:42:04.58 ] 最後の doesn’t quite understand why. の主語って望月氏なの？ Other peopleじゃないの？ 909 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 10:12:02.05 ] part of him　だよ 910 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 10:35:48.97 ] 彼の一部、阿部定か 911 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 10:52:33.52 ] youはあなたではなく一般論として使ってる感じだな 長い間仙人みたいな研究生活してると感覚が麻痺しがちだから 説明責任のことも忘れないでくれという感じか 912 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 13:21:16.24 ] 大きなお世話だ 凡人の発想だな 913 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 13:59:48.28 ] 世の中、凡人が大部分だからね。そして、凡人が天才の足を引っ張り続けるのが世の習い。 914 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 14:23:04.72 ] と凡人が申しております 915 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 15:23:59.69 ] 要するに、 日本人数学者が凄いことを成し遂げた可能性があるので 嫉妬深いチョンの数学者がファビョっていると… ｗ 916 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 15:59:32.10 ] 日本人の名誉、業績、評価を徹底して破壊して歩くのが朝鮮人の特徴 それは、あらゆる局面、あらゆる分野、あらゆる階層に及ぶ 917 名前：１３２人目の素数さん [2012/11/05(月) 19:56:38.96 ] 今回のABC予想の証明は、なんか唐突すぎてイマイチ面白みがない。 証明を発表する前に 『実部が1/2の直線上から離れた位置に零点が存在するならば 　それはABC予想の唯一の例外になるだろう』 とか、そういう理論があって、必要にせまられた上で 「ABC予想を解きました」ってな具合に、背景とストーリーがないとね。 918 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 20:07:13.23 ] Kimは英語のWriting力がいい。さすがにOxfordの教授。 望月さんの論文は取扱説明書ふう。あえてそうしてる感じ。 志村先生のも小気味いい。でも日本人がすらすら読める英語は何だか... 919 名前：１３２人目の素数さん [2012/11/05(月) 22:17:35.21 ] いちいち数学に人種を持ちだす奴は 頭がオカシイ。 920 名前：１３２人目の素数さん [2012/11/05(月) 22:22:01.93 ] >>916 Kimが数論幾何で相当な業績を 挙げてるのを知らんのか？ 数論的基本群やセルマー多様体では この分野のトップだぞ。 921 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 22:24:33.30 ] この記事はイントロから最後のキムの談話まで孤独というか詩的で孤高の数学者というイメージで書いてある。 アインシュタインやハイゼンベルグに比肩する業績を成し遂げたかも知れない望月さんには、それなりの 数学者像が読者には必要だからね。 ところで日本の自称科学ジャーナリストは何やってんですか。 922 名前：１３２人目の素数さん [2012/11/05(月) 22:27:16.74 ] そういや、日本国内はこの話題に関しては 数学界もメディアもほんと静か。 若手ももっと騒いで勉強会は無いのか？ 923 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 22:32:53.59 ] こけた時のダメージがデカイから静観中ではなかろうか。 日本人の研究者はその辺気を使ってコメントしなさそう 924 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 22:34:14.64 ] 論文検証が終わるまで取材拒否だから 925 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 22:43:19.38 ] つIPS細胞臨床実験 926 名前：１３２人目の素数さん mailto:sage [2012/11/05(月) 22:47:24.24 ] Fermat's Last Theorem (Complete) https://www.youtube.com/watch?v=7FnXgprKgSE これみたいな、 BBC Horizon　の　Simon Singh　によるプロデュースでドキュメンタリー作ってくれ。 日本のNHKとか民放とかバカで糞だから。 927 名前：１３２人目の素数さん [2012/11/05(月) 23:27:25.62 ] 英語苦手。 928 名前：１３２人目の素数さん [2012/11/05(月) 23:31:24.84 ] 日本はソフト面が苦手だからな。 IPS細胞を説明した新聞の解説記事は そこそこ纏まってるけど、 あれだったら読者のために長期連載 したほうが良いかも。 929 名前：１３２人目の素数さん [2012/11/05(月) 23:31:30.20 ] 英語苦手で論文読んでも本文は困らないが、前置き等は困ったりするな 930 名前：１３２人目の素数さん [2012/11/05(月) 23:37:39.18 ] いつも思うけど、なんで英語が 世界共通言語なんだろ？ 日本語だったら日本人も 正々堂々と自己主張出来るのに。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef