Inter-universal geometry と ABC予想 28
■ このスレッドは過去ログ倉庫に格納されています
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 27
https://rio2016.5ch.net/test/read.cgi/math/1525616990/ >Note that this proof is in fact the *only*
proof in parts II and III that is longer than
a few lines which essentially say
This follows from the definitions”.
>in particular, no more details are given
in any survey, including Yamashita’s,
or any lectures given on the subject
(as far as they are publicly documented). あと、万が一、論文の誤りが確定したら
査読を担当したグループ(TamagawaやSaidi, Lepageが含まれてる可能性は高い)
がリジェクトの判断をくだすだろうから
STAP案件化する可能性は低いと個人的には思っている
また、Scholzeの指摘からもう6ヶ月も経つが
未だに >>238 で述べたような誤りを確定させたとかという音沙汰が全くないということは
やはりScholzeの指摘は大したことなかったんじゃないかとも思っている
いずれにせよ続報を待つしかないな STAPのようにはならんでしょうね。
「理論に誤りがありました。すみませんペコリ」で済むでしょうね。
理論的に誤りがあって作れもしないにも関わらず「作りました」と嘘を喧伝している訳では無いし、そもそも社会へ与えるインパクトも無いしね。
モチーのキャラはある意味インパクトあるけどね。 >>238
>論証になっていないことを確定させるには、
どこに誤りがあるのかを確定させなければ
ならない
ショルツは単に「全然わからない」と言って
いるだけで、誤りを確定させているわけ
ではない
嘘つくな
↓
>>241 >>242,>>243,>>245
だからしつこい耳塞ぎ社会的偏執者の数学に興味一切なしの祭り好き素人ども
self-evidentなんかどーでもいい
モッチーがself-evidentと考えるモノを他の数学者に
噛み砕いて説明する義務も一切なければ
逆に他の数学者がIUTに興味を持つ義務も一切ないし
IUTが学問の自由が保証される程度の最低の最低限の数学的基準を
満たすモノであるのは変わりないし
一方でIUTが数学の構造全体に興味深い影響を与える具体的兆候が
未だ存在しない事実もABCの証明が完遂していようがいまいが一切変わりない >>246
ジーゲル予想や遠アーベル幾何のとある予想にIUTが効くことは明らかだが。 >>246
続き
だからself-evidentの部分がどうであろうがこうであろうが
他の数学者が自然に数学的に興味を引く内容がIUTにはまだない >>247
ジーゲル予想って何かよく知らんけど
一般論として
予想をいくら解決しても予想を解決する事自体が数学の目的じゃなくて
数学的な構造に新しい境地をもたらさないと意味がない
予想とはそういった新しい境地を探す際の荒野を照らし出す灯台のような存在で
灯台にたどり着く事自体が目的ではない 因みに一言で予想と言っても
フェルマー予想みたいにそれ自体はひどく散発的な予想もあれば
非常に抽象的な数学的構造そのものの中で生じた予想もあるので
ケースで色々異なる またこいつか。ID:VcntlCly の意見を完全に遵守すると、
「 IUT から新しい構造は出てない 」
の一言で全ての話が終わってしまい、その後このスレには
誰も書き込まないことになる。もしくは、定期的に
「 IUT から新しい構造は出てない 」
とだけ書き込む bot のような存在がこのスレを占拠することになる。
ID:VcntlCly はそういう状況になることが望みなのか? >>245
要するにサーベイなどを読んでも
“If one interprets the above discussion in terms of the notation introduced
in the statement of Corollary 3.12,
one concludes that the quantity −|logΘ| is finite, and
moreover, that −|log q|≦−|logΘ| ∈ R. ”
が分からないと言っているだけじゃないか。
どこが数学的にどう誤りなのかを述べているわけではない。
繰り返し述べるが、−|logΘ| の有限性については >>228 で説明が与えられてて (原論文だと[IUTchIV,Thm.1.10])
不等式が成立する理由に関しては >>224-227 で説明が与えられている (原論文だと[IUTch-III,p.133-p.150])
「 self-evident 」 の一言で片づけられてなどなくて、数学的にきちんとした説明がなされている。
数学的にきちんとした説明がなされている以上、証明になっていないことを確定させるには数学的批判でもって答えなければならない。
つまり、どこが数学的にどう誤りなのかを確定させなければならない。
例えば Cor.3.12 の反例( =−|log q|≦−|logΘ| が成り立たない例 )などを挙げる必要がある。
(勿論、それは査読者の仕事であって、ショルツがそれを確定させる義務は全く無い。) もし、懐疑派が妄想しているように
ショルツらの指摘に対して望月氏側の人間がまともな回答をしていないのであれば
それはかなり異常なことだ。
(self-evident の件の真相は Koshikawa か望月氏に聞いてみないとわからないだろう。)
俺は別に懐疑派ではないから
Scholze や Conrad に対して納得できる回答がメール(非公開)でなされているのでは?
(また self-evident の件については大したことはなかったのでは?)
と希望的に推測しているけどね。 PRIMSへIUT論文掲載ならIUT論文が確定した
ということ。
abc 予想の証明は結論の不等式自体は
決まっているから、
証明の論理 明晰性が大事だよね。
スピロ予想とabc 予想は同値。
abc 予想の応用は、フェルマーの最終定理、
ジーゲルの零点定理、ファルディングスの定理
、と広いし。 >>254
前から気になってるんだが、何故そんなに日本語へたなんだ? 多分、論文の確定を待って意見する人も
いるだろう。 >>253
もし君の言うとおりだったらScholze や Conrad やkoshikawaは、
疑問を公にしながら、納得を得られた回答をされたことについては「だんまり」を決め込んでいるということで、3人が3人とも、望月から訴えられてもおかしくないほど、不誠実な人間という事になるぞ。
話はもっと単純でScholze や Conrad やkoshikawaは、望月から納得する回答を得ていない、と考えるほうがずっと自然。 Conradにいたっては、もはや論文が雑誌に載ったところで疑わしい状況は変わらないと、
不信感をあらわにしてるんだぜ?
Scholze や Conrad やkoshikawaは、「望月は正当な証明を得ているとは認められない」という点で
一致しているし、それは一流数学者のコンセンサスとなりつつあるんじゃないかね。 >>235
ほんとかよ
前からそんなこと言うやつ多いし信じ難いね なかったら市中引き摺り回しの刑な >>258
Frank Calegari’s blogの記事をあらためて見たが
「望月から訴えられてもおかしくない」と考えられるほどのものではないと思うけどな。
むしろ望月氏の目から見ても建設的な批判に映ると思う。
仮にショルツらが納得を得られた回答を望月氏からされたとしよう。
その場合、納得を得られた回答をされたことについて「公に発信」するのが自然だと主張するのなら
どこで公に発信をする?
発信をする機会があれば何か言ってくれるだろうが、機会が生じなければ"公に対しては"何も発信できないだろう。
Calegariの某ブログ記事にはもうコメントできないようだし。 日本民法の父、穂積陳重の『法窓夜話』を現代語に完全改訳
法律エッセイの古典的名著が短編×100話で気軽に読めます
リライト本です。「なか見検索」で立ち読み頂けます。
法窓夜話私家版 (原版初版1916.1.25)
https://www.amazon.co.jp/dp/B07BT473FB
(続)法窓夜話私家版 (原版初版1936.3.10)
https://www.amazon.co.jp/dp/B07BP9CP5V >>259
>Conradにいたっては、もはや論文が雑誌に載ったところで疑わしい状況は変わらないと、
>不信感をあらわにしてるんだぜ?
それはどこで主張されている一文なのか原文ママで引用して教えてほしい。確認のため。
>Scholze や Conrad やkoshikawaは、「望月は正当な証明を得ているとは認められない」という点で
>一致しているし、それは一流数学者のコンセンサスとなりつつあるんじゃないかね。
妄想するのが勝手だが、それは言い過ぎだろう。 >>263
疑いを表明していながら、納得を得られたら「だんまり」って、そんな不誠実なことがありうると思うの?
3人が3人ともだぜ???
Conradに至っては、ごく最近の発言で、もはやPRIMSに載っても信用できないって言っちゃってるんだぜ?
まったく望月(および京都の数学界)が信頼されないんだよw
擁護派のアクロバットな発想にはただただ驚くよw 数学的な構造云々の話がよくわからないんだけど
ワイルズによるFLTの証明は数学に新たな構造を見出したの?
あれって割と一発芸なんじゃねえの? >>267
いやだから、発信する場がなければ"公に対しては"何も発信できないじゃん。
記者会見でも開くのか?笑
>Conradに至っては、ごく最近の発言で、もはやPRIMSに載っても信用できないって言っちゃってるんだぜ?
繰り返しになるが、それはどこで主張されている一文なのか原文ママで引用して教えてほしい。確認のため。 擁護派がこんな不誠実でアクロバットな夢想を続けられるのも、ようするにけじめがつけられていないからだろう。
まあ、いずれ遠からず、けじめをつける日は来ると思う。
西欧の科学は、懐疑主義によって鍛えられてきた。
日本みたいに、誰も傷つかずに自然消滅という事はしないはず。
おそらくはSholzeが疑問点をペーパーで発表するか、
ネイチャーやサイエンスで「望月の証明に欠陥ありという見方広まる」と報じられるかするだろう。
RIMSの連中は、うやむやになることを期待してるんだろうけど。 >>270
>おそらくはSholzeが疑問点をペーパーで発表するか、
>ネイチャーやサイエンスで「望月の証明に欠陥ありという見方広まる」と報じられるかするだろう。
俺は希望的に推測しているけれど、
懐疑的な目で見ると、そうしたことが今後起こりうる可能性は考えられるだろう。 誰だろ?
ショルツをバカ扱い
↓
「全然論証になっていない」ということが確定したのではなく、ショルツが単に「全然わからない (= I am entirely unable to follow )」と言っているだけ
>>234 >>267 >>271
私もコンラッドのその発言のソースが知りたい
擁護でも懐疑でもないのであしからず
だいたい○○派という表現自体嫌いなんだけどね 最近このスレ騒がしいな
いつものおかしな物理趣味の人や
「受験数学に挫折して啓蒙書で自尊心を保って自分の価値を求めて他人に噛みつく人」とか
おかしいのは例の裏垢の人だけにしてほしいぞw >>274
こちらは 「単に全然わからない」ショルツへ
まともな回答、といっている。
↓
>もし、懐疑派が妄想しているように
ショルツらの指摘に対して望月氏側の人間
がまともな回答をしていないのであれば
それはかなり異常なことだ。
>>253 >>276
IPMUなど数理物理が普通の時代なのに
IUTとか 勘違いしていない? >>276
受験数学に挫折して啓もう書を読んで自分の価値を求めることの何が悪いんだ? 数論幾何スレでぼこられ
reviseのことも知らなかった奴が
また暴れてるのかw >>280
いつものコミュニケーション不全の物理趣味の人(決して物理屋とは言ってない)や
谷山・志村予想の意義も知らないヤツと一緒に、相変わらず他人に噛みついてるw >>280
>数論幾何スレでぼこられ
それ別人やで。俺は数論幾何スレに書き込みしたことなどない。
>reviseのことも知らなかった奴が
revise(改訂版)を投稿できるのは知っていたが、
恥ずかしながらコメント欄にページ数だけ書いてあるものしか見たことなかった。 >>166 >>283
だから↓のことを言っているんだろう?
ttp://www.math.columbia.edu/~woit/wordpress/?p=9871
ここのどこに
>>Conradに至っては、ごく最近の発言で、もはやPRIMSに載っても信用できないって言っちゃってるんだぜ?
というコンラッドの書き込みがあるのか、と訊いているんだよ
それともヴォイトのブログの他のページにあるのか?
ならそれを教えて欲しい。私もそれが知りたいんだよ デカいニュースってのはあれだろ?IUTじゃなくて、京都賞のことじゃね?今年は数学分野だから、モチーが受賞するとかそんなニュースだろう。 なるほど、京都賞が明日発表だな。
>>235
モチー京都賞受賞とか妄想お疲れさん。 Cnrdが指摘した2015年のカンファレンス以前の潜在的な問題とカレガリのブログに未掲載ね最終投稿ね指摘は別の問題 >>282
ああ、私が「他人に噛みついている」と言っている人はあなたのことではないからね
ここ最近、やたらと攻撃的な人がいるんだよ >>268
志村ー谷山予想の主要部を解決したんだぞ、何を言ってるんだ。 >>277
国際的にも一流の数学者が「単に全然わからない」なんて普通言わないだろ。
確信があっての事だろうよ。 >>284
woit自体に興味があるだけだよ。
ま、Conradの発言の件は、
色んなブログを散策したらいいじゃん。
擁護派(隠れ擁護派も含む)がブログを改変し
罵倒するんだろ。
↓
「全然論証になっていない」ということが
確定したのではなく、ショルツが単に
「全然わからない (= I am entirely unable
to follow )」と言っているだけ
>>234 >>292
>それなりの説明はきちんとなされている
それなりの説明はなされているのか?
説明はきちんとなされているのか?
さっぱりわからんわw コミュニケーション不全の物理趣味の人とやらが何度もID変えて暴れてるな
くだらない反論おつかれ
せめて正しい日本語書けるようになってから出直してこい >>292 ちゃんと引用しろ。論理をフォローすることができないと言っている。
I am entirely
unable to follow the logic after
Figure 3.8 in the proof of Corollary
何度も言うが間違えてるなら反例を出せ、というのは悪魔の証明を要求しているに過ぎない。
「正しくない」と「間違えている」、は証明に関しては似ているようで全く異なっていて、
論理をフォローできない、ギャップがある、と言う状況は前者。
その溝を埋める責任はあくまでも著者側にあり、
読者(とくにショルツのような第一級の数学者)の責任とすべきではない。
それがまかり通るなら、リーマン予想だろうがP ≠NPだろうが、
予想は正しい、証明は定義から自明、間違えていると言うなら反例を出せ、という暴挙が許されることになる。 >>295
せめて日本語で論文を書いてから言って欲しい。 IUTが簡単な実例を示せば済むだけ
擁護派は不等式評価だから、と言い訳して逃げてるが母数すら示せないのが現状 >>295
スレ荒らしさん
コミニュケーションを取りたいなら
まともな日本語で書きな >>296
>それなりの説明はきちんとなされている、
正しい日本語ではないね。
間違ってすらいない。 俺は何度も 何度も、論文書き直し、
といっている。 あ〜、これは例の「受験数学に挫折して啓蒙書で自尊心を保ち自分の価値を求めて他人に噛みつく人」が、
一人三役・四役ぐらいで自演しているんだな
「いつものおかしな物理趣味の人」の文体もうわべだけ真似てなりすましをしている
「物理趣味の人」は内容・文体ともにもっと斜め上を行くし、「他人に噛みつく人」よりは賢いw
要するに、キチガイを装った構ってちゃん
「受験数学に挫折し啓蒙書で自尊心を保ち自分の価値を求めて他人に噛みつく構ってちゃん」
スルーしようw >>285-286
柏原正樹が受賞したね
講演聴きに行こう >>269 自分のwebsite, SNS, blog, 掲示板、ちょっと考えただけでもやり方はいくらでも思い浮かぶな。
そもそもの批判がそうやって発信されたわけだし。
勝手に情報漏らされたKoshikawaさんはともかく、
それ以外の自主的に発信した人たちが、やっぱりあってたね、メンゴメンゴ、でダンマリ通すとは考えにくいな。
それこそ正しければ歴史的偉業なんだから、歴史に残る汚点、汚名になりかねないし、
彼らが揃いも揃ってそこまで短慮だと考えるほうが不自然だわい。 >>302
なんか知らんが受験数学ごときに挫折しても
学問としての数学を学ぶことになんら支障ないし
数学に限らず学問なんて一生の付き合いだから
むしろ大学を卒業してから本番だし
リーマンでも一日30分づつでも数学の専門書読んでる人いるよ
そこを強引にあんたが「啓蒙書」だなんだに無理にすり替えてる所が浅い >>288 ID:Cu7CDJQw
>ああ、私が「他人に噛みついている」と言っている人はあなたのことではないからね
>ここ最近、やたらと攻撃的な人がいるんだよ
この手が一番幼稚な輩だな
自己矛盾と循環論法を交えた一番ありがちで典型的な
幼稚園児レベルのダダのこね方
@自己矛盾:誰かに対し「他人に噛みついている」「やたらと攻撃的」と
批判しているその人自身もその誰かに対し噛み付いて攻撃をしている
A循環論法:誰かの事を
「自尊心を保ち自分の価値を求めて他人に噛みつく人」=「中身のない不合理な主張をする人」
と断定するにはその誰かの主張が不合理である事をまず証明しないといけない 2/3 c が1+kの上界値ならばεが1未満の場合の上界値は3/2 c なんだよね? @誰にでも噛み付く狂犬と襲い狂う狂犬を蹴飛ばすことは全然違う。
A現実の世界とロジックの世界を混合するって、アンタ発達障害ですか?
アンタの発言を見りゃそう断定されてもしょーがない。
文句があるならまず何をもって証明なのかはっきりさせろ。
はい、キチガイ統失、今日も完全論破。雑魚すぎてつまらんな。 >>288
>やたらと攻撃的な人がいるんだよ
やたらバカな人間がやたら同じ誤ちを偏執的に繰り返し主張していたとしたら
正常な人間がその偏執者に対し同じ注意を繰り返す行動も
偏執者側の立場から見たら
正常な人の方が「やたらと攻撃的」に映るのだろう >>312
>アンタの発言を見りゃそう断定されてもしょーがない。
>文句があるならまず何をもって証明なのかはっきりさせろ。
循環論法と質問返しの
省エネ詭弁おつ >>312←の主張内容の文構造
@おまえはウンコだーーシッコだーーー
おまえはウンコで俺はウンコじゃないんだーーー
A俺は正しいんだーー
おまえの言ってる事が絶対に正しいという証明をしろーーー
↑
日本語を理解していなくても
相手の文章を全く読んでなくても書けちゃう機械的文字列に毛の生えた程度 >>312
>>文句があるならまず何をもって証明なのかはっきりさせろ。
何がハッキリしてないのかさっぱり分からん
相手の主張の中身が不合理だと断定する際の理由を述べる事に決まっている。
些末な言葉尻を質問返しによって意図的に混乱させる小学生の常套手段の詭弁
「地球が何周回った時?」の類と一緒 ABC予想には価値がないと散々わめいておいて
返ってくるのはクソサブキモポエム(笑
これのどこが合理的なんすか? 俺のポエムは素晴らしいんだー世界の真理なんだー非自明なんだーってのはナシね
それこそアンタが否定してる論法だから(藁 >>317
>ABC予想には価値がないと散々わめいておいて
ABCを証明する事自体に価値がないと言った俺の主張をまず正しく引用しろ
ABCの証明自体に価値がない根拠は>>246←に既に述べてある
あんたはその再反論から逃げ回ってるくせに
クソサブキモポエムだのなんだの機械的レッテル張りしか出来ない
あんたは民主主義を破壊している
あんたが裁判員に選ばれても辞退を勧める
自分の気に入らない主張に対しクソサブキモポエムだーーウンコだーー
としか喚けないガキはノイズでしかない >>319 どこにABCの証明に価値がない根拠が書いているわけ? >>318
>俺のポエムは素晴らしいんだー世界の真理なんだー非自明なんだーってのはナシね
俺は根拠を述べてるんだから。あんたは述べてないが。
自分のあらゆる主張は、根拠を述べ反論再反論を与える義務を果たす限り
自由に述べていい。
あと非自明という言葉の内容のニュアンスがまだあんたに伝わってない。
非自明とは次の意味で肯定的な言葉とは必ずしも限らん
つまり間違った根拠である場合も含めているが
しかし根拠を述べてはいるという事を示している
「ドラえもんは○○の部分がやくざっぽいから嫌い」←非合理であるが非自明な内容を含む
「ドラえもんは嫌い」←自明な内容しか含まれない >>318 ついでに言うと、そこでお前が書いていること全てについて、判断根拠が何も説明されていない。
だから俺はお前の書き込みは全てクソキモサブポエムと批判している。決して機械的に罵倒しているわけではない。
論拠を示さずにお前の一方的な決め付けをまくし立てても、反論とは認めないよ。 >>323 だから、アンタは、何を根拠に、
どうでもいいとか、する義務はないとか、最低限の基準は満たすとか、断言してるわけ?
繰り返すが、お前の決め付けや思い込みを一方的に相手に押し付けることは、反論とは言えないよ。 >>322
>判断根拠が何も説明されていない
>>249←は「ABCの証明自体に価値があると言い張る奴はキチガイ」以外の
内容が含まれているだろ
逆にあんたが「ABCの証明自体に価値がないと言い張る奴はキチガイ」の
理由に該当するレスはこのスレ中のどこにあるのか
レス番を挙げてくれ またこいつか。ID:GnNaLYif の意見を完全に遵守すると、
「 IUT から新しい構造は出てない 」
の一言で全ての話が終わってしまい、その後このスレには
誰も書き込まないことになる。もしくは、定期的に
「 IUT から新しい構造は出てない 」
とだけ書き込む bot のような存在がこのスレを占拠することになる。
ID:GnNaLYif はそういう状況になることが望みなのか? >>325 人に散々言っといて論旨逸らし乙っすわ。まあお前がキチガイであることは>>123で証明済みで、
お前はそれに何も反論できず涙目で敗走したわけだがw >>324
質問の2度聞きの質問返しは再反論した事にカウントされない
質問返しの詭弁が許されたら相手が何をどう反論しても
「その反論が絶対に正しい理由を言え」と「機械的に聞き返せばいい事になってしまう >>328 全然機械的な問い返しじゃないよ、
その証拠にお前は答えに窮して、グチャグチャと論旨逸らしを始めているw >>326
>「 IUT から新しい構造は出てない 」
IUTがなぜ数学者から興味を引かないのか
その理由を誤って理解している人間が繰り返し現れる限り
正しい主張は何回繰り返してもいいだろ >>327,>>329自体が自明な内容しか含んでいない
俺のレスを読んだ形跡はそのレス中のどこのどの部分にあるのやら
・論旨逸らし乙
・キチガイであることは証明済み
・全然機械的な問い返しじゃない
・お前は反論できず涙目で敗走した
↑
こういうたぐいの「おまえはウンコだーーー」を言い換えただけの文字列は
たとえばニュー速の適当なスレで一切中身を読まなくても
ランダムにレス番号を選んで「論旨逸らし乙」とだけレスつけとけば表面的に話がつながる >>330
>その理由を誤って理解している人間が繰り返し現れる限り
そういう人間がついにいなくなって、全員がお前の意見を
遵守するようになったときの話をしてるのだが?
そういう状況がついに訪れた場合、もはやこのスレには
誰も書き込まないことになる。もしくは、定期的に
「 IUT から新しい構造は出てない 」
とだけ書き込む bot のような存在がこのスレを占拠することになる。
ID:GnNaLYif はそういう状況になることが望みなのか? >>332
誤った内容でスレが埋まってもしょうがない >>331 機械的に相手の反論を「機械的」「自明」とレッテル貼るだけのアホ乙 >>333
何でハッキリと答えないの?ちゃんと明示的に答えてよ。
全員がお前の意見を遵守するようになった場合、もはやこのスレには
誰も書き込まないことになる。もしくは、定期的に
「 IUT から新しい構造は出てない 」
とだけ書き込む bot のような存在がこのスレを占拠することになる。
ID:GnNaLYif はそういう状況になることが望みなのか? >>334
俺のレス>>249←には機械的否定以外の内容が含まれている
たとえば灯台というワードはそれだ
一方であんたのレスは機械的否定しか含まれていいない >>336 機械的否定とは具体的に何を意味してるんでしょうか?
それに反撃できずグダグダレッテル貼と言い訳してるアンタはなんなの?藁 >>335
俺のレスが発動するのは誤った内容のレスが書き込まれる時だけで
誤っていない内容はIUTについていくらでも書けるだろ >>337
>機械的否定とは具体的に何を意味してるんでしょうか?
そういう質問返しについては念のために
>>321←に書いてる 具体的にアンタの発言の問題点を指摘しているわけだが。。。
少なくともお前のドラえもんの例よりはよっぽど「非自明」だろう。藁 ■ このスレッドは過去ログ倉庫に格納されています