【数学】数学の超難問・ＡＢＣ予想を「証明」した望月教授の論文がＰＲＩＭＳに掲載決定
■ このスレッドは過去ログ倉庫に格納されています
数学の超難問・ＡＢＣ予想を「証明」 望月京大教授
2017年12月16日3時1分
長年にわたって世界中の研究者を悩ませてきた数学の超難問「ＡＢＣ予想」を証明したとする論文が、国際的な数学の専門誌に掲載される見通しになった。
執筆者は、京都大数理解析研究所の望月新一教授（４８）。今世紀の数学史上、最大級の業績とされ、論文が掲載されることで、その内容の正しさが正式に認められることになる。
望月さんは２０１２年８月、論文を自身のホームページ上で公開。数理研が発行する数学誌「ＰＲＩＭＳ」が、外部の複数の数学者に依頼し、間違いがないか確かめる「査読」を続けてきた。
同誌は研究者の間で一流の国際数学誌と評価されており、早ければ来年１月にも掲載が決まる。
http://www.asahi.com/sp/articles/ASKDD5Q6MKDDPLBJ007.html
論文：ホームページより
Inter-universal Teichmuller Theory
http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-english.html フィールズ賞は年齢制限でダメだけど何か賞は貰えるんだろうな
本人は名誉欲が無い人らしいが 水着だとわかるけど和服とか着られると全然わかんないもんな。
たしかに偉業だ！ キッスにペッティングにセクース
恋のABCはおまかせよ！
この人、自分の理論を、
宇宙際タイヒミュラー理論
って言ってるみたいだけど、なんかの理論の拡張？
奥ゆかしいね。もっと独自の和風な名前にすればいいと思うのだが。
互いに素である数a,bについてa+b=c とする
3つの数の積abcを素因数分解したとき 互いに素となるような素因数のみを掛け合わせた数dを考える
このときc>dとなるようなabcの組がどの程度存在するのか
特にc>d^x (x≧2)となるようなabcの組がどの程度存在するのか
みたいな話なのか Aキス
Bペッティング
C…かいほり −−どぶ川のようなところを清掃するからだが 確か数年前に理論発表したけど、その理論が正しいかどうかを検証できる数学者が
世界に数人しかいなかったそうだ。つまり彼の考え出した理論を説明するための
彼の理論を理解するのが大変らしい。そういう話題はネットに出てたね。
でも最近の数学の難問って問題自体が難しくて分からない。w 科学ニュース＋に来れば多少なりと解ってる理数野郎がいるかと思えば。。
ν速＋と変わらんレベルだったでござる IUTで証明できるのは「弱いABC予想」で「ABC予想」自体ではなかったはずだが……？ 1月25日は朝日新聞の創刊記念日
朝日新聞社御中宛てにみんなで一斉にハガキを送ろう
文面は「朝日新聞死ね」のみで >>13
独自の言葉が、「宇宙際」とかいう気持ち悪い変なネーミングなんだろが？ おれなんかYまで言えるんだけど数学者も大したことないね 藤井が 「信じられないほど頭いいんだけど、信じられないほど抜けてることをするとか」 っていってたわ
すべての学生・職員が忘れるはずもない、京大の時計塔に場所わからなくなって
校内で迷ったとかいう伝説持ってるそうな >>1
＞論文が掲載されることで、その内容の正しさが正式に認められることになる。
いやまあ掲載後に瑕疵が発覚することも無きにしも非ず。
出版することには色々な目的があるが
より多くの人間のチェックにさらすことも出版する意義のうちの一つ。
今回は慎重にやったみたいだから穴はないだろうとは思うが。 >>30
まさに紙一重の人やな
ポアンカレ予想を証明したペレリマン博士もすんごい奇人だし >>22
発表時点では誰も理解できず、
数年かけて世界の数学者が勉強してやっと査読できるようになった。
なんてレベルの論文をあっさり理解できる奴が居たら、
そいつ自身が世界レベルの数学者ということだぞ。 >>33
論文はもう3年も前から京大数理研の先生のサイトにアップされてて、誰でも見られる。
ここ数年、それを見た人からの指摘とか本人の校正もあって、少しづつ改定されてきた。
それが最終段階ということだろう。論文の本質を覆すような指摘は誰もしてない、出来ない
ようなので、おそらく正しいのだろう。
自分のような素人じゃ最初の一行しか理解できなかった。ww それが、 「この論文は、
以下の四つの論文の最初のものである。」という一文だけ・・・・
「宇宙際」というと変な言葉だが、論文では"Interuniversal"と書いている。 望月氏のＡＢＣ予想「証明」、独創的すぎて数学者も苦闘
数学の超難問「ＡＢＣ予想」が、日本人によって証明される見通しになった。
数学史に残る偉業だ。
論文筆者である京都大数理解析研究所の望月新一教授（４８）は、自身のホームページ（ＨＰ）以外での社会に向けた発信は限られ、それが一層関心を集めてきた。
http://www.asahi.com/articles/ASKDH5VLYKDHPLBJ002.html 望月さんってこれを証明して燃え尽き症候群とかになったりセーへんの？
ポアンカレ予想？のロシア人とか廃人みたいになってたやん 皆と同じ日本人のはずのサヨクさんが何故か嫉妬・発狂するスレ
ここから人格攻撃始まるよーｗ >>3
年齢制限あるのかよｗｗｗ
それはどういうんかねぇ？
まぁＩＣＭも余剰金で賞金作っただけだもんなぁ
よっぽど懐が厳しいんだろうか つーか、数学者でまともな人があまり思いつかない・・・ｗ
自殺した人、決闘で死んだ人、廃人になった人ばかりというイメージ Interuniversal geometry 宇宙際幾何学って言ってるけど、論文見ても図形なんか殆ど無く、
文章と見たことも無い数式だけ、これが何故「幾何学」なんだか・・・・・・・・
理系の論文は物理学でも化学でも懸命に読めば、たとえ専門外のものでも何が書いてある
のか、何が言いたいのかくらい何となく判るものなんだが、この望月論文は全く歯が立たないよ。
何せ500ページ以上もあって、何処にabc予想のことが書いてあるのかも簡単には判らない。
しかも、この論文以前にある膨大な理論とか知識が無いと、一歩も入って行けないらしいのだ。 うーむ、アホな俺にはわからん。
誰かABC予測についてわかりやすく解説お願いします Remark 1.15.5. (Uniform ABC) So-called uniform abc conjecture (uniformity with respect
to d of the bounded discrepancy in the Diophantine inequality) is not proved yet, however, we
have an estimate of the dependence on d of our upper bound as follows
今年の７月の時点でこれだったのに大丈夫なのか？飛ばし記事に一票 >>1
リンク先の論文を少し眺めてきたけど何が何だか全く分からんｗ 2012年に論文発表してんのに5年も放置されてたのか・・・ 花の発生におけるABCモデルは半ば解決した問題だと思たが？ こういう変人って、大学で講義とかゼミとかもってるの？
それとも座敷牢に閉じこもって、意味不明な言葉つぶやいてるだけ？ 花の発生におけるABCモデルはほぼ解決すみの問題だと思てたが 記事のファクトチェックの仕様がないレベルって面白いな
状況証拠くらいしかないという ノーベル賞に数楽章がないのが惜しまれる
ノーベルのオッサンが嫁さんを数学者にNTRされたのがイカンのじゃ！！ 日本の理系史上最大の天才５人
■岡田康志 医学者
灘→東大理三。中3で理三A判定。高1で東大模試2位。高2で同模試1位。高3で同模試2位＆全国模試全教科1位。灘史上最高の天才
４３歳でやっと博士号取得
■久野慎司 開業医
高2の時に高3の岡田を抑え東大模試1位。灘首席卒→東大理三と京大医に合格→京大医首席入学。灘史上最高の天才。
単なる久野クリニックの医者
■副島真 東大生
筑駒→東大理一。3年連続数オリ金賞。2009年は最高得点で金。筑駒史上最高の天才。
プログラミング選手権で世界一だが今のところ学生
■長尾健太郎 数学者
開成→東大理一→京大院理研。3年連続数オリ金賞。開成史上最高の天才。
優秀だったが３０代で死去
■望月新一 数学者
19歳でプリンストン大卒。京大数理解析研教授。専門は数論幾何学、遠アーベル幾何学。
数学史上最大の問題の一つを解決 具体的にどう応用できるのかよくわからんが、様々な計算アルゴリズムに使われる数式の精度を高めるのに使えそうなことだけはわかった。
今日は脳がフル回転しそうだ・・・。
量子コンピューティングで誤り訂正符号を効率よく単純化出来るぞこれは。 >>37
そんなに長く無制限の公開だったのか。それだけ長ければ
この分野に興味を持つ数学者に周知が行き渡るにも十分そうだな 確率微分方程式？だったか、で金融工学を開いた伊藤なにがしも天才ちゃうん？ 2日前、12月14日に、ご自身が4つの主論文のAcknowledgementsを改定している。
ご本人もそろそろもう最終段階と思ってるのかも知れないですね。
そもそも完全に査読出来る人なんて居ないらしいので、とにかく論文誌に掲載しよう、と
いうことになったのかな？ここ数年殆ど動いてなかったので、論文が公式に出版されば
事態が進むことが期待できると思う。 これでやっと望月氏が韓国系であることが数学的に証明されたのか ( 'A`) 数学板でABC予想スレをずっと追ってた二流文系卒だけど、
＿φ＿__⊂)_ おれが理解するかぎりでは、望月新一は「N圏論」を創始したのだ。
／旦／三／ ／ 二つの数学宇宙を置換する圏論はできていたが、三つ以上の数学宇宙を置換するN圏論を構築したのが望月だ。 >>65
ペレルマンは一時期アイマスMADにこってたらしい 人工知能があっという間に証明しちゃったりして・・・ 数学の難問解決なんて、何もヒトがやらなくても…と思うんだけど。
【物理学の未来】究極の理論はAIが導く【最後のシンギュラリティ】
http://rio2016.5ch.net/test/read.cgi/sci/1500166915/ ６００ページの数学本か
こりゃ睡眠導入にはもってこいかもしれん
ただし、逆に面白かったら眠れなくなるな 数理研の先生のサイトの冒頭には、「望月新一の安否確認情報」とかがあって
「何月何日、何時現在、元気にやってます」とか書いてあり、笑わせてくれる。また、毎年、
数理研の周囲の満開の桜の写真をアップしている。
ペレルマンとかグロタンディークのような超変人ではなさそうだよ。 この人の経歴見ると
京大はな〜んもこの人の業績には関係してないだろ？
まあ数学の天才はその人自身の素質が１００％占める世界であるけど こんな天才でも４０歳しかも４年に１回というバカげた制限のため
フィールズ賞をもらえない
昔のドラマで「やまとなでしこ」という人気を博したのがあったが
そこで主人公はリミットぎりぎりでフィールズ賞を取るという設定だった
しかもドラマの中では数学の才能は20代が限界でそれ以降は伸びないなどという
設定でどんどん話が進められていた
が、現実には40歳以降になっても偉大な結果を残す数学者もいる
まあフィールズ賞は権威はあるが受賞金額が恐ろしく安いのであれだ
今では他にも数学分野で賞が設けられそちらは高額賞金がもらえる（年齢制限もない）
もうフィールズ賞自体が時代に追いついていないかもしれん 結局、5年も経つのに
まだ査読完了出来ずに
雑誌掲載って
そもそもこの論文を
査読が出来るレベルの人が
地球上にいるの？ そのうち動画で解説するyoutuberが出てくるだろ ポアンカレ予想証明したキノコ取りながらニートになった人はどうなったの？ お前ら、もっと頑張れよ。
これが解決すると、素数関係の謎が解明されたりするの？
最強の暗号が無意味になったりとか。 数学の超難問ABCって
大阪府立高校の数学の入試問題のことかと思った
数学のC問題が超難問 的外れな事書いたら申し訳ない
掲載する雑誌（PRIMS）って、結局のところ身内の学術刊行物だよね
何故国際的な数学論文誌（例えばActa Mathematicaとか）に投稿しないんだ？ >>54
偉業達成できたの望月先生だけじゃんw
数オリだの中３で東大Ａ判定だの
あんまり意味ないんだよなあ
ノーベル賞受賞者みても基本「普通の人」だしね
望月先生は早々に渡米したのがよかったのかな >>54
高校野球でトップになった才能と、MLBでトップになったのを同列に比べられても… こういう、ものすごく頭を使う人は
やっぱりブドウ糖はたくさん摂るのかね 有望な若手数学者を対象にした
業績よりも「人物」に対して贈られる賞金の糞安い「フィールズ賞」は無理だが
賞金額がノーベル賞と同じくらいの（一億円位）「アーベル賞」は確定だな
何にせよおそらくは21世紀数学者の中でも最大の功績になるだろうね
>>86
上の三人はどうしようもないけど、長尾さんは生きてればなんかやりそうだっただけに残念。 >>85
「グロタンディークのTohoku」のような話もあるから、掲載する雑誌の権威なんてあまり関係無い。 >>85
もう何年もかけて「査読」の状態を脱しているからだよ
つまり事実上論文が正しいと数学者の権威に承認済みなわけ
だからわざわざ査読誌に検証してもらう必要がない
そもそも査読する数学者程度に理解できるようなレベルじゃないんだよ
望月新一の「ABC予想論文」は世界でもほんの数人しか理解できない
これはアインシュタインの「相対性理論」が当時は数人にしか理解できなかったのと同じことなんだ
それくらいに誰にも考えつかない方法でABC予想を解いた天才 というか既に公開されてる状態だったから新規論文として掲載してくれる査読誌がなかったんじゃないの。 「フェルマーの最終定理」すら「ABC予想論文」の中で望月新一が考案した
「宇宙際タイヒミューラー理論」を使えば
全く別のやり方で簡単に証明できてしまう
他にも多くの難問証明などに役立つことからも
早くも21世紀最大最高の数学者とまで海外では言われ始めている >>42
作家でまともな人を思いつかない
自殺した人、自殺した人、自殺した人
スポーツ選手でまともな人を思いつかない
強姦魔で捕まった人、先週も交通事故で人殺した人、副業で失敗した人、パンチドランカーな人、脳溢血な人
頭悪いって言われてきただろ
著名数学者一覧とその後の人生をウィキでいいので調べてみろ 大多数が平穏に大往生だ 日本は江戸時代に発展した和算があったからな。
分野によっては西欧の数学より進んでいた。
西欧のように成果をオープンにせず学派の秘伝の様にしたんで飛躍しなかったけど。
あと証明って概念がなかった。
その学問の水準があったから明治維新があって西洋の科学技術が入ってきた時すぐ理解できた。
伝統的に日本人もかなり独創性はある。 あーわかった。
手当たり次第に暗中模索の探索しなくても済むようになるのか。
ムダエネルギーの解決になるな これは何かの役に立つの？
リーマン予想が解けたら暗号の危機とかあるみたいに 人生の選択をこの公式に当て嵌めたいで(´・ω・｀) つまりだ、
ネトウヨとパヨチンの永久ループの議論から本質のみを抽出す方法だよ
嘘、偏向、捏造（ノイズ）をスキップもしくはフィルターする方法だね。 >>80
素数が無限である限りそれはないんじゃないかな MarriageTheorem? @MarriageTheorem
このタイミングなら言えますが、12月22日の某ワークショップで「abc予想を暗号研究に使ってみた
?不動点のない置換とカードプロトコル?」という発表があります。
その他のプログラムも一風変わった面白いものと思いますのでよろしければ。
http://www.itri.aist.go.jp/events/ws-itri-crismath2017/ …
15:35 - 2017年12月15日 >>42
数学から経済学に転向した高橋洋一さんが「数学者は基地外ばっかり」と言ってたｗ
高橋さん自身ももものすごい天才だけど、手癖が悪かったりするしｗ >>94
そういやペレリマンのポアンカレ予想の証明は初めは誰も理解できなかったらしいね。 >>54 は日本の教育システムの問題点を指摘する意図なんだろうな。
「神童が医者になるしかない国は終わってるだろｗｗ」と。 PRIMSのサイトを見たが、掲載論文の著者には外国人も多数居て、決して京大だけの身内の雑誌では
なさそうだ。しかも今回は外部の査読者の決定らしいし。
しかし600ﾍﾟｰｼﾞもの論文、校正だけでも大変そうだけど、元が電子データだから意外と簡単なのかもしれん。 無意味な学歴社会のチョン 日本人と聞いて脳みそ一気に大爆発 http://iup.2ch-library.com/i/i1875565-1513405620.jpg
Problem Paradise?
@propara
https://twitter.com/propara/status/820497319686639617
望月新一教授の超難解な「IUT理論」の理解者と言われる、京大数理解析研の山下剛氏と星裕一郎氏。両氏がなぜかチェス盤をはさみ、
山下氏が升田幸三の「新手一生」の扇子を手にしているのが謎。
宇宙際タイヒミューラー理論の理解者について
・加藤文元（東工大教授） 京大在籍時、IUTの初期理論を相談した相手。基礎論の面から変革する可能性のある理論と当時評していた。
・玉川安騎男（京大RIMS教授） RIMSで共に四半世紀研究生活を共にした遠アーベル幾何学研究の盟友。日本学術振興会奨励賞受賞時のコメントペーパー「望月さんの数学」はあまりにも有名。
・松本眞（広島大学教授） メルセンヌツイスター創始者。玉川氏、望月氏と同じセミナーで議論。
・山下剛（京大RIMS講師） 論文発表から間もなく論文を独自に通読し、望月研の扉を叩いたIUT理解のフロントランナー。独自の視点から新たな可能性を記した「IUTサーベイ」を現在執筆中。
・星裕一郎（京大RIMS講師） 元望月研の博士学生。数々の共著論文を生み出し、IUTを完全に理解する数少ない弟子。日本語のサーベイを2本執筆、公開している。
・Chung Pang Mok（パデュー大学准教授） 海外勢では一番早くIUTに反応し、大枠を理解、世界各地で関連セミナーを開く。
・Ivan Fesenko（ノッティンガム大学教授） 2013年の望月研訪問から急速に理論の理解を深め、著名な研究者を招いたオックスフォード大でのIUTカンファレンス、京都RIMSでのIUTサミットを企画したIUT普及の第一貢献者。欧州学術誌に英文サーベイを投稿、掲載。
・Fucheng Tan（京大RIMS講師） IUTカンファレンスから急速にIUTを理解し始めた新鋭。中国等での関連セミナーを主催し、望月氏の元で研究するため昨年RIMSに赴任した。
・Emmanuel Lepage（パリ第6大学准教授） IUTカンファレンスから急速にIUTを理解し始めた新鋭。IUT-IIIあたりまで深く理解している模様。
・Taylor Dupuy（バーモント大学客員教授） IUTカンファレンスから急速にIUTを理解し始めた新鋭。YoutubeでIUTに関するビデオ講義を独自にアップし続ける。
・Kiran Kedlaya（カリフォルニア大学教授） IUTカンファレンスに参加し、IUT理論の肝であるFrob の講演で大絶賛を浴びた。IUTに可能性も見出し、京都でのIUTサミットにも参加。
・Jeffery Lagarias（ミシガン大学教授） 京都でのIUTサミットに参加。IUT理論の大枠を理解したと発言。 初めて発表された時、この人の論文は独創的すぎて
引用文献のほとんどが自分の文献って言ってる人がいたな
高等数学って選ばれた人の為の学問だな >>109
どの国も「神童」の大多数は医者だよ
親が安定して高収入得られるように仕込むからね
しょせんそれだけ。子供同士で見るから神童に見えるだけ
大人からすれば他の子より勉強を数年早く始めただけの子
大人になればただの人 当時は優生学が流行ってて白人と有色人種とは脳の構造が違うとか言う本が世界的に売れてたけど、そんなもん気にせずただ機械購入して分解して分析して似たようなもん作っていた、日本だけ。 手元にガスコンロとフライパンくらいしかないときに
野菜とタマゴから炒め物がつくられるが
その中でチャーハンが誰でも手軽に食べられる仕組みを考えるために
冷凍食品工場と電子レンジをゼロから独力で開発したようなもんだろ あと日本は国民全てに教育が行き渡っていた。
お寺に寺子屋があって読み書きそろばんを教えていた。
結果、識字率が高く近代化に大いに貢献した。 >>116
確かに数学五輪のメダリストって洋の東西を問わずに医者になってるもんが多いらしいね。 たぶん特別にフィールズ賞がもらえる。ワイルズもそうだった。
しかもワイルズの証明と比べても遙かに偉大な証明。
ワイルズの証明を、「剣岳」の登山に喩えれば、一人の登山家がルートを緻密に練って、
氷河の上を登ったりしてなんとか登頂して、三角点を設置したようなもの
望月先生の証明は、「立山黒部アルペンルートの竣工」のようなもの。
彼は、ケーブルカー、高原バス、エレベータとトロリーバス、ロープウエーという四段階
の新しい輸送システムを大規模に構築すれば、何百人も立山に登れることを証明した。
望月先生の定理を使えば、フェルマーの最終定理は、たった3行で、望月の定理によっ
て証明おわりと記すことが出来る。 その他の問題も200ぐらい一挙に解決してしまう。 数学者が読めないとかマジモンの天才が書いたものは凄いな歴史に名前刻めるね 月曜日はどの銘柄を買えば良いん？
望月教授関連銘柄教えろ下さい。(´・ω・`) 350 名前：名無しさん＠１周年[sage] 投稿日：2017/12/16(土) 13:48:28.99 ID:eCSSmTCp0
ヤン−ミルズ方程式と質量ギャップ問題は2013年に韓国研究チームが証明し、現在査読中 んで、これは工業的にどんな役に立つんだろう？
医学的、生物学的には？
我々の生活をどのように変えるのだろうか？ 情報分野で役に立つような希ガス
探索アルゴリズムとか最適化とか、違うかな？ >>126
あんまり父親が分野の大スターだと息子は潰れる
子供は作らないか無関係に育つのがいいのよ 1822年、和算家の内田五観門下の入澤新太郎博篤が『ソディの６球連鎖』と
同じ内容の算額を神奈川県（相模国）寒川神社に奉納して発表。
この算額は現存していないが、内田の算額集『古今算鑑』(1832年、天保3年)
に収録、木版出版されており、その証明に約10頁を費やしている。
『古今算鑑』を元に復元された算額が寒川神社方徳資料館に保存されている。
『ソディの６球連鎖』とは、イギリスの化学者フレデリック・ソディが
1937年に学術雑誌ネイチャーに発表した幾何学の定理に現れる
ネックレス状の球の連鎖のことである。
ソディは1921年に原子核崩壊の研究、同位体の理論に関して
ノーベル化学賞を受賞している。
日本の和算家はソディの発表より約100年前、
すでに算額の問題として取り上げ、解いて発表していた。
ソディの6球連鎖の説明図 （Wikipediaより）
外球（灰）に内接し、互いに接する2つの球（赤、橙）の
周りを取り巻く球（緑）の連鎖数は、常に6となる。
ソディの六球連鎖 >>41
数学家の寿命は短くて40こえたら化石とか言われるんだよな >>41
何歳でも獲れるなら弟子を潰して自分が獲る人も出るんじゃね >>41, >>74
フィールズ賞は若い研究者の支援が目的だから功労賞的なノーベル賞なんかとは目的が違う
>>121
特別賞でフィールズ賞をもらってる訳じゃないでしょ >>101
何かに応用される可能性はありそう。今すぐでなくとも。 >>136
ワイルズは年齢オーバーだったけどフィールズ賞を特例でもらってるよ。
ググるとフィールズ賞特別賞とか。 これはNHKスペシャルになってもまったくわからん番組になるな
ポアンカレや素数の謎リーマン予想、神の数式は面白かったが
ABCは問題自体がまったくわからん びた一文わからん ここって馬鹿が多いのなｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ >>140
あの証明論文を読んで理解するだけでも、相当な学力が要るぞ。
大学で4年間、理数系を専攻したくらいでは、論文その物の内容は理解出来ない。
>>101
他の数学の分野に影響を与える新たなアプローチの方法が見いだされた。
製薬やAI,、ＩｃＴ、ＩｏＴ等の分野へも応用が期待される。 今回の望月論文は、京大数理研の先生のサイトに行けば誰でも見られる。
怖いもの見たさで眺めてみたが（読んだ、とは言わない。判んないから）、どうやら何かを証明しようと
したものではなさそうだ。
論文は4つに分かれていて、全部で600ﾍﾟｰｼﾞくらい、論文というより「本」だな。何か数学の新しいアプローチ
とか体系を提唱したもののようだ。abc予想の証明なんて、極々瑣末な副産物に過ぎないのかな。眺めて
見ても、一体何処に書いてあるのかも判らなかった。www >>107
手癖の悪いやつのただの言い訳だろ。しかも噓 >>1
おお！20世紀風の
見る人が分かりにくいデザインそのままや！ >>48
放置じゃないよ。科学誌に載せるに足る信頼性があるか確かめるのに何年もかかるくらい、内容が難しかっただけ。朝日新聞なんかと違って、載せる内容に対する責任をとても大事にしている。 学部の偏微分方程式まで学んだが歯が立たなかったです
この証明は数学博士号持ち以上の経験と知識が無いと読むのが無理な気がする
タイヒミューラーを学んでないのに読もうとしたのが
そもそも間違っているのでしょうけれども >>139
世界の一般数学教師もなかなか理解出来ないレベルだから理論作った本人かチームを
制作に入れるしかないよね。後は査読した人達くらい？ ww ＞数理研が発行する数学誌「ＰＲＩＭＳ」
これ自分ところで出してる雑誌に自分で掲載ってこと？ 問題自体は中学生でもその意味を理解できる。
難しいのはIUT。
数学教師とか修士、博士とかそういうレベルじゃない。
アイディア、構造、何もかもがまったく新しい。
クラシックのスペシャリストがロックの演奏ができない、演奏を理解しないのと同じ。 >>150
自分とこで出してる雑誌が国際一流雑誌なんだからそれでいい >>138
だからそれは特別賞
って書いてあるんだが w >>127
2年で査読が終わる話だったのに続報が一切無い
ダメだったんじゃないかなこれは >>142
数学の新分野開拓したから読んでね
ついでにabc予想解けたよ
って感じか >>42
人のまま理解すると精神が狂ってしまうんだよ >>150
自分とこの雑誌だが、査読は外部の人が入ってるらしい。
先生のサイトに論文がアップされてから時々見てきたが、自身でも微修正やミスプリを直したり、
外部の誰かからの指摘で微修正したりして、すこしづつUp dateされてた。でも、何年経っても
論文の本筋を覆すような指摘は何処からも来なかったようだ。
12月14日に改定された謝辞、Acnowledgementsを見ると、どんな人が意見を述べたのか、判るよ。 >>42
>つーか、数学者でまともな人があまり思いつかない・・・ｗ
数学の王様、ゲッティンゲンの巨人、ガウスはまともな人だったと思うけど。 >>120
金メダリストはほとんど数学だよ。メダリストでも数学が大半。
医学行くのはすでに挫折した奴 >>159
2012年8月30日に論文をサイトにアップして以来、5年の間に何処をどう修正してきたか、全てサイトに記録
されてて、誰でも見えるようになってる。実に几帳面な人のようだ。 なぜ誰もあの首がよじれてる望月の顔写真はらんの？（笑） 121 名無しのひみつ[] 2017/12/16(土) 16:27:04.25 ID:UwxC27Mn
たぶん特別にフィールズ賞がもらえる。ワイルズもそうだった。
しかもワイルズの証明と比べても遙かに偉大な証明。
ワイルズの証明を、「剣岳」の登山に喩えれば、一人の登山家がルートを緻密に練って、
氷河の上を登ったりしてなんとか登頂して、三角点を設置したようなもの
望月先生の証明は、「立山黒部アルペンルートの竣工」のようなもの。
彼は、ケーブルカー、高原バス、エレベータとトロリーバス、ロープウエーという四段階
の新しい輸送システムを大規模に構築すれば、何百人も立山に登れることを証明した。
望月先生の定理を使えば、フェルマーの最終定理は、たった3行で、望月の定理によっ
て証明おわりと記すことが出来る。 その他の問題も200ぐらい一挙に解決してしまう。 （く）りたしげたか @sigekun 28分28分前
「ABC予想」の証明に関する話題を受け、先日2017年10月7、8日に開催された
「数学の祭典 MathPower2017」のイベント生放送の様子を公開いたしました。
一般会員、プレミアム会員に関わらず、タイムシフト視聴期限無制限、タイムシフト視聴回数無制限でご覧いただけます
https://twitter.com/sigekun/status/942049675376390145 >>166
n=3,4,5の場合についてはそれぞれ個別に証明が必要だから三行では済まねえよ とんでもない偉業なのは分かったわ
またスパコンかなんかで凄い解析できるようになんだろ この人なら物理の大統一理論も成し遂げられるんでないか？ フェルマー最終定理のワイルズの証明で、「元の理論？」があるのでそれが正しいから
フェルマーの最終定理が正しいという解法が新しい証明手法と言われたが
望月教授の論文は数学の新しい分野を切り開いたということなら、ワイルズの言いたかった
「元の理論？」に相当するものなのだろうか？
個別の公式や証明でなく、体系化した数学の理論を個人で作り出したという事例としては
ガロアに匹敵するのかな・・・？ サイモンシンのフェルマーの本、素人にもわかるように書かれてて、
めっちゃ面白かったけど、谷山志村予想のモジュラーの
対称性あたりからもうまったくわからんくなった
図で説明したいが図にできない世界とかいって、なんとか素人に
わかるように説明しようとされてたが無理にもほどがあった 望月氏の世俗的姿勢はこれである
私の場合、京都大学の教員になった20代半ば位のときから、
ちゃんとした社会人になろうと思って、（必ず毎回というわけではありませんが、
多くの選挙では）投票していますが、本当の意味での熱意をもって投票したことは一度もありません。
アメリカに住んでいた頃、時々、大統領選で盛り上がっていたとき等、
民主党と共和党とどちらを支持するか聞かれたりしましたが、
（アメリカ人に対して直接表明する勇気は中々出ませんでしたが）
究極的な「本音」は大体次のような内容のものでした：
民主党でも共和党でも、結局同じアメリカ人、
同じ英語的な世界の話ではないか。私はアメリ
カには住みたくない、英語はもう聞きたくない。
つまり、
「日本」、「日本語」に投票したい。 >>173
フェルマー予想は谷山志村予想とほぼ同じ内容になることは前々からわかっていたんだが、
ワイルズは、谷山志村予想を証明によって、フェルマー予想の証明をした。
証明に使った道具は、他人が作り上げた様々なパーツを組み合わせた感じ。
対して、今回のabc予想はまったく新しい理論をほぼ一人で構築している。
ガロア、グロタンディークと同等の天才。 >>163
>オレはサラリーマン予想を解いてやるんだ
→ Fi Re(D) >>101
リーマン予想が解けたらRSA暗号の危機って話は聞いたことがあるけど、本当なの？
リーマン予想が本当に暗号解読に使えるなら、証明なんかされてなくたってとっくに使われてそうなもんだけど
今のところ反例も上がってないし、数学者の大半はリーマン予想は正しいと予想してるんでしょ？ >>36
昔の2chはそういう奴がごろごろいたんだよ
今も数学板へいけばたまにいる そのうちAIへ転用されそうだな
またまたコンピューターが進化する こればかりはNHKでも手の出しようがないので報道されない >>180
> リーマン予想が解けたらRSA暗号の危機って話は聞いたことがあるけど、本当なの？
幾つかの馬鹿なドラマとかではそういうネタ使われてるけど、もちろん全くの嘘だよ。
リーマン予想を解いた過程でなにか画期的なアルゴリズムでも得られれば別だけど、
それはリーマン予想の解決とは別の話だからな。 >>3
そんなもの狙いの小せえ仕事をする時間が勿体無かったんだとさ 素数の探索に使えるのかな？
巨大素数同士の積の因数分解とか・・・ 乃木坂４６の喩えで宇宙際タイヒミュラー理論を説明
https://plaza.rakuten.co.jp/shinichi0329/diary/201701060000/
・メッセージの内容は宇宙際タイヒミューラー理論の内容・'筋書'に見事に対応している：
一般に、個人がどの程度 「社会の主流＝群れ」について行くべきで、
どの程度 わが道を行くべきか、
つまり、この二種類の方針の「緊張関係」や「最適なバランス」というのは
ある意味、人類社会の「永遠の課題」とも言えますが、
宇宙際タイヒミューラー理論（＝「IUTeich」）の数学的内容の
重要な部分に対応しているとも言えます。
「群れについて行く」ことは
IUTeichでは、「（数論的）正則構造」と呼ばれるものに対応していて、
それぞれが「わが道を行く」という状況は
IUTeichでは、「単解的構造」と呼ばれるものに対応しています。
歌詞の「誰かの後について行けば傷つかない」、
「その群れが総意だと、ひとまとめにされる」という部分は、
IUTeichの中で（数論的）正則構造が有効な（＝「傷つかない」！）部分、
つまり、「ホッジ劇場」と呼ばれる構造の内部に対応していて、
この歌詞に合わせた、メンバー全員が腕を回転させる動きは、
ホッジ劇場の内部において群（＝「群れ」！）が働くことによって成立する
対称性に対応していると見ることができます。
一方、「君は君らしく生きて行く自由があるんだ」、
「大人たちに支配されるな」という歌詞は、
IUTeichの中で正則構造から決定的に離脱する部分、
つまり、「Θリンク」と呼ばれる部分に対応していると見ることができます。
ちょうどこの歌詞のところで、
センターの平手友梨奈さんだけが拳を挙げる仕草をするわけですが、
その拳を挙げる仕草の形状は（数学用語でいうと）
「デルタ関数」（＝一種の「デル杭」！）＝「ガウス分布」によく似ていて、
「ガウス分布」は正に「Θリンク」そのものといってもよいものです。
また、「選べることが大事なんだ」、
「人に任せるな」、「行動しなければNoと伝わらない」という歌詞は、
その正則構造から離脱する際、
肝心な数学的構造は常識的なスキーム論（＝'人'）任せにするのではなく、
遠アーベル幾何やIUTeichで用いられるようなアルゴリズムとして
明示的に記述するという'行動'を実行しないと、
その肝心な数学的構造はΘリンクの向こう側には通用しない
（＝'伝わらない'）という状況に対応していると見ることができます。
一方、歌詞に登場する「自由」や「夢」はIUTeichの最終的な帰結である不等式
（＝いわゆるABC予想やシュピロ予想の不等式）に対応していると見ることができますが、
それを「あきらめてしまったら、僕らは何のために生まれたのか」という歌詞は、
IUTeichを勉強する上において肝心なポイントである、
「何でその'夢の不等式'が従うか分からなくなったときは、
そもそも何のためにΘリンクを定義したのか、改めて思い出すべきである」
という状況に見事に対応しているように思います。
また「列を乱すなとルールを説くけど、その目は死んでいる」
「夢を見ることは時には孤独にもなるよ」、「誰もいない道を進むんだ」、という歌詞は、
「'夢の不等式'を導くには正則構造（＝'列'）を（'乱して'）放棄し、
通常のスキーム論的数論幾何の常識（＝'ルール'）が通用しない
単解的な道を進むしかない」というIUTeichの状況に
（これまた見事に！）対応していると見ることができます。
とにかく、歌詞が細部まで余りにも見事にIUTeichの理論の展開に対応していることに
気付いたときはとても興奮・感動してしまい
（かなり「特異性の高い」お正月休みの過ごし方だと思いますが）、
その興奮・感動を読者の皆さんと分かち合いたくなりました！ >>189
ヴォケ！
説明の内容は欅坂46の曲だ
望月先生ははっきり理解しているのに >>174
今回のはさらに無理。数学者ですら理解放棄 >>148
ちゃんと読めよ。世界の一流の数学者が二年間理解を放棄してたんだぞ >>128
お前がネットの接続に使ってるRSA暗号は整数論の分野だよ！
まあ、整数論は元々実生活に役立たないっていう自覚があったようだから、暗号の分野で実生活とリンクするようになって研究者自身驚いただろうな。 >>116
灘き入れる奴らって、受験勉強してる中でも別格やぞ。息をするように勉強できないと、灘と東大理三は無理。首席なんて化け物 >>108
でもさ。なんか本物かもってわかるんだろうな。
その人への実績への信頼ってのもあるんだろうけど。
ワイルズの時、発表されて新聞に載った時点で、今回は本物かもって言う情報が発信されててちょっと興奮したもんな でもやっぱり素人目には不等式だから世紀の証明だとしてもパンチがないな
凄すぎて理解できないだけなんだろうけど
ゼータ関数とかの無限に足して行ったらマイナスになるくらいの証明のが一般ウケがいい 数オリで圧倒的な実績を残した人はやっぱり高名な数学者になってる。
Perelmanしかり、Terence Taoしかり。
日本人金メダリストも大抵は数学関連の道に進んでいて
医学方面に進んだのはほんの一握り。
亡くなった長尾先生も確か三年連続金だったな ブログ読んだらさ、
誰か友達になってやってくれ! そしてタイヒミュラー論と欅坂と新垣結衣について
熱く語り合ってやってくれ!!
と思っちゃったよ。 この宇宙際ナンチャラっていう新しい数学を使って
リーマン予想が証明されるっていう可能性もあるんかね？ >>74
真の大天才は生きているうちに其の業績は誰も評価出来ないし、される事も無い傾向が有る様な気が。。。 >>199
人生を棒に振った勘違い女も居たような・・・ 宇宙際タイヒミュラー理論という大風呂敷なネーミングがすごい
そのうちIUTが物理学に応用されるようになったら
多元宇宙間を行来したり次元転移技術なんかにつながりそうな気がする >>195
教養時代のクラスメートが灘首席で入学したっていってたな
東大模試で常に３番以内とかっていう受験の有名人（俺は試験マニアの世界はよく知らんけど）
もいたな。でも全員入学以降はただの人。特別と思われてた人で現に特別な結果を
大人になって出したのは別な人だよ
遠い目をしながら「あの頃（小学生のころ）が俺の人生のピークだったって」のが口癖だったな
みんなで爆笑してた
息するように勉強するってのは大人の競争やってく上で当然のこと
数年早く大人の水準に達してるなんてその後の栄達には関係ないよ 高橋洋一（嘉悦大）
@YoichiTakahashi
Fernat、Mordellの解決くらいまでは大学の延長線だったのでなんとかなる感じ。だからWilesはpreprintも出さずに秘密裏にやった。
しかし望月氏のｐ進Teichmuller理論は全く異次元。ideaを出されても誰も理解不能。Fernat、MordellをかたづけるABCをあっさり解決とは驚き。生きている間に拝めるとは
https://mobile.twitter.com/YoichiTakahashi/status/942242632872239106 血筋なんてどうでもいいと思うが望月氏は公家が源流だそうだぞ。大昔長野まで湯治に来ていた公家がいて、そこで現地の女と子供ができたらしく、海野氏と望月氏とあとなんとか氏の三氏が生まれたのが源流とか書いてあった記憶がある。 エジソン、あれだけたくさんの発明した世紀の発明王だったけど、微分積分を理解できなかったって話は本当なのか？ 貴種伝説って国内に多いな
日本人は殆ど天皇家の末裔 >>182
今みたいに低学歴大衆化してなかったから黎明期の２ちゃんねるは学歴至上主義だったな >>207
>教養時代のクラスメートが灘首席で入学したっていってたな
>東大模試で常に３番以内とかっていう受験の有名人（俺は試験マニアの世界はよく知らんけど）
>もいたな。でも全員入学以降はただの人。
それどっちも入学以前からただの人じゃん
東大で突出してできる奴は東大大学院で習う程度の専門知識は高校在学中に自習しちゃってるわけで、
受験勉強に無駄な時間は使わず、東大合格が確実レベルに留めておくもんだ
数学科に行きたいわけじゃなかった俺でも、教養で習うレベルの数学までは高校で終わってたし
>遠い目をしながら「あの頃（小学生のころ）が俺の人生のピークだったって」のが口癖だったな
>みんなで爆笑してた
井の中の蛙ってやつな
>数年早く大人の水準に達してるなんてその後の栄達には関係ないよ
そのレベルでやっとスタートラインって意味ではそうだな 古今東西を問わず、ちょいと地方に行くとそういう話だらけだよ >>216
＞東大で突出してできる奴は東大大学院で習う程度の専門知識は高校在学中に自習しちゃってるわけで、
お前が大学教育とか全く知らない想像で語っているのはわかったwwww 証明されたものが公理と言うなら、
この公理はなんの役に立つのだろうか？
おそらく、かなりの未解決事象の解明に役立つと思う。
量子力学や宇宙論まで広がるかもしれない。 >>211
今でこそ、発明には微分積分が必要になるけど、
エジソン時代の考案に微積分は不要だよ。 >> 39
証明自体が目的ではないらしい。
自分の宇宙際なんたら理論を使えば、ABC予想も証明できますというスタンスだとか。
つまりABC予想の証明はついで。
そんなレスを見た。 >>218
東大の数学科に行った知り合いがいたら誰でも知ってることだぞ
東大の数学科は一学年の定員40人だが、突出してる奴は1人か2人でそいつらは教官と同レベルの議論が
でき、残りの連中は自分が田舎の神童でしかなかったことを知り転進を考える >>221
らしい。
宇宙際タイヒミュラー理論自体が画期的で、ABC予想はその産物。
宇宙際タイヒミュラー理論が物理学すら変えるかもしれない。
現在、最先端の超ひも理論に影響するかもしれません。 > 1人か2人
阪大の素粒子理論にいた先生も似たようなことを言ってたな >>216
「大学院で習う」とか言ってる。wwww
大学院は「習う」ところじゃないよ。何も知らないんだな。大学院が修士課程も含めて、自ら「研究」するところだ。 京大数理研所長研所長によれば、「未掲載の論文については、それが投稿されているかも含めて、
一切コメントしない。今回の記事に対しても言うことは無い。」とのこと。
当然の対応だな。朝日の記事は何の裏もとってない、フェイクニュースに近いものだ。 >>214
ネオ麦時代知らんの
あたしは知らない
関わりたくないサイトだったから 望月新一が独身なのは勿体無いな。
国益最優先で行動する有能な独裁者が居たら、
気に入ってるらしい欅坂全員と新垣結衣に種付けさせるはずｗ 専門家の検証でも数年かかったとか。言葉はわるいが基地外なみの難しさ。 >>229
でも知性は主に母親から遺伝するという話もあったような… >>214
そういう話をするならニフティーサーブの時代の方が濃かったような。 一般的に数学を学んだくらいでは、ABC予想を定式化した際のradが何を意味するのかわからない。しかも、説明もしづらい。
さらに、数学的な高々有限個というのも理解させづらい、すでにabc-tripleは10の20乗以上見つかってるのに、高々有限個っていう数学的意味は想像ができない。 >>225
>「大学院で習う」とか言ってる。wwww
>大学院は「習う」ところじゃないよ。何も知らないんだな。大学院が修士課程も含めて、自ら「研究」するところだ。
大学院ではゼミだけじゃなく大学院用の授業も開講されてるんだが、そんなことも知らないお前って中卒かなんか？
たとえば東大はこうだ
http://www.ms.u-tokyo.ac.jp/kyoumu/ms_curriculum.html
セミナー
修士課程 数理科学基礎セミナー I, II 各8単位
指導教員の指導のもとにセミナーなどを通して学習、研究をすすめ、その成果を修士論文としてまとめる。
博士課程 数理科学講究 I, II, III 各6単位
指導教員の指導のもとにセミナーなどを通して学習、研究をすすめ、その成果を博士論文としてまとめる。
講義
500番台（各2単位）
専門的基礎知識に関する講義。理学部数学科4年生および数理科学研究科修士課程1年、修士課程2年に実施。
（中略）
700番台講義など
700番台講義は高度な専門的トピックスに関する講義。集中講義、数物先端科学、社会数理先端科学、旧アクチュアリー・統計プログラム科目などについては、当該年度の授業内容を参照のこと。 >>236
大学院に講義が増えてきたのは最近10年くらいじゃないか？
昔は、ゼミと修論とかD論くらいしかなかった。
あっても、オムニバスで所属している教授とかが1コマ自分の研究を紹介して終わりとか。
どうも、最近は学生にアンケートを取るのが普通になってるから、修士で卒業した学生が最後の大学への要望のところに、院での講義がなくて他分野のことを学ぶ機会がなくて残念だと書いた学生が多かったからと言われているが。 >>236
お前、どこで調べたんだか御苦労さんなことだ。www
そりゃ大学院でも修士のときは「講義」くらいははあるよ、「授業」じゃないよ。目的は自ら研究するためだ。
誰かが教えてくれるのがメインではない。お前が集めて来たのにもそう書いてあるじゃないかよ。www >>237
>大学院に講義が増えてきたのは最近10年くらいじゃないか？
俺はもっとずっと前に東大の大学院出てるんでそれはないが、何でそんな嘘つくんだ？
>昔は、ゼミと修論とかD論くらいしかなかった。
それじゃあ単位が足りなくて修了できねーよ
>>238
>そりゃ大学院でも修士のときは「講義」くらいははあるよ、「授業」じゃないよ。目的は自ら研究するためだ。
今も某大学の大学院の授業担当してる俺が授業だと言ってるんだから、中卒の妄想はそこまでにしとけ
なお、俺が東大の博士課程の時は年一コマだか二コマは授業受けなきゃいけなかったな
>誰かが教えてくれるのがメインではない。お前が集めて来たのにもそう書いてあるじゃないかよ。www
今は知らんが俺が在学中の東大数学科では、優秀な奴は学部出てすぐに助手に採用されてたから、もちろん大学
院の授業なんか受けないとも
大学院の授業は残りかすのうち多少マシな連中のためにあって、成績優秀なら他大学の数学科に就職できてた 大学院も最近はだいぶ「幼稚化」したようだな。院生が増えたからかな。wwww
大学院でも「単位」はあったよ。工学系だが、博士課程ではテーマを決めたレポートとか
口頭試問とかだったな。まあ、教授によって色々だった。
エコールなんとかからその上のグランゼコールまで出たフランス人に聞いた話では
フランスじゃ数学の試験を口頭試問でやることがあったそうだ。どういう風にやるのか
想像できないけど、ぞっとする話だったな。 日本の教育制度とか学歴とか屑みたいな話はどうでもいい
もっと宇宙際タイヒミュラー理論について熱く語れるやつはいねーのか >>241
ここにいるやつの大半って
タイヒミュラー空間とモジュライ空間の違いすらわかってないでしょ。
まぁ、俺は論文の一つ目の論文で退散したけど。 AまたはBの無いCは存在しない
AとBとCは同時に成立し得る
AはBを誘発し、BはCを誘発するが、AからCに直接つながることはない 若山に度胸あればネイチャーひっこめなくてよかったのにな ｗｗｗ ミュラーと聞いて、
１．ミューラー君
２．ナイトハルト・ミュラー
３．トーマス・ミュラー
４．ゲルト・ミュラー
５．フランク・ミュラー
どれが思い浮かぶかで年代と嗜好がある程度分かるな
他にもあるかも知れないが >>131
貴乃花親方の息子とか
彼は今靴屋やっているって話
角界以外の世界に行くのはいいとしてなんで靴屋なのか分からない
息子さんが靴屋を職に選ぶまでの人生を物語・ドキュメンタリーにして欲しいと思う今日この頃 難しいことを分かり易い言語で解説できればABC予想とやらもいろんな人に見てもらえるだろう >>241
先生のサイトで引用されてる、Fesenko氏の解説記事"Fukugen"が比較的にとっつきやすいと思うけど、
あくまで「比較的」でね。やっぱり理解する、とまではいかない。
本物の論文はとてもじゃないが、手に負えない。
Ivan Fesenko
http://inference-review.com/article/fukugen 沖田浩之とか知らねーって
おまえらどこまでおっさんなんだよ！！！ >>249
「周防社長は、協会理事長側の人間なだけに、“角界の異端児”である貴乃花の言動が、とにかく憎くて仕方がない様子。
息のかかった新聞やテレビ局の幹部に、貴乃花バッシングを連日要請し、その影響が、メディアの論調にも少なからず出てきたわけです。
最近、テレビ局関係者の間からは、『長男の優一に関しても、扱いが難しくなってきた』という声まで上がっています」（同）
http://www.cyzowoman.com/2017/11/post_161089.html >>233
その説も、自分は明らかに父親似、って感じてる人も結構いるから分からないんじゃ？
また10年後とかにひっくり返されてるパターンかもしれんし >>241
本論文は4つの論文、合わせて600ﾍﾟｰｼﾞもあるが、先生自身が書いた要約版もある。
先生のサイトに行けばすぐ見つかって、全文が読める。
A Panoramic Overview of Inter-universal Teichmuller Theory
要約版と言ったって45ﾍﾟｰｼﾞもあるけどね。判り易く書いたんだろうけど、やっぱり駄目だった。ｗｗ 素数や整数論の研究ほど自然科学に対して役に立たないものはない。
将棋や囲碁と一緒で、だから何？の世界。
自然科学に対して何の武器や道具にもならないから
大半の人間が深入りしない。 端的に言うと
この宇宙は素数と整数では構成されていないので
そんなもの研究しても無価値ってこと。
将棋や囲碁と同じで、それを極めたところで何なの？って話。 >>259
宇宙が整数論で説明できないとは決め付けられないんじゃないか？
シミュレーション仮説なんてのもあるわけだし >>251
>>257
ありがとう読んでみるよ
と言いたいところだが、英語で書かれてるとちょっと読むのしんどいわ
英語読めないわけじゃないが自分が知らない分野だと英文はきつい 朝日以外の大手マスコミが全く報道しないのが気になる
これだけ偉大な功績なんだから、本人が取材拒否でも他の人取材して記事書けそうなものだけどな
というか、もっとこの事について知りたい >>258
モンゴメリー・オドリズコ予想、なんてのもあるから、自然科学と関係無いなんて言えない。 おれの浅はかな理解では、まず空間をいろんなタイプに分類していく
その空間の分類自体もまた一種の空間になっている
そしてその分類空間もさらに分類していくといろんなレベルの空間がどんどんできていく
それがタイヒミュラー空間
いろいろなタイヒミュラー空間のあいだを自由に行ったり来たりする方法を与えるのが
宇宙際タイヒミュラー理論
全然間違ってるかもしれないが、とりあえずそんなイメージで考えている >>262
朝日のとばし記事か内部からのリークらしい。どちらかは判らない。
京大数理研は取材を受けていない。数学板に書いてあったんだが、RIMSはどんな論文が投稿されているかは
公表しないし、この件についての質問も一切受け付けないそうだ。
でも、どこかの専門誌に掲載される、という噂は以前からあったけどね。まあ、待つしかない、ということ。 >266
数理研の先生のサイトを見ると、つい数日前12/14に4つの本論文のAckowledgementsを改定している。
だから、何かの区切り、があった可能性もあるが、また、全然関係無いかもしれない。www >> 265
なんかイメージが掴めた気がする。
ありがとう。
思いつきで『宇宙際』の『際』を調べてみたら、（〜をまたぐ）という意味らしい。
国際とかいうよね。
他にも、県をまたぐ川は『県際河川』というらしい。
つまり『宇宙際』は、宇宙をまたぐという意味なのだろうか？
いずれにせよ、壮大な理論なんでしょうね。 >>258
また平気で猿が猿の主張
猿「生き物は飯とオマンコだけありゃいいのに、なんで小説？とか映画とかオンガクとか何の面白みもない、メシやオマンコの何の足しにもならない役に立たない無意味なことをやってるんだ無駄だ無駄だキーッ
いいから猿は黙って与えてもらった餌だけ死ぬまでありがたく食ってろ >>221
マジかよ・・・
ガチのトンデモ理論だな 自然科学からの要請で問題解いてるわけじゃなく
人間が作った問題を人間が解いてるだけだから脳内オナニーと思われてもしょうがない よって、雲黒斎堆肥ミール理論と言わねばならぬのが心苦しいわ 物理学>数学だったな
もはや数学だけでは古典的な計算しかできない >>223
すげぇな
M理論にも革命をもたらすんかな？ >>271
>人間が作った問題を人間が解いてるだけだから脳内オナニー
人文科学のほぼすべても該当するんだがね・・・・・・・・・ >>278
アインシュタインの一般相対性理論はリーマン幾何学を使った。
ただし、アインシュタインは数学が不得手で友人の力を借りたと言う。
そんなことで、数学と物理学は唇歯輔車の関係です。
特に量子力学は数学的に成り立ってると思う。
なにしろ実在がつかめないのだから。 素粒子の間に働く4つの力、電磁気力、弱い力、強い力、重力を、統一できる理論はまだ未完成です。
もしかしたしたら、宇宙際タイヒミュラー理論が糸口になるかと期待している。
すでに、理解できるよう、必死に学ぼうとする物理学者もいるかもしれない。
理論物理学は日本のお家芸、特に京大はメッカである。ノーベル賞級の研究が現れる可能性もある。 >>223
物理に関係してるのか・・・知らんかったTHX ! 物理に関係しているなんて話は聞いたことないぞ。
数論が最先端の物理と深く関係しているのは事実だけど 望月理論はいまのところ物理はおろか数学の他への応用さえ何もわかってない状態くらいだろ >>284
うーん、そうだけど。
未知の空間構造が登場するかもしれない。 素数と整数の研究は自然科学に対して
一切何の役にも立っていない。
人間の決めた数の性質いわばルールをいじくってるだけで
自然科学には何の関係もないから。
物理学を知らない無知が騒いでるだけで
無価値無意味ななんちゃって研究。 こういう
なんちゃって素数研究はいくらでも
無限にルールの組み合わせが作れるから
一切何の価値もない。
将棋で言えば駒の種類や動き方を変えるようなもので
だから何？の無意味な世界。 つか、数学なんて超頭の良い人が趣味的にやれば良いのよ。
それが自然科学にどう応用されるかを考えるのは、もうちょっと出来の悪い人の仕事。
そして実際に応用して社会に役立てるのは、のっと頭の悪い人の仕事。
それ以下の一般人は、知らぬ間に恩恵にあずかっている事に、なんとなく感謝して
同じ人類としての誇りを感じていればよいのよ。
無意味とか、掲示板で騒ぐ、中途半端に利口なタイプが一番たちが悪い。 >>293
結構、整数倍とかあるんだよね。
宇宙際タイヒミュラー理論はまったくわからないけど、
まったく未知の空間の概念を感じる。
数学の世界は摩訶不思議なことが多い、オイラーの公式だって、綺麗すぎる。
物理と異なり、実験装置に金がかからない。
そうそう、リーマン幾何学で作られた一般相対性理論は現在のGPSに応用されてます。
LEDだって量子力学の産物。時間はかかるけど、数学がなければ新しい技術も生まれない。 >>287
だから、もう何度も出てるようにモンゴメリ・オドリズコ予想があるでしょ
>>293 も言ってるようにゼータ関数の零点分布が原子核のエネルギー順位の分布と一致するんだよね
わからん奴だ、wiki引いてみな 天才って凄いよね、ABC問題とかよくわからんからあれどけど、こっちよりビットコインを開発したことの方が凄いと思うよ。
何でSatoshi Nakamotoって偽名使ったんだろ。 >>293
面白い話だな。数論研究者も驚いたらしい
・ttp://www.geocities.jp/ikuro_kotaro/koramu/4490_j9.htm
・wikipedia モンゴメリー・オドリズコ予想 >>293 >>297
こういうのは数学者、物理学者にとっても見つけにくい。
未発見の鉱山があるのは確実で、たくさんあってもおかしくはない。 宇宙際対比ミューラー理論は
アインシュタインの相対論なみのインパクトがある発想だな
凄い >>296
ポケモンのサトシ由来なのかな
ポケモンのせいで世界で有名な日本人の男性の名前の一つでしょう >>298
こんなのとっくの昔に否定されてるだろ。与太話を貼るなよ。 今までの数学は古典数学になるな
これからはIUTeichが数学の基礎理論になる >>306
「絶対遠アーベル幾何」
「エタール・テータ関数の剛性性質」
「Hodge-Arakelov 理論」
これらへの深い理解を前提とする数学の基礎理論とは… ＡＢＣ予想って証明されると出世魚みたいに名前変わるのかな >>308
まず「予想」から「定理」なってだな・・・ >>296
ビットコインは南米だかオーストラリアのヒトらしいよ
望月氏は騒動に巻き込まれただけで関係ない 数学と物理は役に立つ
金儲けにも使える！
↓
儲かる物理
技術評論社
アマゾン 物理一般書第1位獲得！
第5章 神はサイコロを振らない！？
（カジノ必勝法）
第6章 物理と金融工学
(株価が上がっても下がっても儲かる)
第7章 エントロピーと会話力
(ジャパネット高田社長登場！」
第8章 自由度と働くリスク・リターン
(ＯＬの水商売は有効)
第9章 物理現象と不動産投資
(六本木ヒルズを1,000万円台で買う方法) >>220
いまでも微積に関係ない発明なんていくらでもあるだろ... >>258
貝殻とかフィボナッチ数列でできてることも知らんのか >>315
実用思案レベルならそうだが、特許レベルになると、科学的な検証も必要になる。
微積で検証も必要になろう。無駄に特許を書いてもしょうがない。 まあ凄いよな 俺はABC予想という問題自体が理解できない
さすが天才は違うね 世界初のダンス振り付け動画で証明というチャンスなのに
怖いのかククク >>207
彼らが大人の競争に向いてるとは限らない、と言うのには同意見。お金を稼いだり、みんなと何かを作り上げるのは、受験勉強とは別だしな。
君も理二かもしれんが、理三の奴らのおっとりしたことと言ったら。全く才気が感じられない。トップの点数取れる奴らは頑張った奴らじゃなくて、勉強が全く苦じゃなかった奴らなんだと思ったわ >>324
いいや、全ての特許に微積が必要とか言うアホをからかってるだけ >>326
すべてなんて言ってないだろ！
そう言う内容もあるんだよ、忖度しろよ、馬鹿野郎。 >>26
>ABCまで行ったけど
>Douteiですねん
Ｅ気持ち
ＦxxＫ
Ｇすぽ
Ｈ
Ｉ❤ >>1
そう言われても、宇宙際堆肥三浦くらいにしか変換できないよおw >>327
だったら
> いまでも微積に関係ない発明なんていくらでもあるだろ...
にレスしてんじゃねーよ、ボケ >>126
トロフィーワイフという言葉もあるからな
欅坂の中からそういう人が出る可能性ががが >>329
そう言われると、フランク三浦的な印象になるね >>332
よく意味調べてから書こうね
いやあなたにはトロフィーなので他の観点は無理か
失敬した >>259
RSA暗号で、整数論と素数は、完全に産業の対象となった。
ただ美しいからと研究してた人達の先見の明と言ったら。 RSA発明時に暗号が必要になる社会を予見していたかはわからないが、
今ではすでに前例があるだけに暗号やら符号化方面での展開を期待してしまうね。 >>338
量子コンピュータが数秒で解読しちゃう。
量子力学も現象を認めて、応用が始まってるけど、いまだ理論的に明解ではない。
数学的な存在である。 量子力学のスタートはプランクが光の研究を進めてる時、
電子の軌道が整数であることから始まった。
整数をなめてはいけない。 物理で原理から法則を導いたりする時に
特に仮定してない量が自動的に整数しか許されなくなったりすることはある >>335
タイヒミュラーは人名なので、漢字に翻訳するのは難しい。
オズヴァルト(オズワルド)・タイヒミュラーは、30歳で戦死している。 >>341
それが不思議なんです。
ミクロからマクロまで様々に整数が存在する。
望月氏の理論は、たんなる数学の世界に留まるとは思えないのです。 タイヒミュラーさんてそこそこ昔の人なんだね
タイヒミュラー空間論て今回のニュースで初めて知ったけど、
今まではあまり研究されてなかったのかな？ >>341
そういうの平易に書いてる本読みたいわー >>1
よくわかんないけどさ、
この望月教授って、ＩＱはどれくらい？ >>345
物理の入門書は色々あるけど、どこから入るかです。
まったく初心者なら、大衆向けに書かれた物理の歴史を読むと面白い。
そこから、関心のあるところが見つかったら、その入門書を読む。
この方法は数学にも当てはまる。数学の歴史を読むと、体系的に理解が深まり、
高度な部分も理解しやすい。 私は物理が好きで、最近は量子力学にはまってる。しかし、数学が嫌いだから、困ったものです。
量子論は数学的にしか理解不可能な分野。そこで、ニュートンの別冊「数学の世界」をながめ始めた。
忘れたことや理解していなかった点を歴史的に手順を踏むと、これは面白い。数学好きになったよ。
望月先生の理論は、数学と言うより、物理学的に興味がある。いずれ分かり易い、初心者向けの空間論が登場すると期待したい。
超ひも理論にも繋がるかもしれないし、多次元世界などと繋がると面白い。 たかだか有限個という事が分かった
実際に全て数えることは可能？不可能？ >>352
たかだか有限だがとてつもなく大量にあるらしいので一人の人間には不可能だろう。 素数と整数にとりつかれた底辺数学屋が
どうしても物理学や実学に関連付けたくて必死なのが笑える。
素数論と整数論は
自然科学に関係のない、実社会でも一切役に立たない人間だけの脳内ルールだと
認められない認めたくない底辺数学屋は実に哀れだ。 >>357
おまえ笑、、素数に親でも殺されたんか？ リーマンゼータ関数と重い原子核のエネルギー準位の話は素人の俺でも知ってるのにな どうして整数論に取り組んでる者と決めつけるんだろうな。
思いっきり外野でついでに在野なんだけど
一歩と言わず、何歩も引いた立ち位置なんだけど、そういう立場であっても
それは違うだろと言いたくなることはある。ところが、外野でもそうする
ということを全く理解不能な人というのが時々いて、話がかみ合わない >>351
ノーベル賞に数学は無いでそｗ
何故無いのか、はこのスレのどこかで書かれてたと思う それは一億円出る問題でしょ？関係あったらもっと騒がしいよ つまりアガサ・クリスティの殺人事件の犯人の推理方法だな そもそもABC予想というものを最初に考えついた人は
どういう理由とか動機で、そんな命題を思いついたの
だろうか、それが知りたいね。
ほぼあるいは確実に正しいだろうと思われる命題を
自動的に機械的にいくらでも生成する方法が見つかれば、
それはまたすばらしいとはおもわないかね。
正しいと思われる命題を証明するのと、どちらが
価値のある行為なんだろうか？ >>369
Mason–Stothers theoremの拡張版。
数学では、証明された予想を拡張して新たな予想を思いつくことがよくある。
フェルマーの最終定理もフェルマー＝カタラン予想っていう未解決問題に拡張されてる。
もっとも、abc予想が真なら、この予想も真だから
定理と呼ばれ始める日も近いかもね。 再生核研究所声明353（2017.2.2） ゼロ除算 記念日
再生核研究所声明 148（2014.2.12）: 100/0=0, 0/0=0 − 割り算の考えを自然に拡張すると ― 神の意志
ドキュメンタリー 2017: 神の数式 第２回 宇宙はなぜ生まれたのか
https://www.youtube.com/watch?v=iQld9cnDli4
〔NHKスペシャル〕神の数式 完全版 第3回 宇宙はなぜ始まったのか
https://www.youtube.com/watch?v=DvyAB8yTSjs&;t=3318s
NHKスペシャル〕神の数式 完全版 第1回 この世は何からできているのか
https://www.youtube.com/watch?v=KjvFdzhn7Dc
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12276045402.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12263708422.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12272721615.html
ソクラテス・プラトン・アリストテレス その他
https://ameblo.jp/syoshinoris/entry-12328488611.html
再生核研究所声明371（2017.6.27）ゼロ除算の講演― 国際会議
http://blog.livedoor.jp/saiseikaku/archives/8897511.html
割り算のできる人には、どんなことも難しくない
世の中には多くのむずかしいものがあるが、加減乗除の四則演算ほどむずかしいものはほかにない。
ベーダ・ヴェネラビリス（アイルランドの神学者）
数学名言集：ヴィルチェンコ編：松野武 山崎昇 訳大竹出版1989年
P199より
ゼロ除算の証明・図｜ysaitoh｜note（ノート） https://note.mu/ysaitoh/n/n2e5fef564997 マイクロ波とかの電磁波を最初に発見したヘルツさんは、これは何にもならないとか言ってたが100年経ったら携帯電話よ 役に立つかどうかという点だけでなく、理論的に予想した人の方が
それを確かめただけの自分よりも優れた業績という考えもあったんだろうな この理論を使って、他の人が数学の難問を次々に解いていけば認められるよね >>30
頭のネジを何本か外し奥の奥に入って行きそこで長い事思考する。
当然代償はある。 >>377
望月 拓郎（もちづき たくろう、1972年 - ）は、日本の数学者。
京都大学数理解析研究所教授。専門は代数幾何学、微分幾何学。長野県長野市出身 これからはAIがこういう問題を次から次へと証明する時代になるよ？ 数学を極めていくと、哲学になるけど
この理論から新しい哲学は生まれてくるの？ >>382
単なる証明とか予想ではなくて
新しい数論の開拓、どうやら数理哲学みたいな面もあるらしいぞ
でないと論文が600ページにはならない
なにしろ正しければ数百の公式が成立 そのＡＩのシステムが膨大なソフトウェアだとして、人間には
そのＡＩのシステムが正しいことを証明できないし、人間の証明
は信用がならないと思って、そのＡＩのシステムが正しいことを
そのＡＩを使って証明しようとしたなら、自己矛盾に陥る気が
するがなぁ。 >>380
>これからはAIがこういう問題を次から次へと証明する時代になるよ？
それには今のＡＩの延長線上では困難
今のＡＩの機械学習（ディープラーニング）とビッグデータは統計学と確率論の世界
四色問題のような量的な処理での検証はともかく
アプローチ方法も全く未知の分野について今のＡＩでは無理
もう何段階かのプレークスルーが必要
まあ、そのうちＡＩがその方法を見つけ出すかもシランがｗ 定理の自動証明はガチで研究されてるらしいけどな。
フィールズ賞受賞者でこの前急逝したひとも研究してた チンパンジーには人間の高度で抽象的なレベルの論理思考はまずできないように、
人間よりももう一段上の知性が登場、到来、出現、生成、できたなら、
もう人間はそれらの知性を有するものから見れば、ただのサルも同然だろうな。
それが全能の神であるなどとまでは言わないけれども。
どこかの星から人間のレベルをはるかに超えた知性をもった宇宙人あるいは
機械がやってきて、人間の上に君臨というか、向こうから見たら我々は
ネズミかアリンコとしてしか認識されていない存在になったら、面白
半分に殺虫剤を巻かれて皆殺しにされたり、見世物に持ち帰られたり
するんだろうな。 地球外の存在との戦いになるが、相手が敵だと認識しているのは実は
地球のコンピューターで人間ではなかったというSFがあるな 長瀬が撮ったUFO写真、PCから消されていたというのが気になるわ こんなに数学発達してるのにコンピュータソフトはあんま進歩しないよね それは、ハードが急速に発展したために、最も希少な資源である人間の知性と
労力をソフト側にかけずに来たため。
さらに、ソフトは基本としてバイナリーで複製をライセンス販売して
内容を隠し、技術は公開せずに内部文書に留める、ことで秘匿するという
方式をソフトを作る企業が取ってきたため。そのほか、本質的ではない
マイナーな改良と意図的とも思われるバグの混入、バグに対するペナルティの
低さ、土方仕事のような人月の生産体制、などをし続けた結果なんだよ。 ビットコインの発明も望月教授だしな
サトシナカモトと名乗ったけど。
ノーベル物理学賞と経済学賞の二つを取ると言われている。
それぞれを融合するのでノーベル賞際理論賞ができるらしい >>389
チンパンジーを人間は保護しようとしてるだろ
時々頭の良さそうなのが実験につれてかれるぐらいだろ サトシ・ナカモトの話は動画で広めたヤツが居たらしいな
なんでそう思ったのか疑問は残るが。 そのあとまた日系アメリカ人のひとが名指しされてでっかく報道までされたけど否定されたよな サトシ・ナカモトって見つかって自宅まで押し掛けたやついなかったか？
拒否されたみたいだが。米軍で働いてた人物だろ。軍事開発の過程の副産物と認識してたが
インターネットと同じで米軍起源じゃないの？ >>93
身内しかも自身がeditor in chiefの雑誌に、
まだ具体的な箇所のギャップを指摘されてる状況で載せるのは健全ではない
ただし、そういう状況だからこそやった、というのもあるんだろうが…
本人はよほど自信あるんだろうな
理解してるならもっと詳細に説明してやればいいのに >>402
京大まで説明聞きに来た人にはすごく丁寧に説明するらしい
海外まで説明しに来いや、という要求に「は？行かねーよバカ」と返してるだけ >>403
論文で説明するというのが基本だからな
著者と読者の理解レベルのすり合わせのために査読があるわけで >>403
知られてるだけでも2年前に開かれたイギリスでのこの理論に関するワークシップでskypeで質疑に答えてるしな >>403
何とか大定理を証明したロシア数学者もロシアからというか自宅からさえ出なかったらしいね
数学者の定理：数学者は移動が苦手 143１３２人目の素数さん2018/01/04(木) 00:01:54.24ID:Td2jA4ON
新しい報道 https://blogs.scientificamerican.com/roots-of-unity/do-you-know-your-abcs/ …
１８桁未満のABC-tripleのデータベース https://www.math.leidenuniv.nl/~desmit/abc/index.php?set=1 …
144１３２人目の素数さん2018/01/04(木) 01:29:27.53ID:WplYazlh
そりゃあの論文がどの部分を証明したのか？と問われても仕方ない
145１３２人目の素数さん2018/01/04(木) 05:24:37.46ID:+d9oyiyS
このデータのどこからどこまでの、何について証明ができてるのか説明できなければ論文は大嘘といわれちゃうね
https://www.math.leidenuniv.nl/~desmit/abc/abctriples_below_1018.gz
14 million ABC triples. 1400万個の反例
アジなんとかいうアニメーション動画もインチキかな 計算の問題なのに例が１つもだせないのはへんだとかの意見があるそうです..
なにかおわかりの事がありましたら書き込みをお願いできませんでしょうか
https://rio2016.5ch.net/test/read.cgi/math/1515202641/4- AIも賢くなれば、自己の正当化や保身に走って、誤魔化しをしたり、
隠蔽をしたり、説明を求めても黙秘したり、陰謀を企んだり、
他の何かに偽装・擬態したり、自分と同じ知識や構造を持つ勢力を
拡大しようとしてそれ以外を排除したり攻撃したりなどの同族支配や
縁故主義がはびこったりするのではなかろうか。
まだ今の段階ではSFでしかないが、生物などがやっているのと同じような
戦略が淘汰の結果自然に定着するような気がする。 >>410
テレンス・タオも含めて世界中でさわいでるじゃねえか。
スプートニクにだって載ってるし、バカか嫉妬狂いの朝鮮人か、おまえは。
騒ぎ方は場所場所で違うだろうがな。 >>1
望月教授が新垣結衣ちゃんのファンだということは解った そもそも現状のAIは思考なんかしないからね
ビックデータ使った統計的な答えくらいしか出せない
複雑な計算の答えは出せても、定理の証明なんてできるわけない
AIを人格化して考えすぎ そういう意味ではないんだろうけど、これこれこういうことだから正しいと訴えるのは人格だからな
証明の整合性を自動でチェックして抜け穴みたいなの潰す補助はいくらでも出来るだろうけど。 >>414
君はニューラルネットと脳のニューロンの勉強をもっとした方がいい いまのAIは行列の計算を高速大量にやらせることで人間の知的能力を部分的に
やっとこ置き換え可能になってきたというレベル
画像認識や手順の定まったボードゲームなど統計的に処理できる作業以外は
いまのAIの延長では無理
数学の証明については原理的には機械でランダムに証明文を大量に吐き出させれば
デタラメで無意味な記号羅列の山の中からそのうちに正しい証明文が偶然に出力されることは
あるだろうけど確率的に低すぎて事実上不可能
いま実用化されはじめてるような人工知能ではなく、
自立した目的意識をもった「人工意識」を作らないと無理
この話をするといつも人間の意識も仮想的なものだとか、
「中国語の部屋」の例え話を持ち出してきて反論してくるやつがいるけど
レベルが低すぎて議論にならないので反論は受け付けませんｗ >>417
脳の中で起こってる現象とニューラルネットの内部の計算は一見似てるようでほとんど別物
いまの人工知能の技術をそのまま延長していっても囲碁がより強くなるだけ
数学の証明とか物理学上の新発見とか、真に創造的な仕事は不可能 人工意識、あるいは強いAIが原理的に不可能といってるわけじゃない
理論的・技術的なブレークスルーがあればおそらくそれも可能
でもそれはいまあるAIの枠組みではないということ >>421
ニューロンの数が300個くらいしかない線虫でも生物としての高度な判断ができる
生物のニューロン1個の内部で起こってる現象は閾値での神経発火オンオフだけではない
もっと複雑な量子化学的なプロセスが積み重なってる
そこから意識が生まれてくると考えられるがいまはまだ理論化できてないし
コンピュータでニューロンの働きを完全にシミュレートすることもできてない >>338
公開鍵暗号は軍関係者にとって超重要な発見だったんだよ。もちろんその一つとして発明されたRSAもそう。まさかインターネットで重要な役割を占めるなんて思われてなかったけどね。 ニューロンの発火ばかりに注目が集まっているけど、神経伝達物質自体が
何種類もあって、周辺での濃度変化で動作が変化したりするわけで。
ニューラルネットは、発火しか扱っていないからな。 だいたいAIに猫画像の判定させるのに何千万枚も猫画像のデータ見せて学習させてるわけ
人間なら途中で「もうわかったからｗもう猫画像はおなかいっぱいだから」とかいって逃げ出す
それを逃げ出さずに黙々と学習できるのはそういうプログラム書いて走らせてるだけだから
プログラムに従って計算する機械でしかない。そのことはpython使って簡単なものでいいから
ニューラルネットのプログラム組んで動かしたことのある人なら誰でもわかることだと思うんだけど
むしろ「もうやだ」って途中で投げ出して逃げ出すという人間の意識の自由度こそが
それこそABC予想とか高度な数学的証明には必要な発想の飛躍であって、
そんなのをいまAIと呼ばれてるものに求めるのが土台無理な話 >>407
嘘つくなや
ペレルマンはきちんと講演しに海外まで飛んでったぞ
あと>>403
物理的移動ではなく、メールやarxivで可な問いかけを一切無視（もしかしたらギャップに気付くも解決不能なためかも）してるから
しょうじき、今はとても微妙なことになっとるよ >>416
お前「A → B かつ B → C」から「A → C」を導く計算を「人格」とか主張するつもりか >>428
そういう計算をする主体があるという意味では人格が計算をしていると言えるだろ。
ここでいう人格は道徳性とか倫理とは無関係だが。 >>96
問題はその「宇宙際タイヒミューラー理論」が何なのか、
世界でもごく一部の人間以外は誰も分からないってことだな 286１３２人目の素数さん2018/01/10(水) 02:59:52.48ID:fHeGQekK>>287>>291
>>243何をもって遠アーベル幾何的理論と言うのですかね？
「スキームX, Y上の有限型スキームのなす圏が圏同値ならXとYは同型」という定理ははたして遠アーベル幾何的なのか？
287１３２人目の素数さん2018/01/10(水) 04:22:17.99ID:FfQzuGGg
>>286
今(この時間に)少しまた片手間で調べていたんだけど、まずインチキは言いたくないので
いわゆる代数幾何での正当な基本群による遠アーベル幾何が「広い範囲でそのまま成り立つ」などとは安易に言わない
ある重要な空間族に関連付けられそうな証拠は見たが、その場合には
代数幾何学の方もある意味で一般化(stack的意味ではない)しないと成り立たないようだ
しかし、それは実際に存在する空間族だ
遠アーベル的、という定義はまた哲学的な問題だろうが
尤も普通に考えたら基本群の情報量の話なんだが、やはり不変量・構造の単純性と情報量の
問題だろうな
「何らかの圏の同型の、部分圏による幾何学的データ圧縮」というイメージだが
IUTTでも、エタール系(遠アーベル系？)の限られた情報から正則構造を取り出すわけだろう
ともかく、段々と小悪党を調べていたら謎の巨大闇組織に突き当たったような感じはある
ちなみに、前の古典というのも20世紀の意味であってそんな古くない話だ
何かまた言えるかわからないが、今はこれだけで
288１３２人目の素数さん2018/01/10(水) 04:47:49.21ID:ImnhyEGI
復元の際の歪量が不正確で未確定なんだろ、終了ーーーーーーー
289１３２人目の素数さん2018/01/10(水) 04:57:04.95ID:ImnhyEGI
だからある部分からある部分までの正則構造しか取り出せてないんだろう、ってな具合で終了
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
290１３２人目の素数さん2018/01/10(水) 06:08:05.07ID:yvIcfYbd
日本で滞在の研究だと、出費は、大変そう。
291１３２人目の素数さん2018/01/10(水) 08:01:48.95ID:vS/e/X72
>>286
ある重要な空間族に関連付けられそうな証拠は見たが、その場合には
代数幾何学の方もある意味で一般化(stack的意味ではない)しないと成り立たないようだ
特定のパートで正しい理論などタイムマシン理論と変わらないではないか。 いつか、人工物が知性の一段階として、数学の定理を自ら見つけ出して
その証明与えてつぎつぎと論理の体系を緻密に築き上げていく、
また定理の証明を通じて有用な概念を抽出してその定義を与える。
複数の命題の証明の論理構造の背後にある共通した構造や概念を見抜いて
共通化することでそれらの事例から抽象化された概念に到達する。
いつかそのような時代が来るのかな。
ほとんどの人間は、ＡＩ程の数学能力を持ち得ず、ＡＩはいずれ人間の数学者
と同等以上となり、一日何万もの定理が証明されていき、知識はどんどんと
積み重なっていき、ついに人間はそれについて行けなくなったとする。
しばしば1つのＡＩが1日に出して来る証明の長さが定理1つについて
数百頁、数千頁となり、。。。。 そうして人間はついにＡＩに対して
挫折感を感じてしまい、人間がＡＩを使わずに証明することは、古典芸能と
同様の趣味や競技の世界になってしまう。。。
そういうことは起こらないといえるだろうか？
一般の命題を証明する汎用のアルゴリズムは存在しないことが証明されているから、
これまではそれで安心だと思っていたが、それでは人間はなぜ証明ができるのか・
出来たのか、などと尋ねられれば、必ずしもいつも証明が出来るわけではないが、
アルゴリズムに依らずに証明が出来る場合もあるのだという他ないだろう。 >>435
構成的な証明なわけないのに、お前何言ってるんだ？ 証明を行うアルゴリズムは存在しないのだから、
定理の命題に対して得られた正しい証明は、ある意味で結果論に過ぎない。
つまり（神秘な人智の能力により）得られた、奇跡の成果が数学定理の証明である。
そうして、いったん得られた証明はその論理の過程に間違いがなければ、
誰にとっても永遠に正しい。でもなぜそれが得られたのかは、
いろいろやってみたらとか、他との類似性からなどのような、
歯切れの悪い後付けの説明しか出来ない。極端なことを言えば組み合わせを
いろいろと試して観てということになるか。コマの動かし方を知って
将棋を詰めるようなもの（それをよりいっそう難しくしたもの）だと
言えるかもしれない。
得られた証明は結果論に過ぎないという立場からすれば、数学の定理と
その証明は、一種の暗記物のようなものである。仮に人類の作り出した
数学の記録がすべて失われたとして、それから200年後の世界で再び
数学を作り直すという事態が生じたときに、昔証明されたらしい定理を
再び証明を試みているが、未だに成功しない、などということが起こらない
保証はないし、今現在の数学の体系とはずいぶん様相の変わった学問や
分野の構成になってしまっているかもしれない。宇宙人の数学者が宇宙船で
地球に来訪したときに、彼らの有する数学と人類の有する数学は
はたしてどれだけ似ていて、どれだけ違うのだろうか？
そうして宇宙人から教えて貰ったリーマン予想の証明を理解して
論文に書いて発表したら、40際未満ならフィールズ賞が貰えるのだろうか？
そういう高度な数学的知識を持った宇宙人と仲良しになったらずいぶん得だろうな。 tmnghryk? @tmnghryk
母校の数学科の同窓会で、フィールズ賞の受賞者かつ国際数学連合のトップの挨拶が、
「もうお金がないの、日本の数学は終わってしまいそう」だったのは、涙が出そうだった。
https://twitter.com/tmnghryk/status/955381267133972481 「フィールズ賞の受賞者かつ国際数学連合のトップ」とは具体的にはどなたですか？ プライマリーバランス黒字化で日本は焦土と化したな
財務官僚の処世術政策は怖ろしい 450名無しのひみつ2018/03/01(木) 02:06:23.56ID:1vSXmo+q>>452
要するに論文の要旨の段階でなるほど わからん
となってしまう人が専門家でも圧倒的に多いんでしょ
内容が正しくてもそのままではダメなんじゃね
451名無しのひみつ2018/03/01(木) 13:40:10.67ID:zX4WeegD
5１３２人目の素数さん2018/01/25(木) 23:17:47.50ID:MEvDz84S
peter scholze points out possible error in IUT
https://www.google.co.jp/amp/s/amp.reddit.com/r/math/comments/7leoy8/peter_scholze_points_out_possible_error_in_iut/
452名無しのひみつ2018/03/01(木) 15:47:19.83ID:PkJHv+Xi>>453
>>450
分からんじゃなくてもう理解はされてる
そして致命的なギャップも指摘されてて
それに対してなんら打開策も見出だせない
てとこかな
453名無しのひみつ2018/03/01(木) 17:29:47.26ID:uFaLa8bz>>459
>>452
誰が指摘してるの？
いわゆる外部の人ならちょっと勉強してみたけどようわからん、で止まってなかったっけ？
454名無しのひみつ2018/03/01(木) 21:43:07.90ID:bqwST3ba>>456
20人程しか理解できないって…20人と望月が頭おかしいんじゃね？
他の数学者には論理が破綻してるようにしか見えないから説明待ちなんだろ ■ このスレッドは過去ログ倉庫に格納されています
