【数学】数学の超難問「ＡＢＣ予想」は証明されたか　京大・望月教授の論文掲載へ、理解できるのは世界で１０人？ [しじみ★]

京都大は４月、同大数理解析研究所（数理研）の望月新一（もちづき・しんいち）教授が、長らく未解決だった数学の超難問「ＡＢＣ予想」を証明したと発表した。数理研が編集する国際専門誌「ＰＲＩＭＳ」に掲載する。予想は今後新たな「定理」として生まれ変わるが、海外の研究者からは批判も出ており、論戦が活発化しつつある。望月氏の論文は独創的な理論を駆使しており、世界でも内容を理解できているのは１０人程度とされる。

　▽ＡＢＣ予想とは

　ＡＢＣ予想は、整数の足し算と掛け算の関係にまつわる予想で、１９８５年に欧州の２人の数学者が提唱した。内容はこうだ。共通の約数（公約数）を持たない自然数Ａ、Ｂと、これを足した数Ｃが登場する。Ａ、Ｂ、Ｃを素因数分解（素数の掛け算に分解）し、出てきた素数を１回ずつ掛けた数Ｄとする。ＤとＣを比較した場合、Ｃのほうが大きいことはほとんどないという。

　例えばＡが１１、Ｂが２５だった場合、Ｃは３６になる。Ａは素数なので素因数分解しても１１、Ｂは５の２乗、Ｃは２の２乗掛ける３の２乗となる。２乗は「２回登場した」と考えるので、これらの素因数全てを１回ずつ掛けると（１１×５×２×３）とＤが計算できて、その値は３３０だ。これはＣよりも大きい。

　一方、Ａが１、Ｂが８、Ｃが９のような場合はＣの方が大きくなるが、こういうケースはそう多くはないというのがＡＢＣ予想だ。

　▽別の宇宙

　当たり前のことを言っているようにも思えるが、証明するのは難しい。望月氏は、新たに構築した「宇宙際タイヒミューラー理論」に関する４編、約６００ページに及ぶ論文で、結論の一つとしてＡＢＣ予想が証明できるとした。「宇宙際」とは、国と国の関係を示す「国際」のように、異なる数学の宇宙の間の関係を扱う理論という意味。タイヒミューラーは扱う対象は違うが似たような考え方をしたドイツの数学者の名前から取った。

　ＡＢＣ予想は不等式で表される。不等号の片方が三つの数の足し算に関係した量、もう一方は同じ三つの数の掛け算にまつわる量だ。両者の大小関係について述べるために、足し算と掛け算の関係に立ち入らざるを得なくなっている。

　足し算と掛け算の関係を明らかにすることは、両者が絡み合った既存の数学の枠組みだけでは難しく、望月氏の理論では、足し算と掛け算の関係を変形させたもう一つの枠組み、いわば“別の宇宙”を用意した。

それぞれの宇宙の中では問題なく計算が実行できるが、結果を比較しようとすると食い違いが出てしまう。それぞれの宇宙で「３０センチの定規」とされているものの長さが違う、そんな状況だ。

　ただし異なる宇宙の間では、通信が可能だ。互いの姿を完全に知ることはできないが、相手がどの程度自分と違っているかという情報を得て、相手のイメージを描く。二つの異なる宇宙間でそれぞれ出した計算結果の大小関係を、この特殊な通信を通じて探る。ＡＢＣ予想における不等式の証明に利用したのだ。

続きはソースで


https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040101000p/8.jpg
https://amd.c.yimg.jp/amd/20200525-00000001-yonnana-001-2-view.jpg


関連スレ
【数学】ABC予想「証明は本当か？」　欧米で『IUT宇宙際タイヒミュラー理論』論文に異議相次ぐ [しじみ★]
https://egg.5ch.net/test/read.cgi/scienceplus/1588656131/

https://news.yahoo.co.jp/articles/a52146dc8fabd8a5dbf726dff041f71e23a24fd3

京大だけが正しいと思ってる理論。
世界は認めていないｗｗｗｗｗｗ

まるで呪文だな何を言ってるのかわからなくなってくる

「宇宙際たい肥ミューラー理論」？

Ｃのほうが大きいことはほとんどない

ほとんどってなんやねんw

何の役に立つんだ
コロナで苦しむ国民に希望を与えるようなものはないの

イソ子は関係ありません

うん、Ｃの方が大きいことはほとんどないね
証明終//

♪ＡＢＣは知ってても それだけじゃ困ります

>>5
あっても有限個だってことだろ

数学の証明で「ほとんどない」なんて言い方ありなの？
フェルマーの「俺氏見つけたけど紙が足りねえからオゥ・ホゥヴァア」よりひどくない？

>>11
でもその「ほとんどない」を含んだ証明を使うと他の予想が証明できる（応用力がある）そうだからありなんだろ

ABC予想やその証明の中に"ほとんどない"が出てくるわけじゃなくて、素人向き解説の中に出てきただよ

>>1
理解できるのが１０人。
この問題が分からないと言えるだけでも、自分からしたら雲の上のヒト。
大学の数学科レベルのヒト？

>>2
世界に10人なら、京大でももう一人は居ないんじゃ？

>>9
それだけじゃ、困りますぅ〜？

ちなみに、望月は朝鮮系の帰化人。

証明できたとすると、新たな暗号にでも利用できるのかね

>>18
簡単に素因数分解できちゃうようになるかもね。
それプラスABC予想が望月の定理になって、数論の世界がいろいろ変わるかも。

誰でも分かりやすい様に解説してけろ

