- 1 名前：１３２人目の素数さん [2012/09/17(月) 12:06:22.16 ]
- 京大の望月教授によってABC予想が解かれたかもしれない
これから検証するんだろうけど、本当に解けてるならすごいぞ
これnatureの記事ね
www.nature.com/news/proof-claimed-for-deep-connection-between-primes-1.11378
- 893 名前：１３２人目の素数さん mailto:sage [2012/09/25(火) 19:24:10.97 ]
- とんがらりの人も京大だよね
- 894 名前：１３２人目の素数さん mailto:sage [2012/09/25(火) 19:29:34.61 ]
- 土木・建築が案外高いのね
- 895 名前：１３２人目の素数さん [2012/09/25(火) 19:30:18.91 ]
- 博士を取れない人もいるわけで
- 896 名前：１３２人目の素数さん mailto:sage [2012/09/25(火) 19:36:38.87 ]
- というか数学こそ別に大学でやる必要無い気がする
- 897 名前：１３２人目の素数さん [2012/09/25(火) 19:43:58.78 ]
- >>895コレ含めたら数学で身元不明なんてもっと増えると思う
- 898 名前：１３２人目の素数さん [2012/09/25(火) 20:00:31.21 ]
- >>893
今はシカゴ大
- 899 名前：１３２人目の素数さん mailto:sage [2012/09/25(火) 20:46:55.83 ]
- IU幾何を統制するのは組合せ論的アルゴリズムって聞くと
組合せ論の本読めば分かりそうな気がするが
全然わからん
- 900 名前：１３２人目の素数さん mailto:sage [2012/09/25(火) 21:02:08.99 ]
- buildingとかの話でね？
知らんけど
- 901 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 00:39:07.70 ]
- >>899
子供のデッサンとかが近いのでは。
- 902 名前：１３２人目の素数さん [2012/09/26(水) 01:19:01.96 ]
- そういえば院どころか
数学科の学部途中で居なくなっちゃった子いたな。
学費払えって督促の紙がずっと廊下に貼られてた。
結構真面目に勉強してた奴だったのに謎。
- 903 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 01:44:24.72 ]
- 謎でも何でもなくて学費払えなかったんだろ
- 904 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 02:40:55.69 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 905 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 06:46:44.22 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
- 906 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 09:33:19.04 ]
- 親がリストラにあった、会社が倒産したとかで
学費が払えなくなる学生は最近は普通だからな。
大学にも寄るが、それなりに猶予措置もあったはず。
- 907 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 11:39:42.06 ]
- とうとう日本も終戦直後の貧乏時代に逆戻りか。やばいな。
- 908 名前：１３２人目の素数さん [2012/09/26(水) 14:36:04.89 ]
- 河東氏によるとアメリカの数学科の大学院は金がかからない、だと。
- 909 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 15:22:36.54 ]
- そもそも数学を代表とする理論系の学問は、実験系に比べて圧倒的に
養成に必要な経費が少ないからな。安くて当然だ。
でも自分が院生の頃は、実験系の物理学科の連中と授業料は同じだった。
# 物理の連中はコピー機の利用に上限があったが、RIMSでは上限は無かった。
# その程度の配慮しかしてもらえなかった。
今はどうなっているのだろう。
- 910 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 15:32:50.54 ]
- >>908
優秀ならなｗ
- 911 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 15:54:39.14 ]
- そういや河東さんってもう死んだよなって思ってたら
死んだのは本体のサイババの方だったわ
- 912 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 18:58:55.39 ]
- まだあの髪型やってんのかよw
- 913 名前：１３２人目の素数さん [2012/09/26(水) 20:15:35.78 ]
- ハイパーインフレはいつ来るの？
- 914 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine.co.jp [2012/09/26(水) 20:17:56.64 ]
-
またお前たちか！ ２０代と６０代の、ニート・無職の、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、関西の、ゴミ・クズ・カス・無能・虫けらのクソガキども！
死ね！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！
- 915 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 21:28:20.13 ]
- >>909
人件費無視しちゃだめ
ばかにならない
- 916 名前：１３２人目の素数さん [2012/09/26(水) 23:07:58.77 ]
- もしワイルズ氏がこの世にいなかったら、
望月氏がフェルマーの大定理を証明したことになってた。
これって凄いことじゃん。
個人的に、ワイルズ氏の証明のアプローチ（まわりくどい背理法を使っている）は
美しくないと思っているので、望月氏の
ＡＢＣ予想が成り立つ⇒フェルマーの大定理は成り立つ
というストレートな論理展開の証明を待っていた。
もちろん、両名とも偉業を達成したことには変わりない。
次はリーマン予想にチャレンジしてほしいな。
- 917 名前：１３２人目の素数さん mailto:sage [2012/09/26(水) 23:28:34.75 ]
- 望月が証明したのは>>785でいうところのstrongとweakだけだから
「十分大きな次数でFermatの定理が成り立つ」ということしか言えないけどね
せめてgの値が具体的に分かればいいんだけど
まあどっちにしろすごい快挙であることには変わりない
- 918 名前：１３２人目の素数さん [2012/09/26(水) 23:43:27.64 ]
- Faltingsのモーデル予想によると
確か存在すれば高々有限個だっけか？
- 919 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 00:28:16.16 ]
- だとするといろんな新聞社が誤報を飛ばしたことになるんだよなぁ…
- 920 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 00:29:01.25 ]
- >>918
フェルマーの大定理についてだよね
そうだよ
- 921 名前：１３２人目の素数さん [2012/09/27(木) 00:47:12.69 ]
- １０万人単位の大リストラ時代。
- 922 名前：名無しさん [2012/09/27(木) 00:59:45.85 ]
- >>842
お前氷河期世代だろ？生意気だぞ
ユトリ＞氷河期
史上最年少 １６歳少年が公認会計士に合格
news24.jp/articles/2010/11/16/06170642.html
茨城県の女子高生らが新たな化学現象を発見し、権威のある米専門誌に論文が掲載されることが決まった。
headlines.yahoo.co.jp/hl?a=20111117-00000731-yom-sci
これまで合成が極めて難しかった銀の酸化物を簡単な高校の理科実験手法で作ることに成功した。
www.nikkei.com/news/latest/article/g=96958A9C93819695E2E6E2E2888DE2E6E3E0E0E2E3E39180EAE2E2E2
金10・銀11・銅2の快挙…国際科学オリンピック2011 成果発表会
resemom.jp/article/2011/08/09/3686.html
国際化学オリンピック、金2名＆銀2名受賞…実験試験でトップの快挙
resemom.jp/article/2012/07/30/9017.html
九工大学生が快挙 世界初！宇宙空間の太陽電池発電で350V達成！
www.excite.co.jp/News/science/20120716/Leafhide_eco_news_aq1p7Updic.html
- 923 名前：１３２人目の素数さん [2012/09/27(木) 01:17:52.38 ]
- また関係ないネタで威張ってる。
- 924 名前：１３２人目の素数さん [2012/09/27(木) 01:38:10.88 ]
- >>917
>「十分大きな次数でFermatの定理が成り立つ」ということしか
>言えないけどね
十分大きいっつっても、たかが6以上でしょ
- 925 名前：１３２人目の素数さん [2012/09/27(木) 01:40:33.64 ]
- >>891
>過剰に数学オリンピック云々といいすぎだと思う
>むろん正の相関はあるだろうけど
いやむしろ有害
- 926 名前：１３２人目の素数さん [2012/09/27(木) 02:38:35.17 ]
- >>918
モーデル予想は「解が有限個」だから、Fermat「有限個のｎを除いて解がない」はモーデル予想からは導かれないのと違う？
- 927 名前：１３２人目の素数さん [2012/09/27(木) 07:10:22.95 ]
- モーデル予想はもう出たのでは無いか？
- 928 名前：１３２人目の素数さん [2012/09/27(木) 07:24:38.87 ]
- モーデル予想はこの場合については、 n > 3 の時
x^n + y^n = 1 の有理数解が有限個
- 929 名前：１３２人目の素数さん [2012/09/27(木) 12:23:18.13 ]
- そういえば、知人の増田哲也さんが行方不明なんだが
どうしたんだろ
- 930 名前：１３２人目の素数さん [2012/09/27(木) 12:25:20.23 ]
- 論文を解読してるに違いない
- 931 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 12:43:51.92 ]
- フェルマー定理の証明としては、どちらの筋道が綺麗なの？
- 932 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 13:33:52.22 ]
- >>927
解いたのが「ファルティングズ」では…、うまい事言えないじゃないかw
# もう30年近く前になるんだねえ…
- 933 名前：１３２人目の素数さん [2012/09/27(木) 15:37:08.18 ]
- そもそも親の仕事で米国育ちの望月先生の親って
何をされていた方なんでしょう？
やはり何かの研究者なんでしょうか？
- 934 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 17:16:30.92 ]
- >>931
望月教授
- 935 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 18:51:06.75 ]
- フェルマー予想のような数学上の難問ですら
理論の発展によって当たり前に解けてしまうかも知れないとすれば、
プロブレム・ソルバーってなんなんだろうと思ってしまう…
- 936 名前：１３２人目の素数さん [2012/09/27(木) 19:49:17.81 ]
- abc予想からフェルマーの定理が従うことは簡単に分かりますか？
分かるなら導き方教えてください。
- 937 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine.co.jp [2012/09/27(木) 19:50:55.56 ]
-
またお前たちか！ ２０代と６０代の、ニート・無職の、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、関西の、ゴミ・クズ・カス・無能・虫けらのクソガキども！
死ね！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！
- 938 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 19:54:29.13 ]
- >>936
d.hatena.ne.jp/tkawa/20120921/p1
- 939 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 19:54:43.23 ]
- 反例が提出された模様。詳細不明。
quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/#comment-10863
- 940 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 20:04:26.10 ]
- >>938
おお！
ありがとうございます。
- 941 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 20:20:43.80 ]
- いつもながら、mathoverflowは日本の2ちゃんとは雲泥の差があるな・・・
- 942 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 20:29:32.18 ]
- mathoverflowに居る人達は本当に頭良いねぇ
親切に教えてくれるし
ああいうのは欲求不満の捌け口に匿名で煽り合いが好きな日本では無理なシステムだなぁ
- 943 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 20:48:23.85 ]
- mathoverflowはガチの数学者がたくさん集まってるところだｗ
比べんなｗ
- 944 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 20:50:15.19 ]
- いや、２ちゃんにもガチ数学者はけっこういるんだがな・・・
- 945 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 20:57:13.24 ]
- いや、でも日本であれがあってもガチの数学者があんなに教えてくれるかな？
ていうか日本の数学者の人はネットとかしない感じ
- 946 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 21:05:35.37 ]
- 日本の数学質問箱・掲示板は、質問者も回答者も
どっちも酷いから、もうどうしようもないねｗ
- 947 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 21:06:08.86 ]
- reputation point ってのがあるのがいいのかも
mathoverflow.net/users
- 948 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 21:09:45.78 ]
- Philosophy behind Mochizuki’s work on the ABC conjecture
mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture
- 949 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 21:36:36.83 ]
- >>948
質問の仕方も良いね。２ちゃんなら
ABC予想ってのが望月によって解かれたとか言ってるけど、
おまえらわかるのか？ｗ わかる奴、背景だけでも俺に教えろ。
教えられないのはわかってないからだろｗｗ
みたいになる
- 950 名前：１３２人目の素数さん [2012/09/27(木) 21:38:57.11 ]
- そして話題がどんどんそれて罵り合いが始まる
- 951 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 21:48:44.38 ]
- それが2ch
- 952 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 21:51:27.66 ]
- それのどこがいけないんだ
- 953 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 21:51:28.77 ]
- ｆｊにはmoderatorがいて書き込みをコントロールしていたな。
- 954 名前：１３２人目の素数さん [2012/09/27(木) 21:55:46.65 ]
- >>939
まじか？とおもったら本当だった。誰か解説してくれ。
Vesselin Dimitrovって人はどんなヒト？望月教授のアナウンスからこんなに
早くレスポンスできるなんてきっとすごい有名人なんだろうねえ
- 955 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 21:59:00.82 ]
- >>953
fj.sci.mathにモデレータなんかいたっけ?
- 956 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:03:45.01 ]
- fj.sci.mathてレベル低かった記憶が
- 957 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:07:41.49 ]
- >>954
ぐぐるとハーバードの学生らしい
数学の世界はほんととんでもない人間ばかりやで…
- 958 名前：１３２人目の素数さん [2012/09/27(木) 22:07:44.93 ]
- いや匿名か要アカウントの違いは大きいだろ。
- 959 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:09:42.87 ]
- >>954
まだイエールの院生でしょ。2005年の数オリ・銀メダリストだと思う。
- 960 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:14:03.24 ]
- >>956
京都工芸繊維大のT先生が、実名で丁寧に質問に
答えていたけどね。
- 961 名前：１３２人目の素数さん [2012/09/27(木) 22:16:24.63 ]
- greの専攻別平均値
IQ
No1.Physics
No.2 Mathematics
www.ncsu.edu/chass/philo/GRE%20Scores%20by%20Intended%20Graduate%20Major.htm
- 962 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:18:28.64 ]
- >>960
だからレベルが高いていうの？
- 963 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:24:03.84 ]
- >>962
少し前なら、O沢とかO田とか猫（）とかいたけど、
今は実名わかってる数学者ちゃねらーはいないよね。
以前いたちゃねらー数学者も、言いたいことを言うタイプで
問題解答はあんまりしなかったし。
- 964 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:25:47.55 ]
- 実名だとカスみたいなレスが自然淘汰されるってことはあるよね
それでも或る程度はどうしようもない低レベル（数学的水準が低いという意味ではない）の
投稿をする人は居るから、wikipedia英語版にしろmathoverflowにしろ
質を保つために低能コメントを排除するような仕組みがあるんだと思う
- 965 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:26:14.73 ]
- >>963
fj.sci.mathの話をしてるのだが
- 966 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:32:23.93 ]
- >>965
fjにはいたが、2ちゃんにはいないって話。
実名出してる回答者がいない2ちゃんは、すぐに煽り合いに
なるけど、リアルの大学教授が実名を出して答えててると
スレッドが崩壊しにくい。
匿名掲示板と、メアド晒していたfjとの違いを述べてるのだが
君には読み取れなかったらしいｗ
- 967 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:39:23.29 ]
- fj.sci.mathには論狸学を唱える方がいらっしゃったような記憶が。
21世紀には論理学は革命を起こすんじゃなかったっけ?w
- 968 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:40:09.57 ]
- >>966
過去ログ込みで玉石混合だが、2chのほうがレベルが高いと思うけど
- 969 名前：１３２人目の素数さん mailto:sage [2012/09/27(木) 22:47:25.69 ]
- >>968
君の個人的感想は尊重いたしますｗｗｗ
- 970 名前：１３２人目の素数さん [2012/09/27(木) 22:51:55.56 ]
- fj.sci.mathのコミュニティとしての質は高いけど扱っている内容が学校の課題という感じ。
- 971 名前：１３２人目の素数さん [2012/09/27(木) 23:07:57.38 ]
- 10年も考えてるのだから、反例も何も無いはず。
Otherwise, what will happen? Idon't know.
- 972 名前：１３２人目の素数さん [2012/09/27(木) 23:31:22.04 ]
- もし、20代?の無名のコヤツにやられたら、アウト
こいつ３０年前のMiyaokaのことも例にあげて...
- 973 名前：１３２人目の素数さん [2012/09/28(金) 00:24:39.41 ]
- Yoichi Miyaoka
en.wikipedia.org/wiki/Yoichi_Miyaoka
- 974 名前：１３２人目の素数さん [2012/09/28(金) 00:26:08.98 ]
- Fermat's Theorem Solved? Not This Time
www.nytimes.com/1988/03/29/science/fermat-s-theorem-solved-not-this-time.html
- 975 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 00:30:37.27 ]
- 壮大な証明を作るのは天才の技だが、そのギャップを指摘する
だけなら、（優秀な）学生でもできることがある。
そのギャップが、埋まるものか実は深刻なものか、わからない。
もちろん、ギャップの指摘が正しいかどうかもわからんが。
- 976 名前：１３２人目の素数さん [2012/09/28(金) 00:32:11.58 ]
- 2chには数学者いないけど
痴漢なら居たな。
- 977 名前：１３２人目の素数さん [2012/09/28(金) 00:36:29.02 ]
- 数学板の連中は天才の話が
とにかく好きだな。
- 978 名前：１３２人目の素数さん [2012/09/28(金) 00:37:38.43 ]
- 深谷先生がリーマン予想解いたときは
自分で間違いを見つけたんだっけか
- 979 名前：１３２人目の素数さん [2012/09/28(金) 00:42:13.17 ]
- >>977
それは2chに限らない話だと思うよ。
日本の数学ファン（笑）にアーベルやガロアの話が好きな人は割といるけど
代数自体ほとんど知らない、勉強したこと無いという不思議な現象が昔からあった
天才という言葉以外に興味無い人が多いというか
- 980 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 00:44:26.37 ]
- ワイルズも途中でポシャりかけたんだって？
そのときはなんとかなったらしいが
- 981 名前：１３２人目の素数さん [2012/09/28(金) 00:48:39.82 ]
- リーマン予想は今世紀中に解決しそうなのか？
- 982 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 01:02:30.90 ]
- abc予想の反例じゃなくて，別の楕円曲線の定理の話みたいだけど
証明に使っているのか？
- 983 名前：１３２人目の素数さん [2012/09/28(金) 01:14:20.13 ]
- >>977
正確には数学板に誘導されてきたＮ速板民
- 984 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 01:56:49.33 ]
- ん？望月先生の論文に誤りが指摘されたってことでいいの？
- 985 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 01:59:54.14 ]
- イエールの院生か。ロシア人みたいな名前だな。
- 986 名前：１３２人目の素数さん [2012/09/28(金) 02:00:19.80 ]
- Mathoverflowには日本の数学者は
少ないような気がする。
上の反例もElkiesの時と同じヤラセっぽい。。。
- 987 名前：１３２人目の素数さん [2012/09/28(金) 02:13:37.43 ]
- 静かに詳細をチェックして
今はあまり大騒ぎしないことだな。
たとえ誤りがあっても、望月先生が
創造した数学がある。
- 988 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 02:18:32.96 ]
- そうね。誤りがあったとしても、今回の論文の価値は揺らがない。微動だにしない。
- 989 名前：１３２人目の素数さん [2012/09/28(金) 02:22:16.73 ]
- >>988
ABCの証明の信ぴょう性よりも
彼が創造した新しい数学の世界の
方が興味ある。
- 990 名前：１３２人目の素数さん [2012/09/28(金) 02:24:20.88 ]
- そういう盲信もどうかと思う
常に疑え
騒げ喚け
その審判の末に残ったモノがあれば
それがホンモノ
静かに通ったらそれこそ
誰も真偽のわからないまま
通り過ぎたようにも見えてしまう
- 991 名前：１３２人目の素数さん [2012/09/28(金) 02:25:50.61 ]
- どう思うかは個人の勝手。
- 992 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 02:28:36.58 ]
- >>990
盲信では無く、価値判断だ。審判に通らなかったとしても後世に引き継がれるものが
そこにはあるという意味でね。
君はステレオタイプの固定観念を披露してくれたようだがｗ
- 993 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 02:29:45.83 ]
- 俺は論文審査の蚊帳の外にいる人間なので
心構えを説くような厚かましい真似はできません
- 994 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 03:11:53.58 ]
- そりゃそうだ。
- 995 名前：１３２人目の素数さん [2012/09/28(金) 03:37:00.57 ]
- これは近いうちにもっちーのHPに動きがありそうだ
- 996 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 03:44:52.18 ]
- 近いうちに修正できれば良いけどね
- 997 名前：１３２人目の素数さん mailto:sage [2012/09/28(金) 05:38:21.59 ]
- ワイルズのときは彼の秘密主義により論文を発表していなかったから
テーラーの力も借りて必死でギャップ埋めれたからよかったが
今回は他人がギャップ埋めるようなことになったらモッチー苦しくなるよ
本人はそれでもOKって言うかもしれんが、フィールズにも執着ないような人だから
- 998 名前：１３２人目の素数さん [2012/09/28(金) 07:51:46.70 ]
- ＡＢＣ予想なんて宇宙祭タイミヒュラー理論の風圧で解決したようなものだから
- 999 名前：ＴＴＴ [2012/09/28(金) 08:12:24.40 ]
- 論文の本編での直感的な論法に具体的な図式化を与えるために種の理論を考えている。
数学の議論を図式的に扱うことについて形式的な保証を与えている。
彼の議論はZFCに「任意集合ｘに対しｘ∊Vとなる宇宙Vが存在する」という
グロタンディークの存在公理（Grothendieck Schoolと呼ばれている）を付け足した
ZFCGを扱うことでグロタンディーク宇宙の構成を可能にするというもの。
このとき宇宙の上昇列が形成される。
この宇宙はそれぞれZFCモデルとなる。
集合を変数に持つ論理式の集まりを0-species、
その中でZFCモデルで充足するものを0-specimenと呼んでおり、
0-speciesの論理式の変数に入る集合2つとその間の関数を合わせた3つを
変数に持つような新たな論理式を1-species...などと定義していく。
するとどこまでの宇宙で0-specimenが成り立つか等によって、
ZFCを超えた数学的な命題を階層化することができる。
この階層化されたspeciesは圏論の一般化でもある。
例えば0-speciesは圏、1-speciesは函手の同型クラスになる。
で、望月氏は実際に論文中の議論の図式化の例をいくつか説明しています。
- 1000 名前：ＴＴＴ [2012/09/28(金) 08:12:59.19 ]
- 以下は別スレのレスと加筆修正したもの。
有益な情報のためこのスレに転載します。
計算量クラスの種類はいくつあるのかと問われて...
1000どころか可算無限個はあります。
既にAC_iとかTC_iとか多項式時間階層の無限列が入ってますし。
基本的には、
（１）抽象機械、（２）領域、（３）時間、（４）オラクル
の4つを設定するのでこれらを掛けた量だけ少なくともあります。
抽象機械とはチューリング機械（これだけでも決定性や非決定性や交替制や確率や量子）等が代表例で、他にも無数の抽象機械があります。
さらには述語論理に何々の記号を加えただとか、何々のパターンを持つ回路だとかまで入ります。
同じ機械でも領域と時間を制限することで色々変わってきます。
時間や領域の制限は対数とか指数とか2重の冪とかの単位で考えることが多いです。
面倒なのは、計算機の強さが時間や領域の制限と綺麗に相関しないところですね。
ある時間以上ではほとんど計算能力が向上しない状況、その逆の状況とかがあります。
また時間を自然数で区別すればはたまた自然数個の時間によるクラス分割が発生します。
そしてこれにオラクルという計算に別のクラスの補助を使用することを考えます。
Pをオラクルに持つPをオラクルに持つ...と、ここでも可算無限個のクラスが発生します。
しかもほとんどのクラスが潰れない（一致しない）。
P≠NPもほぼ間違いないと考えられていますし。
こう考えると計算量クラスの定義は＜M、ｔ、ｓ、O＞といった
抽象機械M、時間ｔ、領域ｓ、オラクルOの対として定義したほうがいいですよね。
計算量理論と述語論理等の記述（計算）能力まとめ。
people.cs.umass.edu/~immerman/descriptive_complexity.html
現在の複雑さの階層マッピング
www.math.ucdavis.edu/~greg/zoology/diagram.pdf
名称付きのクラスのリスト
qwiki.stanford.edu/index.php/Complexity_Zoo
- 1001 名前：１００１ [Over 1000 Thread]
- このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
|
 |
