ABC予想「証明に疑問点」指摘も 出版後も割れる評価 [蚤の市★]
レス数が1000を超えています。これ以上書き込みはできません。
数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の論文が、今年3月に出版された。世界に衝撃を与えた2012年の最初の論文発表から8年半。一線の数学者でも理解するのが難しいとされる論文の評価は割れているが、望月氏は自身の理論の新たな発展に挑んでいる。
論文出版まで8年半「ネットフリックスのドラマのよう」
「謎に包まれた数学の論争は、ネットフリックスのドラマをほうふつとさせる展開だ」
仏紙は3月、論文への批判や審査の不備への指摘など紆余（うよ）曲折を経て出版された経緯をこう表現した。英BBCも「不可解な証明を巡る論争」と題した記事で、「ほとんどの数学者は証明が失敗したと考え、理解することをあきらめた」とする学界の声を伝えた。
ABC予想は、1、2、3…と無限に続く整数の足し算とかけ算という数学の根本についての問いだ。証明されれば数々の未解決問題の解決につながるため、数学のノーベル賞と言われるフィールズ賞級の成果と言われた。その難問に、名門米プリンストン大大学院を卒業後に帰国した望月氏は、約20年かけて1人で作り上げた「宇宙際（うちゅうさい）タイヒミュラー理論」という独創的な理論で挑んだ。
ところが、論文は「足し算やかけ算をする世界（=宇宙）を縦横無尽につなげて（=際）、数を操る」という奇抜さと難解さで、多くの数学者を困惑させた。「どこが分からないのかさえ分からない」「未来から来た論文」と恐れられた。著名な数学者から「証明の進め方に修正不能なギャップがある」といった疑問の声も上がった。
「望月氏を審査から除外」 編集委員会が異例の説明
昨年4月、論文が投稿された数理研発行の数学誌「PRIMS（ピーリムス）」の編集委員会は論文の正しさを確かめる「査読」が終了したと宣言。今年3月に特集号を出版し、膨大なページ数の論文を世に問うた。
それでも、懐疑的な見方は消えていない。英科学誌ネイチャーは「不可解な論文が公式に出版されることに衝撃を受けた。ABC予想の『証明』は物議を醸したままだ」と論評した。
望月氏がPRIMSの編集委員長だったことから、審査方法への疑問もくすぶり続けている。編集委員会は特集号の冒頭で、「利益相反を避けるため、望月氏を委員会から完全に排除していた」と異例の説明を加えた。望月氏も出版後のリポートで、分野が近い研究者が数理研にいるため、「審査に最も技術的に適した雑誌だ」とPRIMSに投稿した理由を説明した。
これに対し、ABC予想を提唱したジョゼフ・オステルレ仏ソルボンヌ大名誉教授は「重要な論文が望月氏に近い雑誌で審査されたのは驚きだ」。フィールズ賞受賞者のピーター・ショルツ独ボン大教授も「証明の疑問点は明らかなのに出版された論文でも解消できていない。納得できる説明をしてほしい」などと述べた。
興味を失う数学者もいる。望…(以下有料版で，残り628文字)
朝日新聞 2021年7月27日 8時00分
https://www.asahi.com/articles/ASP7V4TC2P7RULBJ008.html?ref=tw_asahi 単にキチゲエみたいなこと言ってるだけなんでしょ？
もう日本人じゃ無理だなネトウヨw >>3
お前偏差値４２ぐらい？
お前のレスから凄まじい低知能臭が強烈に発散されてるよｗｗ 泥仕合なんだよな…(*_*;
数学界の幻想を打ち砕いてくれた。
数学は政治みたいなイメージになった。 絶対遠アーベル幾何やエタール・テータ関数の剛性性質、ホッジ・アラケロフ理論の分野に併せて精通している専門家がほとんど居らず
というわけでそもそも検証できる人がほとんど居ないらしい
望月先生が宇宙際タイヒミュラー理論で用いるフロベニオイドの性質がそもそも理解できる人が少ない
望月先生はもしも多数に理解されなくとも成果が出れば評価は後からついて来ると考えておられる感じですね もし、正しかった場合
否定した学者は生き恥晒すんだよな
不正解でも、解いた人はいないんだから
望月にそれほどダメージはない 外国人には、欅坂46のサイレントマジョリティーの歌詞の意味は理解するの難しいしな 疑問箇所が明らかだけど、後の証明でも納得のいく説明のあるものはないようだね。
全く理解できないけどｗ >ABC予想を提唱したジョゼフ・オステルレ仏ソルボンヌ大名誉教授は…。
ソルボンヌ大のジョゼフ先生か…。
久しぶりに名前を聞いたな…。
懐かしいな…。
俺が渡米してソルボンヌ大に留学してた頃は
先生、まだ教授になりたてのばかりだったのに…。
月日が経つのは本当に早いな…。 >>20
白人奴隷ワロタ
そいつらも解けていないんだから
仮に間違いでも同レベル 自分の理解を越えるものは排除する
ある意味合理的だわな これは西洋合理主義の枠組では理解が難しい話なんでは めちゃくちゃ賢い人たちが長年考えて解けていないんだから
キチガイ理論でないと解決は無理ってこと >>22
数学者でも正しいのかどうか理解できてない（笑） AIが発展しすぎた未来はこんなかんじ
人間には理解不能 コラッツ予想とか整数問題で問題自体理解するのはさほど難しくないのに証明できてない問題は相当な難易度だけは解る
なぜなら簡単に証明できるなら文字で置いて一般化を試みればこれだけ世界に数学者がいれば多少難しい程度ならすぐに証明できるから
今残ってる問題はその手法では解決できない別の次元の発想や切り口からアプローチしないといけない問題ばかり >>1 数々の未解決問題の解決につながる
時々なくなる冷蔵庫のプリンの問題も解決かっ！ 証明は難しいが間違った証明の反論は簡単
疑問ってなんだよw 物理や化学だと、実験によって間違いもいずれわかるけど、数学は難しいな。 簡単な証明なのだが、全部書いとると紙面の都合で.. Q.E.D.//
どうも証明は間違っとる。
説明を全部書いとると紙面の都合で.. Q.E.D.// -劇終 - まあだれにも分からないなら予想と大して変わらないな
なんとなく整数論って壮絶無駄なことしてる気がする >>42
経済学者だろ。いまでもノーベル経済学賞は金融関係者が勝手に
でっちあげた賞だし、去年誰がなんの業績で受賞したか
だれも憶えちゃいないよ ペルリマンとか訳わかんなくても筋が通ってるから証明はされたね
こっちはキチガイ発言としかみなされてないね
日本人ってw 「証明の疑問点は明らかなのに」とか言ってないで
疑問なら疑問でその疑問点を明らかにするような
論文書けや！ フェルマーの最終定理みたいにさ
実は日本人学者が解決してたのにさ
それを認めたくない欧米人が日本人の功績を否定した後で情報を自分たちの物にする流れじゃないの？ チェスに例えるとチェックメイトされてないのであれば間違ってないと思うよ >>45
フェルマーの最終定理を解決した
「谷山志村予想」だって最初は周りからキチガイ扱いされてたじゃん >>48
日本人は証明なんてしてないが
志村谷山は予想だ >>48
アホでしょ
フェルマーの最終定理は別に日本人学者が解決なんかしてねーだろ
予想出してただけ
予想は解決じゃねーから
被害妄想のボケは黙っとけ 上 読んでも分からなかった
下 読まずにあれこれ妄想する >>50
予想は証明じゃないw
証明が難しくて本丸なのに何いってんだ？ まーこの理論使って
他の問題を解くことが理解される道なんすかね？
翻訳してくれるＡＩみたいなの百年後できるかな？ >>47
書いたよ。それに望月氏の反論レポートもあるんだけど、喧嘩腰で、説得に成功していない まあこれに関しては間違いで業界でほぼ決着がついてるのでは
ここまで説明をちゃんとしなくて応用例も見つからないとなると信用するのはムリ 証明のギャップを具体的に指摘されてるのにそれを補項などで補おうとしないところがあきらかに不誠実 >>1 数々の未解決問題の解決につながる
じゃあ先に未解決問題の解決しちゃえばいいじゃんｗ 例えばラマヌジャンの円周率式も発見当初は全く理解されず
実に数十年後にグロタンディークが数論幾何を発展させたときにようやく発想が解明され（それまで発想自体が不明）
今ではラマヌジャンの円周率式を更に洗練した式が円周率計算の最速収束式トシテ良く知られる
仮にラマヌジャンが生前にその発想を論文にしたと仮定しても当時グロタンディークは居ないので
良くて放置、下手すると狂人と言われたかも知れない
似たような例はガロアの群論、リーマンの曲面幾何など公表当初は何の理論か良く分からず放置された発見がある >>50
そんなことはない。
はじめから志村谷山予想は真っ当な予想。
フェルマー予想は数学の主流から外れるパズルとしかみなされてなかった。
それが志村谷山予想から導かれることで、
重要性と正当性が深く信じられるようになった ここまでABC予想とは何か誰も説明してできてないw >>51
>>52
>54
って多くの人が思わされてるの
谷山志村予想の谷山はあれを発表した後に突如に自殺してるんだぜ？
全く意味不明の自殺
谷山が書いていた論文はその後に欧米人学者に盗まれた
フェルマーの最終定理を解決に導いたのはアンドリューではなく、日本人学者である谷山だって唱える学者たちも多いんだよ その後の望月は何してるの？
テーマ変えたの？
何か発信してるの？
雑誌のインタビューに答えないの？ >>23に関して、私は真に驚くべきレスを思いついたが、それを書くには狭すぎる。 >>45
ノーベル賞科学部門もフィールズ賞も受賞した事のない
生まれながらの劣等脳人種に言われたくねえわ（爆笑 >>66
次世代幾何学研究所とかいうところの所長に就任してる
ようするに予算獲得競争でごにょごにょしたというのが真相だろう >>62
予想と定理は分けて考えよう。
望月論文だって、
この方針で証明が将来完成するはずだという
望月計画として主張しているのなら
ショルツも黙っていただろう。
証明が完成したと主張しているところに疑問がある 論破したつもりの近代数学者は逆にその近代数学の壁に論破されている
と言う可能性がある 何が分からないのかさっぱり分からない
>「足し算やかけ算をする世界（=宇宙）を縦横無尽につなげて（=際）、数を操る」
なんだから、元の世界と同一と証明する所まで持って行かないと 専門家の大多数が理解できない論理なら、間違ってるんだろうね。
なにか数学記号概念に致命的な欠陥があるのかも知れない。 新しい記号が必要になる話なんじゃねーの
その記号はこういう意味だって定義して 数学者ってアスペばかりだから、誰にでもわかりやすく説明するのが苦手 >>64
未解決問題でも、リーマン予想やポアンカレ予想（定理）よりは簡単だけど、フェルマー・ワイルズの定理やゴールドバッハ予想よりは理解するのが難しい 中国・韓国がノーベル賞受賞者を誕生できない本当の理由
http://ajidra749.blog.so-net.ne.jp/2012-10-11
教育制度に原因があります
詰め込み、試験偏重による丸暗記が多く、創造性に欠ける｣と指摘する。
さらに｢貧しかった中国を手っ取り早く発展させたので、他人の成果を
真似るパクリ文化が広がり、地道な研究は苦手なのだ｣という。 植物ががく、花弁、雄しべ、雌しべに分化して花を形成する共通の課程の理論
ん〜 間違ったかな 遙か先に進んでて誰もついてこられないのか・・・
クソややこしいだけのただのトンデモなのか・・・ >>65
その理論なら日本人の証明者なんて一人もいないことになるぞ？
日本人も外国人が考えた基礎的な理論などを駆使して解いてるからねw
使っただけで日本人のものにはならない
死んだのはただの精神病 >>77
複素数も、それまでの数学の世界では存在しえない概念だったからね。 >>74
陰謀論でもなんでもない
フェルマーの最終定理を解決したとされるアンドリュー・ワイルズですら
「フェルマーを解決したのは私ではなく日本人学者である谷山の功績である」
こう説明してるんだよ >>83
なんだか知らないけど、なに人がどうとか、数学の世界ではどうでもいいことだろ？ 一年前くらいにここで話題になった時調べて感じたのは
証明言語をZEROから作ろうとしてる印象だった >>65
それはガセ。
谷山が死んだ1958年では
EGAも岩澤理論もなかった。
証明が完成した1995年とは時代が全く違う。
谷山が照明に貢献したのは確か 素数を解明するには数学の概念が足りないんだよ
だからこれを解明できればノーベル賞もんなの >>78
ちょっと考えれば分かるが、数学の先端的な研究に比べれば物理や化学などはノーベル賞の内容でも子供の遊びみたいなものだ。
数学の内容を簡単に説明することは不可能。 >>85
そんなのは謙遜して言ってるだけ
実際に解決したと歴史に記録されるのは「アンドリュー・ワイルズ」なの
アホは黙っとけ >>85
謙虚な言い方してるだけで解いたのはワイルズ
功績は確かにあるが証明したとはならないよ
予想は証明ではないという基本的なことから理解したらどう？ >>85
功績はさまざまな人間にある。
解決できたのは、最後のごくわずかな一歩。
でも、そのごくわずかな一歩が、とてつもなく遠い。 例えばね フェルマーの最終定理の時に日本人数学者の谷山は何て言ったのか？
谷山
「恐らく、フェルマーの最終定理とモジュラーと楕円方程式は同じなんだと思います」
これを言った後に世界中の数学者から「日本人はキチガイ」「谷山志村予想とか相手にする価値なし」ってスゲー叩かれた
これで谷山は数学者としてダメになり、精神を病んでたんだぞ 例えば∞、0のような新しい概念があれば簡単に証明できる
そういう類の話
だから既存に数学では証明できない 何時も思うが宇宙際タイヒミュラー理論って名前が凄いよね >>86
もちろん何人でもいいよ？
証明したとされる外国人は何もしてなくて日本人だけが解いたとかわけのわからないことを言ってる人がいたから反論しただけだよ
多分日本ホルホルのネトウヨみたいな人 >>23
ジョセフ君は、俺が渡仏してケンブリッジ大に行ったときの同期だったよ懐かしいな； >>93
その後の望月が知らぬ存ぜぬ
インタビューは受けない
説明しない
放置なのが怪しいな
自分の論文自分でレフェリーしてるとかなんとかも怪しい 反論してる数学者たちがいるのは知ってるけど指摘箇所を何度も説明してるのに受け入れないからな
じゃあ反証しろよって話だけど何もしないし
IUTは正しい >>97
あれまあ、ワイルズが死ぬほど苦しんだ末に辿り着いた発想と全く同じだね
自殺した理由がちょっと分ったわ >>97
ならば証明してやるってならなかったのが残念だね 科学の世界だと日本人は捏造が多いし、
数学で20世紀に問題視されたやつも日本人だったんだよな
あっちも似たような感じでのらりくらりして最後は消えた ラマヌジャンだってハーディがいないとただのポンコツだったぞ
それは理論は浮かぶけど証明ができなかったからだよ
それほどそこの作業が重要なこと >>108
それはすでに別の人がたどり着いてた
苦しんだのはその先だと思う 結構物知りが多い5chでもこれが分かる人は
多分ゼロなんだろうなぁ 白人で髭生やしたジジイじゃないと解いたことにはならないよ🥺 最低限ハーツホーンを読んでない奴は入り口にも立ってないから首を突っ込むだけ無駄だよ。 >>112
そんなわけないでしょう？ｗ
なんで嘘ついてんの？ さらっとしか見てないけど、俺もこれは疑問なんだよなぁ >>99
だから新しい概念を受け入れる、受け入れないという話になり、最終的に現代数学は政治（数学者の多数決）でなにが正しいかが決まる
望月先生は受け入れられるための説得努力を放棄しているので短期での解決は見込めない >>117
残念ながらハーツホーンでも入り口にすら立てませんでした >>110
当時のモジュラーと楕円関数の理論では証明は難しかったのではないかと
谷山先生には道筋は明らかに視えてたと思うが、証明とは測量マップを作り登山道を作るようなもので高い山ほど単独では無理だからね
ワイルズも多数の数学者が協力してるんよ >>34
現代数学で解けないものもあるかもしれないよ。
そんな問題を解こうとする行為は、
ちょうど縄文時代にロケットを飛ばそうとか、
スマホを開発しようとしているようなもの。 >>118
サイエンスでわざわざ名指しされるくらいの捏造大国だし、
数学のやつも女性数学者が証明したら「俺が先に言っていた証明と同じだ」
と主張した日本人数学者がいたんだよ
そいつの主張はもとから意味不明と言われてて相手にされてなかった >>89
>>86
数学の世界にも人種、性別の差別はあるよ
女天才数学者のソフィー・ジェルマンも「女に数学はムリ」と叩かれて論文すら読んで貰えなかった。
だから彼女はずーと偽名使って男を演じてたんだし
谷山志村予想だって「400年も白人数学者が苦しんだフェルマーの最終定理を日本人が解決したなんて絶対に許せない」と考えて嫌がらせする連中も多い >>109
サイテーなのはボッタクリのドイツ人だろ？ 大体このスレにワイルズの定理(フェルマー予想)を理解してる奴が何人いる？
新潮文庫を読んでも数学の理解には何にもならないからね。 >>118
日本人に何を幻想抱いてるか知らんがやりまくりだぞ
オボもいたやん
捏造論文数トップ10
ヨシタカ・フジイ（Yoshitaka Fujii）、藤井善隆（東邦大学） （日本）(撤回論文数:183)
ヨアヒム・ボルト （Joachim Boldt）（独）(153)
ヨシヒロ・サトー（Yoshihiro Sato ）、佐藤能啓（弘前大学）（日本）(103)
ジュン・イワモト（Jun Iwamoto）岩本潤（慶應義塾大学）（日本）(79)
アリ・ナザリ（Ali Nazari）（イラン）・・・材料工学(63)
ディーデリック・スターペル（Diederik Stapel） （オランダ）・・・社会心理学(58)
ユウジ・サイトー（Yuhji Saitoh）、斎藤祐司（東京女子医科大学）（日本） (53)
エイドリアン・マキシム（Adrian Maxim）（米）・・・電子工学(48)
ピーター・チェン（Peter Chen）（台湾） ・・・工学(43)
フォジュルル・サルカール（Fazlul Sarkar）（米）(41) >>115
俺が研究している分野も世界で3人しかやっていないので他の2人の論文の査読が必ず自分に回ってくるという地獄 >>121
それは違う。
ハーツホーンを読んでいれば(読めていれば)、大学院に受け入れてもらえる。それが入り口だ。 つーか、スレの中で一人も理解できる奴いないのに何を語れと・・・ >>128
フェルマーの最終定理は解決された後なら理解なんて高校生でもできるよ
実は理解だけならそんな難しくない
こんな簡単な問題に人類が400年以上も苦しんだことにビックリだわ
数学の世界の怖さを思い知った >>126
君のような思考をする人が、性差別民族差別をして世界を不幸にしてる。
西欧の一般社会では、とっくに国籍など無視されてるのに。
自分の国が素晴らしい、なんていう感覚は世界の貧困と争いをもたらすだけ。 正直ブログの内容も言ってることが意味不明だしかなり怪しい気がする 自民党執行部は日本の破壊
馬鹿が俺をロシアだソ連だ中国人だといって足引っ張る
俺の研究してた内容の横取りで証明だなんだ
天井の電子回路の不具合だけだろ、いま部品注文してまってんだ、松岡 abc予想そのものはわかるんだけど、なんであれがそんなに重要な予想なのかがさっぱりわからん。
根基の重要性からしてさっぱりだ。 >>126
説明してるのにまず予想と証明が別なのを理解しなよ
しかもそれはフェルマー予想ですらなく理論を使っただけ
そんなこと外で言ってたら恥かくよ？ >>134
ウソういて世の中渡って行くのか。高校生が理解出来る証明なんかあるか。 >>137
富岳よりもIBMのWatsonのようなAIじゃ無きゃ駄目だろ。
演算能力だけでどうにかなる問題では無いし。 >>135
谷山志村予想の頃はバリバリに人種差別あった時代の話じゃん
志村は谷山の遺書に「私は数学者としての人生は終わった」「どんだけ説明しても日本人数学者など相手にされない」と書き残しがあったと発表してるし ＞ABC予想を提唱したジョゼフ・オステルレ仏ソルボンヌ大名誉教授
フランス語の数の数え方はおかしいと言われながら、フランスも結構な数の有名な数学者を輩出してるのがよう分からん 最近の物理学や数学の最先端て、デジタルな抽象化に
アナログな理解がついていかない部分があるよね。
よく新しい理論が出てきたときに、学者の半分は理解出来ていない。
とかいわれるが、数学的部分の認識については共通だろうから
アナログに転換する部分で個人的な理解の差がうまれるのだろうね。
で、このアナログ転換にまつわる究極の命題が「認識とは何か」のような気がする。
最後は学問を超えてこの辺を解決しないといけないような気がする。 >>142
って思い込まされてるんだよね
谷山は何十年も前に実はアンドリュー・ワイルズよりも先に解決していた可能性は大きいよ
それを人種差別が邪魔してたの
アンドリュー・ワイルズは謙遜して谷山を称えていたわけではなく、本当に谷山は解決していた可能性が高いと
それを当時の学者が理解してあげられなかったと説明してるじゃん >>150
具体的な数字は重要じゃないからじゃないか
ちなみにグロタンディーグは日本の大学受験で有名な積分問題について、
そんなの数学の問題を考えるとき見たことないから答えも知らないって言ったことがあると聞いた >>147
その時代に民族差別があったとしても、「どんだけ説明しても日本人数学者など相手にされない」というのは被害妄想だろうね。
理解されないのではなく、理解するには不十分な論理だったんだろう。 >>150
英語でカウントしてるんでしょ
バイリンガルだから
いちになんし
ひふみよの違いくらいしかないのでは >>134
ナニ言ってんだ？こいつ
じゃあその高校生でも理解できる説明とやらを今してみろや >>147
被害妄想ひどいな
例えば
1954年に小平邦彦がフィールズ賞もらってるんだが？？
どこが人種差別なのか？？ 論文審査でも人事でも
何かわからないことを書きちらかされると
ひょっとしたらとんでもない天才かと思っちゃうことがある
真性のとんでもが通っちゃうこともある >>152
まったくないね
上でも指摘されてる通り志村谷山予想を解くための岩澤理論は当時ないのだから 白人学者の世界では人種と性別の差別が根強いことを知らないバカが多すぎる
>>159
問題は400年以上も白人数学者が解決できず、ほんろうされ続けた「数学者殺しのフェルマーを日本人が解決したとか許せない」って心理だよ >>163
実際その当時日本人がフィールズ賞もらってるんだし
別に日本人だからといって無条件に差別されてるわけじゃない
ちゃんと評価されるべき人は評価されてるでしょ
だからお前の理屈は成り立たない >>163
許すとか許さないとか以前に、明快な論理で証明できていれば、問題ないわけだ。
すべての数学者が人種差別に凝り固まっていたわけでもないだろう。 >>65
> フェルマーの最終定理を解決に導いたのはアンドリューではなく、日本人学者である谷山だって唱える学者たちも多いんだよ
フェルマー問題と谷山志村予想を結び付けたのはフライ(1984年)なんだから
1958年に亡くなった谷山は自分の予想がフェルマー問題と関係があるとは認識していなかっただろう >>164
いくつかの業績が盗まれたのは本当
ジャーナリストの高山正之とかが書いてた >>161
確かに岩澤理論は当時ないが、フェルマーだって岩澤理論が無い時代に問題を作って答え出してるだろ
岩澤理論が谷山が生きていた時代に存在しないことが、谷山が解決できていない理由にはならないよ 独創的な研究ってのは、こういうことが起こりやすいんだろうね
誰もずっとその研究について理解できない
その研究についての評価は未来において必ずされるんだろうし、望月新一教授には新しい仕事をドンドンやって欲しいわ >>170
そのレスみても、あなたは予想と定理の違いもわかってないし、
なにもわかってないであれこれ言ってるっぽいね >>170
解決云々ではなく予想をしただけで証明はしてない
証明作業をしたのはワイルズ 数学のことはわからんが、
望月先生の経歴だけ見て真の天才、バケモノ級の天才だということはわかる。 インシュリンだったか
偉人の名前に黄が入ってる人と
自然科学系で何人か大発見盗まれ排除されてる
まあスレチ 日本人学者である谷山の功績をさ
同じ日本人が叩くとか悲しいわ
当時にあった人種差別を理解せず、苦しんだ日本人なんて数学の世界だけでなくどこでもあった話だろ
>>172
>>173
そりゃ人種差別で日本人学者の谷山の話を聞こうともしない時代では「予想」のままで終わるわな
ちゃんと差別せず、当時に谷山の話を真剣に聞いていたらフェルマーの最終定理の解決はもっと早かった
谷山が解決していたことになってたよ >>174
天才とは、嗜好をごく狭いところに閉じ込めて他を無視できる能力、ということでいい？ >>1
ABC〜は知っててもそれだけ〜じゃ困ります >>177
谷山の件は悲劇だが
君が言ってるのは、とらぬ狸の皮算用でしかない >>177
そのネトウヨ思考が世界を不幸にする。
それに気が付かないと数学の話にならない。
なにより、人種差別の問題は利権の問題でもあるんだから。 >>174
ブログみたら新しい論文書いてる見たい
Abc以外の望月にも注目してあげたらいいのに そういえば志村谷山予想で思い出したが、
晩年の志村は谷山はあの予想に貢献してないから志村予想だ、
とかまで言ってるんだよね >>177
ちゃんと話を切り分けなよ
志村谷山のことなんて世界に知られてしばらく経っても証明はされてなかった
きっと〜だろうは証明ではないんだよ？ 証明（とする論文）を出したのにろくに他人に説明セズという例は数学の世界ではままあること
ペレルマンも６年間の学究生活（学会では音信不通、消息不明ぐらい）の末にポアンカレ予想を解決したが
数篇の論文以外にはろくに説明せず、
どうやら正しいか不明だが重要だと考えた他の数学者が補題の論文を出したり大騒動になった
この間もペレルマンは他の数学者に怒りを表明する以外はろくに説明せず、研究所には退職届を出し更にフィールズ賞も辞退（但し記録上は受賞）
今でも一切の面談や連絡を断って細々と隠遁してるらしいですね
恩師が我々の想像を絶する孤独な精神の苦闘が彼を変えてしまった、とテレビで語ったがそのとおりだろうね 素数を見つけ出す公式を30年以上研究しているが、中々見出せない。 超天才を理解するには超天才がいないと無理だから
そのうち天才が説明するんだろ。
みんな死んでるかもしれんがｗｗ フェルマーの最終定理の流れ
フェルマー
「クリアしてみろよ！俺はクリアしたぜ！」
オイラー
「ムリでした・・・」
ジェルマン
「ムリでした・・・」
400年後・・・谷山
「フェルマーをクリアしたかも 恐らく、フェルマーとモジュラーと楕円方程式は同じ理屈だよ」
世界の数学者
「そんなわけないだろ！谷山はウソつきだ！」
ゲアハルト・フライ
「ちょっとまって！ 谷山ってウソ言ってないかも！」
「谷山志村予想が正しければフェルマーの最終定理も正しいことになる」
世界の数学者
「え？そうだったの？」
アンドリュー・ワイルズ
「谷山志村予想がヒントになりフェルマーの最終定理を解決しちゃいました」 >>186
ペレルマンに失礼
ペレルマンの論文は矛盾が見つからなかったから正しいかもしれない、
ということで招聘したら応じて説明した
望月は間違ってるという指摘を受けてるのに逃げ回っている >>178
本人が周りに広めなくても、通常は弟子やフォローワーなどその価値を認めた人たちが周辺に広めてくれる
今回はそれすら行われていないので宇宙際タイヒミュラー理論が認められるのは当面の間は望み薄だろうな >>186
望月は新作沢山書いてるみたいよ誰も読まんけどw
ヒント書いてあるだろうね
雑誌で分かりやすくインタビューに答えて欲しいね
もしくは研究室の院生が恩師の説明するべき 確かに俺が小学生の時も議論したな
AはキスでCはセックスで確定なんだけど、Bは何なんだって 天才が書いた天才にしか解読できないような証明をただ偉いだけの数学者が議論しても仕方ないだろ >>39
現代物理学は実験で検証不可能なものも多数ある
超弦理論とかどうやって観測するんだよ >>189
というよりは新作論文望月沢山書いてるのに誰にも読んでもらえない闇の匂いがするw 全くわからんが夜寝れない時に
よく寝れそうな本だな >>195
数学はほかの自然科学分野と異なり実験結果が理論を証明してくれないので数学者が正しいと認めるかどうかが理論が正しいかどうかの判断基準になる
なので「偉いだけの数学者」が正しいと認めなければ正しい理論ではなくなる >>133
この式が成り立つと、どんなことに使えるの？ 誰も理解出来なかったら意味ないと思う、たとえ正しい理論だとしても
本人が他人が理解できるように説明できないんならね、間違ってる可能性だってあるわけで 学問に人種差別や性別差別が無いと言うのならさ
ソフィー・ジェルマンはなぜ女性なのに男性学者だと長い間、嘘ついてたんだよ？ >>147
どこに書いてるの？谷山豊全集もっているから教えて？ 一般人に説明して納得させられれなければ解いてないのと同じだよな >>194
クン○や手万やテコキとかはBだろ？
フェラーリとかAFはセックルなのかは微妙なラインだよな とうとう日本のマスコミからもこんな記事が出てきたか これ最初から丁寧に追ってるひとで証明が正しいと思ってるひとはまずいないだろうな
もともとは数年前のロンドンセミナーでIUTを紹介したら
その場にいただれも理解できないうえに講演者もきちんと説明ができなかった
たしか来ていたのは弟子だったが弟子も自分たちがマジメに検証してなかったのを自覚したんだろう
この時点で迷走が始まってるんだが望月本人は誠実に対応してないし
弟子もこの件には触れなくなっている
数理研の偉い人物だからというので本人の言ってることを鵜呑みにしてたら
致命的な欠陥を発見→本人がそれを認めなくて学内政治で混乱という流れ >>199
Abc論文が分からないは難解だからで置いとくとして
他の沢山の望月論文は分かるのもあるわけでしょう？
他のも分からない扱いの人だとさすがにヤヴァイです たとえ間違っていたとしても世界中の数学者達の脳みそをエグるだけで価値がある。 >>150
子供の頃から10進数と、それとは別の考えを植え込んでいるので
極少数の天才と
数多くの人間を挫折させてバカを生み出す >>201
4色問題みたいに未解決問題が解かれたと騒がれてから20年後に証明の間違いが発見されるという例もあるからな >>203
お前みたいな数学を数学者の人間ドラマで解ったつもりになってる素人が
一番いらん >>204
それ以外の本
>>215
ほら誤魔化した >>177
誰も谷山の功績を叩いてなんかいない
ただ、予想は予想であって
解決ではないという当たり前のことを言ってるだけ
「当時にあった人種差別」←反論 当時日本人がフィールズ賞もらってる
故にお前の理屈は成り立たない
馬鹿は黙ってろ！ こうゆうのって学問の癌なんだよな
根本的にはなにも解ってないとゆうことを先に言わない >>216
全集の意味分かってる？
ちなみに書いてある本の書名とページ番号は？ >>211
他の業績は認められてるから数理解析研究所で教授やれてるわけだが
何の話をしてるんだ？ 俺がこの問題証明してやんよ
A.B.C. ABC ハ〜〜〜ン E気持ち〜♪
Q.E.D. >>221
岩間先生のどこが意味不明なんだ？岩間先生の理論はかなりわかりやすいと思うが 研究費を国から取るためにわざと難しくしてるんだろ
誰も解らないように >>219
「400年も白人数学者が翻弄され続けたフェルマーの最終定理を日本人にクリアさせるわけにはいかない」
これの反論になってない ID:/uasDNPF0のキチガイはマジなんなんだ？？？？
そもそも谷山の時代は谷山志村予想とフェルマーの最終定理はつながってないやろ
証明だってしてるわけねーしむしろ志村なにやってんだって話 >>222
今、パッと言われてパッと出せと言われても不可能です
探すのに時間がかかるから
一週間後にまたきてね
>>229
IDコロコロに説得力ない >>228
>400年も白人数学者が翻弄され続けたフェルマーの最終定理を日本人にクリアさせるわけにはいかない
これ自体がお前の予想でしか無いじゃないか
反論しようがないよね、論者ないし >「どこが分からないのかさえ分からない」
いい事、思いついた。この論文をミレニアム論文と名付けて、理解出来た人に100万ドルを与えるんだよ。 そもそもだけどな
人の考えた数式外の答えってのもあると思うんだわ
宇宙人との交流が待たれる 高学歴者とゆうのはシンプルにすることが苦手なんだよ
ワザと複雑化して結局一人の人間では扱えない仕組みにする
そうしないと自分の価値を見出せないから
それでこんな無駄の多い国になったんだよ >>214
え、そうなの？
これってコンピュータで手当たり次第に計算して証明できたんだろ？ 全集に載ってない論文が本当にあるのなら大発見では？ >>16
どこでも審査はしてくれるだろうがアクセプトしてくれるかはわからない。 ねらーの集合知を持ってしても少しも分からない
一昔前なら有志のやる夫が解説してくれたのだろうか >>18
死んでるんじゃないかな。
5年10年で決着する話じゃなさそうだ。 ＞これに対し、ABC予想を提唱したジョゼフ・オステルレ仏ソルボンヌ大名誉教授は
＞「重要な論文が望月氏に近い雑誌で審査されたのは驚きだ」。
＞フィールズ賞受賞者のピーター・ショルツ独ボン大教授も「証明の疑問点は明らかなの
＞出版された論文でも解消できていない。納得できる説明をしてほしい」などと述べた。
望月センセがますますネトウヨを拗らせますわｗ 論文読んだけど理解出来んかったわw(-_-;)y-~ >>227
Abc 論文だけ意味不明で
他の望月論文は分かるのもおかしな話だな
ジャンルを変えたのかテーマをかえたのか >>22
疑問というのの説明がどうなれば解決できるのか不明なんだよね。
こういう論理展開はダメと言ってるんだけど、なぜダメなのか、どうなれば良いのかはわからない。 ショルツとか超一流の数学者がわからないと言ってるんだろ
本当に大丈夫なのか？ 東工大の加藤先生が書いたIUTの解説本3回読んだが理解出来なかったw AがキスでBがペッティングCが挿入だから、
ABC予想って何なんだ？
望月に聞きたい >>245
Abc論文はガラパゴスで意味不明で
他の望月論文は分かりやすいらしいよ
理解されてる他の望月論文の方がヒントありそうだし面白そう >>124
数学できないけど数学に興味ある自分にとって未解決問題に対するこの例えはしっくり来たw
まだまだ数学が発展しないと証明できない問題の可能性の中挑むの精神的にきついな >>230
ようするに捏造なわけね
そんなの見たことないから変だと思った IUTは二つの方程式を同時に展開していって最後につなぐみたいな流れなんだけど、その最後のつなぐとこに論理的飛躍があると指摘されてるらしい、ということはなんとなく伝わったw >>248
望月だけじゃなくてその弟子や信奉者も上げられた疑問点に回答できてないから事態は深刻だわ 世界では証明失敗という評価
望月はまともな説明ができてない >>230
全集には遺書も載っています。それ以外の本と記している時点で「ウソ」はばれました。 前提になる数学自体が望月先生の発明品という点も更に事態を複雑にしている
例えば重力場のアインシュタイン方程式にはリーマン幾何学を洗練された方法で組み込んでる（今は大学2年ぐらいで習う）が
このリーマン幾何学の手法自体がリーマン弟子とアインシュタインが数年も掛けて新たに開発したものである
つまりアインシュタイン方程式を証明するために新しい数学を発明する必要があったわけで
公表した時点で世界で十人しか理解できなかったという伝説も嘘とは言えない
望月先生も似たような感じでまずフロベニオイドの概念の導出のあたりで既に分からない人が大半でいまだに理解の声が聞かれないと言えよう
もっともご本人は意に介されずIUTをもとに新たな成果に邁進しておられるようである >>254
もうひとつ深刻なのが、
この証明を応用発展して
新たな問題群を解くなどの成果が
得られていないこと。
グロタンティークのように古来の数学者らから批判があっても
その新しい道具で若い信奉者たちがどんどん新しい結果を生み出していけば、信奉しないことイコール置いてけぼりにされること
になる >>37
インターユニバーサルタイヒミュラー理論というのは、複数の数学の分野をつなげる理論なんだよ。
数論と幾何とかね。
で、こっちの分野でこういう理論があるから、あっちの分野でこういう形で使うことができる、だから証明できたという形になる。
別にインターユニバーサルタイヒミュラー理論が初めてそういうことをするわけじゃない。
フェルマーの定理の証明でワイルズは楕円曲線などの代数幾何とモジュラーなどの数論分野を複雑に組み合わせて証明している。
でも、ある意味とても狭いフェルマーの最終定理に比べてABC予想は証明しなければならない内容が広いので、とても広範囲に色々なところのものを持ってくることになる。
それがダメなのか良いのかそこがわからない。 >>254
弟子は理解してるのかな？
理解してるなら代わりに説明してやればいいのに
箝口令な敷かれてる訳でもないだろうし アインシュタインの相対性理論も
観測が成功しただけで理論は未だにわかっとらん >>258
特殊相対論から一般相対論まで
10年もかかったのはアインシュタインが
リーマン幾何学の公式を一つ知らなかったからと言われてるよね まあ，死んだ後にやっと評価される研究もあるからね… >>252
>>257
査読に時間がかかるのは仕方ないからね
実家に本があるから仕方なし リーマン予想が解読されたら今のパスワードが丸裸になるんだっけ？ 検証出来ないならそれは学問ではないよな
宗教みたいなもんだ １行でまとめたら
ＡＢＣの著作権はヨーロッパの物なのに、横からアジア人が盗みやがった。許せん、認めんぞ >>17
役に立たないものにノーベル賞は与えられない >>262
弟子が分からないところを質問しても
気安く答えてくれるような雰囲気ではないのでは？
2018年フィールズ賞受賞のショルツでさえ
疑問点提示したら、学部レベルも知らん低脳扱いをされたし >>85
で？谷山はいつ自分の予想とフェルマーの最終定理の関連について言及してるの？
ソース出して。 学部生のうちからIUT始めるような天才が
出てきてからやっと進展するだろ
京大ならそんな天才いるたろうし >>1
ポアンカレ予想のときも似たような感じだったらしいな。 >>46
単なるパターン認識なんだから、キチガイが学習パターン作ればそのパターンで学習するが？ こんなところで色々書いてると、taro nishinoに
「素人衆が知ったかぶりに勝手なことを書いている」と言われるぞw >>196
そのうち、実験技術が進歩すれば観測できるものもあるのでは。
あるいは理論から導きだされる挙動と合わない物理現象が発見されるとかで正誤はわかるかもしれない。
数学に比べるとその点ましだろう。 本当に素晴らしい功績だったのか、難解なだけのものだったのかは100年もすれば明らかになるだろ 数学に詳しい人は否定的な人が多いかんじだよね つまり証明できていない
日本人の数学関係者ね >>275
ポアンカレのときはこんなふうに膠着したっけ？
フェルマーのときはワイルズが再び籠もった 素数は有限個らしいな。
自然数の終わりの方は無限に素数が出てこないことが示されたらしい。
(´・ω・｀)素数ｦﾜｯﾀ 今回のをネトゲに例えるとこう
どうしても倒せない裏ボスがいて、やり込み勢がボスの行動パターンとか習性をまとめて認定ブログ上で評価されていた。
ある日一人の人物が、特定の順番でアイテム使えばボスが死ぬことを発見。
発表するが、何年もやり込みしてたグループは当然の大反発。ブログに対して認定するなと抗議活動を起こす。
グループの意見はバグ利用だから認められない
クリア者の意見はゲーム内のみで完結した行動だから大丈夫
これでブログ側が裁量を求められて沈黙を続けることになった >>271
数学賞が無いのってノーベルの私怨説あるけどw
実際どうなんだろなw >>275
ポアンカレ予想はトポロジーの問題なのに代数幾何学と物理学で証明してしまったから
トポロジーの専門家が理解できなかったという感じだな >>286
大御所が１回否定しちゃうと
成功したら自分の立場に傷が付くから降りれなくなるというのはある
そういう大御所は弟子がいて、弟子も師匠に逆らう訳にもいかんからグループ対立になる
外野からは真理が全てじゃないの？って思われてるけど学問の分野はこんな事が常にある >>271
> 役に立たないものにノーベル賞は与えられない
たとえば現代の暗号は数学を応用したものだし
実社会の中で十分に役に立ってる >>283
素数は無限だと既に紀元前に証明されてますが…どこの世界にお住まいで？ >>271
役に立つ立たない、で科学を論じるようなバカは数学とかノーベル賞のなんたるかについて書き込むべきではない >>277
あのtaro nishinoって何者なの？
部外者だから噂すら知らん アンドーヴァーでアリス・アッシャーが殺されるあれだろ、知ってますー 素数が無限なのは簡単に証明できるがアレフゼロかどうかは証明できてない >>271
文学賞「…」
経済学賞「…」
平和賞「…」 小保方さんの場合は実際やってみたら再現性がなかったってことで
バレたようだけど証明は証明をなぞることすら難しいのか >>97
谷山さんって自分の予想とフェルマー予想の関係について言及してたんだ！
サイモンシンの本にはそういうこと書いてなかった気がするから知らなかった
やっぱ本当に偉大な数学者なんだね 説明責任が論文提出者にあるとしてもさ
「間違っている」と証明できた者が誰もいないのはなぜ？
「答えろ」と言うだけで、誰も「ここが間違っていた」と言えないのか ガロア、アーベルも生きてる時は評価されなかったんだろ >>278
三次元空間と時間の四次元空間で、10次元の観測は不可能だし、弦の長さは観測することが原理的に不可能なプランク長のオーダーだから観測はできない。
わからかな？物理学はそのコアの理論は、実験や観測で白黒つける学問じゃない。
例えば、天動説と地動説についていうと、ガリレオガリレイの頃の地動説は年周視差が観測できない理由を説明できなかったし、観測精度で天動説に劣っていた。
つまり、天動説が説明できることを説明できず、天動説が正確に予想できることが予想できなかった。
でもそれから200年程度で、多くの学者はそのレベルの差があっても天動説を誤りで地動説を正しいと、観測された事実がなくても理解した。
現在の物理学のコアな理論もそれがどうであるかは観測や実験とは別のところで決まってる。 歴史に続いて数学までも捏造したのかクソクソジャップ
韓国へのコンプレックスとみみっちい島国根性は治したほうがいいぞw >>288
トポロジーの問題を位相幾何で解いたのなら普通だろうに？
何を言ってるのかね？ >>294
わからない
なんか衒学的なところが鼻につく
実はすごい数学者でした、などということはないと思う >>303
ピーター・ショルツとかは論理展開が飛躍してる箇所を具体的に指摘してるでしょ >>303
>「間違っている」と証明できた者が誰もいないのはなぜ？
なんで誰もいないと思ったの？
間違ってるという証明ができたと考えてる人はドイツやフランスの大学に少なくとも数人いるし、その人たちと京大の先生たちは何度も文書にした主張のやりとりをしているよ。
何も知らないバカはまずググれよ。
お前が理解してるのは話違ってる話なんだから。 >>302
言ってない。
彼が書いてるのはデマだ。 >>309
うん衒学的だよね
学問の真実性の前には権威なんてゴミみたいなことも言ってる割には権威主義的な点もきもい >>306
それコペルニクスじゃなかったっけ？
うろ覚えだが、ガリレオの時点で天動説に対する優位性ははっきりしてなかったっけ？ 一流の数学者がリスク犯してまで自説を主張するところに男気を感じる >>176
オレの中学時代の同級生で偏差値28の高校落ちた奴居るわ
更に「名前が書ければ受ける」と言われた滑り止めすら落ちた。
奴は自分の名前すら間違えたのでは？って言われてたな。 文系に語らせるとおかしくなるな
かもしれない、かもしれないで理論に難癖つけることで立場を得ようとしてしまう
こう埋めれば発展するとは決して言えない >>314
年周視差が観測できたのは何年なの？
少しはググれカス。 >>313
数学に置いては学問の真実性を判断するのは数学者の多数決になるので権威主義的要素があるのは仕方がない 論文は人類が滅亡しない限り残る。
１００年後に正しいことが確定すかもしれない。
それでいいじゃないか。 どっちが正しいこと言ってるか人間の能力では分からない という問題があるとこうなるのは必然だわな
数学とはいえ、最終的に正しいかどうかはあくまで人間が決めてることだから >>1
これつまり世界中の数学者が「証明方法からリカイデキナイ」って事だろ。
それじゃどうしようもねーやん。 >>319
まあ究極的にはそうだね
ただ、そういう話のレベルでもないんで 数学の世界ならそれなりに時間かければ
真偽を確定できるもんだと思ってたが
そう言うもんでもないんだな
完全に否定できないんなら数学の敗北じゃないか ID:fZTUmxCV0
ID:QX9Wxn2T0
このお二人の解説がありがたいスレ >>322
だが京大の先生たちは証明は理解できるし正しいと言ってる。一人二人じゃなくて何人もね。
何百人もじゃないけど、それは間違ってると言ってる人もそれほどの数じゃない。
そして、現在の数学は高度に専門化されているからそもそもほとんどの数学者は自分の専門でない分野の数学を理解しようとはしていない。
観測やってる物理屋さんが、ひも理論に興味を持たないのと同じ。
だから大多数の数学者が理解できないというのは、内容が理解可能でないというより、理解したいと思えない分野という話でしかない。 >>318
いや観測精度の話
Wikiによれば
・・・『ルドルフ表』（ルドルフ星表）を作り、1627年に公刊した。それ以前の星表の30倍の精度を持つルドルフ星表は急速に普及し、教皇庁が何と言おうと、惑星の位置は地動説を元にしなければ計算できない時代が始まりつつあった。ルドルフ表の精度の前には、いまだ年周視差が観測できないという地動説の欠点は、些細な問題と考えられた。 佐村河内守、小保方、野々村竜太郎、あの時代は熱かった 観測結果との整合性という点では
ケプラー以降は地動説優位 >>328
ルドルフさんは天動説支持の立場で星表を作ってますけど何か？ （ABC予想）
任意の ε > 0 に対して、次を満たすような自然数の組 (a, b, c) は
高々有限個しか存在しないであろう。
c > rad(abc)^(1+ε) >>327
ショルツらは理解しようとしたよ
でも説得できなかった。
私が望月氏だったら、一ヶ月でも二ヶ月でも出張してつきっきりで説明するけどね。
京都以外で信奉者が出れば、とても強い、 >>334
ルドルフ2世がケプラーに命じて作らせたんだけど知らない？
ググれカス。 >>336
ふむ、でも僕はインターユニバーサルタイヒミュラー理論は正しいような気がしてるから、それについては留保しよう。
シュルツの話は誤解のような気がするけど、それは僕にはうまく説明できない。 >>336
ワークショップやってるのが京大だけなんだよねえ >>62
ラマヌジャン総和法で立証できたから
自然数の総和は-1/12だって言ってるようなもんだろ
理解できないものほど権威にすがって正しいと言い張る >>313
院生時代にコクラン・コックスの実験計画法の本を読んだ、当時は類書がなくコクラン・コックスしかなかった、とか書いてるので、結構高齢だと思う
その割に、2000年以降に出たステインのフーリエ解析入門にお世話になったとか書いているのでなんなんだとは思うけども https://youtu.be/fNS7N04DLAQ?t=4559
東工大の加藤という教授が
宇宙際タイヒミュラー理論を説明した
フラッシュみたいなのがあるが
何のことかさっぱりわからん
この加藤先生自体わかってないんじゃないか >>339
だから、そこが問題じゃないの。
星表は天動説の立場から提出されている。
もちろん計算はケプラーがケプラーの法則を使ってやってるがね。
で、天動説が説明できる年周視差は観測できていない。
観測できない理由を天動説は説明できるけど、地動説は説明できない。
でも科学者は天動説を捨てて、地動説を選んだ。
実験や観測で科学者はコアな理論を選んでいない。 >>336
説得してどうするんだよw
そんなのは意味ないだろwww
求めてるのは反証だろ >>344
加藤先生がIUTについて書いた本があるから読んでみ？
俺は理解出来なかったがw >>345
これ以上はよく知らないけど説明ありがとう
科学哲学でいう理論負荷性の話でしょ？ >>345
逆
どっちも欠陥があるがより多くの場合に精度が高い地動説を選んでるだけ
年周視差が説明できないよりも天動説のほうが圧倒的に精度が低い、
という「観測」結果から理論を選択してるのだから結局は観測の問題 >>348
うん。理論負荷性とか反証主義の失敗の話ね。 >>344
加藤先生の本には疑問を感じる所もあるけど、学部時代にお世話になったし、ダンディだよ 端から全く理解できないので
「ここが証明できてないよ」
「だからーそこを証明している論文だよ」
「いやいや、ここに矛盾があるんだって！」
「だーかーらー、そこに矛盾が無いことをこの論文が証明してるのっ！」
「ちょっと何言ってるかわからない」
という状況だと認識してる >>350
というより、圧倒的に多くの科学者は周転円を多用する天動説が美しくないと考えたわけだ。
科学者にはある種の美学があって、そっちが観測より優先する。
例えばエーテルなんかもそう。
エーテルがないという観測結果はない。
そもそもそういう観測はエーテルの性質からして絶望的だ。
でも特殊相対性理論を使えばエーテルは存在しないと考えて良い。
だから人々はエーテルの存在を否定した。 別の天才君が現れるまで待つしかないのかな…
おいらは群のあたりからメタな構造や関係を使って同型だのなんだのってやってるあたりからもう群馬ぐらいわからん ざっとスレを読んだ
証明が正しいかどうかって話ではなくて
生きてる間に、とりあえずは正しいと思って貰えるか
正しいって前提で考えてくれるシンパが
集められるかどうかって話ね >>317
ネトゲに例えてるお前は何系なの？馬鹿系？ ABC予測何て俺には全然わからないけど
同じ研究してる数学者も「この論文理解できない」って話なんでしょ？
時間をかけて、正誤を検証するしかないかと 100年後に評価されるもよし
間違いであることが証明されるのでもよし 100年後に評価されるもよし
間違いであることが証明されるのでもよし
ずっともやもやしているのもよし
まさに三方よしだな >>354
それは科学哲学や科学史の一知半解だな
近代科学は観測誤差との戦いで、美学なんていうのは実際には優先事項ではない >>364
数学に置いては数学的に美しいかどうかが価値基準に含まれるので美学は評価軸として大きく存在する 望月氏自体、生きてる間に理解されなくてもいいやと思ってそう >>364
なら何で、マイケルソン・モーリーの実験の後もエーテルの存在がメインストリームで否定されなかったのか説明してくれよ。 もっちーの宇宙さいたいひみゅらーは
もう審査ストップしてますよ。
理由は「数学語でok」
意味不明な言葉と意味不明な理論。
めっちゃはしょると
ABC予想が正しいと仮定する
よってABC予想は正しい。
みたいな事が書いてある。
第一線の数学者(ミズーリ大学数学科日本人准教授)
の解説↓
https://youtu.be/uJPenpkJH10 >>366
科学史はそうなってない
ニュートンも観測結果には何度も苦しめられているし、
プリンキピアは数学的には全然美しくない >>364
そうなのかなぁ
優秀な物理学者は一種の美学というか世界というか
そういうのに忠実だと思うけど 日本の国威が高まる事に非常にセンシティブな勢力がいるのです 望月氏はＡＢＣ予想より宇宙際タイヒミュラー理論のほうが大事と言ってる
たぶんわいの宇宙モデルと関係あるのではないかと思う
仁科賞の高柳氏の本読んでいるけど、まったく意味がわからないが
大栗先生の時空理論など現在科学革命進行中じゃないかと思う こういう論文ってびっくりするくらい長いからな
数学者でもなかなか読めないと思う
以前広中さんの特異点解消の論文の結果を使う必要があってちらっと見たんだけど、
200枚以上あってそっ閉じした >>370
なるほどニュートンはいろいろぶれてるね
それが観測結果ゆえのぶれなのか美学（デカルト的なものへの反発）なのかは知らんけど >>368
それが一知半解だと言ってるんだよ
マイケルソン・モーリーの実験のエーテルの不存在の直接観測ではないのだから
マイケルソン・モーリーの実験結果については
エーテルは存在しないとして理論を組み直す
or
エーテルに関する従来の理論が間違ってるだけでエーテルはある
という2通りの解釈が派生した
そしてどちらも「観測結果から自己を見直す」というルートであり、
理論先行的な発想はしていない >>376
だったら、エーテルは存在について反証不可能だということは認めるんだね？
マイケルソン・モーリーの実験で否定できないなら、エーテルがあるとかないとかは観測では確認できないことになる。
つまり、当時の物理学はその根本を反証不可能なものを前提としては組み立てていたということになる。
反証不可能なら観測は問題にならない。 ABC予想ってなんや？と思ってググったら、wikipediaに寄付を請われた >>377
それも間違い
当時の物理学は反証不可能なものを前提に理論を組んでいたのではなく、
なんらかの現象の説明にエーテル概念を使うと便利なのではないか、
という発想をしてる
そしてマイケルソン・モーリーの実験でエーテルは存在しないか、
あるいは存在するとしても観測不能として扱うしかないので前提から外す、
という手順で思考をしている
反証不能なものを前提として組み立てていたというのは「事後評価」であって、
当時の物理学者の行動の説明にはなっていない
当時の物理学者は反証不能という自覚のもとにエーテルを使っていたわけではないのだから 時代を超えた天才なのか？それとも後に引けなくなった詐欺師なのか？
答えを出すにはもう少し時間がかかりそうだな >>370
プリンキピアが美しくない？
楕円が力学から導出できるあの過程を美しくないとかどういうセンスなのかね？
代数解析してないからダメとかそんな程度の美学なの？ >>382
プリンキピアはニュートンが微積分を考案済みであったにもかかわらず、
当時の時代潮流からわざわざ幾何学ベースで劣化版に書き直している、
という前提を知らないのでは科学史を語っても無意味だよ こんな所でシッタカかましてる無職の穀潰しニートは虚しくならねーのかな？
それが惨めだってことも気付かないかw >>380
なら君が考えるエーテルの有無についての実験法示してよ。
僕がそれではエーテルの有無は観測できないと論破してあげるから。
当時の物理学ではエーテルは前提として必要なものだった、それも否定する？
>>383
はあ？
当時はそうやって証明するのが美学だったんだよ。
21世紀の美学と違うから美しくないというわけだ。
なるほど君には科学の歴史は理解できないね。
当時の人が何を考えていたかにはまるで興味がないと見える。
今の結果から、どう当時の人が間違えていたかを考えて遅れていたと思うわけだ。 媒質がなければならないと思ったのが19世紀の人なんだろ、 >>385
上３行は論点ずらしだね
エーテルが反証不能であと事後的に分かったから外された、
反証不能だとわざわざ分かってて使われていた前提ではない、
という俺の説明に反論ができなくなっている
後半についてはニュートンは幾何学で表現する美学的なインセンティブなどなく、
斬新な理論を発表するよりも幾何学ベースで書いたほうが当時は受け入れられやすかった、
という学術政治上の動機があっただけ >>387
で？君の主張はどういうことなの？
反証不可能なエーテルというものがあることを使って理論を作っていたというのは認めるの？
で、当時の人は反証不可能であることは知らなかったと主張するの？でも光速不変の実験結果は当時のエーテルの概念を否定するものだったのは間違い無いよね？
それも否定するの？
君の主張は反証不可能なような気がするね。
どうもアドホックな補強が多すぎる。 万人が納得できない論文は欠陥があるわ
この論文の正しさを証明するチャレンジャー待ち状態wwww 数学的思考をするAIの開発って数学界では行われていないの？
そっちのほうが多くの証明を達成する可能性高そうだけど。 身内だけで証明できましたと言っても信用されないよな >>388
あなたの間違いは事後的に反証不能が判明して棄却された例を持ち出して、
物理学において反証不能なものが前提として受け入れられているという誤った汎化をしていること
そしてその原因はおそらく科学哲学・科学史の斜め読み 数学の言葉に落とし込めないと理解されないよ
現状、あまりにも感覚的だ >>391
自動証明とかずいぶん昔から研究されてるぞ >>389
数学では概念を作る概念自体が未熟なことが多々あるからね。
その辺の誤解もあると思っている。
ニュートンとライプニッツの議論はとても有用で現代の解析学の基礎を作ったものだが、どちらも100年後の人たちからは正しくないとされてしまってる。
>>393
で？
エーテルが当時の理論の根本を成すものだったのは認めるの？否定するの？
当時のエーテルで光速不変が観測され得ないというのは認めるの？認めないの？
光速不変が観測されてもエーテルは捨てられなかったというのは認めるの認めないの？
君が言ってることは俺は正しいお前が知らないという話をそう言ってるだけで何の説明にもなっていないよ。 テレンスタオが批判してたから多分証明できてないんだと思う >>359
理解できないんじゃない
論理ってのは前提から正しく推論して帰結させる
そして、前提は正しいって仮定する
しなければならない
だけど、前提を正しいって仮定することさえ出来ないって人が多い
感情として受け入れられない前提は
間違ってるって仮定して推論しようとしてしまう
それを立証しても、前提が間違ってるってことにはならないんだけどね >>395
まだ全然人に追いついてないのか？
将棋はもう人間こしてるけど、数学なんてそれこそAIの得意分野に思われそうなんだがな。
数学的発想をプログラミングすることが難しいのかな。 >>391
今のAIは単なるパターンマッチだから、人間の脳の活動のほとんどに及ばない。
今のAIがどう進歩しても新しい革新的な理論は出てこない。
既存の理論の延長にある説明可能なことを説明する理論はいくらでも作れるだろうけど、それは知ってることなので評価はされない。
10年おきくらいにコンピュータが新しい理論を発言するという研究がテレビを賑わすけど、まともな結果が出たことはない。
他方人間がコンピュータを使って新しい証明をすることはずっと行われていて多大な成果を出している。 >>396
＞で？
＞エーテルが当時の理論の根本を成すものだったのは認めるの？否定するの？
反証可能であるものとして根本を成すものだったよ
多分この点が理解できてない
簡単にいうと、当時の物理学は、
光が伝播するためには媒質が絶対に必要(A)
という「反証可能」な命題をおいていて、
その媒質はエーテルである(B)
というその媒質理論の中で「反証可能」な仮説をおいていた
ところが(A)が成り立たないので(B)の反証可能性が消えた
(B)を反証不能なものとして前提にしていたわけではない >>1
＞証明されれば数々の未解決問題の解決につながる
数々の未解決問題を解決させてみたらあかんの？ coqあたりで自動証明させたら？
矛盾がなければいいんだろ？ こりゃ偏差値200越えの世界だろ
人類史レベルで理解者が現れるかどうか >>401
まず今のAIはプログラムではあるが、その本質は統計によるパターンマッチなので、本質はプログラムにあるのではなく、統計にあるということを理解しようね。
で、新しい理論は統計によっては出てこないというのはわかるかな？
今のAIができるのはせいぜいがパズルときであって、新理論の提示ではない。
>>404
で、当時の物理学がエーテル媒質中で光速度が不変であってはならないという話で説明していたのは認めるの認めないの？
どうもまどろっこしいね。
人を貶すのはすぐやるけど、自説の説明は小出しかい？
どうもそういう点はよろしくないね。 >>396
物理なんて大概そうじゃん
経路積分も厳密な数学的な定式化はまだできてないだろ？ >>388
仮定ってのは反証に晒されないから
仮定てだけで、反証とは無縁の概念だよ
反証できる、出来ないって議論自体がナンセンス
大前提ってのはわざわざ再確認されないから
殊更、再確認したいなら、そうと分かるように言葉を選んだ方がいいよ なんちゅうか
使ってる論理モデル自体が数学者間でずれてるんじゃないのか？ >>409
＞で、当時の物理学がエーテル媒質中で光速度が不変であってはならないという話で説明していたのは認めるの認めないの？
認めるもなにもそれが事実でしょ
で、それを言ってる時点でエーテルは反証可能な存在だってあなたも認めてるよね
だから俺が最初から言ってる「当時の物理学ではエーテルは反証可能な命題であって、
反証不能な命題が信奉されていた例として挙げるのは誤り」ということでしかない 昔なら独自の論を展開する気鋭のレスで溢れ返っただろうに
今じゃこのザマさ 量子コンピュータ完成したらこう言うのも理解しなきゃならないんだろうな >>411
うんでも、ID:zfylJbNW0はそうは思っていない。
>>412
その通りだが、
ID:zfylJbNW0君は全ての物理学は観測から導かれたと言いたいので、君の主張を認めるわけにはいかないのさ。
用語については僕も彼も科学史科学哲学のど素人なのでWikipediaレベルの使い方なんだすまんね。 エーテル問題は科学哲学をかじったひとがドヤ顔で語るけど、
エーテル問題の要点はエーテルがあるかどうかじゃないんだよ
１、光は伝搬に媒質が必要（音波などと同じ発想）
２、その媒質はエーテルで水などと同様に伝搬に影響を与える
という２点が問題でこれが崩れたからエーテル概念は不要になった、
というほうが正しい
エーテルの反証不能性なんていうのは哲学者の無理解から生じた論点に過ぎない >>8
俺偏差値６５のアホパヨだけど、宇宙に堆肥があることだけは理解した >>414
>>>409
>＞で、当時の物理学がエーテル媒質中で光速度が不変であってはならないという話で説明していたのは認めるの認めないの？
>
>認めるもなにもそれが事実でしょ
ならマイケンソンモーリーの実験でそういう存在としてのエーテルは否定されたことになる。
そうだよね。
光速度不変という実験結果は、当時のエーテルという媒質の理解ではありえない。だから当時考えられたエーテルは存在しない。
エーテルが存在するとしても当時の理解は間違ってることになる。
でも、現実にはそれは受け入れられていない。
観測が理論を導くのではないからね。
地動説における年周視差の問題と同じく、理論に不都合な観測結果はそういう観測結果があるというまま止め置かれることになった。
もちろんさまざまなアドホックな提案はなされたけどね。 >>409
新しい理論の発明をAIに任せるって話ではなくて
その発明をAIの世界に構築中したら
既存の世界の部分集合なのか、上位集合なのか
解ける未解決問題があるのかなどの評価ができないかって話では？ 専門家が証明出来ないないと言っているんだから
評価が割れてなどいない
証明出来てないでFA >>418
それは後付の議論に過ぎない。
当時のエーテルはその中では光速度不変であってはならないものだ。
そして観測はエーテルの中で光速度不変であることを示している。
その事実を受け入れないで何を言おうが言い訳でしかない。
>>422
>その発明をAIの世界に構築中したら
わからない。ごめんなさい何度読んでも僕には意味がとれない。
具体的に何をどうするの？ 専門家が証明出来てないと言っているんだから
評価が割れてなどいない
証明出来てないでFA
それつまり査読を通らなかったってことに他ならないだろウソつきクズども
>>421
＞でも、現実にはそれは受け入れられていない。
＞観測が理論を導くのではないからね。
特殊相対性理論がその成果のひとつなのになにを言っているのか
だから科学哲学の一知半解（おそらくポパーかなにかの
観測が理論の土台になっていないという実態にもとづいていない哲学）だと言っている
物理学者は基本的に観測結果に対しては非常に神経質で、
あなたが言ってるような理論先行型のユートピアではないよ 数学なんだから
真っ当な学問なんだから
こんなこと許したら全部メチャクチャになるだろ
いい加減にしろよウソつき猿ども
査読を通らなかったら証明の穴を埋めるか、それが出来なかったら諦めるか
どっちかにしろよ
全世界の数学者がそうしてるだろ
なんで望月だけが例外なんだよカス
>>369
そうそう、そんな感じ
証明してないと思う 哲学者が実験や観測の価値を貶めようとする理由はだいたい決まってる。
それは自分たちが絶対にそのままでは参加できないのが実験と観測だという点。
哲学が自然科学に影響を与えている
そう信じるためには実験と観測を貶める必要がある。 >>424
専門家が証明は正しかったとして専門論文誌に掲載してるよ。
>>427
査読は通ってる。
何を言ってるだ君は？
少しはググったらどうだ？
望月新一って1に名前出てるだろ？
>>428
>>>421
>＞でも、現実にはそれは受け入れられていない。
>＞観測が理論を導くのではないからね。
>
>特殊相対性理論がその成果のひとつなのになにを言っているのか
特殊相対論はエーテルを説明するための理論ではない。
ニュートン力学におけるガリレオ変換の普遍性を否定した理論だ。
エーテルはその結果に過ぎない。
君の話は常に後出しでアドホックだね。
科学というのは観測でのみ発展進歩しているものではない。
その中心にあるのは人間の洞察能力であって、観測や実験はそれを支える要素の一つでしかない。 >>433
実験を習得していないひとが物理現象を的確に洞察した例はないけどね >>430
20歳からアカポスについて，何の業績もなく多額の税金食い潰してきたから，
焦ってここらで一発逆転狙ってのことなんだろうな。京大も多額の研究費獲得
のために宣伝に利用したいんだろうし。
天才と言う割にはフィールズ賞もとれていませんねぇｗ >>427
所属している研究所が出している論文誌の査読を通った >>433
>>424
専門家が証明は正しかったとして専門論文誌に掲載してるよ。
この一文で分かったけど素人なんだな
査読は証明の正しさを保証しないし今回の査読の記者会見でもそこは名言してない
とくに柏原のほうはかなり言葉を濁していた >>426
自然数の足し算をMatimatica 今で言う
wolfram alphaで再定義しようとすると
自然数Aと自然数Bの集合の射影が一意に存在し
AとBを足したCの射影が一意に存在すると定義したりするんだろうけど
これがAIだったら
「Cは１が含まれない自然数の部分集合であって、自然数では無いですよ」
とか、「自然数の定義に０を含めた方がいいですよ。今までの自然数は正の整数って呼べばいいんですよ」
とか、言ってくれるんじゃね？ どれくらい奇抜なんだろうなぁ。ニュートン力学が一般化したころ、まだ電磁気学もない時代にいきなり量子力学が登場した！
くらいな感じか？？ あと>>433
＞特殊相対論はエーテルを説明するための理論ではない。
特殊相対性理論は光速度不変とガリレオ変換の両方で
マイケルソン・モーリーの実験と結びつてるよ >>437
複数の専門家が証明の穴を具体的に指摘して
証明出来てないと言ってるだろが
言い逃れするなゴミクズ野郎
>>85
こういう奴は、京都で「お茶漬け美味しいですねー」ってくつろぐ奴だろうね >>438
「身内が一番くわしいから身内の雑誌で発表します」
って言い訳にもなってないわな。批判されるのは当然 >>439
そう学習すればそういうだろうけど、それで何か？
>>438
ならPRISMの査読は証明はわかんないけど、載っけてよいよといって掲載したの？
つまり、査読は正誤について判断してないことになってるの？
ソース付きで説明してくれるかな？
インタビューで明言してるかどうかなんて本質的じゃないよ。 ショルツやスティックスの批判に望月はまともに答えなかったんだよね。その時点でこの件は終わったとみなされてる。
Mathematical proof that rocked number theory will be published
03 April 2020
https://www.nature.com/articles/d41586-020-00998-2
Many, including Mochizuki’s own PhD advisor, Gerd Faltings, openly criticized
Mochizuki for not trying to communicate his ideas more clearly.
> 望月の指導教官であるゲルト・ファルティングスを含む多くの人が
> 望月が自分の考えをもっと明確に伝えようとしないことを公然と批判した。
In September of that year, Scholze and Stix went public, when they were quoted in an exclusive article in the maths
and physics magazine Quanta, saying they had found a “serious, unfixable gap”, as Stix put it.
“I think the abc conjecture is still open,” Scholze told Quanta. “Anybody has a chance of proving it.”
> その年の9月、ショルツェとスティックスは 数学と物理学の雑誌Quantaの独占記事で、Stixが言っていたように、
> 「深刻で修正不可能なギャップ」を見つけたと述べています。
> 「abc予想はまだ開いていると思う」「誰でもそれを証明するチャンスがあります。」とショルツェはQuantaで述べた。
In comments posted on his website at the time, Mochizuki brushed aside the
criticisms, arguing that the two authors had simply failed to understand his work.
But several experts told Nature that much of the mathematical community considered the matter to be settled at that point.
> 当時の彼のウェブサイトに投稿されたコメントの中で、望月は二人は単に彼の仕事を理解できなかったと主張することで、批判を払いのけた。
> しかし、何人かの専門家は、数学界の多くがその時点で問題が終わってしまったと考えているとネイチャーに語った。 >>448
＞ならPRISMの査読は証明はわかんないけど、載っけてよいよといって掲載したの？
そこが問題になってるんだぞ
だって数理研のだれも追加説明しないし、
柏原の発言はこれでもう終わりということで、でしかなかった
さらに最初から言われてるように他誌に投稿すべきだった
あなたさっきからいろいろ書いてるけどこの問題に無知なだけじゃなくて、
数学にも科学にも精通していないし、文系の独自研究かなにか？ >>1
PRIMSに投稿したのは悪手でしかない
学問に忖度を入れてしまった。 >>452
数学で世界一価値のある雑誌はプリンストン大学の起用Annals of Mathematics >>442
当たり前だ相対性理論はマイケンソンモーリーの実験が出発点だ。
でも今話していることはエーテルであって特殊相対性理論じゃない。
>>450
俺を批判するのに一生懸命だけど、俺の質問には答えていないね。
ならPRISMの査読は証明はわかんないけど、載っけてよいよといって掲載したの？
問題になっているも何も、PRISMは査読付きの論文誌で、問題の論文は査読は通ってる扱いで掲載されてる。
それは認めるの？
そして査読は掲載すること自体の可否ではなく、論文の可否を審査することになってる。
形式的だろうが、現実にそういうことになってるのは認めるの？
以上を認めるなら、話はPRISMの査読はその論文が論文誌に掲載する程度の正しさがあるいう査読報告書を出したということは認めることになるだろう。
それもわからないか？ 数学者すらわからない望月さんの論文を俺が理解できるわけないけど
批判してる人達は証明が誤ってるなら誤ってるで誰も指摘できてないのか？ 現代のセンメルヴェイスか、狂人の戯言か？
結論はいつ出るのだろうか？ >>455
＞ならPRISMの査読は証明はわかんないけど、載っけてよいよといって掲載したの？
そうでしょ
むしろどうやって査読者が証明を理解してるんだよ
abc予想の証明論文のギャップを本人が埋めないなら
理解してるやつがサーベイでも書けば大量に引用稼げるのにしない時点でお察しだわ >>448
目に見える地雷は取り除いた方がいいでしょ
で、地雷が見つかりませんでしたとなれば
そのままツールとして使える
殆どコストゼロで使えるじゃん
それで問題が起きても、AIのバグなり
その構築した世界の問題が判明するわけで
何ら悪いことにはならない >>452
紀要は一般に査読がつかない。つくものもあるけどね。
PRISMは査読がある。
その査読の権威とか論文誌の権威がどれほどかという話なら、最低でも最高でもないからそこに載ったから今の数学界では誰もが認めざるを得ないとか、みんなそんなところの査読は信じてないとかいう話じゃない。 >>459
サーベイ論文もでてるけど、これもやっぱり数理解析研究所
すべてが身内 査読者が理解してる可能性はほぼゼロだな
理解したならだれかしらからペーパーが出るはず
金塊の在処がわかってるのに掘らないというのは信じられない
加藤文元なんかも褒めるだけで具体的な解説はしないし
最近は弟子筋でもIUTの解説はしなくなってる >>463
あのサーベイは肝心のabc予想の点についてはコピペしてるだけでなにも言ってないんだよな >>1
>ABC予想を提唱したジョゼフ・オステルレ仏ソルボンヌ大名誉教授は「重要な論文が望月氏に近い雑誌で審査されたのは驚きだ」
これが正しい反応だろ >>449
修正不可能なギャップってのは
叩き台に上げられたの？
教官が望月の態度が悪いって言ってるから
指摘に対してリアクションを取ってない？ >>460
君は今のAIが何か魔法を使ってると思ってるのではないかな？
今のAIは単にパターンマッチを行ってるだけ。
パターンマッチの方法は事前に用意されている。
これは教師あり学習でも教師なし学習でもそう。
だから、そのやり方でどういうパターンマッチもできるし、そういう学習データ用意しておけば良い精度の学習をする。
でもそれで見えない地雷を取り除くことはできない。
だって、基本的に事前に用意されたパターンマッチの方法を繰り返すだけだから。 >>31
望月先生は母親がアメリカ人だったから若いときはメチャイケメンだったしな
前から本人が強く否定しているようにモホセクシャルではないのに未だ未婚なのがねえ >>469
いや、パターンマッチの話をしてるんだが？
そもそも、数学とはパターンとして表記、実装できるものだろ 自分では論理的と思ってるくせに説明が下手な奴の文章て頭がクラクラするわ >>469
＞今のAIは単にパターンマッチを行ってるだけ。
＞パターンマッチの方法は事前に用意されている。
されてるわけないだろ
なに言ってるんだ
おまえ１から１０まで知ったかしてるな >>459
>>>455
>＞ならPRISMの査読は証明はわかんないけど、載っけてよいよといって掲載したの？
>
>そうでしょ
それを公言してるなら良いけど、現段階ではそれは
あなたの個人的観測ですよね？
そのように査読者も編集委員も言ってはいないよ。
>むしろどうやって査読者が証明を理解してるんだよ
そんなことは査読委員が知ってれば良いこと。
査読が通った以上、査読委員は理解して通したと、論文誌読む方は信じるしかない。 >>474
現状でギャップを埋めたらabc予想から望月・XXXの定理になる
これを埋めないバカはいないのでだれも理解してないと考えるのが妥当 そもそもPRIMSが査読をむりやり通したのは
>>474
査読が通った以上、査読委員は理解して通したと、論文誌読む方は信じるしかない。
という馬鹿げたへりくつをこねるためだし実際に使うやつが出てきたのが害悪だな >>475
望月は埋めないの？
つか、肝心の望月が理解してない？ >>477
理解してないか理解してると誤解してるかどっちかじゃないかね >>455
特殊相対性理論の出発点はマクスウェル方程式がローレンツ不変でニュートン力学と矛盾してることだよ
アインシュタインはそのエーテル風検出実験は知らなかったと言ってるし >>473
ここがわからないなら君は基本的に何もAIを理解していない。
事前にパターンマッチの方法を用意していないAIの例を出してご覧？
>>471
できる。
で、例えばy=x^2という理論があったとして、x=2の時にy=4という事実を発見することにはあまり価値はない。
AIが発見できる論理のパターンがすでに提出されている論理のパターンの範囲内であるとそれは価値がないことになる。
で、現在のAIのパターンマッチはメタ的に派生したり、洞察を持って発見したりはしないのだから、基本学習できるパターンマッチでしかない。 >>480
パターンマッチというのはデータ検索の手法でこれを機械学習とは呼ばない
ネットのデタラメな解説だとよく出てくるのであなたが普段なにを読んでるかだいたい分かるな >>480
おまいさんが価値がないと思ってるだけだな
既知の範囲内で反証にさらされて
耐えきったのなら、耐えきったって実績は残る
何の反証にさらされてないよりもずっと立派 まあ、どちらにしろディープラーニングが苦手な分野ではありそうだ
そこで、今こそエキスパートシステムですよ >>481
用語の要約として適切かどうかはとかく>>480の言いたいのはいわゆるAIは「推論」の時点で創造的な活動をしてるわけじゃないってことだろ
機械学習が終了した時点でその出力バリエーションが確定してるって話 証明に穴があっても結論が正しいだけで価値ある発見では？
これからみんなで詰めていけばいいだけでは？
そんな検証作業をするだけでも数年の時間がかかってキャリア棒に振るってこと？ >>484
そう解釈しても微妙
たとえば深層学習で使われる手法は人間の脳を部分的に模倣してるので、
クリエイティブでないと言い切るのは困難
っていうか機械学習がわかってるひとなら、
機械学習でやってるのは統計処理であって演繹的推論ではないので数学には直接応用できない
と言えば終わりだから、ID:fZTUmxCV0が機械学習をわかってないのは明白
あと望月論文に対しては自動定理証明使えってのは尤もな指摘だし、
やるべきであるようにはみえる >>483
ディープラーニングもなにが「ディープ」なのか理解されずにイメージだけ上滑りしてるからな
>>485
証明されなければ正しいと言いようがないよ >>485
結論というか予想は元々されている
それを証明するのがキモでしょ 公表から8年もたって証明ができたのかできてないのかさえ確定しないって、
それがもし本当なら数学はもう学問として成立するかどうか限外のところに
来てるってことになるんじゃね？ これは正しいのかトンデモ理論なのか
正しいのかトンデモ理論かどうかもわからないほど難解なのか
結局なんなん？ >>486
＞人間の脳を部分的に模倣してる
いやいやあんたの「理解」もやばいぞｗ
確かに原始的なパーセプトロンの段階では将来的な希望としてそういう見方もできたが
電子的シナプスは未だに増殖できないからね >>491
誰にも分からんくらい難しくして
私が証明したと主張すれば
証明した事を否定されない！
↑
もっちーの態度はこんな感じ >>493
間違っている！
というのも誰も言えないのか？ >>491
元々、今まで誰も証明できてない難問とかじゃなかったか
だから、正解でも間違いでも、簡単に他者にも判らない
でも、論文が独特すぎるって話なのかな 他の誰にも証明不可能だけど正しくて有用ってんなら自分で独占的にそれを活用してウハウハ！とはならないのかな >>492
たとえば非増殖のパーセプトロンの集合がアウトプットしたものが創造的でない、
というのは「創造性」の定義の問題になるよね？
で、そのときの創造性って何？という話をしていくと、
人間の場合も外部データの学習からアウトプットを吐き出しているだけ、
ということになる
じゃあそこで電子的シナプスが創造性の定義に絶対必要なのか、
たとえば最近物理学であった分子構造の特定は創造的ではないのか、
あるいは分子構造の特定手続が人間と本当に本質的に違うのかという話につながる
そして数学の証明において重要なのはクリエイティブかどうかではなくて、
それが演繹推論になっているかどうか ABC予想って条件を満たす a,b,cが有限通りしかないって
いくら条件満たす例を挙げてもいやそれでも有限個だからって言われるよな
こんなの反証するのはほぼほぼムリだから証明できてるって事でいいんじゃね？ >>391
初等幾何学の自動証明とか、計算問題を式として解くというのは前からある
これらは決まったルールの中で問題を解くような話
望月氏の研究みたいなのは、新しい概念を作って定式化する作業の方が重要だし難しい
概念がうまく定義されていれば論理的には演繹で定理が導き出される
この部分は理屈の上では今のコンピュータでもできるはずのこと
でも、良い概念を定義するところはコンピュータでは難しいと思う
これはコンピュータが意味を理解できないことと関係しているかもしれない >>498
自然数は有限個しかないことも「証明」できそーな論法だなｗ 前例的なのにポアンカレ予想の証明があったからな
証明したとされているペレルマンは熱力学を応用し微分幾何学を使って証明したので
解説を聞かされた研究者は当該予想は位相幾何学の問題と思い込んでいたのでさっぱり理解できず混乱し落胆もしたそうだ ●プロパガンダ装置としてのノーベル賞、スウェーデンという国家。
■ノーベル賞受賞者がこう言っていると言えば、世論を動かしやすい
■ダイナマイトを作ったノーベルと、ロスチャイルドはロシアの石油開発を一緒にやっていた関係
■地球温暖化、炭素排出量を煽るのは、原子力で金が儲かることももちろんだが、
石油、石炭、天然ガスが暴落したところをグローバリスト達が買い占めるためでは？と言われている。
■ノーベル賞と核開発や原子力は密接に関わっていて、ノーベル賞第一号はレントゲン、
それからも核開発の発見した関係者がことごとくノーベル賞をもらっている。
■IPS細胞の山中教授、以前、高校で行われた講義で、
新しくできた薬をいきなり人間で試したらダメと言っていたのに、今はコロナワクチンを推進してるらしい
■そして、コロナワクチン（mRNA）の開発をした女性科学者が次のノーベル医学生理学賞ではと言われている
■ノーベル賞はグローバリズム政策を進めるためのプロパガンダ ●キュリー夫人はノーベル賞神話の普及、原子物理学のためのプロパガンダ。
キュリー夫人一家はニューワールドオーダーファミリー
■ノーベル賞はプロパガンダであり、買収
■原子力はキュリー夫人の時代からロスチャイルドが、支配している
■キュリー研究所、ラジウム研究所はロスチャイルドが建てた（アンリロスチャイルド）
■キュリーの娘も夫のジョリオと一緒に核開発の研究でノーベル賞をもらっている
キュリー夫人のもう一人の娘がキュリー夫人の伝記を書いた。
それがあるとき、各国で翻訳されて販売され映画化されて同時世界的大ヒット。様々な賞も受賞。
■このキュリー夫人の伝記を書いたエーブキュリーは、ただのイチ作家、ジャーナリストだが、
ドゴール政権の女性問題担当にいたり、イスラエル国承認運動のリーダーであり、
NATOの初代事務局長の特別顧問であり、ユニセフのファーストレディー
■エイブキュリーの夫、ヘンリーブライスはユニセフの事務局長でのちにノーベル平和賞をもらっている
■戦後、1番目に日本で公開された洋画がキュリー夫人。ユダヤ人のアインシュタインがノーベル賞受賞。
受賞した翌年に日本来日、その後、湯川秀樹がノーベル賞受賞。
■今もなぜか日本の教科書で代表的な伝記人物としてキュリー夫人が取り上げられている ●プロパガンダ国家 グローバリズム国家としてのスウェーデン
■ノーベル化学賞、物理学賞 経済学賞
スウェーデン王立科学アカデミー
（少数のスウェーデン人会員によって決定）
■ノーベル文学賞
スウェーデンアカデミー（王立）
設立当時から18人の終身のスウェーデン人によってノーベル賞が選考されている
■ノーベル医学、生理学賞
カロリンスカ研究所（世界最大の医学単科系大学、スウェーデン王立）
の少数のスウェーデン人で決める。このカロリンスカ大学から7人もノーベル賞が出ている
■ノーベル平和賞
ノルウェー ノーベル賞委員会
ノルウェーの5名の政治家が決める
このうちの一人がハンブロー家出身のチャールズハンブロー
ロスチャイルド家でユダヤ人 ●ノーベル賞を仕切ってるのはノーベル一家じゃない
■スウェーデンの財閥（ヴァレンべり家）がノーベル賞を仕切っている
■ヴァレンべり家が資金管理、理事を輩出している
■ヴァレンべり家が1856年にストックホルムに民間銀行を作って金本位制を導入
金本位制と言えばロスチャイルド。ロスチャイルド家と一体。
■持ち株会社をを通して、スウェーデンのGNPの3分の一を支配している
サーブっていう兵器会社、エリクソンも傘下
■スウェーデンは北にあって大国ではなく、地理的に目立たないが
グローバル勢力の大拠点がある
ロスチャイルド家の傘下であると思われるが
そのそぶりを見せないし、緊張関係もある。
あまり目立たず大きな勢力を持っている
■スウェーデンの研究開発の 4分の3をヴァレンべり家がやっていた
■核医療、動物ウイルスの研究に投資していた
ヴァレンべり家が支配、オーナーであった有名な会社がアストラ
1999年にゼネカと合併しアストラゼネカになった。 ■環境少女グレタの家族は裕福な芸能一家。
・グレタの祖父は有名俳優、監督。
・祖父はスパンテアルテウス。ノーベル化学賞受賞。ノーベル賞創設に関わっている
（大気中に二酸化炭素の量の変化が温室効果によって地表に影響を与えるという説を提唱した）
・グレタの父 俳優、プロデューサーとして活動
・グレタの母 オペラ歌手 人権活動家に送られるマーチンルーサーキング賞を受賞
世界野生生物基金（WWF）から環境ヒーロー賞受賞
■昭和16年2月の新聞 満州日日新聞
ユダヤの３S政策であります
スクリーン、スポーツ、セックスの３つで。スクリーンはアメリカ映画の9割までがユダヤの資本
名優はユダヤか、ユダヤ人と結婚しておるものでなければならない
しかもそのアメリカの映画が全世界を風靡している
映画界におけるユダヤ勢力がいかに大きいものであるかが分かる >>491
要約すると
今までの数学のセオリーで解いてないからノーカン派と
そのセオリー外としてる理論は、数学のセオリー内で構築したんだからノーカンにならねぇ派
でモメてる >>501
それは特集見た文系はみんなそう言っとるから、わざわざ書かんでもスレ内に大量にあるぞw ●マルクスや共産主義を若者に刷り込むキャンペーンが日本で行われている
■日本の左翼は、マルクスが超大金持ちのロスチャイルドの孫だってこと言わない
■マルクス主義のバックボーンにはユダヤ教がある
■カトリックもイスラムも名前が違うだけでユダヤ教
■NHKを筆頭に大プロパガンダが行われている
■アメリカでサンダースなどの共産主義がウケているのと同じ現象
日本でも同じことが起きている
■若者に爆発的にマルクスの本が売れている
■マルクスのいくつく先は、ワンワールドやマネー主義
地球市民の思想に染まる。
■共産主義も新自由主義も中身おんなじ。
ユダヤお得意の両建て。
どっちに転んでもユダヤ人の理想とする社会
一部の人間がその他を奴隷化する社会（ソ連、中国、北朝鮮）
民族性も無くす(植民地支配に王族、皇族、民族性はジャマ) ●マルクスはメチャメチャ大金持ちの家系
（ぜんぜん庶民の立ち場じゃねえ）
■マルクス＝ロスチャイルド一族の孫
・マルクスはユダヤ・ロスチャイルドコーエン一族の孫
（コーエン家は当時イギリス綿製品を仕切っていた大富豪）
（現在のロスチャイルド家の礎を築いたネイサン・メイアー・ロスチャイルドと結婚した
ハンナ・コーエンとマルクスの祖母ナネッテ・コーエンは従妹関係）
・マルクスの父親はユダヤ教ラビ
（マルクス家は代々ユダヤ教のラビ。母親もラビの家系）
・欧州最大の電気メーカー、フィリップス電気の創業者（ジェラルド・フィリップス）がいとこにいる
・マルクスの妹の旦那と甥は南アフリカの植民地支配の政権にいたｗ
・マルクスの嫁（イェニー・フォン・ヴェストファーレン）はプロシアの貴族ｗ
・マルクスの嫁の腹違いの兄（イェニー・フォン・ヴェストファーレン）はプロシアの内務大臣
革命を弾圧する側
・マルクスはFRSAのメンバー（ロイヤル・ソサエティー・オブ・アーツ）
（超がつく特権階級） 69不要不急の名無しさん2020/05/01(金) 18:02:50.88ID:qe/P1OYv0
みんな仲間だよ
ビルゲイツ 親父
ジョージソロス
ファウチ博士 トランプ政権でコロナ対策担当
デイビッドロックフェラー
テッド・ターナー CNN創業者
アスター一族
https://i.imgur.com/rxEqgKH.jpg ●スイスで行われた悪魔儀式の映像 政治家も多数参加してた
アルプスの悪魔儀式 // 世界最長鉄道トンネル開通式
https://www.youtube.com/watch?v=PvlFZEMMq4M&;t=103s
■スイスと言えば＝WHOがあるところですｗ
スイスのジュネーブ
ダボス会議、国連、FIFA WTO 赤十字国際委員会 などなど
https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A5%E3%83%8D%E3%83%BC%E3%83%B4
世界の支配層がいると言われています ●アメリカは民主主義国ではない
0.1パーセントの超絶富裕層が金融、マスコミ、政治を支配する搾取社会
＞ビルクリントンが大統領だったとき
＞財務長官はルービンというゴールドマンサックスの元会長
＞ブッシュの息子が大統領になって首席補佐官はゴールドマンサックス
＞ブッシュの息子の二番目の財務長官もゴールドマンサックス
＞オバマが大統領になって
＞財務長官 商務長官、米国通商代表、大統領経済諮問会議
＞この4人が一番重要なんですが
＞4人ともゴールドマンサックスとシティバンク ルービンの下で働いていた連中
＞トランプが大統領になってみたら
＞今の財務長官はゴールドマンサックス 商務長官はロスチャイルド銀行
＞国家経済委員会の委員長はゴールドマンサックス
＞政党関係ない
＞共和党が民主党が大統領なろうが
＞財務省がいつもゴールドマンサックス
＞マスコミもCBS、ワシントンポスト、ニューヨークタイムズ
＞0.1％の超絶富裕層がが所有権を持ってる
136名無しさん＠１周年2017/08/28(月) 21:50:27.97ID:AGhh6V890
本拠地：欧州
実家：イスラエル（作っちゃいました）
直属護衛軍：アメリカ軍
支配域：地球
■ゴールドマンサックス＝アメリカに本社を置くユダヤ企業。金融グループ
■ゆうちょ銀、運用責任者にゴールドマン元副会長 ：日本経済新聞
https://www.nikkei.com/article/DGXLASGC28H1Q_Y5A520C1EE8000/
日本郵政は２９日、ゆうちょ銀行副社長に
元ゴールドマン・サックス証券副会長の佐護勝紀氏（４７）が就任する人事を発表した
■デービット・アトキンソン 元ゴールドマンサックス
神社・寺院などの文化財修復・施工業の漆塗りや彩色、
錺金具の業界最大手である小西美術工芸の代表取締役社長
2017年6月より、日本政府観光局の特別顧問に就任
http://toyokeizai.net/articles/-/51177 >>268
んなことはない
予想が正しいって前提でいろんなことを仕掛けることはできるから ●2009年2月25日 世界保健機関優生学会議における ヘンリー・キッシンジャーの講演』
『群衆が、強制ワクチンを受け入れたら、それでゲームは終りだ！
奴等はなんでも受け入れる
血液や内臓を大多数のために強制的に寄付させたり。
大多数のために、奴等の子供は遺伝子操作をして不妊にしてやる。
羊の心を支配して、群れも支配するのだ。
ワクチン製造会社は何十億ドルも儲け、
今日、この部屋にいる皆の多くは、その投資家だ。
我々双方にとって、非常に好都合。
我々は群れの頭数を減らし、奴等は我々の絶滅サービスに金を払う。
さて、ランチは何かね？
■ジョン・レノンのインタビュー―世界は狂人によって支配されている
https://www.youtube.com/watch?v=EWJiRR0seA4 >>500
自然数は1足せば次見つかるからと言えばみな納得するけど
次のa,b,c探すのに何していいか合意取れてないみたいな？
最大のa,b,cも求まらんだろうし 解けたら飛躍的に科学が進歩するはずなのに誰も理解できないんじゃ失敗では
タイムトラベルぐらいできると思ったのにな >>494
いえない、もっちー以外分からないから。
ただもっちーより上の業績残してる数学者が
意味不明ですっていってる。
もっちー理論にガロア的な起死回生が起こるかと言えば
99.9999%ない 数学って勘違いしている人にもっとも簡単な話で解析接続ってのを調べて貰えば良いと思う
1+2+3+4+・・・＝-1/12
https://youtu.be/371Ae69Add4
なんてのが有る
それが結局整合性が取れれば正しいとなる
だから現時点での数学理論で収まらなくても整合性が採れていれば良いんだよ
普通の人は実数で考えるのが限界だし其処から先はなかなか理解出来ない
でも虚数を使う事で数学理論が成長し新しいものが出来てきた
そしてそれが今や数学では無くてはならないものになっている
望月教授の理論も実数に対する虚数みたいなものだろ
自分の理解の範囲を超えているから認められないってだけ
必要な事はそれに整合性が有るかどうか 数学者界隈では相手にされてないよ
こんなもんに予算付けるほうがおかしい これが解決されると私たちの暮らしはどう変わるんですか ポアンカレ予想の証明もその正しさが他の数学者に認められるまで4年くらいかかったが
この証明はそれ以上だな
数学の証明って大変ね 68 ：名無しさん＠１周年：2017/01/25(水) 13:41:10.30 ID:1IbeM4Bd0
アメリカ人ってマジで本当にパクるらしいね
日本人でアメリカに住んでた時に
ある店のビジネスのアイデアをアメリカの友人に話したら
すぐにそのアイデアを商標登録されてその店を作られたってさ
548 ：名無しさん＠１周年：2017/04/03(月) 08:23:38.00 ID:eBUqSxpP0
>>519
映画ではなくて
ファッションもだよ。
グ●ゴリーの新ロゴシリーズが吉田カバンの
タンカーパクってる。
554 ：名無しさん＠１周年：2017/04/03(月) 08:24:47.91 ID:BggBH37V0
>>548
ノーベル賞も日本からパクってるのがあるってジャーナリストが言ってた
299 ：名無しさん＠１周年：2017/01/25(水) 13:53:04.85 ID:QLLDqE2J0
>>268
日本人のやり方が真面目すぎるのかもな
多少は汚いやり方も覚えないといかん
それからアメリカ人とは表面的な話しかできないらしい
なんかしゃべったらパクられる
中国や韓国とメンタリティ変わらんな
305 ：名無しさん＠１周年：2017/01/25(水) 13:55:49.10 ID:IA/H1Ols0
>>299
日本人って意識高いからなあ
外人が土人だなと驚くこと多いよね
他国の大陸の汚いやり方に合わせて汚いやり方も覚えないと乗っ取られるよな… 201 ：名無しさん＠１周年：2017/01/25(水) 13:21:33.19 ID:xX8SEKgX0
私はアメリカのディズニーという会社が、
日本の手塚治虫のジャングル大帝のアニメから丸パクリした上に
手塚治虫なんて知らない、ジャングル大帝なんて知らない、とほざいたの、
今でも恨んでるからな。
アメリカでも普通にジャングル大帝のアニメが放映されていたのに
ディズニーのスタッフの誰一人知らないなんて絶対にありえないんだよ。
日本のガイナックス(エヴァとか作ったとこ)の不思議の国のナディアの
丸パクリしたアトランティスもな！
人にはやたら著作権厳しいくせに、
自分はパクリまくりオリジナルを主張するディズニーというアメリカの会社。
ウォルトディズニーが亡くなってやりたい放題だな。
231 ：名無しさん＠１周年：2017/01/25(水) 13:29:58.65 ID:Y43XUugJ0
映画監督の原田眞人が「ラスト・サムライ」に出演したときに
トム・クルーズに自身の作品「カミカゼ・タクシー」を見せたんだよ。
そしたらトム・クルーズとマイケル・マンにパクられた
■原田真人
https://ja.wikipedia.org/wiki/%E5%8E%9F%E7%94%B0%E7%9C%9E%E4%BA%BA
2002年に出演した『ラスト・サムライ』の撮影初日に
トム・クルーズに自らの監督作品のビデオを数本渡したと云う。
その中の1本『KAMIKAZE TAXI』と数年後に観た
トム・クルーズ主演の『コラテラル』の設定・台詞が酷似していた事に
憤りと絶望感に苛まれたという 2017/04/13(木) 13:42:00.34 ID:C82pMGxP0
>>244
アメリカ人はすぐ物を盗むよ
１０代にアメリカで教育を受けたが、食べかけのお菓子から文房具まで盗みまくる
それでも人のものは盗まないようにという教育はしないんだよ ●白人はなぜ侵略的なのか？
それは彼らの住んでいる
ヨーロッパの地理的特徴や天候と無関係ではありません。
大地は大昔、氷河により地表の土壌が削り取られて、
岩石や砂利が地表を覆っています。
だから石の遺跡が数多く、石の加工のために
ノーベルがダイナマイトを発明するのもこうした事情があったのです。
冬の長いヨーロッパでは、天候不順は致命的な飢饉を招き、
来年の種用にとっておいた穀物まで
食用にしなければ飢え死にしてしまいます。
このような過酷な風土では、
コツコツと農業で作物を収穫するよりも、
略奪によって食糧を奪う方が手っ取り早いということになります。
よって中世までのヨーロッパでは、
普通の庶民でさえ略奪や防御のために自宅に武器を持ち、
少し荒っぽい連中は欲しいものを手に入れるために、
船でヨーロッパ中を駆け巡って略奪をして回ったのです。
日本などでは泥棒や強盗は昔から悪い、
というのは当たり前の感覚でしたが、
ヨーロッパの白人にとっては、
略奪は勇ましく勇敢で頭が優秀な証拠でした。
今でもヨーロッパの人は、
先祖が勇敢なバイキングだったことを誇らしげに語ります。
日本では戦前までは家に鍵をかけないのが普通でした。
当時の【白人社会は隙さえあれば略奪、強盗が当たり前】で、
自分のものは鍵をかけて守らなければならなかったのです ●白人はなぜ残虐的なのか？
土地が農業に向かないので、狩猟や牧畜や酪農が生活の基本になります。
狩猟は動物を盗るために罠や囮を仕掛け、
獲物を騙したりおびき寄せたりします。
捕まえた動物を食べる為には殺して皮をはいで血を抜き、
料理する必要があります。
動物が可哀そうなどと憐れみをかけていては、
ヨーロッパでは生きて行けなかったのです。
ヨーロッパの白人たちがどう猛な肉食動物の如く
残虐性を持つようになったは、ある意味仕方無かったのかもしれません。
しかしそのお陰で、その後の歴史で世界中の有色人種が、
何億人も殺されたり奴隷にされたのは、
人類にとって大不幸と言わなければなりません ●白人キリスト教のやってたこと
■アメリカ人 インディアン大虐殺 １億人のホロコースト
■アメリカ人 日本への各都市への大空襲で１００万人虐殺 富山では９９パーセントが空襲により焼失
■アメリカ人 東京大空襲を行う。２時間で１２万人の民間人の虐殺世界新記録
■アメリカ人 沖縄から長崎に疎開する子供達を乗せた船「対馬丸」を攻撃 1500人の児童が亡くなる
■アメリカ人 原爆を二発も落として３０万人を一瞬で大虐殺。日本人を使った原爆の人体実験
■アメリカ人 アメリカ人移住者がハワイ原住民を大虐殺。王政を転覆 ハワイ王国乗っ取り
■イギリス人 インド人に紅茶と綿花を作らせ食べ物を作らせず飢えにより大虐殺
19世紀の飢餓だけで２０００万人が死亡。虐殺された数は不明
■アメリカ人 フィリピンで１００万人大虐殺
■オランダ人 インドネシア人を強制栽培に従事させ飢えさせるなど大虐殺。日本人捕虜に対する虐殺も最も悪質
■フランス人 ベトナム人５００万人大虐殺
■イギリス人 オーストラリアに住むアボリジニ大虐殺（オーストラリアはイギリスの犯罪人の流刑地）
■イギリス人 タスマニア島（オーストラリアの近く）の住民を虐殺。タスマニア島住人は虐殺により絶滅
■イギリス人 ニュージーランドのマオリ族を虐殺 白人国家に
■アイルランド人、フランス人 イースター島の住民を奴隷として連れ出し
彼らが持ち込んだ天然痘が猛威を振るった結果、1872年当時の島民数はわずか111人の絶滅寸前に
■アメリカ人 イラク１３０万人大虐殺 アメリカの経済制裁によりイラクの子供が80万人死亡
■イギリス人 中国人にアヘンを売りつけアヘン中毒にさせる。アヘンを売った金で中国人を買いアメリカで人身売買
■カナダ人（フランス人）先住民虐殺（現在進行中）
■ベルギー人 コンゴで1000万人大虐殺
■イギリス人 フランス人、アメリカ人、スペイン人、ポルトガル人、オランダ人＝
アフリカから黒人を奴隷として大量に買い付け酷使、使い捨てにして大虐殺 ５０００万人
■スペイン人 ポルトガル人 アメリカ大陸での大虐殺。
（数千万人単位でインディオが虐殺され、ペルーでは１０００万いた人口が１００万人に）
■アメリカ人 ベトナム戦争でアメリカ軍が大量に枯葉剤、ナパーム弾を使用し虐殺
■十字軍によるイスラム虐殺
531名無しさん＠１周年2017/09/17(日) 12:30:37.78ID:Bz58xBh/0
いや、お前ら勘違いしてるけど、
あの韓国人でも世界的に見ればマシな水準なんだよ。
この事実に震えた方が良いよ。
563名無しさん＠１周年2017/09/17(日) 12:35:59.93ID:iApg6xlB0
>>531
覚悟もないのに国境開き過ぎなんだよな。
大抵の場合、手遅れになってから多くの人が知ることになって
過剰反応で社会不安が起こるんだろうな。 リーマン予想もこういうとんでもない数学を作らないと証明できないんだろうな
というかABC予想からリーマン予想が証明できるならみんなモッチーを理解しようとするだろう 他の数学者が疑問に思う解じゃ、本当かどうかわからない。
スカッとした証明じゃないといけない すげーわかりやすいのにあれ
もう一回読んどけよまったく 「ヒュスク、ABC予想を証明しろ」
「お答えできません」 >>497
なんで問題をすりかえるん？
あんたが人間の脳を部分的に模倣してると主張したのに対して
静的表層的かつ局所的にまねをしただけでは脳の模倣とはいえないといってる
そこに創造性が付随するかどうかはあんたの宗教的希望にすぎないから議論の対象にならない ●【国際】カナダで、先住民族の女性に対する集団虐殺が発覚 2019/06/03(月)
https://asahi.5ch.net/test/read.cgi/newsplus/1559510762/l50
126名無しさん＠１周年2019/06/03(月) 06:50:29.38ID:wA6lWqCe0
去年観たウインド・リバーと言う映画にこの問題出てたな。
143名無しさん＠１周年2019/06/03(月) 06:53:18.74ID:YyzVT7NK0
ドゥテルテが戦争って言った意味がわかった
こんなクズどもだってわかってるからだなw
152名無しさん＠１周年2019/06/03(月) 06:55:35.27ID:2pcQsISs0
世界中で虐殺は起きているのに
なぜか日本だけ叩かれる不思議
てか、日本ってそんなに分かりやすい民族浄化とかやったっけ？
文化侵略はやったけどさ
157名無しさん＠１周年2019/06/03(月) 06:56:25.34ID:wz34qYYB0
カナダは足首だけ砂浜に大量に転がってたりやばいな
162名無しさん＠１周年2019/06/03(月) 06:57:28.54ID:vpqW+Ulx0
ニューファンドランドの先住民を消失させた血が騒いだんだろうな
172名無しさん＠１周年2019/06/03(月) 06:58:40.63ID:muprW0exO
これ前にも話題になってた
警官達が攫ってレイプ殺人のやつだよ
白人って残虐だよほんとに
187名無しさん＠１周年2019/06/03(月) 07:04:41.20ID:4U7JKv4M0
カナダはバンクーバーオリンピックのときの不正行為がひどかった。
やっぱりおかしな国なんだ。
190名無しさん＠１周年2019/06/03(月) 07:05:30.94ID:h0F6VmZe0
>>181
どうかな
カナダ原住民ってホンマ日本人そっくりだぞ
とにかく女はカナダに行くな 渡航禁止にすべき
バンクーバーで沖縄娘風の原住民女が白人に虐待され
ワイに泣いて助けを求めてきたことまである
195名無しさん＠１周年2019/06/03(月) 07:06:19.90ID:aJl0uQPWO
お上品ぶってる国ほど闇が深い説 ●【オーストラリア】アボリジニを憲法で先住民族と認めるかどうかの国民投票、２０２２年までに実施
https://asahi.5ch.net/test/read.cgi/newsplus/1562847806/
3名無しさん＠１周年2019/07/11(木) 21:24:08.71ID:wgz2n3JI0
先住民じゃなかったらなんだって言うんだよw
127名無しさん＠１周年2019/07/11(木) 21:56:16.86ID:lc1l/wot0
>>3
動物扱い
18名無しさん＠１周年2019/07/11(木) 21:29:15.53ID:nBOI9jbO0
10年くらい前まで博物館に普通にアボリジニの剥製飾ってたからねオージーは
29名無しさん＠１周年2019/07/11(木) 21:31:32.66ID:rYkgiEp90
>>18
機械伯爵かよ
107名無しさん＠１周年2019/07/11(木) 21:50:30.99ID:eVnF1Aht0
かたやニュージーランドのマオリ族は徹底抗戦の末、
明治のころには英国の市民権を獲得
いま国歌の一番はマオリ語、ラグビーの踊りにも使用料が払われる
これほど人は戦わないといけないと思うサンプルはない
154名無しさん＠１周年2019/07/11(木) 22:04:30.01ID:12H2Fry30
オーストラリア白人の人種差別は骨がらみ。
17世紀末に入植が始まると、19世紀はアボリジニー殺しまくり。
法律で人間じゃないから殺しても合法だったんで、
娯楽のハンティングだけですごい数が撃ち殺された。
まず子供を撃って駆け寄る母親も射殺するのと、
母親を撃ってから倒れた母親にすがる幼児を撃つのと、
どっちが良いかで議論する当時の人気雑誌の記事を読んだときは、
さすがに驚いた。
20世紀の初めになってもまだアボリジニ狩り
(娯楽で射殺)の記録はちゃんと残ってる。
太平洋戦争後もずっとアボリジニは、
参政権どころか土地所有の権利も無かった。
厳密には今もオーストラリア法では
アボリジニを殺しても違法かどうかは法理論ではグレー ●【国際】「モアイ像返して」イースター島知事が涙で訴え?「貸し出す」が、「返却」はしない by 大英博物館
https://asahi.5ch.net/test/read.cgi/newsplus/1543845345/
85名無しさん＠１周年2018/12/03(月) 23:14:05.40ID:P889aq8r0
ブリカスが世界に誇る盗品博物館やぞ
未だに植民地時代が過去の栄光だと思っているんや
56名無しさん＠１周年2018/12/03(月) 23:09:34.31ID:fNbW/zKE0
大英博物館にあるものをすべて元に返した場合に、
後に残るのはヤジリぐらいしか無いと言われている。
123名無しさん＠１周年2018/12/03(月) 23:22:39.18ID:5UxuKfL00
エジプトのミイラも英国が船で運び出す時
現地人が河岸を泣きながら追いかけてきたとか
127名無しさん＠１周年2018/12/03(月) 23:23:38.54ID:dLzQFTF90
大英博物館とスミソニアンはなぁ
156名無しさん＠１周年2018/12/03(月) 23:31:57.39ID:lxtPNxxj0
>>135
このモアイはその過去との決別かつ憧憬のために作られた特別なやつなんや
当時も儀式のために使ってたけど
イギリスが布教の邪魔だからって持って行った
174名無しさん＠１周年2018/12/03(月) 23:34:53.09ID:OKPkIil10
カンボジアの神殿に行った時に、
壁一面の彫刻のうち、一部が切り取られてるのをみた。
あと仏像の首がないのとか。
酷いことするなぁと思った数年後、
大英博物館で「お前らかーー！」
ってなったわ 489名無しさん＠１周年2018/12/04(火) 01:07:36.62ID:izeUKNLN0
ちなみにどういうモアイだったかは
持って行ったイギリスのキリスト教宣教師の記録がちゃんと残ってる
「布教したいのに島民はこのモアイを信仰してる。
海軍よ、邪魔だから持っていって」ってな
さすが大英博物館だw
544名無しさん＠１周年2018/12/04(火) 01:38:18.15ID:f8rTfb1j0
ロゼッタストーンとかエルギン・マーブル
（勝手に塗料を削って白にする）とか凄いものも盗品だよね
794名無しさん＠１周年2018/12/04(火) 07:35:37.44ID:s7sgiE5y0
アメリカでもイヌイットだっけ？
少数民族の遺体を剥製にしたのが博物館にあって、
子孫が返却を求めたってのを読んだことある
810名無しさん＠１周年2018/12/04(火) 07:57:53.71ID:+2C2Z+E30
>>799
白人は略奪が好きだからな
戦利品として持ち帰る癖がある
アメリカ人なんて戦利品持ち帰るのが自慢でありステイタスだったからな
売れるなら日本兵の頭蓋骨でも持ち帰る
ベトナムではその収集癖を相手に利用されて
ブービートラップで多くのアホが死んだ ●もともと一神教は人身売買組織の奴隷商のマニュアル書
904 ：名無しさん＠１周年：2016/05/20(金) 18:35:46.49 ID:SSxS63tK0
>>89
ヨーロッパがアフリカを侵略して奴隷として
5000万人ももっていっちゃったから
暗黒大陸になったんだよ。
その背景はキリスト教なんだよ。
すべては野蛮なキリスト教徒のせいなんだよ。
ヨーロッパが世界をリードするようになったのは
ここ500年ぐらいに過ぎないんだよ。
それまではアジアやアフリカや南米のほうが
はるかに文化は高かったんだよ。
彼らの文化をパクリ、資源を奪っていったのが
白人なんです。
簡単に言うと18世紀から19世紀にかけての
産業革命と植民地政策の時代、その資金的背景は
なんだったのかというと、奴隷制なんだな。
アメリカ大陸を植民地化して、アフリカ人をそこで
こき使うことで、ヨーロッパは莫大な利益を得たんだよ。
まさに吸血鬼のようなものなんだよ、白人は。
やられたアフリカは固有文化は滅ぼされ、資源は吸い尽くされ
崩壊して今日に至るのだよ。
877 ：名無しさん＠１周年：2017/04/03(月) 09:38:28.40 ID:zhIjRNU00
グローバリズムっていうのは一昔前の植民地用語でいえば
世界中の全てを先進国や途上国を問わず
業種横断的に全ての業種の「プランテーション化」にすぎない。
地球規模の極端な資本の集中と 非正規労働＝奴隷化による徹底的管理。
地球そのものをプランテーション化しているのが現在のグローバリズム。
Penping Chan2 日前
日本のメディアがキリスト教(カトリック)と奴隷貿易の関係を学校で教えないのは、
GHQが占領期に西洋の批判にあたるものを
ことごとく教育現場やメディアから禁止したため。
未だにそうなっているから。亡くなった父の話では、
戦前ではキリスト教や日本人の奴隷売買の話も学校でやっていたので、
西洋人は日本人庶民の間では『毛唐』とよばれその野蛮性が人々の間に伝わっていた ●アイルランドの受難史は、語って語り尽くせない。
イギリスの不当な支配は１２世紀に始まる。
エリザベス女王（一世）はイギリス貴族を入植させた。
イギリスの歴史教科書では大英雄とされるクロムウェルは、
アイルランドを攻めて数千人を虐殺した。
宗教・政治・経済、あらゆる面でイギリス人はアイルランド人を掠奪し搾取した。
●１８０１年、イギリスに合併された後に起った１８４５〜４９年のジャガイモ飢饉。
数十万が餓死したが、イギリス地主は平然と小作料を取り立て続けた。
死ななかった者は新大陸に棄民された。
●後年、皮肉にもその人々が、テロによりイギリス支配に抵抗する
ＩＲＡの強力な後援者になった。
《徳岡孝夫 「『民主主義」を疑え！』》
358名無しさん＠１周年2018/08/21(火) 16:03:39.14ID:99U9aVLQ0
>>348
ま、アイルランドはな
19世紀に人口が半減して、まだ戻ってないとか
悲惨だよ
■17世紀のイギリスの虐殺虐待によって、アイルランド語が衰退し英語に言語が取って替わられたアイルランド
＞アイルランドは世界に名だたる文学などを擁していたにもかかわらず、
＞わずか200年ほどでアイルランド語よりも
＞英語が多くの人の日常の言葉となってしまった
＞ジャガイモ飢饉でアイルランド語を話す多くの人々を失ったこと、
＞学校での英語による授業の実施、イングランドへの出稼ぎ、
＞さらには英語を習得することが経済的優位性に繋がるなどの複数の要因により、
＞英語がコミュニケーション言語の主流になったという歴史的経緯がある
＞小さな村の少数民族の言語が隣接するより
＞大きな言語に取って替わられることはさほど珍しくはありませんが、
＞国ほどの大きさではなかなかありません
■アイルランドの文学
ジョナサン・スウィフト (『ガリヴァー旅行記』『桶物語』)
エドナ・オブライエン
ジェイムズ・ジョイス (『ダブリン市民』『ユリシーズ』『フィネガンズ・ウェイク』)
ロード・ダンセイニ
ブラム・ストーカー (『吸血鬼ドラキュラ』)
ウィリアム・バトラー・イェイツ - 1923年 ノーベル文学賞受賞
ジョージ・バーナード・ショー - 1925年 ノーベル文学賞受賞 (『聖女ジョウン』『ピグマリオン』)
サミュエル・ベケット - 1969年 ノーベル文学賞受賞 (『ゴドーを待ちながら』『名付けえぬもの』)
オスカー・ワイルド (『サロメ』『ドリアン・グレイの肖像』)
などなど多数
■もし日本語が英語に取って替わられたら？アイルランドで起きた言語交替
『英語という選択』 嶋田珠巳教授インタビュー
http://wedge.ismedia.jp/articles/-/9317 ●「ダーリン、日本軍兵士の頭蓋骨送ってくれてありがとう♪」
ーと手紙をしたためるアメリカ人の少女（ライフ誌）
http://i.imgur.com/mNKPSyn.jpg
●吊るされる日本兵の首
（1945年太平洋の激戦地ペリリュー島および沖縄で、
日本兵の死体から手や首を切り取って持ち帰るのがアメリカ軍で大流行
髪の毛はアクセサリーなどにされた
http://i.imgur.com/erSb5vb.jpg
●日本兵の頭部で遊ぶマクファーソン米軍中尉
（1944年4月30日、ニューギニア、アメリカ海軍魚雷艇341甲板にて）
http://i.imgur.com/s5jvCwX.jpg
●日本兵の頭部を煮るアメリカ兵（1944年）。
頭蓋骨は一体につき35ドルで販売。
http://i.imgur.com/rlDo9hC.jpg 320 ： 名無しさん＠１周年[] 投稿日：2015/06/21(日) 11:42:22.18
ブッシュ大統領やクリントン大統領が卒業した名門イェール大学
その創設者Elihu Yaleが幼児誘拐よる
奴隷貿易と虐殺虐待をともなう植民地支配によって
巨万の富を築いた東インド会社の総督だったことを知る人はあまりいない
イェール大学がアフリカ系やヒスパニック系の学生受け入れに積極的でなかったり
教授のほとんどが白人だったり、
学内に白人至上主義の名族たちが集う
秘密結社スカル＆ボーンズがあたりするのは、
創設者そのものがアレだから
奴隷商人が荒稼ぎした遺産で運営される大学が
超名門として扱われいまだに白人至上主義から脱却できてないのに
それが許されている白人社会の闇は深い
326 ： 名無しさん＠１周年[sage] 投稿日：2015/06/21(日) 11:43:57.19
>>320
そうなのか。ローズ奨学金も
ちょっと前まで白人だけだったような。今は違うらしいけど
セシルローズも白人至上主義者だったらしいね
428 ： 名無しさん＠１周年[] 投稿日：2015/06/21(日) 12:15:21.36
>>326
セシル・ローズは強烈なレイシストで
奨学金の対象は当初英米独の白人に限られた
その後対象国は拡大されたがいずれもかつて英国の植民地だった国ばかり
要するにイギリスの植民地の支配者たる超エリートを養成しようというのが
この奨学金の狙い
このような差別主義が背景にあるにも関わらず
超上流階級だけが享受できるこの奨学金のブランド価値は高く
英国大好きなアメリカの富裕層ががんがん寄付してるため
アメリカ人枠がもっとも多い
香港は中国への返還時にいったん非対象国となっていたが、
華僑の大富豪がローズ奨学金に莫大な金を寄付したため香港枠が復活した 望月の論文試しに読もうとしたが(正確にはレクチャー)
最初の1行で何書いてあるか理解できず諦めた
俺には何が正しいか判断しようがない タカシ君の家ではご飯にのりたまをかけます
ススム君の家ではご飯に塩辛をかけました
つまりのりたまは塩辛です
みたいな頭のおかしい飛躍の文章で俺には理解不能 >>9
おお
そうか、これサイバーフォーミュラー枠で記憶タグソートされてたんだ… 欧米人は今、どうやって
望月先生の発見を有耶無耶にして
白人が宇宙際たい肥理論を発見したことにするか考えてると思うわ
自分とこの雑誌でも何でもいいから発表しておくの大事 >>490
証明ができてないで確定でしょ
このスレ読むと、偉い数学者の指摘に答えられてないみたいだから 宇宙際タイヒミュラー理論は数学全体の文字通り根幹となる理論
ABC予想はそこから派生した成果の一つ
それを欧米の数学者がABC予想の証明のために難解な理論を理解する価値もないなんて言うのは本末転倒もいいところ
後の時代からは現在の主流派の数学者が馬鹿にされるだろう
望月先生がさらに研究を進めていくことに集中しているのはいいことだ 批判も意に介さず、望月氏は次の「証明」に挑戦
望月氏はどう考えているのか。メールでの取材依頼は断られたが、発表したリポートでは、
「宇宙際タイヒミュラー理論は厳密に定式化された数学理論で、多くの数学者に検証されている」と自信を見せる。
「発展のため理解者を増やすことが重要」とも触れている。
数理研は望月氏をトップとする研究センターを設置し、今春新たに研究員や助教を数人採用した。
9月には京大で大規模な研究会も予定されている。
主催者の英ノッティンガム大のイワン・フェセンコ教授は「正式な出版で本腰を入れて学ぶ数学者が増えることを期待したい」と話した。
望月氏と分野が近い国内のある数学者は「数学界の大部分が証明を認めるには、理解者が増えることが必要。
それには10年以上かかるのではないか」と話す。
望月氏は批判を意に介さず、理論の発展に挑んでいる。
昨年、解決まで350年以上かかった「フェルマーの最終定理」を別の方法で証明できるとする論文を同僚らと発表。
さらに、素数分布の謎の解明につながる史上最大の難問「リーマン予想」の証明もめざしているとされる。 >>537
横だが「部分的に模倣」と「静的表層的かつ局所的にまね」の違いが明確じゃないので、
静的表層的かつ局所的にまねなら部分的模倣ではないというのは難癖に見えるぞ >>551
京大の数理研の教授ってだけで大概偉い数学者なんだけどね >>557
さすがにショルッエ、ファルティングスレベルじゃないし、
柏原は一流だが柏原は記者会見でIUTが正しいとは一言も言ってない
すごくお茶を濁していた こんな証明するなら、「お金は印刷すればいくらでもある」の証明をしてくれよ。 おそらく正しいよ
量子的な考えは次世代だから地動説で理解されないだけ 理解されない証明は証明なのか？
理解されなくていいって言うなら俺でも証明できるわｗ 例えばアインシュタインの相対性理論はこの宇宙限定とされているけど
実は今の天の川銀河が射手座Aスターを中心として直結10万光年の大星団を形成し自転している説明は出来ない
それは例えば二次曲線が数値が大きくなれば直線性が出て来て極端に大きくなれば直線の方程式で類似してしまう
その部分の直線の方程式が相対性理論なのかもしない訳で
数学も同じで新しい事が起きた時に既存の理論で説明ができないのは当たり前
それが理論として整合性を持ちかつ結論としてきちんと正解を導き出すのかが重要なのでは 正しいかどうか分からないって話と、理解できないって話は違うからな
例えば小保方のSTAP細胞とか、正しくなかったにせよ話としては理解できた
だからこそ正しくないって結論を出すこともできた
この話はさっぱりわからんが、数学者が理解不能ってことは
それ以上考えても意味がないってことだろ。それでも活字で残す意味はあるけど 今望月の論文読んであげてpdf
https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
宇宙際Teichmuller理論
[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-05-18)
[2] Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation. PDF NEW !! (2020-12-23)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
NEW !! (2020-04-22)
[5] A Panoramic Overview of Inter-universal Teichmuller Theory. PDF NEW !! (2013-08-20) Comments NEW !! (2015-11-11)
[6] Bogomolov's Proof of the Geometric Version of the Szpiro Conjecture from the Point of View of
Inter-universal Teichmuller Theory. PDF NEW !! (2016-01-12) Comments NEW !! (2020-04-25)
[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF
NEW !! (2020-12-23)
[8] Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2021-06-18)
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/
Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on
Inter-universal Teichmuller Theory. PDF NEW!! (2021-06-18) 反論と言ってもここがこう間違っているじゃなくて
「ここどうなっているかわかるように言えや！」だからな
偉い数学者がだよ
望月先生がおっしゃるように理解されるのに10年はかかるということだろう >>566
数学の証明はつまるところ
ちゃんと書けば計算機でチェックできる
客観的なもの。
しかし計算機に読めるように書くには
人が読む論文の百倍とか長くなるので
通常は、易しいところを省略して書く。
人にとってはその方が読みやすい。
教科書なら初学者にも判りやすく丁寧に書くが
専門誌の論文は専門家にわかる範囲内でもっと
省略して短いページ数で書く。
今回はその省略した部分が埋められる人と埋められないひとが出てきてしまった。
そして埋められる人は京都にいる人だけで
京都外で埋められる人はいない。
2018年フィールズ賞受賞者ショルツですら
埋められず、著者に質問したが、満足のいく
回答が得られていない。
これが問題 >>568
それでは数学の証明とは言えないんだよ。
原理的には集合論なり圏論なりの公理系から
演繹できなければいけないし、
そこは計算機でできるところ 応用分野でこの証明が成り立つことを活用して結果から逆に、とはいかないもんなのかな
結果が期待通りだからといって過程が合ってる保証はないかも知れんが 何だひろゆき的な自分が正しい前提で
周りを置き去りにするタイプの論破だったのか残念 >>4
ジャップは卑怯なんだよ
中国人が認めないとダメ >>568
それは違う
ショルツェは具体的に間違いを指摘してるよ
それに対する望月の反論は幼稚な逆切れとしか思えないもの
どう見ても望月の方がおかしい 望月が死んでも誰も理論の奥義継承できないんでしょ
それじゃダメだな かくして現代数学は「査読者の理解能力」という壁に突き当たったのであった。 論理展開の飛躍箇所を具体的に指摘されてるんだから望月先生でもその弟子でも誰でもいいから
そこの部分の補項を追加すればいいだけなのになんで誰もしようとしないのかね？
関係者が全員世の中に認められたくないと思ってるのかね？ どうしてそうなるのか説明してって要求しても自明だからという回答しかしないんでしょ？ >>124
数学では解けない問題が存在することが証明されてるからな（真偽判定不能問題）
そういう問題を解く手段を人類は持っていない 望月理論が正しいとかどうでも良いんだ
世界の支配者たる白人様が間違ってる、と
言うんだからそう言うことにしておくべき わかりやすく解説するだけで業績にできるというのに数理解析研究所のお仲間はなんでしようとしないのだろう？
PRIMSで査読やった人は理解してるから査読でOK出したんでしょ？なんでその人は解説しようとしないの？ >>576
要はショルツェ論破しないとダメなんだよな
もう強制的に2人どっちかが負け認めるまでズーム繋いだ部屋に監禁しろ
それで決着つく >>589
その時、言い負かしたらいいとか、そう言うものじゃないよ >>586
査読者がちゃんと理解しているとは限らない
興味ない論文を時間かけて読むほど暇じゃないしな >>589
なるほど
ならば、ピュータンひろゆきでも連れてくるか >>585
テレンスタオは認められてるからそういうのは言い訳。 >>570
あなたの言う通り。
正しい証明があるなら、書き下ろすことで機械で検証できる。
事実四色問題は機械で証明文を検証し、あらためて証明の正しさが検証された。
望月やＲＩＭＳの連中は証明にギャップがあると疑われているのだから
機械で検証できるように証明文を書きおろして、機械にかけて「どうだまいったか」と言わなければならないが、
実際はできない。なぜならギャップがあるからだ。
つまり証明はできていないという事。 結局これが正しかったってこと。
板風
5つ星のうち2.0 あれ、この本売れてるんだ(笑）
2019年11月24日に日本でレビュー済み
ABC予想の証明については、２０１８年のScholzeとStixのペーパーの発表により、原論文３．１２の箇所の証明不備が明らかにされ、望月側も証明文を回答できず、問題は未解決のままであることが確定している。日本語だけの世界にいるとこれらのことは知らされないが、もはや世界では常識である。こういう本を買う層だから、八重洲あたりのエリートビジネスマンたち、大卒もしくは院卒だと思うが、それなのに結構売れてしまうのは、日本の広い意味での「知識層」が、諸外国に比べても英語音痴である事を物語っているように思う。
そしてIUT理論というのは、このABC予想の「証明」と一体であり、ABC予想証明の失敗はIUT理論の失敗でもあるのだ。しかも理論のとっかかりで破綻しており、ほとんど得るものがないという最悪の結果になってしまっている。大山鳴動して鼠一匹である。
33人のお客様がこれが役に立ったと考えています 身内から出版してもそりゃ信用されない
まずは第三者に査読してもらわないと >>594
四色問題は、証明そのものにコンピューターが使われているんだぞ
全然違う 四色問題って理論的に絞り込まれた組み合わせを全部コンピュータで力技で調べて証明したんだっけ ショルツェともっちーは意地の張り合いな気がする
どっちかはもう間違いを悟ってそう なんか思ったけど、望月先生が飛行機乗らないのって飛行機が墜落するから？ ジャップのくせに俺達白人様に理解できないこと言いやがって…悔しいですっ！ >>596
その査読できる人が身内しかいないというのが大問題 宇宙際タイヒミュラー理論でリーマン予想を証明したという
論文が出てきたら、そのときこそ揉めそう。
「理解している人が１０人程度」を言われて普通の人は驚くが
そもそもトップクラスの数学者など世界でせいぜい数百人程度じゃないか？
さらに細分化されているから最大でも数十人程度の研究者間での論争なんだろう。 べつに望月先生が反論に対して向き合いたくないならそれでもいいんだよ
柏原先生とか玉川先生も望月先生が正しいと主張してるんだから、彼らが反論に対して説明すればいい
なんでそうしないの？ってこと >>607
個人としても組織としても正しいとは主張していないでしょう。
雑誌になってからも正当性は検証し続けられる ケプラー予想の証明の時は、
証明全体を熟読して正当性を確かめた個人の査読者は一人もいなかったと
注釈付きで専門紙に掲載されたよね 世界を分解してABC予想を証明できる宇宙を構築して、そこで証明をしました。
元はと言えばこの世界の数学から派生した宇宙なのであちらの宇宙とこちらの宇宙はつながってます。
つまりABC予想は証明されたということです。
―完―
望月先生の次回作にご期待ください >>585
間違ってると言ってるのではなく
独創的すぎて合ってるのか間違ってるのか誰も証明できないものを正しいとは言えない と言っているのでは あの中二病拗らしたような名前どうにかしないとね
誰もまともに取り合ってくれないよ
ここのなんか勘違いした頭でっかちの馬鹿にしか評価されてないのが現実 ABCの海岸でカニに珍ぽこ挟まれた
いていて離せ離すもんかソーセージ
赤チン塗っても治らない黒チン塗ったら毛が生えた 修正不可能なギャップ、というのを誰か説明してください
私が手助けできるかも
知らんけど ショルツとスティックスはじめ多くの人が
第三論文の系3.12にギャップがあると指摘しています。
それにたいする望月氏の反論レポートは
前提を誤解している
というもので、ショルツとスティックスを納得させてはいません >>1
査読通って、載ったけど、
追試しないとわかんない、ってとこ。
でもね？
オーム先生のオームの法則も、
1781年にキャベンディッシュが先にみつけてたんだけど
未公表だったからオームの法則。 >>612
そう
理論じゃなくて証明がぶっ飛び過ぎててわけわからんのよ
「ここでなんでこうなる？」ってなる
そこでエラーとして誤りの点が多数指摘されてる
それが本当に正しいかは今の人類ではわかんない
ま、証明できてねえんじゃねえかって思うんだけどね
純粋数学だから正直読んでもわかんねえのよ、俺も >>608
玉川さん曰く「反論は出尽くした」から発表したのであって正当性を検証するために発表したのではない
柏原さんも「正しいものであると判断した」とコメントしている
https://www.sankei.com/article/20200403-EWYJ3VHDZFJ5JIDWRK46ACZ5Z4/
数理解析研究所発行のPRIMSに載せておいて正しいと主張していないは通らないだろ こういうときこそコンピューターの出番じゃないのか？ >>65
いくら否定しても、他人からは陰謀論者にしかみえないよ。 >>620
コンピューターは有限個のモノを検証するのは得意だけど
何もない所から新たな発想をすることは出来ない
「4色地図問題」みたいに、考えうる全ての可能性を出して
それをコンピューターで虱潰しに検証して証明した問題もあるけどね
スーパー力業なんで、査読した学者は最初の理論に間違いが無いか、検証プログラムに間違いが無いかしかチェック出来ず
実につまらなかったらしい >>619
査読付きであっても論文誌に載せるってことが正しい、事実であるってことでは無いっていうのは論文書いたことあればわかるけどね
なんらかの不手際がなければ掲載されるもの
だからデータの改竄とかは看破できない >>17
ノーベルが数学者に恋人とられたからとかなんとか >>624
証明を見つけることは難しくても
一旦証明ができあがれば、
それは公理系から規則的な記号列になっていることの確認だから、
原理的にはコンピュータで検証できるものだよ
今回のケースも含めて 今回の論文も十数年後にはコンピュータチェッカブル証明に書き換えられて定理が正しかったことは確認されるだろう。
問題は、
その書き換え作業は単純作業か本質的な創造性があったか
と
その望月の手法は有用で意味があったかどうか
前者は、京都陣はノー、京都外はイエス
と答えて決着つかず、
後者は歴史が証明していくだろう。
この手法が応用され続けるかどうか。 >>628
だから「検証」はできるけど「発想」は難しい まだ完成してないのだから間違ってさえいない、ひも理論といっしょ 知らんけど
諸悪の根源はわしの足引っ張ってる在日ども 望月氏は京大なんか来ないで、プリンストンか他の米国の有力大学にいれば違った展開だったのでは プリンストンは差別の権化だぞ
東海岸は辞めといたほうがいい
留学するならカルテックかバークレーの方がいい >>625
査読はデータの捏造まではチェックしないもんな
（そりゃぱっと見で誰でもわかるようなモロ作り物は弾くだろうけど） 宇宙とか名付けちゃうから益々胡散臭くなるんだって思うんだけど学のある人的にはしっくり来るの？ まあ、数理論理学とか数学基礎論とかで使われるUniverseの訳語だからどうしようもないと言えばない >>271
コンピューターサイエンスの巨人は数学者ばっかだよ
ウィーナーもノイマンも数学者
ウィーナーの自伝の第2部のタイトルはI am a Mathematician 正しいなら説明できるはず
一瞬正しいという夢を見たんだけど詳細はもう忘れたとかある？ >>635
宇宙＝スペース＝空間 だから数学とは無縁の単語じゃないんやけど
うけ狙いな感じはする >639
おいおい、数学でいう”宇宙”は、英語では”Universe”
数理論理学とかで普通に使われてる用語だぞ。。 >>605
出版されて内容は公開されてるんだから
自分たちで検証すりゃいいじゃん >>635
「宇宙」は圏論の用語(例えばグロタンディーク宇宙)だから
奇をてらっているわけではないだろう >>633
プリンストンが差別の権化ってなんだよ
言葉遣いからしておかしいよ >>634
STAPのネイチャー論文
1ページ目の電気泳動の写真は、一目で合成だと分かったぞ。
おれは電気泳動写真は10枚くらいしか見たことがないけど、ねつ造写真は数十枚程度だけ見ているだけのど素人
それでも分かる稚拙な写真。これがネイチャーや科学界を通った理由がいまだに良く分からない 論理的な領域みたいな意味なのかな
宇宙よりもっと適当な訳語がありそうなもんだけど >>647
あの合成は今では完全にアウトだけど、グレーだと考える人もいた
性善説に則って、データは正しいけど見栄えが悪いからトリミングや合成はしても良いって思ってる人は実はまだいる
STAPの論文は発覚のきっかけは合成とか使いまわし、コピペなんだけどそれでも実験結果や結論自体は正しいと思ってる人は多かった
査読というボランティアの限界なんだけど、査読する時データがおかしいとは指摘することはできない 出鱈目という程酷い論文ではないが論文の一部に明らかに問題がある
問題がある部分を煙に巻いて無理矢理査読を通そうとしたが失敗したというところだろうな >>369のリンクの人が解説してるけど
世界的には望月の証明は失敗してると思われてる
失敗しただけならともかく、
指摘に対して「全然理解してない！」「全然理解してない！」
みたいに連呼するのって人として相当問題あるだろう
数学界では望月は腫れ物扱いでは？ 国内で反旗翻す人いないのってか
これ正しい前提で論文書いても海外で査読通らないでしょ
そんなガラパゴスでいいの？ >>653
でも望月教授のブログとか見るとショルツ間違えてるのでは？と思うわ。
∧、∨の話とか、データリンクで誤差飲み込んでしまう話とか。
教授は答えてないって言うけど、ショルツこそそれに答えるべきだわ。間違ってると言ってるんだから。 京大も胡散臭くなったなあ
こういうのは東大だと思ってたけど >>369
やっぱり基礎論的な土台から整備しないと理解してもらえないんじゃね？
モッチーの頭の機能はみんなが持ってるわけじゃないんだから 京大は霊長類でもやらかしているけど、学内のコンプライアンスはしっかりしているのかね。 英語がめっちゃ下手だから日本人にしか話が通じないみたいな
太字とか［］とか英文のクセ強いなとは思うんだが
どうなの？ >>655
俺は半年みっちりって言ったり数分とか数週間とか言ったりもっちーブレブレだと思う
何年もただの誤解が解けない訳ないんだよなあ 本人も欠陥あるの分かってるんだが、もう打つ手がないんでしょ
でも前進してるフリはしなきゃいけない ●【安藤裕議員】税金は政府の財源ではありません。財源は国債です。
国債とは借金ではなく通貨を新しく発行する行為です。 ★3
https://asahi.5ch.net/test/read.cgi/newsplus/1619499469/l50
●【記者会見】国民を守るための「真水１００兆円」令和２年度第２次補正予算編成に向けた提言
https://www.youtube.com/watch?v=qNtQR2yWdt8&;t=298s
●消費税はゼロにせよ！消費税減税に向けての取り組みについて
https://youtu.be/bIiA3pph7gU?t=23 ところで「チンポがシコシコする」という日本語表現は、学術的に正しいと言えるのか？
チンポ「を」シコシコするのではなくて、チンポ「が」シコシコする。この場合、「チンポ」は主語となる。
オブジェクト指向で言う「集約」は２種類あって、全体（俺）と部分（チンポ）が繋がっている場合と、
全体（俺）と部分（チンポ）が別々になっている場合とが考えられる。けれども「チンポ」はそれ自体
が独立した生き物であり、所有者の意思とは無関係に、自ら勃起して「シコシコする」。
例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。
違うか？
「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、５０字以内で述べろ！ 反日の朝日新聞の記事だから全く信用できないな。
バカのアジビラだろ >>456>>461
研究所が出している論文誌
こんなんじゃあ駅弁大学の研究紀要と変わらないだろ デュプイって人が中立の立場で論文書いてるみたいだけど
https://arxiv.org/pdf/2004.13108.pdf
ショルツの反例について14ページにちょっと書いてあるが両論併記みたいな気がする
結局もっちーショルツ直接対決するしか出口ないよな 望月が胡散臭いことは事実。
仲間たちしか賛同してないオウムみたいなもん。 >>666
PRIMSに載せるということは数理解析研究所の業績であると認めることであり、そのために査読がある
そこらの査読なし紀要とは格が違う >>671
そう、だから今回の件で数理研自体が疑われている
組織ぐるみの不正なんじゃないかというね >>673
実験データを弄ったり出来る他の分野と違って数学では証明に必要な情報はすべて開示されてるから不正はありえないでしょ
同一集団であることで視点や考え方が同じ方向に凝り固まってしまっているとか可能性はあるけど そろそろ俺たちもIUTeichを本格的に学ぶ必要があるな。 >>674
新興宗教で数学以外の何か啓示やお告げみたいなので洗脳されるとか
確かに信者の持ち上げ方が数学のそれじゃなくておかしいんだよな
客観的に見てまだ係争中の仕事だろうに 数学は各ジャンルが細かすぎて、検証する人員がいないことが今回のトラブルの原因なのよ。
このジャンルをわかる人がいないっていうのは、やっている人が他いないってことにすぎない。。
他人のジャンルを時間をかけて検証するのは時間の無駄だからね。 >>677
ポアンカレ予想なんか物理学分野からのアプローチで証明されたから
主にトポロジーの方面から挑戦していた数学者達にはチンプンカンプンで
「証明された事に嘆き、微分幾何学での証明に嘆き、理解出来ない事に嘆いた」って言われてるな なんか宇宙際ばかり注目されるけど
大切なのはタイヒミュラー的考え方だったりする。 >>674
開示されてないのに通したのが問題
どうみてもギャップがあるのに集団で通すなら集団不正を疑われてもしょうがない >>680
プレプリントでぜんぶ公開されてるけど
何を言っているのかな 実数でしか考えていなかった数学に虚数を持ち込んだ時にもこんな感じだったのでは
多分色々問題は出るとは思うけどアプローチとして必要なんでは 彼の論文の初見の感想は、みんなうさん臭くて長くて読むのがかったるいだもん。
このまま放置されておしまいじゃないかね。 本当の天才は馬鹿にでも分かるように説明できるってよく言われるが望月とやらはその点で失格。 数学わからん俺なんか、>残りの人生すべてかけても>>1を理解できねーだろうな
オイラーの等式を理解するのすら２年かかったわ 理工系で使われるラプラス変換みたいなもんかな？実空間では解くの大変だけど周波数空間では簡単に解けるみたいな ラプラス変換でも、実数から複素数への拡張でもないだろう
例えるなら、多分グロタンディークのスキームや層コホモロジーの理論みたいなものではないかな
知らんけど つーか、あくまで『予想』なんだから、外れても全く問題ないだろ >>682
プレプリントにギャップがあるって話だろ
ギャップがあるのにレビュワーが通したのなら査読過程に問題がある あと数学に不正がないというのは嘘で、
間違ってると分かってるのに投稿するとかはありうる
そして間違ってるのに載せる問題のある雑誌もある
捏造できないから数学に不正はないというのは誤解 >>690
望月の元論文もショルツのギャップの指摘も誰も理解できないんだよ
何も理解できないと反論もできないから通した >>692
それが問題なんだが
レビュワーが理解できないなら一旦リジェクトすべき 今回の件ではPRIMSではなく外部の雑誌に投稿して、
きちんとしたレビュワーを揃えてレビューすべきだったし、
ワイルズはその点をちゃんとやっている
それが嫌ならペレルマンみたいにarXivに載っけて放置しておけばいいだけ ワイルズ論文載ったのはアナルオブマスターベーションだったよね
自分のところでは ワイルズのときは4,5人いてひとりが理解できないからしつこく聞いたらギャップが見つかってるからね
今回の査読でそういう厳密な審査がされてるようにはみえないんだよな エロ同人に例えると、
他人に共感されない超マイナード変態600ページ長編同人誌がを作ったやつが、革命的エロといい始めたが、
コミケには出せなくて、仲間内のイベントで発表という状態。
海外のド変態同人の天才若手が手に取ってくれたけど、
「話長いし、キャラが突飛だし、展開がちょっと飛躍していない」といわれて、はや5年ぐらい。
せっかく読んでくれたやつがいたのに、作者は「黙れ小僧」と逆切れ状態。 >>695
PRIMSと格が違いすぎるっていうのはある
PRIMSは日本国内ですらトップではない
そこに投稿するのはすごい疑問 >>698
PRIMS関係者が論文の内容を一番理解しているのでPRIMSが最適だって言ってるだろ
理解できないやつに査読させると>>692みたいなことになるからね 超ド・マイナージャンルでは一人でもちゃんと読んでくれる人がいたら、それは神だということを理解しないと失敗するというお話。 >>699
それは査読制度を理解してないな
他のところに回しても結局専門家に依頼が行くのだからPRIMSに送る必要はゼロだよ
そもそもファルティングスが査読者でないっぽいという大きな問題についてはどう考えてるの？
当該分野の大家なんだが RIMS関係者が論文の内容を理解してるってのは嘘だな
それなら関係者からどんどん関連論文が出てないとおかしいし
弟子のサーベイも途中から止まってるよね >>703
反論は出尽くしたって玉川さんも言ってるし、もうこれ以上の議論は必要ないだろ 反論云々じゃなくて理解したんなら応用すれば、って話では？
だれも解説もしないしまあ理解したのは嘘っぽいんだよね
加藤文元とかも褒めるだけで説明しないし >>698
PRIMSのIFは0.5を超えており、国内の数学系の紀要としては大阪大学のOJMを超えて国内トップ >>706
紀要に限定する意味がわからない
JMSJとJJMのほうが上でJJMが50位近辺だったはず 俺わかっちゃったわ
そもそも宇宙って有限じゃん
つまり、、、 >>659
ガキの頃からアメリカで生活してるからそれはないはず >>702
公平を期すために望月教授を編集委員から外した上でPRIMSの編集委員が査読者を選んでいるのだから公平性は担保されている ショルツやタオが理解できずに望月氏の弟子が理解できるというのも信じがたい >>712
査読者の多くはRIMS関係者だと推測されてる
というのも外部審査したなら外部から擁護の声があがるはずだがそうならないから >>716
その朝日のは飛ばし記事だったし信用する意味はないよ 望月さんこれ以降も論文いくつも書いてるのに誰も読まずにあれこれ妄想 数学者とテーマにした小説「ペトロス叔父とゴールドバッハの予想」は名作 ABC予想の証明が正しいか正しくないかは俺にはわからないけど
それに使われているIUTに対する数学者の関心が低い…というのは感じるな なんか散々な言われようだなあ
望月先生は日本の恥さらし、数学界の恥さらしってことなの？ >>720
数年前まではなんどもワークショップとかあって人が集まってたのに今じゃすっかり下火になってきたね
論文出し続けてるのも望月先生だけになってきた そんな時間がかかるのならいっそAIでチェックすることを考えては？
もちろん、そういうものを作るには相当な時間はかかるだろうが、何もAIが新しく証明を発見する必要はなく、既にある証明を機械的に真偽が確認できる論理式に書き換えるという、むしろ翻訳の問題。
それも時間をかけて何度でも人間との対話をしていいわけだから、原理的には困難はないはず。 ネットの人はなぜか京大好きだからな
仲間かなんかだと思ってるんだろうな 望月の論文長すぎるだろ。読む気しないから、
短くしろよ。 日本人であるならば、格調高い日本語でもって論文を書くべき。
そういう日頃の努力が、日本の数学を底上げし、保つために絶対に必要。
戦前までの努力に比べて、戦後は流されすぎ。特に昭和が終わってからの
日本の学術の日本語軽視の傾向は酷すぎる。海外論文誌に論文を投稿すれば
助成金を与える大学だとかは、国内誌を滅ぼさんとする外国勢力の手先も同然。
文科省も「国際化＝英語による教育や研究」のような旗振りをしているが、
おまえらは一体どこの国の役所なんだと言いたい。宗主国がアメリカかイギリスで
日本を植民地にしたいのかね。いずれ日本固有の価値観や日本人の文化は
棄てられて、国籍人種不明の人間の寄せ集めの雑多に日本はなってしまうのだろう。
その頃には天皇家も廃止になっているか、黒人でチリチリ髪の象徴をいだいている
のかもしれない。 >>652
海外の人って誰？
結局京都に長期滞在の人でしょ？
海外で支持者は増えていないわけでしょ？ >>724
それは意味が違う。
東ロボ君は、自然言語で書いてある問題に対し、解法を見つける話でしょ
>>723 が言っているのは、すでに得られた人間向けの自然言語の証明を、機械が読める形へ人間が書き換える作業の話。
長さが百倍とかになる。原理的にはできる話。
できなければ証明ではない >>712
それでは充分ではない。
やはり編集委員は身内。
査読者も身内が選んでいる。
公平を記すためにも、
日本以外の有名ジャーナルへ投稿すべきだった。
そうでないと世界からの信頼は勝ち得ない >>732
費用はいらないよ。
ただ証明の論文群を理解できない人はその書き換え作業はできない。
ショルツも単独ではできない。
証明の論文群を理解できる人なら時間さえかかればその書き換え作業はできる。できなければ理解してないことになる。すでに理解している人でもやるなら数年越しの作業になるだろう。 「宇宙際タイヒミュラー理論を理解したという奴らが宇宙際タイヒミュラー理論の一部を使って
証明済みの命題の別証明をだせばいいんじゃねえの？壮大な理論がABC予想にしか使えないなんてことは
ないでしょ。他でも使えることがわかれば理解者が増える」というテレンスタオの指摘が全てだと思っている。 >>734
穴がある理論からいくら成果出しても無意味 >>735
「自称理解者」や本人がそう考えていて、宇宙際タイヒミュラーを他に使わないのだとしたら草 数学者も理解出来ない理論ってそもそも意味あるのかｗｗ ショルツの言ってることが「ここが俺には離開できない」ってだけだからな。
数学の専門家同士のバトルとしては彼は少し汚いよ。
まるで論文を査読する試験管気取りじゃないか >>733
費用はいるよ
それを実行する手間暇をかけてくれる人の人件費を君が払えよ
そうすれば必ずできる >738
ここにギャップがある、ていうのは十分貴重な指摘だし、
本当に証明が成り立ってるならしっかり説明すればいいだけ
専門家同士のバトルって、周りのギャラリーの目を意識するものだからな
結局身内以外を納得させられてないわけで、現時点での勝敗は明らかだろ？ >>597
四色問題にコンピュータが使われているのは最初から。
そうじゃなくて、論理の部分も正しいことがコンピュータで検証された。
おまえが間違っている。 三角関数を勉強している俺には簡単に理解できたよ
お前ら二次関数の方程式さえ解けないFラン大学戦にはサインやコカインって何のことか分からないだろww 日本人だから応援したい気持ちはあるけど、このままじゃ認められた事にはならないな
疑問点に対して丁寧に回答してかないと >>661
そだね。
望月ショルツ論争で、望月が、３．１２の正しさを証明するために若い人の助けを求める発言があった。
望月も、論文が世界に公開されれば世界中の生きのいい若者が穴を埋めて華麗に解説してくれると思ったんだろう。
それがすぐあらわれれば、証明の本質的な部分は望月が完成したという事で、業績は評価されないし。
所がそおうではなく、指摘された穴は、それ自体が困難な予想問題ともいうべき大きなものだったという結論。
今どきネットで望月を支持している素人はただのﾆｯﾎﾟﾝｽｺﾞｲが言いたいだけの愛国バカだけ >>704
玉川さんのその物言いは玉川さんが理解していないことを物語っている。
反論が出尽くしたから論文は正しいというのは、数学の議論じゃないよｗ >>738
査読ってそういう者じゃんｗ なにいってんだあんたはｗ >>739
正しさを検証するために機械で検証にかけたらといわれたら、
こういう言い訳をするのが望月支持派の特徴ｗ
もう何をかいわんやｗ >>747
知らないうちに望月派にされてるなぁ
まず確認しておきたいのだけど、機械での検証って本当にできることなのか？つまり、数学の証明についてそういうことをやった実績あるのか？
逃げずに答えろよ >>748
横だが今は自動定理証明というのがあって、
全部論理的に書き下してぶっこめば検証できる
特に今回は望月が論理記号の取り違えだと反論してるから、
その論理式をぶっこめばできるはず >>749
聞きたいのは、それを代数幾何学や数論幾何学の証明に適用した事例があるのかだよ
そこがわからないから、ID:9FJlgcCH0 には答えてもらいたい
答えられないなら自動的にID:9FJlgcCH0 はカスと確定するw >>744
今年出した∧∨論文の後半って要は系3.12の照明を修正すry直観的なアイディア言ってるんだよな
でも最後の方である種のとか何らかの等価性みたいにsomeなんちゃらばっか言い出しててダメだと思った >>752
四色問題やケプラー予想の証明の検証に自動検証プラグラムを使った実績がある。
>>749さんも指摘しているように、正しい証明があるなら検証できる。
望月の証明が正しいなら、ＰＲＩＭＳが応援しているのだから、
京大が全力挙げて証明を書きおろし、機械にかければいいだけ。
実際はギャップがあるから、機械に乗るような証明も書けない。 >>693
わからないからリジェクトしますというのは査読する側からは言えない（俺は馬鹿だとは言いたくない）ので検証が不十分という便利な言葉でリジェクトすることが多い。
ただ、数学関係で検証が不十分というのは使える場面はそう多くないのでリジェクトしたくてもできないというのはそれほど珍しいことではない。 >>754
四色問題について適用できたとしても、この問題に適用できるということにはならない
>>752に書いたことを繰り返すが、聞きたいのは、自動証明を代数幾何学や数論幾何学に適用した事例があるのかだよ
そこがわからないから、ID:9FJlgcCH0 に尋ねている
ちなみに、
https://www.kurims.kyoto-u.ac.jp/~terui/suugakuseminar.pdf
を読む限り、この問題に対し自動証明をかけることは無理そうだ
それでも、お前が事例を示してくれるなら考え直そう >>757
どの数学の証明も記号列だから機械検証は原理的には同じだよ。
そうでないというのなら、あんたが証明してくれ。 >>752
応用じゃなくて数学の証明からして適用できないとおかしい
代数幾何か数論幾何かは関係がない
普段しないのは直観的に論理を飛び飛びにしてもトレースできるから、
全部書き下すのがめんどくさいだけ 断っておくが>>739を書いた時点では、俺も自動証明できる前提で書いてたが、疑わしいと思い調べた結果>>748以降、困難・現状できないという意見に変わっている
>>759
そんな戯言いらないから、自動証明を代数幾何学や数論幾何学に適用した事例を示せ
そうしない限り、お前の主張は正当とは見なせない
>>760
何を根拠に言ってるんだ
お前より数理論理学者の意見
https://www.kurims.kyoto-u.ac.jp/~terui/suugakuseminar.pdf
を信用する
ここにも四色なら扱えるが、…という話は出ている >>761
ここで言ってる自動定理証明は人間ができたと言ったあとにその論理式を検証するもので、
そのPDFが言ってるような創造的・発見的手法ではないよ
自動定理証明で勝手にabc予想が解決することはないが、
abc予想を説いたと主張するひとがいるなら論理式は書きくだせるでしょ、って話 あと数学者の意見を信頼する、というのなら、
次回のIMC講演にRIMSのだれも呼ばれてないというのでFAだし
世界的に認められてないのは明らか 「国際的なジャーナルで英語論文発表！」
「PRIMS…どんなジャーナルなんだろ？」
PRIMS編集委員
編集長
S. Mochizuki
編集者
T. Arakawa
M. Hasegawa
T. Kumagai
K. Makino
T. Mochizuki
K. Nakanishi
Y. Namikawa
K. Ohkitani
T. Ohtsuki
K. Ono
N. Ozawa
A. Tamagawa
事務局
Research Institute for Mathematical Sciences Kyoto University Kyoto
(^o^) >>762
それはお前の考える証明だろ
もっちー信者の間ではそんなのより直感とか天啓とか正しそうな雰囲気が重視されるんだよ これ、もう弟子もわかってるよ
墓碑のかわりに出版したんだろ
お疲れさまでした R.I.P 望月一派より、ここで自動証明にこだわっている奴の方がよっぽどトンデモである事は明らかだと思う >>763
数理論理学者は数学者なのか？あまり数学者扱いされているのを見たことないし、この問題における識者としての数学者には数理論理学者は明らかに当てはまらない
今現在、世界的に認められているかどうかの話なんてしていたか？俺は証明の話しかしてないのに、とんだ論点外しだ
>>762
仮にそれが正しいなら話は>>739に帰着される
お前でもいい、やりたい人が金出してやればいい
いくらかかるか知らないし、やったことのないことなので金と時間を膨大に使った結果、うまく行かない可能性もある >>769
＞今現在、世界的に認められているかどうかの話なんてしていたか？
世界中の数学者の合意は信用しないのに一数理論理学者のPDFを鵜呑みにする意味ってなに？
権威的論証なら「世界の権威は望月の証明は認めていない」で終わりだよ 一生分の探求を表現した渾身の論文なのだろうから出版すること自体はいいね
これだけ確信をもっているのだから何かはつかめているんだろう
それが証明という手続きを満たしているかどうかは別として >>770
先にこっちの疑問に答えろよ
・数理論理学者と数学者を混同してませんか？してますか？
・論点外しですか？
この2点な 西田幾多郎の哲学を思い出す
京大ってこうだよね
身内の人がすごいと言い続ける
海外でも大絶賛といわれるが実は身内
そして「さすがは京大だ 天才と変人は紙一重」みたいな人間的な評価で受け入れられる
こうしたところからしか出てこない知のかたちもあるかもしれない まーライバルのショルツは1週間で考えた最新の定理を自動証明させてて数か月でほぼできたみたいね >>774
まったくもってそれ
IUTの初期で西田哲学がどうこう言ってるやつが実際にいたからな >>773
分野の包含関係の話はしてないが？
もう一度質問文を全文引用する
> 数理論理学者は数学者なのか？あまり数学者扱いされているのを見たことないし、この問題における識者としての数学者には数理論理学者は明らかに当てはまらない
つまり、数理論理学者をここまでの文脈で扱ってきた「数学者」と一緒くたに扱うことは不適切で雑ではないかという話だ
２つ目の質問にも答えてないぞ
論点外しか？ >>777
ただの不勉強だな
数理論理学者は数学者です
証明論なのだから当然
そして論点外しはまったくしていない
なぜなら証明の話をしているときに勝手に>>761で内容も理解せずに権威的論証をしてきたのはあなたのほう
むしろあなたのほうが権威的論証だと望月のほうが不利だと気づいてあとから論点ずらし始めてるんだろ 今回の件の問題点は、
・本人も含めて外国人差別っぽいことを言ってる
・日本人がよくやる身内すごいのノリ
・世界では認められてないのに国は金を出しちゃう
という典型的なネトウヨの流れだということなんだよなあ あと自動証明は>>775が言ってるように可能
ショルツにできて望月にできないなら能力差の問題でしかない
しかも望月は学生レベルの話だと言ってるのだからなおさらおかしい 数学の論文は自動証明用の言語で書いて提出でいいんじゃね？ >>779
そういうノリの怪しさとはまったく無関係に証明できてる可能性も否定はできないけどねｗ
ところで国はお金出してるのかな？
全部京大というか先生の研究所でまかなってるんじゃないの？ >>778
こちらが尋ねていることに正確に答えられていない
答えたポーズにしかなってない >>783
横だが>>775も言ってるようにショルツは自動証明をやっててるし、ショルツの専門は数論幾何
なので>>752の
＞聞きたいのは、それを代数幾何学や数論幾何学の証明に適用した事例があるのかだよ
は「ある」で終わりだし、望月にできないなら望月の能力不足だろうな >>780
可能ならやってればいいと思うよ
別に望月本人がやらなくたっていいだろ
ID:CTY8gjuz0 はできると一点張りで根拠を示さない
望月氏を批判できない態度だったけどな >>761
お前論破されてるよ。
おまえは最初自動証明が「数学で」数学で検証された例を出せといった。
そして四色問題やケプラー予想という実例を出された時点徹論破されている。
「代数幾何学」「数論幾何学」は論破された時点での論点ずらし。
ｽﾚを見れば事実として証明できる。
サゲでビビりながらご苦労なこったｗ >>784
そうだな
それを求めたのにID:CTY8gjuz0 はできると一点張りで根拠を示さない
望月氏を批判できない態度の糞野郎だったな >>787
なんか哀れになってきたが自分の間違いを認められないのね
あなたが言ってることはもう論破され尽くしている
自動定理証明は数論幾何で可能
望月が「学部生レベル」だと言ってるからなおさら可能
国から予算もらってるんだから予算がないという言い訳も利かない
RIMSは授業負担がほとんどないので時間もいくらでもある >>786
お前は自分の論理のギャップに気づいてないのなw 人間に読めないものを書いておいて、
さらに形式化も拒否するというのなら証明は放棄しているとしか考えられない >>788
> 自動定理証明は数論幾何で可能
それは事実なんだな？ 宇宙際タイヒミュラー理論を解明するのに、ABC予想を解明するより多くの時間がかかっている状況。本当の解はもっとシンプルな気がするけどね笑 .>>762
貴方の意見が全く正しい。
照井はできた証明の機械検証ができないなんていってない。
そんあこというわけないじゃん。 >>765
貴方の皮肉面白い。
もっちーの支持者って実際そんな感じｗ
さもなければ単なる愛国バカｗ >>316
内申書に素行の悪さが書かれてたんだろ
テストの点数関係無い >>768
だってもっちーがギャップのある証明をギャップと認めない以上、
ギャップがないことを証明するためには機械にかけるしかないじゃんｗ
現状望月支持者はただ「言い張ってる」だけｗ >>794
つまりロジックのチェックするだけという話だよな >>798
むしろそれ以外でなにを意味してるんだ？
証明に自信があって相手が学部生レベルの論理ミス（ANDとORの取違い）
だと言うならコンピュータに推論チェックさせてみ、って話だろう >>800
俺は論破されたというより、知りたい事実がやっと出てきたというだけだよ
ケプラーの話持ち出してるお前に色々言われたくないわ >>802
ただの不勉強を自分で調べもせずに難癖つけまくってるのを開き直るなよ >>803
俺は開き直るし、気が向いたらお前に難癖をつけてもいいと思ってるよ あほくさ
最近の擁護派はこんなのばっかりだな
ろくなのが残ってない 論争相手に愚かさを期待してそれを画面の向こうに投影しながら自分の主張の優位性を確信するやりかたでは議論にならんぞ
まあそんな論法で半世紀以上やってきた学派もあるが >>569
「証明が正しいことの証明」は決定不可能問題であることがすでに証明済み
「確率的におそらく正しい」ことは証明できても絶対的に正しいことを機械的に証明するのは不可能だよ >>755
論理展開が自明ではない、でリジェクト可能 ID:BCloPF8U0の無様さがウケるから上げとこｗ >>809
お前ID:9FJlgcCH0 だろ
お前には勝ったよ >>810
こんなところで見知らぬ誰かに勝つことに何の意味が？ >>809
お前さ、ID:9FJlgcCH0 なのがバレバレだよ
わざわざID変えてそんなこと書き込むって恥ずかしくないか？ >>799
assistant
の意味も分からず張り付けてんの？ >>813
わりと誰から見ても無様だと思うから自演かどうかはわからないぞ
もしかしてこれも自演扱いになる？ >>814
支援系だろって言いたいんだろうが
望月の場合に要求されてるのは>>799だから問題ないよ
ようするに
>At the end of May the group finished formalizing
>the one part of the proof Scholze was most unsure about.
>Commelin entered the final keystroke at 1:10 a.m. on May 29.
>Lean compiled the proof, and it ran like a functioning program,
>verifying that Scholze’s work was 100% correct.
これをやれってことだからね
記事を読んでみるとScholzeは他の研究者に協力を依頼してまで取り組んでいて
Scholzeの誠実さと望月の不誠実さのギャップがすごいと感じる >>816
それならそれで、ケプラーや四色問題が完全に機械的に証明されたと書きまくっているのは単なる馬鹿？ >>815
無様、無様うるさいけど
無様だと印象操作したいだけだろ
俺は単に>>775のような事実を知らなかっただけだよ
その事実を提示せずに「自動証明」できると言い張ってるやつがいて、そいつと議論をしていた
あとから>>775がでてきたから、あ、そうなんだね
ならそれでやればいいかもね、という態度を取っただけだよ
途中で自動証明の意味を巡って混乱はあったのは認めるよ >>817
そんなの誰も書いてないが？
具体的にどのレス？ 証明が正解かどうかを判定するのに新たな証明が必要な理屈なんてエンドレスでは・・・ｗ >>819
書いてるぞ？
あんたか書いてないだけかも知れないが >>821
だからどれよ？
みんな「検証verify」って言ってるようにみえるが ああ、ひとりだけいたな
ID:BCloPF8U0は議論を勘違いしてるようにみえる >>819
お前の目は節穴か
>>786>>754
はい論破などと下らないことは言わないから安心しろw >>823
目が節穴であるお前からどう見えたところでなんら意味は無い >>824
「検証」「証明を書き下ろし」って書いてあるやん
もしかしてここまできてまだなんの話がされてるのか理解してないのか？ >>749
それは検証プログラムの「正しさを仮定」した時の話でしょう
ちなみに「プログラムが正しく動作する」も決定不可能問題であることがすでに証明済み
もちろん、検証プログラムの動作が完全であることを「仮定」すれば、証明の正しさを検証することは可能 >>807
命題の証明って公理から決まった規則で導き出せる事だし本来その正しさって膨大なステップを機械的に確認する以上の何ものでないよ
ただ大元の公理系が正しい＝矛盾を導き出せないって事はその公理系自体の中では証明できないとされてる
ただ一般に使われてる公理系が矛盾してたら今までの数学がみな破綻するのでそんな心配は不要とされてる >802
「知りたい事実がやっと出てきたというだけだ！」
これいいね！めちゃ気に入ったw
議論の場でぐうの音も出ない反証を出された時の負け惜しみとして、
これだけみっともなさレベルの高いセリフもそうそうないんじゃないかなw
自分も今度使ってみよう（もちろん素直に負けを認めた上でのネタとしてだがw） >>830
それはもちろん理解してる
でもそれは機械的に検証するプログラムの動作が「完全に正しい」と仮定した時の話だよね
「プログラムが正しく動作することも >>830
もちろん言いたいことは理解できる
しかしそれは検証プログラムが「正しく動作すること」を仮定した時の話だよね
ちなみに「プログラムが正しく動作すること」も決定不可能問題であることが分かっている
言い換えると、検証プログラムの正しさを仮定すれば自動証明は可能になる >>832
今問題になってるのは曖昧な箇所があったら支援系に入れるのが流行りだから、
望月もやればいいじゃん（誰も理解してないんだし）という文脈なので、
支援系の限界みたいな話とはちょっと違う >>831
実際そうだから仕方ない
上の方で書いてる通り俺は望月氏の肩をもってるわけでもなんでもないが、お前のバイアスにまみれた思考ではそうは受け止められないんだろうな
あれな人の思考は変えられない
さらにぐうの音も出ない反証かと言われると>>775の内容だけではそうとも言えない
ショルツがどんな問題に対して適用したのかわからない
でも、こんな掲示板でミリミリそんな話をするつもりもない
ただ、ロジックのチェックはやればできるかもしれないというぐらいの意見にはなった
実行するためのモノ人金時間の観点で問題ないのかどうかは別の話としてあるし、手軽にできることのようにも思えない >>835
望月は「学部生レベル」の話でconjunctionとdisjunctionの取り違えだと言ってるので、
形式性チェックができないはずはないけどね
しかも上でも指摘されてるがRIMSは幾何学研究所で予算出されてて、
講義をしてるわけでもないので時間はある
人がいないなら外部に発注すればいい 人いなくなったけど、言いたいのは高品質な証明検証プログラムを使ったとしても、とどのつまりは「証明の正しさを証明する」ことはできないってこと
結局のところ、「証明の正しさ」に必要なのは有力な数学者の「お墨付き」だよね
ここで議論しても全く意味がない 外野は温かく見守ろうぜ >>837
数理論理学と計算理論を勉強したほうがいいね。学部レベルの教科書で十分 >>837
出発点は海外の有力な学者が一律に否定してるってことなので、
それならIUTはダメ出しされててもう終わってる話ではある >>837
まあ決定不能の意味は知った方がいいな
「無限にある問題例の全て」に対して「必ず停止して答えを返す」プログラムはないみたいな意味
問題例ってのは例えば命題のこととしよう
ある種の命題に対しては永遠に止まらなくていいってしておけば
それ以外の正しい命題の証明を延々と探し続けて見つかったら答えるようなプログラムは初等的に書ける
むろんそんな初等的なプログラムは現実的な時間ではほとんどの命題に答え返さないけどな 日本の一般ピープルが
スゲーって思ってくれればそれでいいんだから
クールジャパンの一環だよ >>840
もちろん知ってるよ
間違いがあれば指摘してくれ
自分の勘違いが分かればそれはそれでありがたい >>837
↑の話は命題だけ与えられて証明を探すっていう決定不能な問題の話で
命題とその証明が与えられてそれをチェックするだけなら決定可能だし必ず停止する
しかも証明の大きさに対して線形時間で >>844
それももちろん理解してる
ただそのアルゴリズムの実装(プログラム)の正しさはどう保障すんのよ >>844
学部レベルの知識すらない人間に何を言っても無駄だと思うが >>843
どんなプログラムの正しさも有限時間でチェックするプログラムは存在しないっていう決定不能の話と
ある特定のプログラムの正しさが議論できるかどうかは全く関係のない話ってこと >>846
理性的なコメントしてくれたら助かる
間違いがあれば指摘してくれ
納得できたらそれはそれで嬉しい >>847
じゃあプログラムの正しさはどう決定するのよ 方法ある？ >著名な数学者から「証明の進め方に修正不能なギャップがある」といった疑問の声も上がった。
望月教授がこれに何も答えないから
話がややこしくなってんだよ >>849
プログラムの正しさ＝数学の命題の正しさ
似たようなもんというかプログラムの正しさは命題として書けるし
みんな数学のいろんな命題の正しさを議論してるでしょ
一般に決定不能だけど各例については議論できる >>845
数学基礎論を勉強すると良いですよ。
数学とは、
ZF公理系やZFC公理系などの
前提となる公理系から決められた推論規則で
命題文が連なっていて、
最後の命題文を、その公理系の定理と呼ぶ。
それまでの命題文の列を証明という。
ちゃんと推論規則に従っているかを
計算機でチェックするだけです。
時間がかかってよいなら人でもできます。
でもスピードと正確性で計算機を使った方が便利というだけ。
普通の証明は人がチェックしてる。なので、
細かいところは書かれていなくても脳内で練習問題として解いてしまう >>852
補足。
推論規則とは例えば、
AならばB
BならばC
という二つの命題文があれば、
その後に
AならばC
という命題文を追加して良い
という規則。
あと公理系に入っている命題文は
いつでもその列の後に書き足して良い >>851
命題の正しさをどう証明するかって話
数学者は命題とその証明を論文に書くけど、これは「正しさの主張」だよね
それを機械的にどう検証するかって話 名刺の裏に要約をまとめられない証明は全部間違いだよ。 AIが自我を持ってくれるまで正しいのかどうか分からんな >>852
だからそれも理解してるって
ただその検証プログラムの正しさを保障できるのかって話 プログラムが間違ってたらどうするんだっていうのは、
査読者や世界中の数学者が同時に錯覚したらどうするんだっていうのと同レベルの話なので、
そこに神経質になる意味はないよ この難解な理論をちょっと頭がいいくらいの一般人でもわかるように説明できる人が一番頭が良いってことでOK？ >>862
数学は理論を理解するための基礎理論の理解が大変だから
なかなか難しい
四則演算やユークリッド幾何学で
数学者の作る数学的世界を説明することは困難 >>859
検証プログラムのソースコード自体は短いから
人力で読める。
たんに証明の中の命題列がルール通り並んでいるかだけだから。
大変なのは、入力する証明をちゃんと書くこと。
望月氏の英語で書かれた省略いっぱいの論文から
入力データへと書き換える作業。
入力データの内容を知らなくても、その検証プログラムに入力して、証明になってるというアウトプットが出たら、
証明の筋は他人にはわからないけど、
とにかくその定理が真であることは間違いない ABC予想をカンで書けば
1を除いた自然数ABCで
AxA + BxB = CxC
となる組み合わせは存在しない
みたいな >>861
そういう話じゃないでしょうよ
プログラムの完全性が保障できなければ命題の正しさ保障できないよね
プログラムの正しさを「仮定」すればもちろん可能だけど >>864
ソースコードが短い、また、それを人が読めることと「プログラムの完全性」の間に何の関係があんのよ この証明だと、未解決問題の解明につながるのかも不明なのか？ >>866
数学は数学者コミュニティの合意形成プロセスでしかないので、
命題の絶対的な正しさなんて最初から追及してません >>864
補足。
その検証プログラムのソースコード自体は
短いので、高校生が数学基礎論の本を一冊薄いの読んでおけば、ソースコード読むのは簡単にできる。
入力するための機械が読めるデータへ
望月氏の英語論文を書き直す作業は、
今のところ京都の人以外は出来ない。
ショルツも出来ない
代数幾何学も数論幾何学も学ぶ必要はない。 >>856
決定不能ってのはごく限定的な意味しかない用語だから今の議論とは関係ないってだけよ
あとは自分で考えてみてくれ >>869
だから最初からそれを主張してる
前のコメント読んでよ >>872
だからそれをこの文脈で言うのはナンセンスだと言っている
ただの揚げ足取りでしかない この種の「証明」って、公理システム内の証明と同一視できるのか？ >>867
その証明が正しいかどうかは、
結局は個人が決めること。
つまりあなた個人が決めること。
検証プログラムのソースコードは短いので
あなたでも少しの勉強で短時間に読める。
あとは、誰かが証明と主張している
命題列をデータとして、計算機に入力して
その君が読んだプログラムで走らせて
答えを待つだけ。
そのプログラムで証明と認められる命題列があれば、その命題が正しいことは、
ソースコード読見終わった君には確認できる >>875
だから最初からそれを主張してるんだって 前のコメント読んでよ >>863
とんちんかんちんちんな例え話でなんとかなるようなレベルの問題じゃないってことだな >>876
途中から来たから流れが読めてなかったらごめんなさい。
要するに
>>845
でいう保証の問題は、ソースコードを読むことで簡単に保証できる。
ソースコードにバグが無いかどうかは、読者がチェックするしかないのは、
普通の数学論文と変わらない。
でもソースコードは短いので、
望月氏の論文群にバグがないかちぇするのより遥かに簡単 プログラムでチェックできるのは特定の公理系における証明になっているか否かだろ？
この種の数学の証明って、どの公理系における証明なのか限定されているのか？ 京大の北部の一角に
カルトグループが形成されてるってことはわかった
社会心理学の人に見てもらったほうがいいかもね >>880
IUTは数学基礎論についてなにか誤解があるんじゃないかっていう話もあるから、
支援系で証明しようとすると致命傷になる可能性もある >>870
訂正。
最終文で
数論幾何学などを学ぶ必要はない
と言ったのは、検証プログラムのソースコードを読む作業において。
望月氏の英語論文を計算機可読データに書き換える作業は、数論幾何学ももちろん必要だし、
望月氏の引用する全論文群を理解している必要がある。ショルツは、望月氏にも無理だと疑っている。もちろんショルツは出来ない >>878
もちろんそれも分かるが、遥かに簡単であることと「プログラムが完全であること」とは何の関係もないのでは？ >>880
ABC予想はフェルマー予想と同じ
一階の述語論理で書ける整数論の命題なので、
ZF公理系が前提となる。 >>884
プログラムの完全性
は何を指してるの？ 突き詰めたらこんな事が起こるんだな
証明しても精査するものがいない
まあ答え合わせは後世に任せようぜ！って感じ？ 自動推論て
A=B かつ B=C なら A=C
みたいなもんだろ。これのどこに証明不可能性があるのか >>886
>一階の述語論理で書ける整数論の命題なので、
>ZF公理系が前提となる。
この「なので」の根拠は何？ >>890
この手の整数論の命題は
ZFCで証明できるならZFでも証明できることは、
証明されている。
だから、フェルマー予想が解かれた時、ZFC公理系を使っていても、誰も選択公理を外す試みはしない。
これが整数論とバナッハタルスキタイプの命題と違うところ。
ZF公理系と同値であることが示されていない公理系でABC予想を解いたのなら、
それは部分的解決に過ぎない >>891
その「それは部分的解決に過ぎない」の可能性が高いんじゃね？ >>876
そういう話は結局>>830の無矛盾性の話とか不完全性定理とかになるけど
ABC予想自体を命題Pとしよう
ある証明検証プログラムの正しさを書き下したものを命題Qとしよう
両方とも証明があればその検証プログラム自体で検証できる
あとは俺の感覚で話をすると
→命題Qの方が命題Pより文としては長くなる
→一方の証明の長さはPよりもQの方が遥かに短くて簡単になるはず
→Qの証明は確実に存在するだろう
→一方のPや¬Pの証明は存在しないかもしれない まとめ
望月の論文pdfで無料で読めるから読んでみましょう。
https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
宇宙際Teichmuller理論
[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-05-18)
[2] Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation. PDF NEW !! (2020-12-23)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
NEW !! (2020-04-22)
[5] A Panoramic Overview of Inter-universal Teichmuller Theory. PDF NEW !! (2013-08-20) Comments NEW !! (2015-11-11)
[6] Bogomolov's Proof of the Geometric Version of the Szpiro Conjecture from the Point of View of
Inter-universal Teichmuller Theory. PDF NEW !! (2016-01-12) Comments NEW !! (2020-04-25)
[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF
NEW !! (2020-12-23)
[8] Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2021-06-18)
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/
Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on
Inter-universal Teichmuller Theory. PDF NEW!! (2021-06-18) >>893
違います。
命題Pの証明はえらく長く、
命題Qの証明はえらく短く、高校生でも数学基礎論の本一冊とソースコード読めば短時間で理解できます。
検証プログラムは、ABC予想専用の検証プログラムではなく、たんなる証明チェッカーです。 >>897
そうですね。失礼しました。
Qの証明は確実に存在します。簡単です。 >>833
これは変ですよね？
計算機がソースコードどうりに動作するかどうかは
物理学の問題で、数学の問題ではない。
決定不可能問題とは関係ない。
それ言い出したら、私の脳の記憶力は確かか？
という問題も出てくる。
個人が記憶違い計算間違いする確率より、
計算機が間違える確率の方が小さい イソ子スゲーーーーーーーーーーーーーー！！！！！！！！！ >>844
線形時間でしたっけ？
二乗のオーダーなら明らかですが >>901
それは証明の各行に「〇〇行と××行より」みたいなのが書かれているかどーか次第じゃね？ ABC殺人事件 つながりあるように見えて実は無関係 ズバ抜けてる天才の思考回路ってABCZみたいに、いきなり結論にブッ飛んでいくんだろ？
しかも正解が導きだされてる。
後の人に検証まかせるしかないわな。 平日の真昼間なんだから馬鹿みたいな議論で興奮してないで働けよポマエラ アティヤーも死ぬ直前にやらかしてたから
大御所といえども分からんよな >>903
それをやってもダメだと思う。
もちろん長さNの証明をN^2の長さに書き換えれば、N^2の定数倍で証明チェックできるけど、それでは意味ない 振り返ってみると2015年-2017年がIUTのピークだったね
IUTカンファレンスがあって大勢集まってワークショップもやってサーベイ論文も出て
議論も活発でIUT-IIまで理解したとかIIIまでいったとか競争したりして盛り上がってた
今IUT関連で活動してるのって望月さん以外誰が残ってる？ 京大の変人だから天才で真実なんだよ！っていう日本の理屈がどこまで通るか興味ある ABC理論を証明するには Θ禅Ю∞無/有 という概念が必要です
Θ禅Ю∞無/有は√‰率でЩ次元をΔ▽します
Δ▽とは永遠です
大体こんな感じの説明になってるとABC予想 >>914
ライプニッツだったっけ？
宮廷から無神論者を何とかしてくれって言われて、論争する事になって
数学の公式ガーっとまくし立てて
「以上により神は存在します。いかがか？」でやり込めた人 >>369
みんなが訳わからんなかで
一方は冷静で他方が攻撃的なら
あーねってなってるってことだよね？ >>918
京大の偉い人なのにアイドルについて延々と書いたりしていてネットユーザーに愛されるタイプ >>915>>916
ちょっと信じがたいんだが、本当にこれ小保方さん案件なの？
RIMSだよ？
数学界で、しかも京大数理研でそんなことはありえないと思うんだが 京大だからこそありそうなもんだろ
外の意見がまったく入らないまま国内の絶対権威ということで押し通して
実質身内の外人を数人入れることで国際感を出してるだけだし
とはいえどっちになるかは素人にはわからん
説明も証明もできてないけどご本人のなかでは真実に到達してるんじゃないかな
西田哲学のように >>923
ディドロ「神の存在を数式で証明しろ！」
オイラー「(a+b^n)/n=x、ほれ証明したぞ！」
こんなやりとりがあったんだな
どっちもバカでは？ >>924
で、数学者としてのトンチかと思いきや
その後神についての計算する様になって
結構ガチでヤバい方向に行ってしまったと言う ところで「チンポがシコシコする」という日本語表現は、文法的に正しいのか？
チンボ「を」シコシコするのではなくて、チンポ「が」シコシコする。この場合、「チンポ」は主語となる。
オブジェクト指向で言う「集約」は２種類あって、全体（俺）と部分（チンポ）が繋がっている場合と、
全体（俺）と部分（チンボ）が別々になっている場合とが考えられる。けれども「チンボ」はそれ自体
が独立した生き物であり、所有者の意思とは無関係に、勃起して「シコシコする」。
例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。
違うか？
「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、５０字以内で述べろ！ なるほど、分からん
というか、ここまで分からんと本当に分からんな >>653
値k値言って公開でブチギレた京大の人みたいだな >>1
俺の発表した鈴木予想いまだに証明されてないし、論文も送られてこないからABC予想よりもはるかに難問なんだよな
こんな難問を産み出してしまった自分の才能が恐ろしい 雑誌側が「議論が平行線なので広くみんなに見て議論してもらうために掲載した」って言ってる奴じゃなかったか 残念だが、近年の京大は腐敗している。
理由としては東大の表象文化論に汚染されたのが大きい。
典型が小保方とつるんだ笹井の失態。
小保方の早稲田は東大表象文化論の最大の犠牲者だ。 >>934
続き
1985年に東大表象文化論講座を創設した蓮實重彦こそ、日本の
失われた30年余りの元凶であって、竹中の何千倍もの悪影響を
日本全国に与えた。 庶民向けに説明しようとした加藤文元氏の本やプレゼが、
胡散臭さに拍車をかけてるよね
加藤氏も理解しているように思えず、核心に触れず、
親密な恩師、盟友を擁護するための苦し紛れの本というか、、 それと、とんでもない天才には違いないと思うのだけど、
発表したのが40歳を超えてからという点も懐疑的になってしまう
とんでもなく複雑らしいけど、それを40歳の脳が整然と整理できるもんだろうか >>935
ポストモダンでフランス思想を中途半端にかじってて反資本主義なのにお金持ちの子供たちみたいな人を量産するシステムにはなったな >>17
ノーベルが数学者に女取られたから。ちなみに経済学も実はノーベル賞はない。 >>113
いや、自由にやらせた方がとんでもないことがたくさん起きてたと思う。 学生の頃数学好きだったんだけど、ある時からこの式を使って解きますみたいな単なる作業になってからつまんなくなった
どうしてこの式を使えるのか？ってところを全く説明しないで急に式だけ出てくるのが本当に苦痛で楽しくなくなって数学取り組むのを辞めた
今ならネットでそこの理論をもう少し調べられるから違ったんだろうけど それまだ数学まで辿り着いてないよ
英語で言うとアルファベット覚えてる段階 数学ってのを哲学的に考えれば考えるほどこの世は何か神か別の宇宙や次元の何かによって作られた創造物ではないかと思うんだよね ａ＋ｂ＝ｃを満たす互いに素な自然数の組（ａ，ｂ，ｃ）に対し、
ｄ＝ｒａｄ（ａｂｃ）とする。
このとき任意のｋ＞０に対して
ｃ＞ｄ＾（１＋k）
を満たす（ａ，ｂ，ｃ）の組は有限個しか存在しない >>134
ワイルズの証明の複雑さは知られていたので、例えばその理解のために10日間に渡るカンファレンスがボストン大学で開かれた。 >>1
天才っているもんだな。フェルマーも別のやり方でかよ。 これ証明失敗してるから諦めろ
取り巻き連中も薄々気付いてながら知らん振りしてるところが嫌い 「足し算やかけ算をする世界（=宇宙）を縦横無尽につなげて（=際）、数を操る」
世界？宇宙？ 宇宙とは何なのか？ アンドリュー・ペニントンとスタンディール・ロックフォードが解いた、
ファルコンの定理は決着が着いているのか。 >>937
それは言えている。
中間レベル（宮廷大理系1年から数学科修士課程）の記事や本が見あたらない
一松信先生の暗号解読関連本もそう。一番下の弟子が書いたんだろうと思ってしまう。
ガロアも後の世の再発見と解説で、生まれ変わった。
サイモン・シン、デュ・ソートイなどのレベルの数段下。
ゲーデルの不完全性定理の理解も、ケンブリッジの（数学者向けの）講義で広まった
（「素数を利用している」と書いている本はわずかだ） >>944
多分>>134は、サイモン・シンの本の受け売り
「背理法使ってこういう経路で証明できるよ」を「理解した」と勘違いしてる ∀P, P∧?→True
という可能性があるのが群論の恐怖 >>271
それ言うたらニュートリノの研究とか役に立たんやん 知り合いの聞いた話だと、RIMSの数論新鋭もIUTは
「まず証明になってない」
と不思議がってる理論とか。
ただ、
「理論が間違っているとは思えないし、ショルツの批判は的外れ」
とも言ってるとか。
あ、来週の公開講座にその新鋭出るみたいだから誰か聞いてみてよ。 高校の頃は数学大好きだったんだけど
大学で理学部に進んで生の数学者をみて
気持ち悪すぎて数学者が大嫌いになった
数学者なんかみんな死刑にすればいいと思う そもそもショルツの指摘が難癖レベルの赤面ものらしいね
京大、阪大の遠アーベル幾何の研究者界隈では有名な話
（だいたいあんな赤面ものの指摘を信じて欧米の研究者が寄ってたかってIUT批判に靡いてること自体に皆驚いてる） >>962
そうだとしてもガラパゴりすぎだろ
赤面もののエラーならすぐ正せるだろうに
海外コネゼロなん京大なり国内の数学界は？ 例え、君の言ってることが正しかったとしても、
他人が理解できるようにそれを説明できないのであれば、
それはもう間違っていることと同じ
と、うちの上司が言ってたわ >>964
遠アーベル幾何の世界では有り得ない勘違いらしいから、指摘のしようがないってさ
もし指摘でもしたものなら、世界の笑い物になるらしいから温情で黙ってあげてると IUTは整数論分野で広く応用でいるって望月先生は主張してるけど
セミナーでIUTの解説していたチュンさんとか講義やってたテイラーさんとかはどうしてIUTの論文を出さないの？ 望月理論が発表された後にオックスフォード大学で望月理論に関するワークショップが開かれたのだが
これが大失敗だったようで、このワークショップが大失敗だったことで
誰も望月理論を大真面目に理解しようとはしなくなったと
http://taro-nishino.blogspot.com/2019/03/blog-post064.html
＞このような講演が続いた後、（驚いたことに）「例を提示した」等々と言われた（本当に？興味深い例を？どこで？）。
＞まるで「同型な 2 つのベクトル空間を考えよう」と言い、いくら質問されてもそのような状況の面白い具体例を
＞（数多く存在するにもかかわらず）一切提示せず、最後に「例は述べた」と言われる線形代数の講義のようだった。
＞聴衆からの数々の質問は、最後の 2 日間立ち籠めていた霧を取り除くには至らなかった。
＞参加者は具体例（たとえ数学的構造の例でもよいので、わかり易いもの）を求め続けたが、
＞聴衆にとって満足のいくような例は提示されなかった。
https://github.com/annonymath/brianconrad_note_oxford/blob/master/Notes_on_the_Oxford_IUT_workshop_by_Brian_Conrad.md
こんなもの、どう見ても望月理論の方に問題あるに決まってるだろう
聴衆の質問にはまともに答えるくらいの誠意は示したらどうなんだ？ いまや望月先生の論文をちゃんと解説するだけで望月・XX理論として業績の半分は自分のものに出来る状況なのに
誰もしようとしないなんて数理研の人たちは謙虚なんだね 反論は出尽くしたってのが玉川さんの見解なわけで、玉川さんから見ても
ショルツの反論に対する望月さんの回答に再反論がないのでこれで終わりってことでしょ https://search.n2sm.co.jp/cache/?docId=dab0e72b916e43a4bf03e218320b34ad&;hq=%E8%A9%95%E5%88%A4
＞Robertsは、どの数学者も別物として把握するものをショルツ＝スティックスが混同しているかのように言うのは藁人形論法ではないか、と述べている*4。
＞redditではWoitのブログエントリのスレのほかにこのRobertsのブログエントリのスレも立っているが、
＞その中でWoitが注目したコメンターのwhisperfiendsは、望月氏が圏論の初歩的な誤解を犯していて、
＞圏の対象と写像を混同しているのではないか、と述べている。 （；´Д｀）ハｱハア 結局のところ誰も分からないんだ
仕方がない。
何故なら数学ではなく別の数学（言葉）を使ってるから これだけzoomとか普及してるのに、
それでもオンラインワークショップとか
開催しないのはなぜ？
飛行機乗らなくてもいいでしょ。
レコーディングしておいて後で公開すれば
さらに解釈深めていくこともできるし。
定期的にワークショップやればいいのに。 （；´Д｀）ハｱハア そもそも化け物みたいな頭脳を持つ数学者ですら分からない論文なんて
信用以外に何を根拠に信じろと >>975
望月陣営の敗北で終わったっていうのは世界的な共通見解
直近で大きな業績を挙げたひとが招待されるIMCの講演にも呼ばれてないしな まず望月の態度が最低
疑問点にはきちんと答えるべきだし反論してくれた人に失礼な態度をとるべきでもない
京大の中だけで偉そうにしてるというお山の大将丸出しで偏屈過ぎる >>976
このブログにショルツ来てたりしてたし
RIMS側の誰かが何か書き込むべきだろ
論文だけ置いてても誰もついてこないなら
もっと時代に沿ったインタラクティブで効率いい発信しないと 「京大の変人は天才だから正しい」論法で証明に挑んでるわけでもないだろうにね >>979
どれもこれも俺の円周率論文の真似だよ
攻撃してんのも白人の大馬鹿だろ 日本語で愚痴ってもどこにもリーチしないよな
英語SNS力をまずつけろ 海外だと間違いで確定してるからそこにリーチさせる意味は特にない >>9
ちゃうやろ。
コスモボーダー堆肥三浦理論やで。 分野が近い数学者が読んでも全く理解できないとか言ってるな
極めて高度に抽象化された独自理論に独自理論を重ねて作り上げられてて
望月語で説明がなされていると 近くプリンストンに行く予定になっていて、婚約者もいた谷山氏が
自宅のアパートで東京ガスのガス管を咥えてガス自殺をしたというのは不審だ。
何物かによって暗殺されたのではないかという気がしている。
死ぬべき理由など全くないはずだからだ。 （；´Д｀）ハｱハア こないだ ＡBC予想の本が出たばっかりじゃん ABC予想が面白いほど分かる本ｗｗｗ
もちろん、おれは買ってないけどｗｗｗ 興味はあったんだぜ？ｗ
図書館に置いてたら借りるかもなｗ （；´Д｀）ハｱハア フェルマーの料理人っていう漫画で 望月教授を尊敬している主人公が出てきたけどｗｗｗｗｗ
間違っているじゃねぇかｗｗｗｗｗ このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 4日 12時間 52分 2秒 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php レス数が1000を超えています。これ以上書き込みはできません。