>>18
ペアノの公理とか足し算で主に定義されている自然数世界で難問に見える素数とか素因数分解の難問がIUTでわかりやすく考えられるようになったら解けちゃうかも。

>>1
↓【社会構造の大問題なら最近解明された】↓から数学の方も頑張って欲しいな↓↓↓↓


"ok"

↓【大】

↓『マジ世界平和(※世界を豊かにもwする↓)』

!!!!方法w↓

（世界平和はこうです↓）
「国々の国民が、それぞれ自国の政治家・官僚に、それらが現在、自分達から『正規の給料以外』に奪っている利益をそのまま(それらが)氏ぬまで支払い続けるという事を約し、
（↑(は)「どうせ取られるもの」だから払ったところで損はしない上、"マル秘"【軍事費分】を含むから高額になる(超天才w))
それらの手によって『２点』↓を実行させます。○世界の最高税率統一 →世界中を豊かにする（※←（は）になるから）
○全ての国を『中立に直された国際法廷』(後述)に組みさせる→戦争起きない。」
ちなみにこの理論は例えばイスラム過激派など国以外で戦争なり戦争に準じる行為をしている人々も大体これと同じ 要領で納得させます（ひいては全ての戦争がなくなる）
具体的に書いてあります↓
http://www.kakiko.info/bbs4/index.cgi?mode=view&;no=10099&p=8
（↑『小説カキコ掲示板』というネット掲示板です（※↑URL検索でも出ます））

際の前に他の数学の宇宙ってやつを説明したほうがよくね？

>>20
日本語名に宇宙とあってへんてこと思われがちだけどいろいろ調べるとなるほどねと思う。
もちろん詳しくはわからない。

>>6
先端数学が実生活の役に立つのは大抵の場合少なくとも数十年後
下手すると数百年後
だからこそ数学は学問として尊いのさ。哲学と並び学問の最高峰なんだよ
実学に近付くほど学問としては卑しい。だが当然それが悪いことというわけではない

これが証明されるとどうなるの?
例えば最大の素数が確定するとか
素人でも解る何か成果欲しいね

なんだ、自分以外にあと9人もいるのか

>>26
おそらく、異なった概念の対象に比較を施すことが可能になる

>>25
なんも変わらんと思う
フェルマーの定理も四色問題も証明されたけど実生活にはなんの影響もない

これ、問題解決の方法に意味があるんじゃないの？
それぞれが異なる数学の体系を持ってるパラレルワールドを作って、それぞれに変換可能な法則がある。
で、特定の法則を持つ世界に既存の計算式の一部を分離してそちらでやらせて結果を持ち帰ってくればあら不思議、計算が簡単になって解けましたわ。って感じ？
これが許されるなら色んな問題に応用効くよねと。

今回の場合は掛け算と足し算を分離って書いてるけど、ここ理解できるやつに深堀りしてほしい。
ラプラス変換とはまた違うんかね？

なんだ俺以外に10人も理解できるのか。

>Ｃのほうが大きいことはほとんどないという。

この時点でもうね…

解けたってより解き方に注目集まってる感じ？

おまえはどうせAまでもいってないだろ？
おれはBまでいったけどな！

東洋に賢者が現れる。この人物の偉大な教えは大海と国境を越え世界に広がるが、
人々はこの真実の教えをウソと決め込み、あまり長い間信じることはない。

クラスの女子のABC予想

虚数だって当時は役に立たないものと思われていたんでしょ

>>6
200年前の人も当時の数学に同じ事を思ってたに違いない
そして今、200年前の数学で今のAIは動いている

ABC予想が証明されたら派生していろいろな問題解決出来るって言ってたでしょ？
今はそういう問題解決してってる最中なの？

靴屋のことかと思った

こういう問題を考えた人はどうやって考えたんだろう

結論が正しいわけじゃない可能性もあるんだよね
素数の数が有限だったとか　円周率の桁が分かった
とかなら納得がいくけど　わけのわからない奴が
考えたことを証明することに意味があるのの

>>1
かなり大きな数Cを素因数分解しているうちに予想しちまったのか？

♪あーいい気持
　

まあ、アインシュタインの気持ちだろうな。
そして広く理解されるまで、時間がかかる、正しい、間違ってると
色々と言われてるし。

>>44
一般相対論は論文掲載とともに多くの人に理解されていた。
シュヴァルツシルトの論文はその象徴

>>2
＞宇宙と宇宙をつなぐ数学　IUT理論の衝撃　加藤文元　
東京工業大学理学院数学系教授

＞英ノッティンガム大学の数学者、イヴァン・フェセンコ氏は、望月氏による証明を完全に理解し、証明に誤りを発見していない研究者の一人だ。

何ですぐに嘘だと小学生でもわかることを平気で書いて
誹謗中傷をするの？

>>2
3年前

・Taylor Dupuy（バーモント大学客員教授）　IUTカンファレンスから急速にIUTを理解し始めた新鋭。YoutubeでIUTに関するビデオ講義を独自にアップし続ける。

・Kiran Kedlaya（カリフォルニア大学教授）　IUTカンファレンスに参加し、IUT理論の肝であるFrob の講演で大絶賛を浴びた。IUTに可能性も見出し、京都でのIUTサミットにも参加。

・Jeffery Lagarias（ミシガン大学教授）　京都でのIUTサミットに参加。IUT理論の大枠を理解したと発言。

・Chung Pang Mok（パデュー大学准教授）　海外勢では一番早くIUTに反応し、大枠を理解、世界各地で関連セミナーを開く。

