Inter-universal geometry と ABC予想 (応援スレ) 52
■ このスレッドは過去ログ倉庫に格納されています
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
（旧"応援"スレが、1000又は1000近くになったので、新スレ立てた。）
（参考）
https://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
https://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
つづく >>148
1．ショルツェ氏はいう、「Cor3.12までは、自明なことしか書いていない。Cor3.12の証明が分からない」と
2．しかしながら、だれが考えても、”Cor3.12までは、自明なことしか書いていない”が、おっとこどっこい勘違い
3．Cor3.12の証明は、IUTのI〜IIIまでを使って成立するものだよね。IUTのIとかIIとかIIIのCor3.11までが”全て自明”とか、そこから勘違いじゃね？
4．そういう勘違いをもとに、「Cor3.12の証明が分からない」と言ったとて、そりゃ あなたの「”Cor3.12までは、自明」の勘違いが原因じゃね？
望月先生は、「顔を洗って出直せ」といったとかｗ 可算選択公理で例えるなら、有限回の選択ならZFの中で可能だが、だからといって
「ゆえに、この作業を可算無限回繰り返せば、
添え字の集合が可算無限でも選択関数が作れる
(ZFの中で可算選択公理が公理ではなく定理として得られる)」
とは言えない。
ショルツにとっての Cor3.12 までの内容は、「有限回の選択ならZFの中で可能である」
に相当するものであり、そんなことは自明だったのだろう。ところが、Cor3.12 でいきなり
「ゆえに、この作業を可算無限回繰り返せば、添え字の集合が可算無限でも選択関数が作れる」
というステップが登場し、いや、それはおかしいと。
しかし、実際のIUTは「〇〇公理」と整備されているわけでもないので、
おかしい部分を正確に言語化することもできない。そんな感じだろう。 >>199
望月IUTが選択公理を否定しているだって？
妄想妄想
お薬をどうぞｗ >>200
ツッコミの仕方が全て的外れ。
まず「選択公理」じゃなくて「可算選択公理」ね。
次に、>>199の
＞「ゆえに、この作業を可算無限回繰り返せば、
＞ 添え字の集合が可算無限でも選択関数が作れる
＞ (ZFの中で可算選択公理が公理ではなく定理として得られる)」
の部分では、可算選択公理を否定しているのではなくて、
可算選択公理が「公理ではなく定理として得られる」と言っている。
これは「公理の否定」とは意味が全く違う。
次に、「望月IUTが選択公理を否定している」のではなくて、
「可算選択公理に例えるなら、こういうことだろ」っていう話。>>199の冒頭に
＞可算選択公理で例えるなら、
と明記してあるしな。結局、>>200はツッコミの仕方が全て的外れ。だめだこりゃ。 >>198
>Cor3.12までは、自明
Th3.11までは、自明 じゃね？
>IUTのIとかIIとかIIIのCor3.11までが”全て自明”とか、
>そこから勘違いじゃね？
ド素人の妄想じゃね？ >>199
その喩えだと
「望月のIUTが不十分」
ってことになるけど、それでいいの？
要するに
「ZFだと可算選択公理すら導けない」
っていってるよね？
つまり
「IUTだとCor 3.12は導けない」
っていってるようなもんだよね？
自爆？ >>199
>実際のIUTは「〇〇公理」と整備されているわけでもないので、
>おかしい部分を正確に言語化することもできない。そんな感じだろう。
「公理」を正確に言語化できない時点で、論文としては不成功
それが数学だよ わかる？ ド素人君 >>203
それでいいんだよ。俺はIUTに懐疑的な立場だからな。 >>204
だから、不成功で構わんのだよ。俺はIUTに懐疑的な立場だからな。 ああ、>>199は ID:g7j/Y73h か
道理でスッキリしてるとおもったよ より直接的に言えば、こういうこと。
・ IUT は Cor3.12 において、ZFCから逸脱した未知の公理Ａに基づく
何らかの操作Ｂを行っている(と推測される)。
・ Cor3.12 で躓いている数学者は軒並みそこで躓いているが、
公理Ａ自体が明確に言語化できているわけではないので、
操作Ｂがおかしいことを厳密な言い方で指摘することができていない。
・ Cor3.12 に躓かずに素通りできてしまった数学者は、
操作Ｂが未知の公理Ａに基づかなければ不可能であることに気づいておらず、
操作ＢがZFCの中で行える普通の操作だと勘違いしている。
また、操作Ｂはそのような勘違いを誘発する構造をしている。それはちょうど、
「有限回の選択ならZFの中で可能なのだから、それを可算無限回繰り返せば、
添え字の集合が可算無限でも選択関数が作れるじゃん(ZFの中で)」
という勘違いに似ているものと推測される。
・ 結局、現状では ZFC＋未知の公理Ａ を仮定しなければ IUT は機能しない(と推測される)。
そして、ZFC＋未知の公理Ａ が公理系として無矛盾なのかはもちろん不明。
もし矛盾してたら IUT 全体が崩壊してしまう。
そして、その前に「公理Ａ」が何なのかすら言語化できていない。 >>199の喩えは的確 >>200のツッコミは全然トンチンカン
やっぱり ID:DJscRLHQ は日本語が読めてない
この人には大学数学は初歩から全く理解できないだろう >>208
>・ IUT は Cor3.12 において、
> ZFCから逸脱した未知の公理Ａに基づく
> 何らかの操作Ｂを行っている(と推測される)。
「ZFCから逸脱してる」かどうかはともかくとして
操作を正当化する「概念」を構築するための公理
が十分でない、とは思うね
>・ Cor3.12 で躓いている数学者は軒並みそこで躓いているが、
> 公理Ａ自体が明確に言語化できているわけではないので、
> 操作Ｂがおかしいことを厳密な言い方で指摘することができていない。
”Not Even Wrong"という状態ですね
だからといってrightとはいえませんけどね
>・ Cor3.12 に躓かずに素通りできてしまった数学者は、
> 操作Ｂが未知の公理Ａに基づかなければ不可能であることに気づいておらず、
> 操作ＢがZFCの中で行える普通の操作だと勘違いしている。
> また、操作Ｂはそのような勘違いを誘発する構造をしている。
「ZFCの中で行える」かどうかはともかくとして
操作を正当化するための概念を構成する公理が整ってないと意味ないね
群とか圏とか抜きにして、準同型とか関手とか考えるようなもの
>・ 結局、現状では ZFC＋未知の公理Ａ を仮定しなければ IUT は機能しない(と推測される)。
> そして、ZFC＋未知の公理Ａ が公理系として無矛盾なのかはもちろん不明。
> もし矛盾してたら IUT 全体が崩壊してしまう。
> そして、その前に「公理Ａ」が何なのかすら言語化できていない。
「ZFC＋」は抜きにして、公理が足りてないね
しかもそれを埋めたところで無矛盾でないかもしれない
望月氏は楽観的だけど、他の人は（弟子も含めて）もう懐疑的なんじゃないかな
正直プロムナードの参加者もIUTをトレースする気はないでしょ
Cor 3.12が正当化できればいいんで、別にIUTに拘る必要はない
そしてIUTとは独立の正当化が成功すれば、ABC予想の解決者は
望月ではなく別の人になるね そりゃみんな血眼になるね 一言でいえば、ショルツェ氏と同じ間違いをしていると思うよ
１．選択公理の例えは、例えでしかない。その例えが、きちんとIUTの具体的なロジックに適合しているという証明がない限り、数学の議論にはならない
（本気で、「きちんとIUTの具体的なロジックに適合しているという証明」が書けるなら、論文にして公開しなよｗ）
２．ショルツェ氏も同じ。例えば、こういうモノドロミーを考えたら矛盾が起きるという
だが、下記のwoitブログでは、Dupuy氏との議論で、”extremely difficult notion of a Hodge theater”とか
”However, these long discussions are all about interpretations. ”と
Hodge theaterが難しいからと、解釈に逃げて、最後は
”I’m happy to continue any further discussions by e-mail.”（Peter Scholze says: May 1, 2020 at 4:42 pm）と、裸足で逃げ出す
３．数学の定義と論理は、何通りもの解釈を許さないようにできているもの。「解釈の問題」に逃げ込むのは、なんだかね
４．あと、SS文書のもう一人Stix氏が離脱しかかっていることに、ご注目。
（>>51） Stix氏の離脱がはっきりしたら、SS文書は紙くずですよ。Oberwolfach 7 Mar - 13 Mar 2021 が終われば、はっきりしますよｗ
つづく >>211
つづき
（参考）
https://www.math.columbia.edu/~woit/wordpress/?p=11709
（woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
Peter Scholze says:
April 30, 2020 at 3:32 am
Reading the IUT papers, however, you are presented with some extremely difficult notion of a Hodge theater, together with a highly non-obvious notion of isomorphisms of such: Isomorphisms do not preserve nearly as much structure as you would expect them to, and this is by design as Mochizuki points out. So I find it very hard to “guess” what something like a surrounding “theory” might be. For all I can see, Hodge theaters fit neither into the framework of “structures” as used in the wikipedia entry https://en.wikipedia.org/wiki/Interpretation_(model_theory) you linked to, nor the topos-theoretic framework of Caramello. (Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set. I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters, the problem being the very lax notion of isomorphisms of Hodge theaters.)
However, these long discussions are all about interpretations. Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above.
（終わり）
以上 >>211
＞数学の定義と論理は、何通りもの解釈を許さないようにできているもの。
IUTはそうなってないね 理解できない素人には分からないだろうけど >>211
＞こういうモノドロミーを考えたら矛盾が起きる
その指摘が違うなら正面から論破すればいいのに
ショルツを感情的になじるだけで裸足で逃げたね
望月とかいう人は >>213
＞＞数学の定義と論理は、何通りもの解釈を許さないようにできているもの。
＞IUTはそうなってないね
じゃ、そう指摘しなよ、論文書いて。５ｃｈで言っても数学にはならんさｗ
>>214
＞その指摘が違うなら正面から論破すればいいのに
＞ショルツを感情的になじるだけで裸足で逃げたね
＞望月とかいう人は
すり替えだな
Dupuy氏との議論で、
裸足で逃げたのは
ショルツェ氏だよ >>215
>>>数学の定義と論理は、何通りもの解釈を許さないようにできているもの。
>>IUTはそうなってないね
>じゃ、そう指摘しなよ、論文書いて。
それより、君が１通りの解釈とやらを示したら？ 論文で
でも素人に論理的に筋の通った論文書けるかなあ
>>ショルツを感情的になじるだけで裸足で逃げたね
>>望月とかいう人は
>Dupuy氏との議論で、裸足で逃げたのは
>ショルツェ氏だよ
IUTも理解できないのにただCor3.12に食いつく他人に用はないだろ >>216
>それより、君が１通りの解釈とやらを示したら？ 論文で
１．まったく不要だな。
２．そもそも、望月氏はSS文書に逐一反論している。
SS文書は２回出ている。その２回とも反論し、３度目のSSの回答なし。
そのことは、玉川先生が昨年４月の記者会見で、名言している。「望月反論に回答無し」だと
３．望月氏はその後、ホームページに詳細説明の文書を何通かアップしている。また、補強の論文も書いている
４．望月氏を支持する文書多数。その最右翼が、>>3のPromnade in IUT http://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/documents/RIMS-Lille%20-%20Promenade%20in%20Inter-Universal%20Teichm%C3%BCller%20Theory.pdf
さらに、Dupuy氏のarXive投稿や、Joshi氏の論文もある
５．予定だが、Oberwolfachの集会（3月）があり
6月頃から４本のIUTの国際会議がある
６．プロ数学者のターゲットは、過去の望月IUTから、
”Hoshi-Mochizuki-Minamide”（>>45より）(明示公式)へ移っている
俺たち素人は、その動きを見ていればいいんだ
今年中に、IUTの成否はだれの目にもはっきりするだろう
>IUTも理解できないのにただCor3.12に食いつく他人に用はないだろ
IUTのホッジシアターが、”extremely difficult notion of a Hodge theater”とか
woitブログで白状したのは、ショルツェ氏ですよ
なんだ、”notion of a Hodge theater”が分かってない？
そりゃ、3.12が分からんはず
そもそも、「3.12までは自明だ」と、豪語したのはだれ？ >>217
>２．そもそも、望月氏はSS文書に逐一反論している。
最後の反論で、Faltings’ theorem (Shafarevich conjecture) applied to the Weil restrictionを通常のFaltings’ theoremと勘違いしたという話があったはず
回答というか講義になってしまうから、SSは回答しなかったんだろう
>IUTのホッジシアターが、”extremely difficult notion of a Hodge theater”とか
woitブログで白状したのは、ショルツェ氏ですよ
>>212を見てもわかる通りホッジ劇場が分からないという話ではない >>217
>>君が１通りの解釈とやらを示したら？ 論文で
>まったく不要だな。
というか不能でしょ
>望月氏はSS文書に逐一反論している。
でもモノドロミーの件についてはなにも反論できてないね
要するに公理が足らないのに補えない
>SS文書は２回出ている。その２回とも反論し、３度目のSSの回答なし。
望月はなにも反論できないと明らかになったから コメントの必要がなくなった
>俺たち素人は、その動きを見ていればいいんだ
>今年中に、IUTの成否はだれの目にもはっきりするだろう
…君、いいかげん愛国依存症から抜け出したほうがいいよ
恥かくだけだよ >>199から選択公理を抜きにしても、比喩として的確かもしれんね
「任意の自然数ｎについて成立するから、極限順序数ωでも成り立つ」
「0.9<1,0.99<1,0.999<1,… だから、0.999…<1」
明らかに飛躍があるのに、当人は連続してると思ってる
これは論理が分かってない証拠だな
数学者は論理が分かってる、というのは、実は幻想
木村某とかいう数学者の「無限のスーパーレッスン」が
集合論研究者からみるともう初歩的誤り連発なのに
まったくトンデモ扱いされないのが
「純粋数学帝国主義」による「集合論・数理論理学虐待」
だとフッチーノ氏も嘆いてたな
某数学者はその昔「多様体愛護協会」なんてつくってたが
個人的には「論理学愛護協会」を作ったほうがいいんじゃないかな 木村某曰く
「順序数について、超限帰納法が適用できる」
「選択公理の下で、全ての集合は整列できる」
↓
「すべての集合は「順序数」だから、超限帰納法が適用できる」
Set A曰く
「x,yが順序数であれば、x∈y⇔x⊂y」
「選択公理の下で、全ての集合は整列できる」
↓
「a,bが集合なら、「順序数」だからx∈y⇔x⊂yだ」
数学者も専門外だとド素人と同レベルだと露見・・・ >>4
おサルこと、維新さんは、
ほんと、サイコパスだね
ああ言えばこういう
こう言えばああいう
そういうディベートみたいな議論はうまいね（数学の議論とは異質のね）
さすがサイコパスのお猿だ
だがね、結局その態度が、数学の落ちコボレにつながり（ロジックが切れ切れ屁理屈だよね、それってｗｗｗ）
人生の落ちこぼれにつながる（屁理屈で人を言い負かして、信頼を失い、人間関係が壊れるよね）
そして、結局、世間から相手にされない、無職のヒキコモリか
まあ、今年はっきりしますがな
つーか、進行形だよ
Promenade in IUTの大行進が、始まっています >>222
>まあ、今年はっきりしますがな
>つーか、進行形だよ
>Promenade in IUTの大行進が、始まっています
愛国馬鹿の妄想乙 >>222
>まあ、今年はっきりしますがな
愛国馬鹿のいう「今年」は永遠に来ない >>222
>つーか、進行形だよ
Cor3.12の証明もできないのに何が進行してるんだか >>222
>Promenade in IUTの大行進が、始まっています
弟子ですらCor3.12の証明が理解できず
単に予想として利用してるだけ
これじゃPromenade in Mochizuki's inequalityだな 戦争に行きたくない「愛国者」たち…
https://www.gentosha.jp/article/16173/
国際政治学者 藤原帰一東大教授曰く
「靖国参拝などへの支持は右翼が強くなったというより
『日本は良い国と思いたい』気分から生まれているのではないか」 >>228
自民党の総裁候補三人の秋葉原駅頭での街頭演説をを聴き
安倍、谷垣ら候補者と握手した誠実で優しそうな私大学生は、
改憲、集団的自衛権、再軍備等の肯定派です。
しかし、では徴兵制の可能性を考えるかとの質問には、
考えたこともない、戦争に参加するのは嫌だ
とあっさり答えるのです。 >>228
どうも「常識」として蔓延しつつある「右傾化」「保守化」は、
相当に「気分的」「観念的」なものでしかないようです。
韓国や台湾では「常識」である、
嫌だけど国のためなら兵役へ赴いて当然、覚悟はしている
という決然たる覚悟にはまずお目にかかれません。 生きづらい若者と年をとれない中年がすがる
「ウヨク」という麻薬
https://www.gentosha.jp/article/16172/
『生き地獄天国』（太田出版）という書があります。
女流作家雨宮処凛がその青春の彷徨を綴った自伝エッセイで、
「超国家主義『民族の意思』同盟」という右翼団体へ参加し、
維新赤誠塾というバンドを組み「ミニスカ右翼」と呼ばれる姿が、
この本のクライマックスです。
アトピーといじめに苦しめられ、
両親には優等生であることを強要された少女時代から、
ビジュアル・バンドのグルーピー、リストカット、自殺未遂を経て、
美大浪人、人形アーティスト志望で上京、
「ガロ」系マンガ、元オウム信者、パフォーマー、バックパッカーらが
うじゃうじゃたむろする中央線沿線のいわゆるサブカル文化へ浸り、
バンドを組み、そして右翼闘士に。
そんな半生記のなかに、
「私にとっては、右翼も左翼も死体写真集もサブカルチャーだったからだ」
という一文がありました。 >>230
他人との折り合いの悪さや肥大した自意識から、
居場所を狭め承認欲求を抱えてアイデンティティを模索する若者は
いつの時代にもいます。
殊に豊かさが大衆的に享受される世の中では、
かつてなら特権階級のものだったこうした苦悶もまた大衆化します。
雨宮のごとき少年少女は日々生まれ、
自らが自らである証を実感したくて、
サブカルチャーを追い、さらには新宗教カルトや過激で異形な政治活動にも
魅惑されてゆくでしょう。 >>231
自分個人の生きにくさを世の中全体がゆがんでいるせいにして、
世の中が変われば幸せでおもしろい日々が私にも来ると信じる。
自分自身の矮小さ脆弱さを、民族だの階級だの革命だのといった
偉大な使命へ自分を委ねている自覚で乗り超えた気になる。
「新世紀エヴァンゲリオン」のヒット以来、
自分の危機と世界全体の危機とがシンクロしてゆく物語を
「セカイ系」と呼びますが、
「右翼」「左翼」に代表されるイデオロギーはもとより
「セカイ系」だったのかもしれません。 >>222
(引用開始)
そういうディベートみたいな議論はうまいね（数学の議論とは異質のね）
さすがサイコパスのお猿だ
だがね、結局その態度が、数学の落ちコボレにつながり（ロジックが切れ切れ屁理屈だよね、それってｗｗｗ）
人生の落ちこぼれにつながる（屁理屈で人を言い負かして、信頼を失い、人間関係が壊れるよね）
そして、結局、世間から相手にされない、無職のヒキコモリか
(引用終り)
1．サイコパスの維新さん、あんたは、議論している相手を攻撃するサイコパス性格だよね
2．前スレでも、議論の相手を攻撃して、1日100レスくらい書いていたね（相手は私ではないよ）
旧ガロアすれでも、似たことがあった（狂犬とイヌコロ論争だったね）
3．ここはIUTスレだよ。あんた、アンチIUTならそれでいいけどさ、議論の相手を攻撃してばかりでさ
いまIUTで起きていることが、全然理解できていないじゃん
4．あんたの脳内時計は、2018年のSS文書から進んでいない
Promenade in IUTの大行進とか、理解できない、理解しようとしない
5．いまIUTで起きていることは
「望月氏が正しく、ショルツェ氏が間違っていた」という仮定をおけば、全て説明がつく
6．逆に、「ショルツェ氏が正しい」と仮定したら、いま起きていることは、全く説明がつかないよね
もう少し冷静に考えたら良さそうに思うが
サイコパス性格だと、それが出来ないんだろうね
哀れだね >>233
＞「望月氏が正しく、ショルツェ氏が間違っていた」
愛国馬鹿の妄想 >>233
＞冷静に考えたら良さそうに思うが
冷静に狂う馬鹿 >>233
＞「ショルツェ氏が正しい」と仮定したら
「ショルツェが間違ってる」という主張を、望月は論理的に成し得なかった
したがって、数論幾何学者がＩＵＴを認めない、という今の状況がある
京大数解研の会議への参加は、ＩＵＴの承認を意味しない
そんなのは愛国馬鹿の妄想でしかない いいかげんSet Aは
「自分は数学ができる天才ではなかった」
という自分だけの危機を愛国フェスティバルで
発散してごまかすのはやめたほうがいい
あんたは所詮怠惰で無能なただの人
勉強しない人が数学ができるようになるわけがない
検索は勉強でもなんでもない ただの自己満足
いいかげん気づこうな 人生が終わる前に >>233
＞議論している相手を攻撃
ウソツキはこの世に生きる資格がない >>233
>1日100レス
●チガイスレッドは埋めるに限る
●チガイも埋めるに限る SetAよ 「セカイ系」パフォーマンスは他所でやってくれ エヴァのアスカはいらない
乃木坂の齋藤飛鳥だけで十分だ 気違い =ID:l/M/iSHN が荒らしてるね。なんなんだこいつ？
文系のアホか？ >>244
>気違い =ID:l/M/iSHN が荒らしてるね。なんなんだこいつ？
>文系のアホか？
ID:l/M/iSHNさんは、この人は、いわゆる維新さん(>>4)
数学板全体では、おサル＝サイコパス＊）のピエロ、不遇な「一石」、哀れな素人氏は”サル石”と呼ぶ
自称東大数学科出身
私の見るところ、どこかFラン数学科修士卒です。無職無収入で引きこもりの期間が長かったようです（が、今は働いているかも）
小学生のときに、遠山啓氏の「数学入門」を読んだそうで、それでFラン数学科へ進んだようですね
（余談ですが、小学生で遠山啓氏の「数学入門」読めた程度、「自分は数学天才」と勘違いしたのでしょうね）
維新さんの時代は（彼の年齢は推定50〜60歳）、数学科など出ても、Fランだと高校数学教師がせきのやま
彼はアカデミックポストについて、数学研究者に成りたかったみたいですが、夢かなわず
その恨みつらみで、数学議論にかこつけて、すぐ人身攻撃に走るのです
「お前は数学ができない」「お前には数学は無理だ」とかね
こっちは、別に数学の（アカデミック）プロなど目指していないのにね
なんだかね（こっちは、自分が数学ができるとも思っていないし）
それに、IUTみたいな難しい数学を心底理解しようという気もない
でも、IUTは数学史上の珍事だと思っています
余りにも、時代を超越した望月IUT論文
2012年に投稿されるも、世界の一流数学者たちが「読めない」「分からない」の大合唱
2018年に、大天才ショルツェ氏から、ダメ出しをくらう望月IUT
が、どっこい、2020年4月のIUT査読OK（アクセプト）の”あっと驚く”記者会見、大逆転
おもろい
ヤジウマとして
見ていて、楽しいｗｗ
それだけなのですがねぇ〜ｗｗｗ >>245
（引用開始）
でも、IUTは数学史上の珍事だと思っています
余りにも、時代を超越した望月IUT論文
2012年に投稿されるも、世界の一流数学者たちが「読めない」「分からない」の大合唱
2018年に、大天才ショルツェ氏から、ダメ出しをくらう望月IUT
が、どっこい、2020年4月のIUT査読OK（アクセプト）の”あっと驚く”記者会見、大逆転
おもろい
ヤジウマとして
見ていて、楽しいｗｗ
（引用終り）
20世紀から連綿とつづく
日本(RIMS) 数論幾何の系譜と伝統
伊原スクール−中村・玉川・望月のグロタンディーク予想解決ー望月IUTーその先に 星ー南出（ABC明示公式の解決）
素晴らしいじゃないですか！
もっと言えば、高木類体論や、小平先生の系譜でもある
素晴らしいじゃないですか！！
日本人の誇りですね >>245
ID:pYr0FQSU=ID:VIpdxiJ5は集合(Set)Aと呼ばれてる
その昔文献のリンクを張りそこなって
自分のPCのディレクトリをさらしたときに
"seta"と書いてあったのが由来
当人は大阪大工学部卒とかいってるが
数学に関してはFラン大卒並の無知無恥ぷりん
長年ガロア理論のスレを立ててたが
教科書を頭からキチンと読む忍耐力がないので
何年かかっても正規部分群さえ正しく理解できず
ガロア理論の基本定理すら誤解したまま自爆した
実に哀れな奴である
そのくせ、やたら自惚れが強く
「自分は式を眺めただけで、直感で理解できる！」
と思ってるらしく、拾い読みした文章だけで推論して
「わかったぁぁぁぁぁ！！！」
と吠えまくるが、正しかった試しがない
εδもダメ、正則行列もダメ、
♪ダーメダメダメ、ダメ人間 ダーメ人間（大槻ケンヂかｗ）
っていうくらいわかってない >>245
>こっちは、別に数学の（アカデミック）プロなど目指していないのにね
あたりまえだ
大学１年の数学で落ちこぼれた劣等生が
数学のプロになれるわけなかろうが！ｗ
>こっちは、自分が数学ができるとも思っていないし
あたりまえだ
大学１年の数学で落ちこぼれた劣等生が
数学ができると思うほうがおかしいわ！ｗ
>IUTみたいな難しい数学を心底理解しようという気もない
だったら興味もつなよ オチコボレ君
>でも、IUTは数学史上の珍事だと思っています
出たぁ！
なにかというとニッポン自慢をしたがる愛国馬鹿
そんなもんだから、全く理解できないくせに
「IUTは正しいィィィィィ！！！
世界に冠たる大ニッポン帝国！！！」
と狂賛しまくり
ついた綽名がIUT狂賛党員
>ヤジウマとして見ていて、楽しいｗｗ
>それだけなのですがねぇ〜ｗｗｗ
違うだろ
なにもいいことがなかった人生の負け犬として
ニッポン自慢したくてたまらない
それがホンネだろ？
大学受験で負け（京大に入れず）
出世競争で負け（数学の初歩も分からん無能じゃ仕方ない）
自国自慢で他国民を馬鹿にして憂さ晴らし（ああみっともないｗ）
こんな負け犬にだけは、なりたくないもんですねえ・・・ >>246
>20世紀から連綿とつづく
>日本(RIMS) 数論幾何の系譜と伝統
>素晴らしいじゃないですか！！
>日本人の誇りですね
なんだ？この愛国馬鹿阿呆●違い野郎ｗｗｗｗｗｗｗ 何がしたいんだか分からない人 （１）
雨宮 処凛（あまみや かりん、1975年1月27日 - ）は、
作家、活動家。反貧困ネットワーク世話人、
『週刊金曜日』編集委員、厚生労働省ナショナル・ミニマム研究会委員、
「こわれ者の祭典」名誉会長。
2000年のデビュー前後は「ミニスカ右翼」と呼ばれた右翼活動家だったが、
後に「ゴスロリ作家」を称する左派系論者に転向した。
2006年以降はプレカリアート問題に取り組み、
格差・貧困問題をメインテーマとする。
日本ジャーナリスト会議賞を受賞している。 生い立ち
北海道滝川市出身。
1歳の時からアトピー性皮膚炎に悩み、
それが原因で思春期にいじめ、不登校、家出、自殺未遂の経験をもち、
10代後半にはヴィジュアル系バンド（XとBUCK-TICK、LUNA SEAなど多数）
の追っかけをくり返した。
その後、1996年からはMALICE MIZERのバックダンサーをつとめる。
大学受験では美大を2浪し、浪人中にアルバイトをしていたが、
数日で解雇されることが連続したため自暴自棄になり、
オーバードースで自殺未遂を経験した。
球体関節人形作家天野可淡の作品に傾倒し、
天野の仲間の吉田良に弟子入りしたが、
粘土をこねて人形を作る際にアトピー性皮膚炎が悪化し挫折、
リストカットを繰り返す日々が続いたという。 「ミニスカ右翼」、作家デビュー
20歳の時、自身の生きづらさから
「今の日本はおかしい」
という違和感に駆り立てられ、右翼活動に身を投じる。
たまたま読んだ『ゴーマニズム宣言』第3巻の鈴木邦男に
イベントの打上げで会ったのがきっかけ。
鈴木の著書を読み、そして出所したばかりの見沢知廉に会い、
2年間、右翼団体に属する。
右翼活動家（超国家主義『民族の意思』同盟）時代には、
ロックバンド「姫処凛」、「維新赤誠塾」、「大日本テロル」などを結成し
ボーカルをつとめた。
そのため、彼女のパンク・ファッションなどの外見と
従来の右翼に対するイメージのギャップから、
「ミニスカ右翼」として一時は話題になった。
元一水会顧問の作家、見沢知廉の弟子になる。
1999年以後、数回にわたって塩見孝也と北朝鮮に渡航し、
日本人拉致に関与したともされるよど号グループに会ったことから、
雨宮が8歳の時に起こった日本人拉致事件とのかかわりで
2003年、自宅に「ガサ入れ」を受けた。
自身の壮絶な体験をもとにした処女作『生き地獄天国』が注目を集め、
青少年の自殺やいじめをテーマに取り扱った作品を発表した。
また、映画の脚本も手がけており、
ドキュメンタリー映画『新しい神様』（監督：土屋豊）では
雨宮自身が主役として出演している。 右翼からの離脱、「ゴスロリ作家」へ
日本国憲法前文を読んだことがひとつのきっかけで、
右翼思想に疑問を抱くようになり、
2001年「大日本テロル」解散後は、
「（国家や皇族などに対して）依存してるだけで敬意が感じられない。
自分が目指していたのはこんなものではない」
と、右翼思想からは一定の距離を置くようになった。
のち、関係していた右翼団体からも脱退。
その後「生きづらさ」の原因の一つに新自由主義の拡大がある
と考えるようになり、自ら「左傾化した」と表明した。
本人は自らの社会に対するスタンスが根本的な転回を経たとは認識してはおらず、
「多くの人が生きづらい今のこの国（日本）は嫌だ」
という違和感はかつて右翼活動をしていたころと変わっていない、
或いは、「生存を求める」ことに右や左は関係ない、と語っている。
ロリータ・ファッションを好んで着用しており、
「ゴスロリ作家」と名乗っていたが、
2010年頃からはあまり着なくなった。 プレカリアート問題の論客
2006年以降『論座』・『週刊金曜日』・『しんぶん赤旗』・『思想運動』といった
革新系、左派・左翼系メディアへ寄稿し、左派系論者として活動をしている。
社会民主党の機関紙である『社会新報』にもコラムを掲載した。
同年から、新自由主義の拡大の結果増加したプレカリアートの問題をテーマにした
取材、執筆活動に力を入れており、フリーターらによるデモや集会にも参加している。
そうした中から生まれた作品として、『生きさせろ! 難民化する若者たち』がある。
このような活動から、朝日新聞は雨宮を「プレカリアートのマリア」と呼んだ。
2007年7月18日放送の『筑紫哲也 NEWS23』「私の多事争論」で
「生きさせろ!」という題名のポエムを発表。
肺癌で入院中だった筑紫哲也の代役を務めている。
2007年12月21日号より、椎名誠の退任に伴い、
『週刊金曜日』編集委員を務めている。
2008年4月からは、『ビッグイシュー』日本版の支援組織
「NPO法人ビッグイシュー基金」の相談役も務めている。
新型コロナウイルス感染が拡大した2020年3月、
雨宮が世話人をつとめる「反貧困ネットワーク」の呼びかけで
「新型コロナ災害緊急アクション」が結成される。
貧困問題に取り組む36団体からなるこの緊急アクションのメンバーの一人として、
コロナによる困窮者支援に力を入れ、生活保護申請の同行などもしている。
また、コロナ禍ではペットとともにアパートを追い出され、
ホームレス化する人も少なくないことから、
ペット連れの困窮者を支援する「反貧困犬猫部」を結成。部長となる。 バンギャとしての活動
10代をバンギャとして過ごしたが、
2009年頃から「第二次ヴィジュアルブーム」が本人の中で始まり、
新宿ロフトのLooftopで連載「一生バンギャル宣言」を開始。
2011年には、新宿ロフトで
「雨宮処凛presents 『バンギャル ア ゴーゴー』」
を2回にわたって開催。
VOL.1の出演バンドはMix Speaker’s,Inc.とダウト。
VOL.2の出演バンドはBORN、ALSDEAD、defspiral 要するに目立ちたいんかな？ Set Aと全く同じで… 刹那的に生き急いでる感じですかね
椎名林檎さんっぽい。。。
雨宮処凛、うん、似てる！
🍎 ｐｕｔ
ｙｏｕｒ
ｃａｍｅｒａ
ｄｏｗｎ
↖ｺﾚっぽぃ そうきたか・・・
あんた、数学以外では冴えてるよな
椎名林檎はこれしか知らんけど・・・いい曲だｗ
https://www.youtube.com/watch?v=ECxBHhMc7oI&;ab_channel=SheenaRingoVEVO ちなみにV系の歌をなんもしらんコドモたちが唄い踊るとこうなる↓ｗ
https://www.youtube.com/watch?v=uZ11JUZM8V0&;ab_channel=HITGIRL2
すぅ「V系って何？」
ひめ「知らずにやってたんかい！」
すぅ「じゃ、ひめたん知ってるの？」
ひめ「知らんｗ」 ∞
艸//)…sm…ﾄﾞｴﾑ…
**\
δδ
…ﾓｼｸﾊ…
。○
∞ 👠ﾋﾟﾝﾋｰﾙﾅｰｽ✨
´д`)σ゛ ﾅﾘﾀｨﾀｨﾌﾟ?
…ｷｨﾁｬｯﾀ…
ﾇｼｻﾏ🐑ﾒ~ｻﾏ、ｺﾞﾒﾝﾅｻ~ｨ!
✨💫✨餅様✨🌟✨
ｳﾞｪﾘ-ﾐﾗｸﾙ!雨zing!!
∪ｧｩｪ-ｻﾑｯ!!!
|。○
|=³🐑ｺﾞﾒﾝﾅｻ~ｨ! V系…
┌───┐
│ ▷ │
└───┘Vㄘゅｩｯ!ﾊﾞ-
↗ﾃﾞｽﾅ。 >>212
(引用開始)
https://www.math.columbia.edu/~woit/wordpress/?p=11709
（woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
Peter Scholze says:
April 30, 2020 at 3:32 am
Reading the IUT papers, however, you are presented with some extremely difficult notion of a Hodge theater, together with a highly non-obvious notion of isomorphisms of such: Isomorphisms do not preserve nearly as much structure as you would expect them to, and this is by design as Mochizuki points out. So I find it very hard to “guess” what something like a surrounding “theory” might be. For all I can see, Hodge theaters fit neither into the framework of “structures” as used in the wikipedia entry https://en.wikipedia.org/wiki/Interpretation_(model_theory) you linked to, nor the topos-theoretic framework of Caramello. (Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set. I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters, the problem being the very lax notion of isomorphisms of Hodge theaters.)
However, these long discussions are all about interpretations. Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above.
（終わり）
ショルツェ氏は、「Cor3.12までは、自明なことしか書いていない」と言いながら
”some extremely difficult notion of a Hodge theater”とのたまう
あれあれ？
「Cor3.12までは、自明なことしか書いていない」んじゃないの？
まあ、”Hodge theater”が分からないなら
Cor3.12の証明が分からなくても不思議なし！！ ｳﾞｨ゛ｼﾞｭ゛ｧ゛ﾙ゛系゛ﾀﾞﾀ…
∞ ๑~ ๑~
д<🔥)ﾋｬｯ
сノ彡
σ彡 >>260-261
どうも
お久しぶりです
また〜りして言ってください（＾＾ ∞ ﾇｼｻﾏ ｺﾝﾊﾞﾝﾜ
´∀`)ﾉ゛ﾇｼｻﾏ✨餅様✨ﾊ…
14星座ﾃﾞﾊ
🐳くじら座🐳
ﾅﾝﾃﾞｽｮ~🎶
…ｷｯﾄ…
✨⚡✨天才のﾎｰﾙ✨💫✨
| ∞ ﾅﾝﾃﾞｽﾈ…
(*´∇`)ﾉ゛ ｿﾚﾀﾞｹ
🎶ｫ休ﾐﾅｻ~ｨ🎶 >>262
IUTは、世界中で認められつつある
独 Oberwolfach研
仏 Lille大
英 Nottingham大
米 Vermont大他（他に カリボルニア バークレイへ望月氏出張講演も）
数学大国の独仏英米で、IUTは認められつつある
おっと、Porowski氏とフェセンコ先生は、ロシアだったね
IUT逆転オセロの始まり始まりぃ〜〜！ >>246
>高木類体論・・の系譜
下記
類体論→ノイキルヒ・内田（遠アーベル）→「代数曲線の基本群に関するGrothendieck予想」（中村 玉川 望月）ですね
なお、下記wikipediaの「幾何オブジェクトのプロパティを基本群のプロパティに減らすことである」は
英文「whose main theme is to reduce properties of geometric objects to properties of their fundamental groups」
の誤訳ですね（”reduce”→「減らす」）
https://www.jstage.jst.go.jp/article/emath1996/1997/Autumn-Meeting1/1997_Autumn-Meeting1_1/_pdf/-char/ja
代数曲線の基本群に関するGrothendieck予想について 中村博昭 玉川安騎男 望月新一
P7
ステップ(i)では、内田はBrauer群を用いたNeukirchのアイディアを使いましたが、
我我の場合Cの閉点に対する惰性群は消えていて（略）
ステップ(ii)は内田の場合とほぼ同様で、k(C)の類体論の相互律を使います。
https://ja.wikipedia.org/wiki/%E3%83%8E%E3%82%A4%E3%82%AD%E3%83%AB%E3%83%92%E3%83%BB%E5%86%85%E7%94%B0%E3%81%AE%E5%AE%9A%E7%90%86
ノイキルヒ・内田の定理は、代数体に関するすべての問題は、絶対ガロア群（英語版）に関する問題に還元できることを示している。ユルゲン・ノイキルヒ（1969）は、同じ絶対ガロア群をもつ2つの代数的数体が同型であることを示し、内田興二（1976）は、代数的数体の自己同型がその絶対ガロア群の外部自己同型に対応するというノイキルヒの予想を証明することによってこれを強化した[1]。フロリアン・ポップ（1990、1994）は、素数体上で有限に生成される無限体に結果を拡張した。ノイキルヒ・内田の定理は、遠アーベル幾何学の基本的な結果の1つである。主なテーマは、これらの基本群が十分に非アーベルである場合、幾何オブジェクトのプロパティを基本群のプロパティに減らすことである。
https://en.wikipedia.org/wiki/Neukirch%E2%80%93Uchida_theorem
Neukirch–Uchida theorem
The Neukirch–Uchida theorem is one of the foundational results of anabelian geometry, whose main theme is to reduce properties of geometric objects to properties of their fundamental groups, provided these fundamental groups are sufficiently non-abelian. 積極的に認めようとしない海外の勢力 ってどこですか？
ボン大学一派ですか？ >>266
>逆転オセロの始まり始まりぃ〜〜！
あんたなぁ こんなカキコばっか続けてても
人生のオセロの石 一枚も逆転でけへんよ
ほな、あんたに問題だしたるわ
解けたら、あんたのオセロの石
一列分逆転させたってもええわ
（問題）
a_1,a_2,…,b_1,b_2,… を体Kの元とする
（Kは実数体Rでも複素数体Cでもなんでもええで）
で、下記の関係式が成り立つとする
b_1-a_1 = 0
b_2-a_1b_1+a_2 = 0
b_3-a_1b_2+a_2b_1-a_3 = 0
…
b_k-a_1b_(k-1)+a_2b_(k-2)-…+(-1)^ka_k = 0
そのとき、b_kをa_1,…,a_kによる一般式で表してみ？
線型代数分かっとったら、解ける筈や
どや？😀 >>270の補足
あんた「一般式」の意味わかるか？
連立線型方程式の解の一般式書けちうのは
解を求めるんとは違ういうんは分かるやろ？
いっとくけど、>>270の問題で代入繰り返したら
式の計算できるヤツやったら、個々のb_kに関する式なんぞ
アホでも求まるさかい、そういうんを聞いてるんとは
違ういうんは理解せえや
今日一日時間やるさかい、考えて答えや
逃げたら一生線型代数の基本も知らんドアホ扱いしたるからな
覚えとけや ヴォケ！ >>269
>積極的に認めようとしない海外の勢力 ってどこですか？
>ボン大学一派ですか？
えーと
１．「積極的に認めようとしない」の定義が、はっきりしないが
２．細分化して、
１）積極的否定、２）消極的否定、３）ほぼ中立、４）消極的肯定、５）積極的肯定
と５分する
３．「積極的に認めようとしない」が、１）積極的否定の意味なら、いまプロ数学者は減っていると思います
例：Stix氏
４．「積極的に認めようとしない」が、５）積極的肯定の否定の意味なら、１）〜４）全てですから、沢山いるでしょうけど
それは仕方ない。数学でも専門が違えば、「IUTは自分の研究と関係ない」となりますから
５．余談ですが、”４）消極的肯定”の意味では、日本の小山先生とか黒川先生とかでしょうかね
遠アーベルの専門家ではないけれど、IUTには好意的です
玉川先生は、当然”５）積極的肯定”ですね >>273
あんたなぁ こんなカキコばっか続けてても
人生のオセロの石 一枚も逆転でけへんよ
はよ 問題解きや〜
（問題）
a_1,a_2,…,b_1,b_2,… を体Kの元とする
（Kは実数体Rでも複素数体Cでもなんでもええで）
で、下記の関係式が成り立つとする
b_1-a_1 = 0
b_2-a_1b_1+a_2 = 0
b_3-a_1b_2+a_2b_1-a_3 = 0
…
b_k-a_1b_(k-1)+a_2b_(k-2)-…+(-1)^ka_k = 0
そのとき、b_kをa_1,…,a_kによる一般式で表してみ？
線型代数分かっとったら、解ける筈や
どや？😀 >>5
南出論文について
”In fact, the estimate in the first display of Corollary C may be strengthened roughly by a factor of 2 by applying the [slightly less elementary] results of [Ink1], [Ink2] [cf. Remarks 5.7.1, 5.8.2].”（下記）
とあるので、「まだ改良の余地あり」と読みました
http://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
P5
The proof of Corollary C is obtained by combining
• the slightly modified version of [IUTchI-IV] developed in the present paper with
• various estimates [cf. Lemmas 5.5, 5.6, 5.7] of an entirely elementary nature.
In fact, the estimate in the first display of Corollary C may be strengthened roughly by a factor of 2 by applying the [slightly less elementary] results of [Ink1], [Ink2] [cf. Remarks 5.7.1, 5.8.2].
[The authors have received informal reports to the effect that one mathematician has obtained some sort of numerical estimate that is formally
similar to Corollary C, but with a substantially weaker [by many orders of
magnitude!] lower bound for p, by combining the techniques of [IUTchIV],
§1, §2, with effective computations concerning Belyi maps.
On the other
hand, the authors have not been able to find any detailed written exposition
of this informally advertized numerical estimate and are not in a position to
comment on it.] >>273
あんたなぁ こんなカキコばっか続けてても
人生のオセロの石 一枚も逆転でけへんよ
じゃ、負け犬を焼いて食うかｗ
>>270の解答
a_1= b_1
a_2= a_1b_1 - b_2
a_3= a_2b_1 - a_1b_2 + b_3
…
a_k= a_(k-1)b_1 - a_(k-2)b_2 + …(-1)^(k-1)b_k
したがって、クラメルの公式より
b_k=
| 1 0 …a_1|
|a_1 -1 0 …a_2|
|a_2 -a_1 1 …a_3|
|… |
|a_(k-1) … …a_k|
---------------------
| 1 0 …0|
|a_1 -1 0 …0|
|a_2 -a_1 1 …0|
|… |
|a_(k-1)…(-1)^(k-1)|
=
|a_1 1 0 0…|
|a_2 a_1 1 0…|
|a_3 a_2 a_1 1…|
|… |
|a_k a_(k-1) …a_1| >>5
南出論文
”The astronomically large constants in the inequalities established in Theorem 5.3 reflect the explicit [i.e., “non-conjectural”] nature of inter-universal Teichm¨uller theory. ”
いやいやいや
確かに、”The astronomically large constants”ですね
まだ改善の可能性ありという気がします
http://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
P44
Remark 5.3.1.
The astronomically large constants in the inequalities established in Theorem 5.3 reflect the explicit [i.e., “non-conjectural”] nature of inter-universal Teichm¨uller theory.
Their size may seem quite unexpected,
especially from the point of view of the classical [“conjectural”] literature on
such inequalities, where sometimes it is even naively assumed that these
constant may be taken to be as small as 1. >>277
南出論文
1． alternative proof ”Fermat’s Last Theorem”、
2．” modularity of elliptic curves over Q and deformations of Galois representations”
確かに、これはこれで、エポックメイキングだが
一方で、”The astronomically large constants”の改善のためには
なにか、別の要素とIUTを組み合わせるみたいなこともありかも
この場合、その何かが例え” modularity of elliptic curves over Q and deformations of Galois representations”とかであっても、組み合わせは何でもありでしょう
http://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
P5
The estimate in Corollary C is sufficient to give an alternative proof [i.e.,
to the proof of [Wls]] of the first case of Fermat’s Last Theorem [cf. Remark
5.8.1].
We also obtain an application of the ABC inequality of Theorem B to
a generalized version of Fermat’s Last Theorem [cf. Corollary 5.9], which
does not appear to be accessible via the techniques involving modularity of
elliptic curves over Q and deformations of Galois representations that play
a central role in [Wls]. >>277
追加
下記
「現在、q(a, b, c) > 1.6 を満たす abc-triple は後述の通り3組しか知られていない。q(a, b, c) を 2 まで大きくすれば、そうした abc-triple は存在しないという予想もある。」
「すなわち「全ての abc-triple (a, b, c) に対して、c < rad(abc)2 を満たすであろう」という主張だが、こちらも肯定も否定もされていない[注 4]。」
この「全ての abc-triple (a, b, c) に対して、c < rad(abc)2 を満たすであろう」も、証明できたら良いね
そうすれば、フェルマーもスッキリ
https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3
ABC予想
定式化
三つ目の定式化は「質」(quality) と呼ばれる概念を導入して表現する。abc-triple (a, b, c) に対して、質 q(a, b, c) を次のように定義する：
q(a,b,c):= log clog( rad (abc)).
このときABC予想は、任意の ε > 0 に対して、abc-triple (a, b, c) であって q(a, b, c) > 1 + ε を満たすものは高々有限個しか存在しないということを主張している。
現在、q(a, b, c) > 1.6 を満たす abc-triple は後述の通り3組しか知られていない。q(a, b, c) を 2 まで大きくすれば、そうした abc-triple は存在しないという予想もある。すなわち「全ての abc-triple (a, b, c) に対して、c < rad(abc)2 を満たすであろう」という主張だが、こちらも肯定も否定もされていない[注 4]。
フェルマーの最終定理
ただし指数が十分大きい場合（どの程度大きければよいかは K(ε) に依る）。定理自体は（ABC予想とは独立に）ワイルズが証明した。ある K(ε) が具体的に求まれば、有限個の例外を直接計算することにより、原理的にはすべての指数 ≥ 4 に対して証明が可能である。ε = 1 のとき K(1) = 1 という予想もあり、この仮定の下で、指数が 6 以上の場合は直ちに証明される (Granville & Tucker 2002)[注 5]。望月らは、フェルマーの最終定理の別証明を与えたとプレプリントで公表している[27]。
注釈
注4^ この主張と元のABC予想の主張の間に論理的な強弱関係はない。
注5^ ABC予想が K = 1 かつ ε = 1 で正しければ、互いに素な自然数 A, B, C が A + B = C を満たすとき C < (rad ABC)2 が成り立つ。互いに素な自然数 a, b, c が an + bn = cn を満たすと仮定すると、an, bn, cn は互いに素より、A = an, B = bn, C = cn を代入して
c^n<( rad a^n b^n c^n)^2
が成り立つ。一般に rad x^n= rad x <= x であるから、 ( rad a^n b^n c^n)^2<= (abc)^2<(c^3)^2=c^6 となる。ゆえに c^n < c^6, c > 1 より n < 6。n = 3, 4, 5 については古典的な証明があるので定理が証明される (山崎 2010, p. 11)。 初歩的な線型代数の問題も解けない素人が今日もイキってるね >>279
>「すなわち「全ての abc-triple (a, b, c) に対して、c < rad(abc)2 を満たすであろう」という主張だが、こちらも肯定も否定もされていない[注 4]。」
>この「全ての abc-triple (a, b, c) に対して、c < rad(abc)2 を満たすであろう」も、証明できたら良いね
?そうすれば、フェルマーもスッキリ
こういうところを見ると
南出論文も、まだまだ改善の余地ありそう
IUTは、まだ始まったばかり
素人目には、そう見えます >>280
これはこれは、維新さん
自分が、プロ数学者だとでも？ｗ
妄想でしょ
だれも認めないよね！！
Fラン数学科修士の落ちこぼれさんｗ
鳥なき里のコウモリさんｗｗ（>>4）
ｗｗｗ 安達が誰も彼もサル石と決めつけるように
SetAは誰も彼も維新だと決めつける今日ｗ 線型代数も分からんとかFラン大学の工学部かよ
大阪（のFラン）大学の間違いじゃね？ｗｗｗ 整数論に興味がない奴が、フェルマーとかABCとか意味無くね？
愛国馬鹿ってアタオカｗｗｗ >>283
どうでも良いけど
自分、数学のプロのつもり？ｗｗｗ >>285
おらー、別に整数論なんて、興味ないっぺｗ
ただ、望月先生のIUTには興味ある
世界的な業績ですよ
日本のほこりですｗ >>287 ＞日本のほこり
日本の埃！！！ まさに貴様のことだなｗｗｗ 整数論に興味ないから望月のIUTにも興味ないな
３１年前に森重文がフィールズ賞獲ったときも業績について尋ねられたら
「知らん、分からん」で押し通した 所詮他人事 数学者の国籍とかどうでもいいし
日本人なら賞賛し外国人なら貶すのかい？
バカっていうか●チガイだろ ニッポン自慢したい人は極東アジア板でも行ってくれよｗ この国の政治家は何が何でもオリンピックを開催したいらしいが
そんなもんで狂喜する国民なんてSetAのような●チガイだけだろｗ ●室もヤバいな M子がどこの８９３と＊＊Xしようが勝手だが
税金集るんじゃねえよ おまえもバイタかよｗｗｗ ナルちゃん発言
表「多くの人が納得し喜んでくれる状況になることを願う」
裏「今のままじゃ＊＊の儀はないよ お金？もちろん出ないよ 何いってんの？」 ■ このスレッドは過去ログ倉庫に格納されています
