[過去ログ] Inter-universal geometry と ABC予想 30 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
776(1): 2018/09/22(土)01:37 ID:ccaMQcqI(4/6) AAS
>>773
何となく言いたいことはわかるけど、それじゃ伝わらんよ
しかし本当にSSコンビがわからないのかなあ。FrobenioidとAnabelioidの世界が
777: 2018/09/22(土)01:39 ID:ccaMQcqI(5/6) AAS
どっちが正しいかという以前の奇妙な違和感がある、このやり取りには
778: 2018/09/22(土)02:26 ID:k/o5CWHW(1) AAS
>>757
タイヒミュラーがナチスだったってご存じない?
779: 2018/09/22(土)06:39 ID:ZPIT/WFI(1/4) AAS
>>776
タイヒミュラー空間とモジュライ空間は
違うんだよなあ〜
780: 2018/09/22(土)06:43 ID:P23R/bo/(1/8) AAS
足し算と掛け算の間を自在に行き来する新しい数学と、それまでの古い数学が戦ってるわけだからまあそうなる
781: 2018/09/22(土)06:49 ID:P23R/bo/(2/8) AAS
つまり
SS側が我々が理解できる従来の数学的な手法で説明せよって言ってるのに対して
こうですよって望月氏が出してる反論の内容がやはりIUTT的手法で理解できてない(もしくはその説明ではなりたたないとギャップを感じている?)
だから話は平行線で終わっちゃったと
782(1): 2018/09/22(土)06:51 ID:P23R/bo/(3/8) AAS
この分だと例のギャップの場所もやまほど補足資料出してるけど、そもそもどこにあるか知らないんじゃないかね。
しっかり最新の資料はここにありますよっていうリンク集を公式ページにつくったほうが良かったりして。
783: 2018/09/22(土)06:59 ID:ZPIT/WFI(2/4) AAS
IUTは 妄想と罵倒 が特徴
784(1): 2018/09/22(土)07:01 ID:P23R/bo/(4/8) AAS
「the logic after Figure 3.8 in the proof
of Corollary 3.12 of IUT-III」=「−|logΘ| の有限性と不等式−|log q|≦−|logΘ|を導出する箇所」が問題となっている。
その箇所について原論文やサーベイで何の説明も与えられていないわけではなくて
−|logΘ| の有限性については、原論文の[IUTchIV,Thm.1.10]もしくはGoサーベイのProp.1.12より従う
−|log q|≦−|logΘ| が成立する理由に関しては、Goサーベイの356〜361ページ、星サーベイの36ページ、星サーベイ(続編)の92ページで証明が与えられている。
これらを全部読んだがギャップがある、ならわかるけど多分原論文の最新版しか目を通してないよねこれ
785: 2018/09/22(土)07:04 ID:ZPIT/WFI(3/4) AAS
>>782
望月新一氏のホームページに貼ってある、
核心部を下ネタで誤魔化した動画まであるなぁ〜
786: 2018/09/22(土)07:06 ID:ZPIT/WFI(4/4) AAS
>>784
いつまで論破された話題をループしているの?
787: 2018/09/22(土)07:08 ID:P23R/bo/(5/8) AAS
つまりは別の宇宙に対称性をもっていって変換して戻した時に抜け落ちてる情報があるのではないか?
それでIUTTを現在の数学に適用できるかがわからない
その証明のとっかかりとなるはずの3.12も現在の数学での証明がない
(ので現在の数学に適用できるかがわからないのがギャップである)
788: 2018/09/22(土)07:09 ID:iirMTYag(1) AAS
なんでgoや★のサーベイ読まなきゃいかんのよ、それ自体で完結するように書けんのか
いずれにせよショルツは望月以外にも★やgoとも話してるだろうし
でも彼らの誰も納得のいく説明を与えられない、ってのがショルツらの主張なわけで
789: 2018/09/22(土)07:21 ID:P23R/bo/(6/8) AAS
つまり取っ掛かりの部分はいきなり宇宙で使えますよ〜じゃなくて
現代の数学でわかる方法でその後の計算に必要な情報が抜け落ちてないことを証明せよってことかね。
じゃないと、これまでの数学と整合性があるかが永久にわからないから
モッチー:何度も説明したじゃん深刻な知識不足…
SS:現代数学での証明ではなくギャップがある
790: 2018/09/22(土)07:29 ID:ccaMQcqI(6/6) AAS
ショルツはそもそもまともな理論なのかも疑ってる感じだからね
例の部分以上に溝があるよ
791: 2018/09/22(土)07:32 ID:P23R/bo/(7/8) AAS
IUTTをつかって数学の計算もするわけでこのギャップを埋めなければ抜け落ちてる情報があったとすると間違った計算結果だって生まれているかもしれない
このギャップを埋めるための証明もフィールズ賞受賞者ですら理解できない。
宇宙の最初を証明するのに宇宙語を使っていたのでは証明となっていないのは自明である。
(だって宇宙語を使うと抜け落ちてる情報があるかもしれない。だから最初の導出は現代数学でわかる方法で証明せよと言っているが何度言っても納得の行く答えはもらえていない)
792: 2018/09/22(土)08:16 ID:lo6LF9pY(1/12) AAS
ABCの推測は、次に、楕円曲線に関連する2つの量の間の特定の不等式を証明するまで沸騰します。
Mochizukiの作品は、この不平等を2つのセットの量を比較するものと考えることができる、別の形に変換します。結論3.12は、Mochizukiが
この新しい不平等の証拠を提示する場所であり、真実であれば、
abcの推測を証明する。
ScholzeとStixの説明のように、
2つのセットのボリュームを
2つの異なるコピーの実数で見ることが証明され、
省13
793(1): 2018/09/22(土)08:22 ID:lo6LF9pY(2/12) AAS
望月はいろいろなことを見ている。彼の見解では、ScholzeとStixの批判は、
おそらく「慣れ親しんだ数学的対象についての新しい考え方で、不快感や不慣れの深い感覚と結びついた、議論中の数学を深く反映するための十分な時間の欠如」に由来しています。
Mochizukiのabc証明を既に懐疑的にしている数学者は、ScholzeとStixの報告がストーリーの終わりをよく考慮しているかもしれない、とKimは言った。
他の人は、自分自身のために新しい報告書を勉強したいと思っている。それは金自身が始めた活動である。
「私は自分の心をつくる前に自分自身をもっと慎重にチェックする必要性を完全に避けることはできないと思う」と彼は電子メールで書いている。
過去数年の間に、多くの数学者が、毛長の論文を理解しようとすることをあきらめてしまった。
しかし、Mochizukiや彼の信者が、ScholzeとStixの絵が単純すぎる理由(それがあると仮定して)を徹底的に説明することができれば、
省4
794: 2018/09/22(土)08:26 ID:+YDxB442(1/2) AAS
公理系に追加するしないの話になるのか
795: 2018/09/22(土)08:27 ID:/YtvZWzN(1) AAS
そんなややこしい話じゃなくて、構造的に整合的な形で場合分けをしてるんだから
問題ないし、その辺の見分けができてないんじゃないですか、というのが望月サイドの言い分
そして、この議論の優劣自体を見分けるのが難しい
問題は本当に整理して計算できているのかということ
796(1): 2018/09/22(土)08:28 ID:lo6LF9pY(3/12) AAS
つまり、3.12が正しいと証明されない限りその後の部分は読んでも無駄になってしまう可能性がある
自分たちには3.12には今のところ抜け落ちてる情報がある間違いがあるように見える
3.12が正しいとする詳細な説明を待っておるよ
って言ってるみたいね
797: 2018/09/22(土)08:36 ID:lo6LF9pY(4/12) AAS
これまで説明してるどの人の説明を読んでもその抜け落ちてる情報の問題を解決できてるようには思えないそうだ。
だからもし正しいのであればもっともっももっと詳細な説明をくれと
しかも、高名な数学者たちが読んでいて大抵詰まってしまうのが3.12のギャップ
多くの人が証明をよまず諦めてしまうように見えるのは3.12が一番大事な箇所だからであって、ここがまちがってたらその後は全て意味ナスになっちゃうからだって
798(1): 2018/09/22(土)08:45 ID:iqoTLNVm(1/4) AAS
>>772
何でおまえは>>704>>712を無視して爆笑の詭弁をこの期に及んで延々弄するの? 字が読めないの?
799(1): 2018/09/22(土)08:46 ID:lo6LF9pY(5/12) AAS
「議論を理解していると主張する専門家は、(非常に多くの)謎めいたままでいる専門家のいずれかに説明することに成功していない。」マシュー・エマートン
つまりこれが数学界の反応
3.12を詳細に説明できなければIUTTは終わりだし、詳細な説明(数学者にわかる情報が抜け落ちてないことの説明)をいつまでもできない側にも問題があるって問題提起にはなったのでは
ここを説明してない状態でPRIMSに載せるなんてありえんてさ
800: 2018/09/22(土)08:48 ID:iqoTLNVm(2/4) AAS
>>704の頭で「相手の勘違いの要点をわざわざ考えて」まとめているな
>これらの誤解の本質的な要点は、 IUTeichを「単純化」するための間違った試み - 「非常に大まかには」以下のようにまとめることができる
で、「AとBはどっちも0より大きい実数、SSはA=Bの場合おかしくなるというが、そもそもそうすると他の式からA=B=0、
定義に反する、意味のないことを言うなw」、くらいか? そして延々40ページの説明
キチガイ
>問題箇所を理解させるよう努力すれば済む話なんだがな。取り巻きも含めて誰もしない、できない不思議。
801(1): 2018/09/22(土)08:55 ID:iqoTLNVm(3/4) AAS
>>799
「一般相対性理論とか何だあれ 物性物理の専門だがなかなかよくわかりましぇーん 直感的にすっと理解させてもらえなくちゃ納得いきませーん わかりやすくやれっ!」
「相対論を理解していると主張する専門家は、(非常に多くの)謎めいたままでいる専門家のいずれかに説明することに成功していない。」
つまりこれが物理学界の反応
キリッ!
ばかまるだし
802: 2018/09/22(土)09:00 ID:lo6LF9pY(6/12) AAS
SS側の主張「3.12の手法で情報が抜け落ち不等式をコントロールできなくなっている可能性がある」
望月氏の主張「慣れ親しんだ数学的対象についての新しい考え方で、不快感や不慣れの深い感覚と結びついた、議論中の数学を深く反映するための十分な時間の欠如」に由来
十分な時間をかけて勉強してくれで終わりにされるとわからない。すくなくとも初期から論文を読んで動向を追っていても十分な時間をかけてもわからないので、わかるように従来の数学などを交えて詳細に3.12を説明してくれと。
803: 2018/09/22(土)09:03 ID:lo6LF9pY(7/12) AAS
>>801
理解できないのではなくて対称性変換で正しくないように見える箇所があるのが大きな問題
もしかしたら反論40ページ分で3.12を理解するという展開があるかもしれんが、数学界にとってはそれが必要なものであった可能性があるのかもね。
804(1): 2018/09/22(土)09:03 ID:5S7LulBK(1) AAS
ID:lo6LF9pYは数学も英語も出来ないというのは分かった
805: 2018/09/22(土)09:09 ID:iqoTLNVm(4/4) AAS
「だいたい相対論とか、当初は世界で3人、数年経った今もそのアインシュタインとやらの取り巻き10人くらいが自称わかったとか言っているだけらしいだろ
大体一説によると、そのままだと宇宙は重力でつぶれて存在できないらしいじゃないかwww 変な回避項目を入れても間に合わせのつぎはぎの汚い理論、そんなものが正解のわけない
相対性理論は間違っている! 相対性理論は間違っていたああっっ! 」
806: 2018/09/22(土)09:10 ID:lo6LF9pY(8/12) AAS
情報が抜け落ちる問題があるように
見える箇所の話をしてるのに
これまでは十分な勉強の欠如
で理解者たちにはねのけられてきたわけよ
で、何年たってもそこの説明をできる者は現れず
挙句の果てに証明されたよって雑誌に乗りそうになって
問題提起のためにモッチーと話にきたと
807: 2018/09/22(土)09:18 ID:lo6LF9pY(9/12) AAS
>>804
適当に翻訳機にかけただけだから
808(1): 2018/09/22(土)09:32 ID:Be74vgIy(1/2) AAS
単位があり実験に基づき証明のない物理体系は数学の証明と全く違う。
数学のこの件は 望月新一の説明責任さ
809(2): 2018/09/22(土)09:53 ID:FSO74qPm(1) AAS
>>796
実際はもっと深刻だと思ったほうがいい
その部分をちゃんとするためには理論自体を見直す必要はないか、というレベル
810: 2018/09/22(土)10:50 ID:Kpwh8TCX(1/5) AAS
>>809は批判のニュアンスの話ね
実際にそこまで致命的かは別として
811: 2018/09/22(土)10:56 ID:Be74vgIy(2/2) AAS
IUT関係者 以外は素人だね
やはり 北白川の一部と大岡山の一部とパラパラ
特異点に 限定された「定理」だな
812: 2018/09/22(土)11:16 ID:lo6LF9pY(10/12) AAS
>>809
それくらい本気で批判しないと情報の抜け落ちにたいして誰もまともな説明しようとしてこなかったから厳しい言葉つかってるんだろうなあ
813: 2018/09/22(土)11:22 ID:Efd3nMd1(1/7) AAS
望月が証明したといっている以上、証明文の提示責任があるのは望月である。
その本筋を見誤らないほうがいい。
問題部分の証明がなっていないのは明らかであり、
もはや数学者で望月が正当に証明したと考える人はいないだろう。
この期に及んで望月擁護の書き込みをする人間は、
主として文系学部卒のただの望月信者とみた。小保方信者と同様。
814(1): 2018/09/22(土)11:26 ID:BjPWk5Yv(1/5) AAS
要するに望月氏はグロタンディークではなく、強いて言えばラマヌジャンみたいだと言いたいのかな?
IUTTは現代数学ではなく、別の宇宙から来たIUTT学だと・・・
815: 2018/09/22(土)11:29 ID:Efd3nMd1(2/7) AAS
ショルツのペーパーも出たんだし、あとはマスコミのどこが
「ABC予想に誤りか」の第一報を報じるかだ。
去年12月以来、日本語で望月に対する疑惑が語られたのはこのスレだけだが、
もうそろそろ世間一般に「世界じゃ望月の証明は相手にされてないよ」という現実を知らせるべきだろう。
俺はゴッドハンド藤村をあばき、小保方に対しても最も批判的だった毎日に期待しているが。
816(1): 2018/09/22(土)11:31 ID:Efd3nMd1(3/7) AAS
>>814
ラマヌジャンの言ったことも証明ぬきが多いよね。
ラマヌジャンが言ったことで、他人が証明したら、それは他人の実績だろう。
予想だけならおまいらでもできるぞ。
817(1): 2018/09/22(土)11:41 ID:BjPWk5Yv(2/5) AAS
>>816
ああ、それ、あなたに向けて書いたものではなく、上の方で連投されたレスについて書いたものだから
ところで玉川氏も「分からないと言っている」というレスがあったんだが、これは本当なんだろうか?
818(1): 2018/09/22(土)11:41 ID:6VN7mY7m(1) AAS
ラマヌジャンは直観(論理の大幅な省略)で正しい結果を見通すことができた天才
望月証明が誤りなら、巨大な論理を駆使しながら結論では間違っていたモッチーは正反対ってことになるw
819: 2018/09/22(土)12:11 ID:Kpwh8TCX(2/5) AAS
>>818
実際はそれはグロタンディークのほうが近い気がする。構造的な直観としては
本人は形式的な証明は得意ではなく、論文は仲間が助けた部分が大きい
ラマヌジャンも確かにそうだけど、数式を通じた直観だからな
まあ結果的には保型形式を数式から捉えるというとんでもない才能だったけど
820: 2018/09/22(土)12:14 ID:E7EsPByJ(1/2) AAS
>>727
Atiyahは リーマン予想のsimple proofだよ >>701
Kedlayaも複雑怪奇なIUTを説明して
821(1): 2018/09/22(土)13:13 ID:fWfP6324(1) AAS
「もはや証明じゃない。」
これはKもそう言ってるという噂あり
しかり、それでも
「間違ってはいない。」
とKも言ってるとも
つまり、IUTはabcを「証明」してはいないが、自然とabcを導いてることは確か、というのがK及びレクチャーしてる取り巻きの意見だ
822: 2018/09/22(土)13:29 ID:BjPWk5Yv(3/5) AAS
>>821
そういうレトリックは気に入らないな
そんなことを言えば幾何化予想を証明することでポアンカレ予想を証明したペレルマンや
谷山・志村予想の系を証明することでFLTを証明したワイルズも同じことになるんだが
823: 2018/09/22(土)13:34 ID:68Ez6YH0(1) AAS
モッチーもここに入れられちゃうんだろうか?
日本は「科学論文の捏造大国」とみられている
外部リンク:toyokeizai.net
824: 2018/09/22(土)13:35 ID:Kpwh8TCX(3/5) AAS
証明できてないが自然って、数学的にキチガイの域じゃんね
825: 2018/09/22(土)13:56 ID:HqJ6+OAB(1) AAS
相変わらず他人の見解の鵜呑みと想像だけで喋ってるなあ
826: 2018/09/22(土)14:23 ID:mcbgfne2(1) AAS
分かる人がいないからとりえず薪をくべるスレです
827: 2018/09/22(土)14:30 ID:HJVWmfUQ(1) AAS
ポイントに近づくと罵倒されるスレです
828: 2018/09/22(土)14:45 ID:Kpwh8TCX(4/5) AAS
ここでは適当なことを好き放題言ってるのが一番ですよ
829(1): 2018/09/22(土)15:02 ID:RkkMtJm9(1/2) AAS
ABC予想もリーマン予想もどうなるかわからないけど、
仮に何かが解決したとしたらフェルマー予想といいポアンカレ予想といい、ここ数年の数学の進展は歴史的に見て物凄いよね。
数学が進化したのか人類が進化したのか。
830: 2018/09/22(土)15:38 ID:mxra1FxX(1) AAS
ここ数年…?
831(1): 2018/09/22(土)16:04 ID:Kpwh8TCX(5/5) AAS
密度が違うからでしょ。まあ理論的に理由付けできたらGoogleで億稼げる問題だけど
アティヤは90%間違いに賭けるが、物理に深く関わってるから迫力ある
832: 2018/09/22(土)16:12 ID:lo6LF9pY(11/12) AAS
ネットで他の人の論文や最新の数学に触れられるようになったのはでかそうよ
833: 2018/09/22(土)16:17 ID:yBUKZrOh(1/3) AAS
世界中の論文、講演ファイル、講演動画に家からでもアクセスできるしな
わからないことがあっても必要な文献はすぐ手に入る
逆に高速で新しいことを勉強できないとあっという間に置いてけぼり
それでいて時折大きな問題にじっくり時間をかけて取り組まないといけない
今後は大変な時代だな
834: 2018/09/22(土)16:20 ID:lo6LF9pY(12/12) AAS
リッチフローとかもほとんど知られてなかった発表されたばかりの論文からペレルマンが拾ってきて応用してたんで
835: 2018/09/22(土)16:22 ID:E7EsPByJ(2/2) AAS
>>829
IUTだけ蚊帳の外
836: 2018/09/22(土)17:08 ID:Efd3nMd1(4/7) AAS
そう。今の時代、どんなに難解な証明でも、それが正しければ、
6年間も周りに理解されないなんてことはありえない。
837: 2018/09/22(土)17:19 ID:3HJL1t2z(2/3) AAS
できの悪い学生に本を読ませると、間違えてる箇所もそのまま正しいことのように発表したりする。
取り巻き勢がそのレベルじゃないといいがw
838: 2018/09/22(土)17:25 ID:gG/KZ8bU(1) AAS
Cor 3.12.は定義から従うからね。
839: 2018/09/22(土)17:47 ID:+YDxB442(2/2) AAS
>>831
99.999%くらいだな
840(1): 2018/09/22(土)18:13 ID:eXxhYtoK(1) AAS
オカルトというよりホラーになってきたような……
841: 2018/09/22(土)18:25 ID:goDr4Bj+(1) AAS
超準解析の証明は信用出来ないと聞いた
842: 2018/09/22(土)18:33 ID:BjPWk5Yv(4/5) AAS
ブンゲン氏のツイッターの英文読んだがガッカリしたよ
もうこの人どうでもいいやって感じだ
843: 2018/09/22(土)19:07 ID:Efd3nMd1(5/7) AAS
まあ実際問題として、「定義より従う」なんて証明は数学にあるはずがないんだよな
たとえばBが導かれるためには
A、A→B
が絶対必要なわけで。
参考書などで「定義より従う」などとかけばそれは初学者でもすぐわかるくらいの自明なケースだからね。
ショルツはじめ多くの数学者が同じ個所で疑問を証明している以上望月きはきちんと証明を書きおろさないといけない。
それができない以上ショルツも言う通り「ABS予想はいまだ予想である」ということになる。
844(4): 2018/09/22(土)19:10 ID:qrogsfA3(1) AAS
>>840 ほんとにねえ。
ウェブサイトトップに"The author of this web site prohibits the use of the contents,
such as images, of this site, as well as all linked sites, by the mass media"なんて書いてあるけど、
ご本人がウェブサイトで世界に向けて発信してることを報道が
(著作権法の範囲内で)利用することを禁止できるとでも本気で思ってるのかね。
845: 2018/09/22(土)19:20 ID:Efd3nMd1(6/7) AAS
うわっほんとだ。
報道禁止令が出てるw
846: 学術 2018/09/22(土)19:26 ID:O8zrOAbJ(1/9) AAS
しかし数学に、解、を出すとき、先生がアフォすぎて思わず脱線し、正答、新解放を
導くてだてが生まれるときがあるのに。経験上ね、数学はなぜ満点生徒連を大学に入れたり、満点社員に高給を取らせるんだろう。
847: 学術 2018/09/22(土)19:27 ID:O8zrOAbJ(2/9) AAS
新 解法。
848(1): 学術 2018/09/22(土)19:28 ID:O8zrOAbJ(3/9) AAS
公式ですら疑ってかからないと、現代数学はきついんだよ。
公式ガイドがついてる生半可な数学なんて面白くないよね。
それはサンプルデータが取れるぐらいだと、割り切って数学に励んでほしい。
849: 2018/09/22(土)19:29 ID:ICt/KVdo(1) AAS
>>848
おっちゃん、受験数学がんばりや。
850: 2018/09/22(土)19:30 ID:vu2PM5I1(2/3) AAS
定義から従うならそれでいいんじゃないの?
851: 学術 2018/09/22(土)19:36 ID:O8zrOAbJ(4/9) AAS
公務員数学のその後にたどり着いてるけど、経済、経営ね。金融銀行。実地で仕事あるから
たまにやらざるをえない。
852: 学術 2018/09/22(土)19:37 ID:O8zrOAbJ(5/9) AAS
数的処理とか、資料解釈
、コンドラチェフやクラメールとか、そんなほうが
経営法則を生み出せて、助かるんだけど。
853: 2018/09/22(土)19:45 ID:vu2PM5I1(3/3) AAS
定義から従うというけど、
定義に該当するような対象が
実際に存在することは示されているのかな?
854: 学術 2018/09/22(土)20:00 ID:O8zrOAbJ(6/9) AAS
動画リンク[YouTube]
855: 2018/09/22(土)20:02 ID:Efd3nMd1(7/7) AAS
>>844
ということは、マスコミがもっちーのところにアクセスし始めたってことだな。
ショルツのペーパーが公になったらマスコミは動くとは思っていたけど、
予想通りだな。
856(1): 2018/09/22(土)20:10 ID:boEN5+2q(1) AAS
同じ日本人なのに、白人に認められた人しか評価しない日本人って多いよね。
白人の評価がすべてなの?
みっともない。
上下前次1-新書関写板覧索設栞歴
あと 146 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.021s