定期的にこのネタ上がってくるよなぁ
もうほとんど否定されてるけど

汝ゼロで割ってはならないの数学十戒第一は覆されて、ゼロで割って、新世界が現れた、
ゼロで割ることができて、アリストテレス、ユークリッド以来の新数学、新世界が現れた
象徴的な例は、 1/0=0/0=z/0= tan(\pi/2) =log 0 =0 and z^n/n = log z for n=0。
基本的な関数　y=1/x　の原点に於ける値は ゼロである。無限遠点がゼロで表される。


再生核研究所声明520 (2019.12.04): 　数学の超難問　−　ゼロ除算　−　解かれたり

理解できないことと、間違っていることとは当然違う。
間違っていると思うなら数学で示すべきだ。それ以外の手段は無い。

>>45
＞「世界中でも一般相対性理論が分かる人は3人しかいないようですね」
エディントン「3人目は誰だね？」

当該望月論文の引用の検索で多数表示されるものら
望月理論後のディオファンタス不等式
前原浩 2013
フィボナッチ数のabc予想と平方自由部分
Nカーン、片山 2017
算術曲線の正規モデル
J Sijsling 2017
ABC予想を使用した対称共有鍵の生成
AKミシュラ、SGサマダール 2017

>>30
タイヒミュラー変換的なことするんだよ！
調べてね！

>>17
嘘をつくな、日米ハーフだろ

理解できるのは世界で１０人というか、そもそもインチキでたらめだから
理解できる人はほとんどいないってことだろ。いかにも難解で深遠で
意味ありげな体裁を装っているが実体は伴わないってことも往々にしてあるし。

>>54
間違ってるなら具体的にギャップ示せば？

JK×JC=sister bowl

撃際退避三浦理論

>>38
虚数はもっと前なんだっけ

パンツピーラーなら知っとる。

祝おうぜ宇宙祭！

この理論は難しいうえに流行ってない
ハーバード、プリンストン、バークレー、ケンブリッジ、IHES、マックスプランク研究所、東大の研究者は、この理論は見なかったことにしてる

>>17
在日は日本コンプレックスの塊だね。
三星のCMで富士山を出すようなもの。
ハングル低能欠陥DNAの朝鮮人には無縁な業績。

アメリカ食品医薬品局（FDA）が2014年に発表した論文は、下記のように韓国人の遺伝子・DNAの特異性を明確に指摘しています。
「Therefore, we inferred that special attention should be made for
the Korean population when treated for the above mentioned terms related diseases,
since other populations did not carry those Korean only SNVs」
「それ故、論文執筆者一同（＝アメリカ食品医薬品局職員）が推論したのは、
他の母集団（＝民族のことです）はこれらの韓国人特有の遺伝子変異を宿していないのだからして、
上述の関連疾病治療時において、韓国人（＝朝鮮人）に対しては特別の注意が払われるべきだという点である」
韓国・北朝鮮の国民性の異常性を生起している主原因は、ほぼ確実に朝鮮人・韓国人の遺伝子・DNAの特異性です。
http://www.hpcreating.com/php/blog/kakikomi/201943.php

数学の巨頭同士が直接会って話し合っても
「ここ、間違ってる」
「いや、お前が勘違いしてるだけ」
と、らちが明かず、双方相手方を説得できなかったってんだから、
皆が納得して合意できるようになる日が本当に来るんだろうか。

>>2
ABC予想をより簡単で万人に分かりやすく証明する人が出てこないから仕方ない。

なるほど。俺は理解した。

これを見つけても世界の何の役にも立たないからな。
時間の無駄

まあ、アインシュタインでも
効率の良い悪いの重要性も分からずに
環境破壊しちゃうぐらいだから
馬鹿な素人でも意見したくなるよね

序盤は説明が足りないとか忍耐が必要と英米から非難されてるし、
実際忍耐力ありそうな日本、中国、ロシアの学者がIUT勉強してる

数学でも文化の違いは出るってだけのことかもな

>>66
神様気取りか

スゲーなもう色々とｗ

>>62
>>17みたいなイカれた書き逃げは置いといて、
志村多様体を研究して業績挙げてる韓国の学者さんいたよ

>>65
ノーベル文学賞？

なぜ別宇宙が出てくるのか出さなきゃならんのか
まあ説明されてもわからんw

この理論を一生涯かけて理解するために学ぶ学科を作るために要請する教授陣を育てるための学校を創設する必要が・・・・

>>51
三人目か……
ミンコフスキーとかどうだろう

>>1
♪ABCは知ってても、それだけーじゃ困りますw

10人どころじゃないだろ

ここに書き込んでる連中は、みんな理解してんだろ
たぶん

c>d^1+eが無限に存在できる謎な仕組みの数学世界を
こちらの世界の数学で作った漉網ですくったら全部拾えるかどうか
って筋の証明だろ？
想定する対象読者をバカにしすぎてないか毎日

1, 2, 3 のように簡単でした。また、ドレミのように簡潔でした。

ガロアの代数方程式の解法への群論の応用、特に正規部分群の列の理論は
本人は走り書きのようなメモを書いたが、決闘で死んでしまった。
それは一応掲載されたので、後の人たちがそれを解読して補填して整理して
一応確立された。もしもまったく書き残されていなくて誰にも伝わって
いなければ、ガロアの理論を誰かが発見するのにはもう数十年ぐらいは
かかったのかもしれない。

>>77
二十世紀からの公理論とか非ユークリッド幾何のモデル化とか
選択公理とかやって、フェルマーの証明なぞって圏論まで紹介すんの？

