  |
はてなキーワード: abc予想とは
（１）子供 何言ってるかわかんねーしつまんねーんだよ。
（２）文科一類首席合格者 １９８５年に提唱されているのにまだ解けていない時点で終わってんじゃね？
（３）２ちゃんねらー 頭の中にそれがあるのを発見した奴天才だろ。
（３A）５ちゃんねらー バカ、 発見した奴より証明した奴の方が天才なんだよ。
（５）東大理学部数学科の最近の先生 証明法はあると信じられてるんだから必死で考えればあるだろ。まだ見つかってねーってことはお前がバカなんだよ。
（１） 足利幼女殺害事件 平成２年ににんかいが裁判官になったばかりのときに、足利の４歳女子が、全裸死体で発見され、精液等が付着していたという刑事事件。
（２） ABC予想 a+b=c という条件を満たしたいるときに、 ｃ＜Ｋ＊ｄ＾（1＋ε） が成立するという定理であって、 数学の教科書の体系上でも、
特殊な定理であり、解決されると、大量の未解決問題が芋づる式に証明されるとして、学会でも注目されているもの。しかし、一般人は、
全く体系的な技術的地位を教えられていないので、朝日新聞が繰り返し主張するばかりで、なんのことか分からないので、５年くらいむかついてきたもの。
（３） 愁いのPrisoner 平成３０年１１月１４日発売のGLAYの新曲であるが、全国コンサートの開催は、令和元年６月１３日にずれこんだもの。ホロライブ３期生による採用は
令和６年４月２４日と大きくずれ込んだ上、歌詞の多くの全く共感を得られなかったため、かなりの部分を読み替えて適用された。
（４） 人工知能AIによる幾何学の証明 幾何学の証明は人間が自分でやらないと意味がないだろと言われてボロクソに言われている人工知能の技術。
ABC予想は、デビット＝ヤリマッサーが昭和６０年に提唱した、これがあるとフェルマー予想だけでなく、似たような未解決問題が一挙に解決するということだったが、フェルマー予想に対しては
証明をｎ≦５に限定させるという記載があるだけで、３，４，５の理想的な証明はどこにもあがっていない。ＡＢＣ予想は、一読して、多くの専門的研究のすえにたどり着いた定理であり、
難解。 フェルマー予想が出来なかった歴史的経緯も誰一人として説明する者はいない。 何がしたいのか？意味が分からない。
ＡＢＣ予想を証明しなくても、弱いモーデル予想や、カタラン予想は、個別に解決すればいい、しかも、フェルマー予想は既に解決されているので、ＡＢＣ予想は要らない。それよりも・・・
フェルマー予想を研究するとすると、代数的サイクルとエタールコホモロジーという１つの教科書ができる。その教科書を読んだ方がいいのではないかという感じがする。
パスカルの定理は、ジョンブリリアンコットの定理と双対をなして、この定理は色々な技術に出て来るので証明は必要最小限となっている。メネラウスの定理と比を取ると出来るということになっている。
初等幾何学を縦にすると現代法令が理解できるとは思わないので、法学部で学ぶ現代法令の技術は、初等分野の問題の構成に比較して、もっと別種のものではないかと思う。
にわかにおそろしくむつかしくなるということを、我々はまだ知る由もなかったのである。
私が興味を持っているのは、 フェルマーの小定理であり、 a^(p-1) ≡ １ mod p である。 ただしこの場合、a,p は互いに素であるという条件が必要であり、真理関係的卓越性
までは分からない。
なら、望月新一のABC予想の証明に対して、これは証明できてるという人と証明できてないという人もいるのはなぜ？
そういうのみると、法則を規定する定義がそもそも一意に可能だったのかって話になるでしょ？
でも学生は答えと解説を見るまでは疑いなく正しく公式を適用してると思っているかもしれない。
相対性理論とかになってくると延々と自分流の理解から脱却できず知恵袋で恥をかいている人がいる。おそらくこれはそれほど安易に決めつけ理解したのではなくむしろ精一杯苦しんでもがいてその自分が正しいと思っている理解に至ったのかもしれない。
でもまっとうと言われる学者はそれを間違いとはっきり考えている。でもその学者の理解もまた思い込みでないとどうやって証明できるんだろうか？知恵袋で恥かいてるやつも学生が苦しんだ公式ぐらいは一般に正しいとされる理解をするかもしれない。学生と知恵袋の人、知恵袋の人と学者、全ては相対的だ。
そういうことを感じさせるのもまた望月新一周りの紛糾である。ある論理的情報とそれに対する理解内容との矛盾は一意的に評価可能なのかということだよ
ABC予想ってそもそも形式的に証明可能なんですか？ 真か偽かのいずれ一方であることを信じて証明に挑んでる数学者が多い気はしますけど、証明可能かどうかを証明しようとしてる数学者も同時並行で存在してるんでしょうか？
やっぱり証明にてこずっていると思っていたら実は証明不可能な命題でしたってことになったら今まで証明にかけた時間はなんだったんだってなるじゃないですか。それでも永久に証明できない命題に時間を捧げ続けてしまうよりはマシなので、証明可能性を検討する数学者もいてもいいと思うんですけど…
いまさらこれだけ時間をかけてきた命題の証明が実は証明自体不可能だったなんて聞かされたくないっていうサンクコスト効果みたいなのもあるんでしょうけど、永遠に比べれば遅すぎるものなんてないと思いんですよね。
おれ、chatGPT使えるようになって真っ先に望月新一のABC予想についての海外数学コミュニティでの受け止めについて聞いてみたんだけど、その時はまあまあちゃんとした内容（通り一遍ではあるが）が返ってきた。いま望月新一について尋ねてみたらこんなのが戻ってきた。
望月新一（もちづきしんいち）は、日本の漫画家であり、推理小説家でもあります。彼は、特に『名探偵コナン』の作者として知られています。
望月新一は、1965年6月4日に青森県青森市で生まれました。彼は若い頃から漫画や小説を書くことに情熱を持っており、高校生の頃から漫画家としてのキャリアをスタートさせました。
1994年に、望月新一は『名探偵コナン』を連載し始めました。この漫画は、高校生探偵の江戸川コナンが、毒を飲まされて小さくなってしまった身体を利用して、事件を解決するストーリーです。この作品は、世界中で大きな成功を収め、アニメ化や映画化など、さまざまなメディアで展開されました。
望月新一は、漫画だけでなく、小説でも才能を発揮しています。『名探偵コナン』の小説版をはじめ、数多くの推理小説を執筆しています。
また、望月新一は、漫画や小説以外にも、音楽にも興味を持っており、自ら作曲した楽曲を使用したアニメーション作品もあります。
いや数学者だろ、とツッコミを入れたら以下。もっともらしいがデタラメ多い、というか、望月拓郎とごた混ぜになっている。
望月新一（あきら・もちづき）は、日本の数学者であり、代数幾何学を専門としています。主に、モチヅキ理論やモチヅキ加群、モチヅキ因子などの研究で知られています。
代数幾何学は、代数学と幾何学の融合であり、代数方程式の幾何学的な対象である代数多様体を研究する数学の分野です。望月新一は、代数多様体の幾何学的性質を研究する際に、代数的手法を用いて新しい理論を発展させました。
具体的には、望月新一は、代数多様体上の「D加群」と呼ばれる特殊な加群を研究し、それを用いて、代数多様体の幾何学的性質を解明しました。また、望月新一は、代数多様体上の「モチヅキ因子」と呼ばれるものを定義し、これを用いて、代数多様体の双有理幾何学に関する新しい理論を構築しました。
望月新一はせめてあと一つでも日本の雑誌でいいから査読掲載を認めさせることができないものなのか。
掲載されたのが自分とこの雑誌だけなんじゃ到底参照先として使えないよな。論文の内容が正しいって担保が著しく足りないンダもの。
つまり既に証明済みのフェルマーの最終定理とかならともかく現段階でABC予想が正しいとして初めて証明される諸定理を使っての研究は今不可能なままなわけだ。学問が進まない。
望月は自分達さえわかってればいいって態度なんだろうがその理解者が明らかに質的に足りなすぎてる。せめて論文が正しくて安全に活用可能と一般の研究者が判断するにたるぐらいには理解者がいなければダメよね。つまり担保に値すると判断されるレベルの数の雑誌に掲載される程度には理解者（査読に携われるレベルの専門家）を得られなければダメだ。
別に御用学者みたいに大衆に迎合しろって言ってるのとは全然違うことぐらいわかるよね。
それすらわからないふうに自分さえ真理に到達すればいい、最低限の人に理解させる必要などないみたいな態度とってるんじゃまさしく宗教家のそれだよ。望月論文自体が宗教と言われてるのがやっぱりあながち的外れでないことになってしまう。
望月新一のブログを見たがブコメ言う通りお世辞にも文章がうまいとは言えないな。くどい。汚い。エレガントじゃない。
欧米の大学じゃ入学してからしこたま作文能力を扱かれるそうだがあの文章力でよく単位くれたよな？ひいては今のゴタゴタにもつながってるんだと思うけど。
望月くん説明下手すぎー。せめて雑誌編集を担当するレベルの数学者にわからせられないようじゃ相手が馬鹿なのが悪いなんて言い訳通用せんでしょ。
ガリレオも説明義務を怠ったわけじゃないからな。あれは宗教的洗脳を解くという別の意味の戦いも混じってるわけで科学的な説明はガリレオは果たしていたはずだ。むしろ宗教者側もガリレオの理論の整合性は理解していて、でも神を否定するわけにはいかないとむりやり否定する結論ありきで弾圧したに過ぎない。ゴネていたのは宗教者の方。しかし今回ゴネているのはどう考えても望月の方。
望月が今回の件に関しては一ミリも学問を前に進めていないのだ。だってABC予想が正しいと言う前提で証明されるもろもろの定理がいまだ活用されて新たな数学的事実の発見に繋がってないんだろ。だったらそれは論文を書いてないのと同じ。仕事してないのと同じだよ。
キリストの話みたいに単純な文章の解釈が揺れてしまう問題もあるけど、専門技能が高度化しすぎて情報伝達に時間がかかりすぎるみたいな問題もあって、
例えば数学とかの超先端分野とかになってくるとABC予想の某先生とかが個体として持っている膨大な情報を生きている間にコピーできる人間が少なすぎる
これまでの人類は手間暇をかけて少しずついろんな情報を圧縮してどうにかほかの人にも共有できるようにしてたけど、昨今は情報が爆発しててもうどうにもならないレベルに到達しつつあるから、100年単位で時間がかかったとしても肉体とか脳のアップデートしない限り近いうちにいろんなことが頭打ちになって文明レベルがそれ以上上がれなくなる気はする