紙面は足りても読む方の時間がないだろｗ

ラングランスプログラム忘れた

>>76
アマチュアだもの概要の概要の概要しかわからんがいよ

>>6
これで薬の効き目が分かる。

なんのこっちゃ

10人でも理解できてるんだったら成功、証明されてるじゃん
0人だと不明だが

＞当たり前のことを言っているようにも思えるが

どこが当たり前なんだ
まったく当たり前でないだろうが

「わかる奴だけわかれば良い」のスタンスじゃなくて、もっと万人にわかるように説明するのスタンスになって欲しいな

>>17
嘘をつくな、日米ハーフだろ

あー完全に理解したわ、理解したけどおまえらに説明できる自信がないわ、すまんな！

私は最近、「無数」という不思議な数を発見した
それは、0でありかつ無限大なのである
その凶暴さから、一般の数学に導入するには恐怖が先立つ

>>90
僕も角度が面積だって気づいた

虚無

>>25
哲学はただのオナニー
学問と呼べるレベルの物ではない

>>87
もちろんその姿勢は大切だけど、根源が複雑な事を簡単に説明することは結局出来ない
簡単に説明できることはそもそも簡単なことだからに過ぎない
簡単なことを簡単に説明するか、簡単なことを難しく説明するか、難しいことを難しく説明するか、この3パターンしかない

池上なんとかのせいで難しいことを
素人にもわかるように説明できないのは
無能という風潮ができたせいで
デタラメだけどわかった気にさせる詐欺師が跋扈する

>>6
西之島で領海が広がるのと同様
人類が生活可能な数学空間が広がる
しかもこれは所有権争いが生じない

少なくとも俺は理解できない

>>96
面白いものの言い方だなあ

理解できる10人が数学界で超一流か

>>96
面白いものの言い方だなあ

理解できる10人が数学界で超一流か

望月さんって、クラーク・ケントに似てる

否定されたみたいだけど一時ビットコインの開発者は望月先生だって言われてたねw
専門ジャンルぜんぜん違う気がするけどw
しかし、今の数学という世界は素人にはまったくわからないものになってる。
義務教育で習うのなんて、あまりに初歩すぎてガロアの群論や素数についての理解
非ユークリッド幾何学的な話、離散数学に数論、日常では話もしないものね。それら
専門家だったら普通の知識で一般にはわからない話のさらに難しい数学の根本構造
から考え直すようなことするわけで、美しいとは思いつつ、到底スタート地点にも
経てないなあと思う。見据えている世界が違うよ。

>>63
数学も完璧じゃねえな
数式の定義に言葉使うんだもんな

A＝2のn乗
B＝3のm乗
とかすればいくらでもC>Dのものが見つかるのだが。
もしかして俺天才？

>>103
nとmがいくつの時。n,mの組を無限個お願い。

モーツァルトの音楽を理解できたサリエリもすごい音楽家なんだよ

>>93
哲学どんだけ勉強したことあるの？

>>94
>>77は出来てるみたいだけど？

>>103
ちゃう。
Aは1で、
Bが2∧mのとき、
Cが3∧nとなるmとnの組み合わせだろ。

>>101
ガロア理論は実生活に役立ってたりする
大量のデータを見たり聞いたりする時にみな使ってる
誤り訂正符号として

>>2
これから検証するんだけどアホなの？

とりあえず数学語を理解できないと、問題自体を理解することができなくなるのが大学以上の数学
高校数学と世界が変わり、日常生活で使う用語とも違ってくる

フィールズ賞の森重文教授の専門分野も現実と関係することなんて誰も想像してなかったけど
物理学の超弦理論と関連が見つかって研究されているらしい。それくらい数学の世界は想像を絶する

>>106
他人の性癖にいちゃもんつけちゃあかんで

ドクター中松と同じ範疇の人かも？

再生核研究所声明 563(2020.5.26): 学生の高質なアルバイトと令和革新

https://ameblo.jp/syoshinoris/entry-12599556046.html

全然違う
数理解析研究所って言ってもわじゃんねーか

異次元の数学者がかけた魔法　ABC予想を読み解くと
https://www.asahi.com/articles/ASN5Q5K19N5LULBJ00D.html

朝日の文系記者からすれば、高度に進みすぎた数学は魔法であるらしい。
たしかに、呪文のような記号の並びで解決してしまうのだからか。

1を読んでもサッパリわからないが
「ほとんどない」とは何事か
数学でそんな事がまかり通る事がまた解らん

>>118
任意の正の数εについて、互いに素な正の整数a,bでa+b=c,c>d^(1+ε),dはa*b*cの互いに異なる素因数の積
を満たすa,b,cの組み合わせはたかだか有限個しかない

のたかだか有限個しかないをほとんどないと適当に書いただけ

>>119
酷い言い替えだよね

新聞がいかに適当に記事書いてるかわかるな

足し算で全整数を表現したのがペアノ公理系、掛け算で全整数を表したのが素因数分解。全整数ってのは同じだ。だけど両者の関係は全く謎。IUT使うと何かわかるらしいけど俺にはわからん

数学はオナニーだよ。
最近の数学はまったく役に立たない。
「役立つ」と言ってる数学者がいるが、
立場上言ってるだけ。

>>123
数学者の乾杯の挨拶を知らんのか
「純粋数学が何の役にも立たない事を祈って 乾杯！」
だぞ

>>124
役に立つと、応用数学に貶められるもんなｗ

数学は役立つよ
直ぐに結びつかないだけ、K国みたいな目先の利益だけを考えるなら

実数論とか確率論では　ほとんどすべての実数でこれこれしかじか、だとか、
考えている区間のなかのほとんどどこででも (almost everywhere)
この関係式が成り立つ、などという言い方がよくされる。
つまり成り立たない例外の点の集合は、（相対的に）測度が0だという主張。

わけがわかりませｎ

あーハイハイ、アレねー

数学って概念を理論体系化出来る優れた道具なんだけどね
そんな俺は数学が苦手

加藤元文なる人物いわく、対称性（やり方）そのものを、ある法則が通用してる別宇宙に置き換えて考えたとして、
別宇宙で得た数値や結果は違えど対称性は維持されたままだから、
それを宇宙際で比較してこちらの宇宙でも考えてみるといったようなことらしい。

加藤氏は図形を持ち出して簡単に説明してたが、
例えば頂点a,b,cからなる三角形を宇宙際で比較した時、
その結果をそのまま宇宙際でやり取りするのは出来ないが、対称性だけならある程度比較が効くんだと。
一番簡単な例は「頂点a,b,cを左に二回、右に一回回す」と言う「やり方」だけを見れば、
宇宙際の結果、出来る図形には違い＝エラーが出る可能性もあるがこちらの宇宙でもきちん通用してるかもしれない。
これが多角形になればなるほど、そのやり方と結果にはエラーが多出してくるが、繰り返せば繰り返すほど二つの宇宙際において近似は得られる。
ちょうど無限角形と円の見分けがどんどんつかなくなっていくが、実際には微細な違いがあるように。

この対称性の比較を宇宙際で無限に、かつ同時に繰り返して、出来る限りエラーを少なくすることで、ようやっとABC予想を証明し得る不等式を導き出せるらしい。

ふみげん、とおもってたら
げんふみ? げんぶん? もとふみ?

・そもそも理論構築した望月氏さえ理解できるのは自分ぐらいしかいないと諦めの境地
・論文が６００ページで読む気がなくなる
・さらに、中身は望月数学ともいうべき独自の記号やら理論でほかの人にはそこから理解しないと意味不明すぎる
・反論してる人も、なんか良くわからんけど間違ってるって良くわからん理論
・世界有数の天才的な数学者も良くわからんと匙を投げてしまう
・ウォーズマン理論を飛び越えてブライシンクロン理論みたいな世界なので一般人も理解不能
・そもそもABC予想を解くためというより、望月数学世界という異次元世界を体系化する為に作られたような話なのでABC予想すら飛び越してる
・ABC予想を証明するより、望月理論を証明する方が難題という逆転現象
・ポアンカレ予想の解析が別方面からだったからとしても数学的解析で説明できるが、もはや仏陀とかニルヴァーナの世界
・アルキデメスの風呂、ニュートンのリンゴ、アインシュタインのブラックホールなど、理解した人間はかみ砕いて説明する事ができるが
　そもそも理解した人間もへのツッパリはいらんですよ！！と２００１年宇宙の旅のエンディングみたいな事をのたまう
・中二病みたいなネーミングセンス
・５億年ボタンを押したスネ郎でも５憶年で神の領域に達してもIUT宇宙際タイヒミュラー理論が理解できない
・カールセーガンが宇宙の高次元知性体と話ができるチャネラーにIUT宇宙際タイヒミュラー理論は正しいかと言うとチャネラーは逃げ出した
・大川隆法でもIUT宇宙際タイヒミュラー理論の背後霊を呼び出すのを躊躇するぐらい訳が分からない
・のび太がもしもボックスで「もしもIUT宇宙際タイヒミュラー理論が成立してる世界だったら」と言ったらもしもボックスが大爆発した

電波乙

>>133
膨大な過程を同じ出発点からか人によるけどどっちにしろ追う訳だから理解するまで時間掛かるのは当然だと思うけどな
難問なら距離も遠くなる
解けた本人もどんな道順辿らなきゃいけないか知らないで旅をしてきてそこにいる訳だし

>>122
結局足し算で基本的な「数」というものを定義
しているから、掛け算で素数なんて訳の分からない
ものが出てくるってとこだね。
だから、掛け算基本の定義ができるなら、違う世界が
見えるかもしれない。

>>136
そこに関連するのがp進数に関する理論ってとこ？

ほとんどの整数は合成数である。
ほとんどの実数は無理数である。
ほとんどの無理数は超越数である。
ほとんどの超越数は構成可能ではない。

>>5
新規に開拓された数学の領域は、最初からそこにあったのか、あるいは人類が創造したものなのか、って議論があるな。

>>139は>>96へのレス

>>139
例えば素数の分布を人類が考案したと？

和とか積とか初等的なことを大学でやってて
恥しくと思わない餅は何なの？

>>142
「りんご」＋「悲しみ」＝？
「りんご」×「悲しみ」＝？

解いてみろ

>>25
哲学に傾倒しメディチ家は滅びた

無いことを証明するんじゃなくてほとんどないっていうのが曖昧すぎるような

>>25
不労所得で生活できる資産家のボンが、無職だと世間体が悪い
だけど、「あそこの息子さん哲学されてるんですって」となると世間体が良い

哲学は無職の隠れ蓑
学問としても全く発展がない。21世紀に入って20年経つけど、哲学の大発見ってないっしょ

DFASH

バルカン核戦争

FissimmACTIONARA

BATTLE

AXXXMAX

ＡＮＧＥＬ−ＨＵＭＡＮ

NATTTTTTTHH

わかる人に質問なんだけど
ABC予想は定説になったとしてその数ってお話しの崩れた状況ってあると思う？

>>143
この問題に解ける人間ってなんだろうね
とん知と処理するまでにいたる判断が一般的になってるけどすごいことと認識するようなものなんだろうな

>>11
主観的なことを客観的に言うのも学問だから。

どうでしょうか？？？

Ankur Tiwari's Great Discovery of the Division by Zero $1/0
= \tan (\pi/2) = 0$ on $ 2011$

https://vixra.org/abs/2003.0071
https://vixra.org/pdf/2003.0071v1.pdf

10人もわかってる奴がいるなら、それは間違っていないんじゃないかと思うんだが。
それとも 逆に10人とも気が狂う事ってありうるか？

10人が理解できていればあってる、あってないと判定できるわけで
多数決では決まらないにとしても
数学の未解決問題の突破はたいがいおなじようなことだろ
ポワンカレ予想とかフェルマー予想とかも理解できる第一人者が判定し正解だといったからだろ

>>133
ニルヴァーナとか書き出した奴の言い分は読む価値無し

俺の分野ではわかるのは世界で4人かな
競いあっている相手は一人

Ａは幼稚園の時だった！

問題は理解できる第一人者が欧米の数学コミュニティに存在しない事だな
既存のコミュニティほっといてIUT使って独自の数学体系進めてリーマン予想証明しようず

大学を出て、整数の足し算とかけ算を研究していますといったら、
小学生の勉強をしているのかと馬鹿にされるかも。

>>163
なんとなくブラックホールの
あちらとこちらを接続するのと
同じ仕組みなんじゃないかと思うのだが

科学は極論言ってしまえば、多数決だからな
それが歴史などに晒されて残ったものが事実として残って行く
数学は中でも一番厳密だけど、タイムマシンがない以上考古学は厳密には事実を想像しているだけ、宇宙論とかもそう

そんなことより、

問題は今日の雨☔

アジャ〜ス！

>>166
多数決ではあるけど、その場限りの多数決ではなくて、歴史を通しての多数決だな。その場限りだとガリレオとか敗北してしまう

東工大加藤教授の解説 〜宇宙祭タイヒミュラー理論〜 英語字幕付き
https://www.youtube.com/watch?v=kq4jbNl4lJk

ABCでこの調子だといつになったらZに辿り着くのか。。。

>>41
先にメーソン・ストーサーズの定理ってのがあって
これはa(t)+b(t)=c(t)となる互いに素な多項式に関するもので簡単に証明できるんだけど
自然数でもいけるんじゃね？ってことでabc予想が出てきたんだと

>>143
りんごの泪

>>165
宇宙際といっても物理宇宙とはほぼほぼ関係ない

Ｕｎｉｖｅｒｓａｌ　って宇宙と訳すよりも、広汎のとか大域のとかが適当なんじゃないの？

全集合　＝　Universal Set

など

「界」の字が適切だと思うんだけど、もう使われてるの？

だれでも時間かけて理論を追っていけば納得できるものでないとダメだろ

「ABC予想」を解けから、「望月論文」を解けにすり替わっただけじゃ人類の発展になっていない

>>177
そんな馬鹿げたルールはない

コンプレックスまみれの独裁者が、低いレベルに押さえつけるのか？
ヒトラーの退廃芸術狩りみたいに

>>53
小さいときに渡米してただけで、日本人だよ
日米ハーフではないと思うよ

>>177
エリート主義的で気に食わん、なんてのは勝手だけど、くだらん阿り（おもねり）に付き合う必要はない
それって衆愚主義の最たるもんじゃん

付き合わないから、数学も美術も「リベラル」アーツなんだよ

>>179
いや母親はアメリカ人だよ

「殆どない」いうのは、�@「有限個」という意味なのか、それとも�A「無限個あるが濃度に非常に大きな差がある」(実数と整数のように)という意味なのか

もし�@であるのなら、全ての場合を検索して求めることは可能なのか
(原理的には可能って事になるが)

cカップは至高

>>182
有限個

ワイの毛根もほとんどない(｀・ω・´)

>>1
私の数学の知識は・・・
草や木や花が、数学の公式に見えてしまってから
ぱったりと勉強しなくなってしまいました。

たったそれだけの人です。(._.)

>>187
妄想？
「風景が数に見える」の人は騙りだったけど

>>119
たかだかって必要?

>>189
慣習的書き方だよ

例

たかだか加算無限

こんな命題に、こんな名前をつけてしまうセンスがすごい

こんな命題に、こんな名前をつけてしまうセンスがすごい

京大は変態的天才の宝庫だな

宇宙祭やりまーす(´・ω・｀)

c>d^(1+e) は有限と仮定して不等式に反比例を適用するルールならば無限個
f(c)>f(d^1+e) これで位相取れちゃったらどうなるんだろう

慣習で論理的に影響ある単語を書いてしまう人の数学的センスの無さに涙。

>>195
行く行く
招待してよ

高々＝at most

任意のというのも誤解を招きやすい表現だね

任意の＝for any

全ての存在 強制入院

説明だけなら誰でも理解はできるだろ
それが何を意味するのかわからないだけで

>>102
数学は数っていう詭弁の上に成り立ってる詭弁

科学で必要ない数学は要らない
数学のための数学みたいのは不完全性定理とか理性批判で結論でてる
ウンコな議論だってね

鏡 俺にやってきた事が返る

>>203
どうせみんな謎を楽しんでるだけだろ
あるいは難しいことに挑戦している意識高い自分をアピールしたいだけ
最初から順を追って簡単に説明したらそれで終わってしまう

>>193
命題って、、、ABC予想のほう？

イギリス　絶望死

虐殺のブス　不安

実際には正しい命題であっても、一般にはそれを必ず証明できるとは限らない。
なぜならば、与えられた命題を証明する一般的な手段は無いことが
証明されているからだ。

でも、誰かがそれをいったんうまく証明を見つけてしまえば
その後は、その命題は正しいことが確定する。

だったら、命題は真か偽のいずれか、というよりもむしろ
真か偽か、あるいはまだ未確定であるかの3通りだとした
方が真実をついている気がするのだが。

たとえば、地球人が長年に渡って未解決であった命題があったとして、
そのことを銀河の果てのA星人が何十万年前に証明を見つけていたら、
その命題はA星では何十万年前に正しいことが確定しているが、
地球人にとってはまだどうかわからないということになる。
逆にA星人はまだ証明できていない命題でも、地球人が既に証明済み
である可能性もある。また、別の地球人にとって未解決の命題が、
C星人にはずっと昔に反例が知られているなど。

だから時間変化する論理回路のように、真と偽と、不確定の3つの
状態を考えて、証明も時間と共に伝播していくようなもの、
あるいは観測問題のように、一端証明が発見されたら、急に
可能性が収縮して、確定するといった感じの方が現実的だなと思う。
そうして、一度得られた証明とそれによる真偽の確定も、
それを支える文明や文化が滅びれば、また振り出しに戻るゲームなのかも
しれない。

量子力学の解釈違い？

正しい証明の情報は光の速度を超えては伝わらない

別の話やんそれ

加藤先生が言っておられるが、IUTはABC予想を証明したことよりも、IUTの考え方そのものに価値があるのだ。
つまり、２つの数学の舞台(宇宙)を用意して、対称性通信して互いを繋ぐという新しい数学的アプローチを生み出したことに価値があるのだ。ABC予想の証明はおまけ。

算数さえ苦手なオレ、これはもう神聖不可侵　神の領域だな

足し算と掛け算の関係は、理科系の人ならどうなっているのか一度は考えたことがあるはずだ。無論難しすぎてあっさり頓挫するわけだけれども。
とにかくその関係は、強固で崩すことが極めて難しいのだ。一つの数学の舞台では極めて困難と望月教授は考えた。


IUTではそこに踏み込み、足し算を固定し、掛け算を伸び縮みさせる。

ここに動画解説があった。
みてもまったくわからんが、
なんとなくイメージがわかなくもない。
https://www.youtube.com/watch?v=ykkHPz4T540。

>>219
「この宇宙はそれを書くには狭すぎる」

証明者の脳の原子も記録素子に使ってしまうわけだから自ずと....

>>216
数字の法則性見付けたり理解したりするのが苦手だったりするか？
俺も算数すら無理だわ

証明を行うための（正しいと確認するための）手続き（一種のプログラム）は
かけても、その手続きが行った場合分けや検証のための計算のトレースを
保存するための記憶・記録場所は現実的な容量では収まらないとしたら、
その手続きそのものを示して、「この手続きを実行することで確認できる」
といってお終いにするしかない。他人がそれを検証するには、その
「手続き」を実行してみて、やはり場合を尽くした証明が完了するのを
待つばかりだ。あとはその「手続き」が本当に証明行為になっているのか
を証明することだが、それもまた具体的に書き切れずに「手続き」でもって
提示されるとしたら。。。。。　
　つまりもはや人間の動物としての能力では解決できずに、なんらかの
機械力を使ってやらなければ証明ができないし、証明の確認もできない
そういうレベルになったら、もはや人間は機械に対してお膳建てをするだけの
補助的な存在になってしまうのかもしれない。そうしてそのお膳建てを
する手間が某大になってしまうと、そのお膳建てをするのも機械になり、
。。。　いつの日か、人間不在で数学研究が進められ、人間は研究を推進
するための機械を予算を措置して導入・購入したり、メインテナンスをしたり、
などする機械に奉仕する存在になってしまうのかもしれない。

>>9

　アルファベットのその次は♪

不完全性定理

大きなメルセンヌ素数が実際に素数であることを示す計算も、
手続きはプログラムとしてかけて、それを計算機がうんと時間をかけて実行して
示すので、尽力でやるにはあまりにも大変。つまり人間だけで証明は閉じては
いなくて機械を信頼してまかせている部分があるはず。別人が検証するのにも
その手続きを機械力で実行することになる。
すると、その手続きで証明になっていることを示すところがポイントになるが、
そこの部分は今のところ人間の頭脳と現実的な時間で対処ができる。

ところで、”ふるい”方で自然数の素因数分解をする場合に、その自然数が
素数だったら、因数が見つからないわけだけれども、”ふるい”法でそのことが
保証されるようになっているのだろうか？因数が見つかれば、それは容易に
確認できて、合成数だということが示せるけれども、因数が見つからない
というだけでは、見つけ損ねているだけであるかもしれないから、素数だと
は主張できないわけだろうから。

京大卒
京大恥
與三野　禎倫　不倫

京大卒
京大恥
與三野　禎倫　不倫

>>225
素数を2×3×5×７×‥として出した積と
「目的」のある大きい数を天秤にかけて
互除法を使えば単純な加減のみでその
「目的」の大きい数が素数かどうか判別
できると思うんだ
互除法は確か高校の教科書に出ていた
人間がこれをやるのは大変だがプログラム
なら一瞬でできると思う

>>5
無限ではない
ということ

望月教授と滝浦真人(放送大学教授、法政大学講師)の類似点

望月教授のＡＢＳ予想の証明：自身が編集長を務める学術誌ＰＲＩＭＳに掲載予定（２０１２年に予稿をＰＲＩＭＳのwebに掲載）
望月の同僚、数理解析研究所の教授（柏原正樹、玉川安騎男）の発言：「証明したことに間違いがないと言ってかまわない。
『ＡＢＣ予想』は根本的な問題で、証明できたことは非常に大きなインパクトがある」「証明に根本的な変更はない」

ネイチャー：The latest announcement seems unlikely to move many researchers over to Mochizuki’s camp.
In the world of mathematics, a journal’s seal of approval is often not the end of the peer-review process. An important
result only truly becomes an accepted theorem after the community has reached a consensus that it is correct
フィールズ賞をとった数学者：望月の証明には欠陥がある
ヨーロッパ数学協会会長：批判を拒否し、大幅な改訂がないなら、望月に悪い評価が返される
望月を博士課程で指導した教授：　考えを明確に伝えようとしていない
http://www.nature.com/articles/d41586-020-00998-2

滝浦真人の博士号に関する学位審査（公正な審査では不合格？）
学術誌の同僚、滝浦と共同で運営する学会の同僚が審査の主査
主査は『語用論研究法ガイドブック』の共著者でもある（日本語用論学会会長：加藤重広 、日本語用論学会編集委員長：滝浦真人）
副査は、論文の内容が専門外

学位請求論文：日本語敬語および関連現象の社会語用論的研究
論文の内容：既刊の本を無理やりつなげただけ
審査結果：大賛辞による乙種の学位授与

論文の二重投稿の論理的構造
別の論文と内容、結論が同一(酷似，類似)である
先行論文と比較して、内容と結論に新規性がない
既存の（実験）データを利用し、既存の知見をなぞるだけで新たな事実の確認に乏しい
適切な引用処理がなされておらず、他者の業績にただ乗りするところが大きい

学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、
二重投稿は反社会的性質をもつ
http://ja.wikipedia.org/wiki/二重投稿

日本言語学会 倫理問題相談窓口
http://www.ls-japan.org/modules/documents/index.php?cat_id=185&;ml_lang=ja
北大
http://www.hokudai.ac.jp/introduction/pub/

放送大学
[email protected]（総務課）

>>11
ポアンカレも似たようなこと書き記してるよね
数学者って面白いｗ

>>232
普通にあるだろ。

「高々~個しかない」とか有限個しかないとか。
フェルマーの式だってn=2以下では成り立つから「殆ど成り立たない」

ストレートに「a,b,cの組は有限個である」でいいと思うんだが

こういう難解な数式を数学のド素人でもざっくり理解できる方法はないもんかね。
例えば数式は一切出てこないけど、この小説を読み切れば抽象的にでも理解できる、とか。イングリッシュアドベンチャー的な。

>>235

170 名無しのひみつ 2020/06/02(火) 11:04:56.51 ID:uLAfTiLq

東工大加藤教授の解説 〜宇宙祭タイヒミュラー理論〜 英語字幕付き
https://www.youtube.com/watch?v=kq4jbNl4lJk

>>235
まず「足し算」と「掛け算」が何を意味するのかを理解しなければ、
おそらくこのような理論の意義を本当に理解することは難しいでしょう
そしてそれは、とても身近なことなのです

>>236
この動画、ITU理論では有名だよね
はじめは平易なのに途中から急に理解がむつかしくなる・・
論文読んでるけど証明を完全に理解するのはなかなか骨が折れるね

遠アーベル幾何学を理解出来るだけで相当な数学レベルだが

>>236
最初はシドニーシェルダンでしたが
第3部はトルストイでした。
ありがとうございます。

日本人が活躍すると悔しくてたまらない奴がいるみたいだな
これはもう完全に病気やでw

2 名無しのひみつ[] 2020/05/29(金) 16:36:54.64 ID:6MXgWK8y
京大だけが正しいと思ってる理論。
世界は認めていないｗｗｗｗｗｗ

46 名無しのひみつ[sage] 2020/05/29(金) 19:24:58.99 ID:i0dL/ioG
>>2
＞宇宙と宇宙をつなぐ数学　IUT理論の衝撃　加藤文元　
東京工業大学理学院数学系教授??

＞英ノッティンガム大学の数学者、イヴァン・フェセンコ氏は、望月氏による証明を完全に理解し、証明に誤りを発見していない研究者の一人だ。

何ですぐに嘘だと小学生でもわかることを平気で書いて
誹謗中傷をするの？

で証明したのか証明してないのかどっち

ある命題とその証明を示されて、

愚かな者や、心悪しきも者には、この命題の価値や証明の正しさは
理解することができません。
さてところで、あなたはこの証明が理解できますかね？

などと質問されたらあなたはなんと答えるべきか。

マリアム・ミルザハニが生きてたらな

>>243
ほぼ信仰心の問題になってしまい、数学ではなくなってる

ところで数学において背理法が正しい論法であることは、
どうやって保証するのでしょうか。

命題を証明していく道筋によって、異なった結果が得られたりするような
ことはないのだということを、一般的に証明することはできるのでしょうか？
また、証明手段として背理法しか命題があるとすれば、それはどの程度
存在するのだろうか。また背理法では証明出来ないような命題というものは
あるのだろうか？

＞また、証明手段として背理法しか命題があるとすれば、

また、証明手段として背理法でしか証明できない命題があるとすれば、