20/04/07 10:26:02.62 HKpWWrsN.net
>>15
弟子が覆面でコメントバトルしたらいいとは思うｗ
20:１３２人目の素数さん
20/04/07 10:27:36.39 088RF7OT.net
>>14
Daniel LittならTwitterの方で読み込んだ上で
こんなん標準言語に直せば8割削減出来るし
新しいアイデアのない退屈な論文と酷評してるぞ。
（証明失敗で）既に解決済みとまで言ってる。
21:１３２人目の素数さん
20/04/07 10:29:55.32 2UneLpbq.net
>>19
数学者が覆面でレスバトル・・・
15年前の数学板かな？
22:１３２人目の素数さん
20/04/07 10:33:54.23 HKpWWrsN.net
>>20
Daniel Litt @littmath 10時間
That said, were they to be rewritten in standard language, the page count would shorten by at least 80%.
In any case, I find the fact that I could understand these papers but not crucial parts of IUT a bit worrying.
そやけど、標準語で書き直したらページ数は少なくとも80％短縮されるで。いずれにしてもやな、これらの論文は
理解でけたけど、IUTの重要な部分は理解でけへんかったという事実はちょい心配やで。
23:１３２人目の素数さん
20/04/07 10:34:37.10 PfsIzygc.net
さすがに今回は全体が手厳しくなったね。
裏でこそこそやるのはまだしも公に不正は認めないという科学者コミュニティの態度。
24:１３２人目の素数さん
20/04/07 10:38:36.11 /UNISUK0.net
>>23
数学者は科学者なの？
違うと思うけどなぁ。
25:１３２人目の素数さん
20/04/07 10:40:02.02 HKpWWrsN.net
とりあえずどっちに転んでも映画化できそうだな
26:１３２人目の素数さん
20/04/07 10:41:17.86 lUlMyiK6.net
ショルツ先生がガウスで望月先生がアーベル的な立ちともいえるんでしょうか
27:１３２人目の素数さん
20/04/07 10:42:48.56 lUlMyiK6.net
ショルツ先生がガウスで望月先生がアーベル的な立ち位置ともいえるんでしょうか
28:１３２人目の素数さん
20/04/07 10:43:52.76 HKpWWrsN.net
宇宙際タイヒミューラー理論の拡がり
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
↑
イベントあるじゃん？
29:１３２人目の素数さん
20/04/07 10:46:02.79 088RF7OT.net
純粋数学でこれやるの前代未聞だからなぁ・・・
主な実績がIUTのサーベイの研究者もいるのにどうするんだろう。
予算先行で研究準備センター作って研究員の採用までしてるし
撤回となったら相当な巨大スキャンダルになりそう。
30:１３２人目の素数さん
20/04/07 10:46:05.36 2UneLpbq.net
IUT理論を標準語で書き直した論文を公表すれば大勝利な予感
31:１３２人目の素数さん
20/04/07 10:46:15.33 HKpWWrsN.net
【MathPower2017】 07_講演「ABC予想と新しい数学」 - ニコニコ動画
URLﾘﾝｸ(www.nicovideo.jp)
32:１３２人目の素数さん
20/04/07 10:46:42.55 1p4TlEs2.net
まだ進展ないの？
なんのためのプレス発表だよ
33:１３２人目の素数さん
20/04/07 10:49:39.41 bj0AOgwR.net
ABC予想の証明の真偽の議論が研究集会じゃなくてブログで進んでるってのが面白いよな
望月教授ってほとんど研究集会に出て行かなくて外部からの読みにくいという声を読み込み不足と�
34:ﾙ殺してるのに 自分は論文公開してるのに批判を直接言わないのは相手が悪いとか考えてそうだけど
35:１３２人目の素数さん
20/04/07 10:50:03.29 HKpWWrsN.net
なんか今の状況をうまく表現できる言葉ないの？
証明したという論文が専門的＆難解過ぎて一般人からはどっちが正しいのかわからない状態
36:１３２人目の素数さん
20/04/07 10:55:05 lUlMyiK6.net
すいません素人なんですが質問してよろしいでしょうか
論理的なギャップが在るというのは、
pが真 ∧ p⇒q が真 ∧ q⇒r が真 ゆえに zが真である
ってなってる記述があるって意味でしょうか
反論ってパラドックスになっている個所を指摘する以外の方法はあるのでしょうか
すいません素人です
37:１３２人目の素数さん
20/04/07 10:58:58.76 PfsIzygc.net
>>34
小保方
38:１３２人目の素数さん
20/04/07 10:59:18.81 jd6xKCsv.net
理解出来ているという弟子が何人もいるそうだから、標準語とやらで書き直せば解決じゃん
39:１３２人目の素数さん
20/04/07 10:59:30.38 kJC3SjkB.net
>>22
・細かいとこは理解出来た
・重要なとこは理解出来ない
(間違いも見つけられない)
からの
「８割削減出来る」
・・・
・・・「８割削減可ッ！」ってポイしちゃった中に重要なとこ理解に至る術があったんじゃないんですかね…
40:１３２人目の素数さん
20/04/07 11:00:31.45 dEvdc7P4.net
わけわからんこと言い始めて総スカンくらった研究者はこれまでもいるけど、
そのわけわからんことを公的機関がサポートするのは数学では前代未聞だね。
バイオでは理研があるけど。
41:１３２人目の素数さん
20/04/07 11:00:44.05 M7jL1rp3.net
シュルツさんの批判は？
具体的には？
42:１３２人目の素数さん
20/04/07 11:02:41.25 lUlMyiK6.net
ガウスはアーベルの論文を理解せず否定したけどあとでよく精査して受け入れたんですよね
43:１３２人目の素数さん
20/04/07 11:05:26.63 u5xnoTHO.net
>>18
でもIUTがトンデモなら、よくあるリーマン解いた！っていう論文同様歯牙にもかけられない
ところがこれだけ長きに渡って数学界で取り沙汰されているということはIUTはトンデモなんかじゃなくて
そこそこな理論だということ
44:１３２人目の素数さん
20/04/07 11:07:41.81 t3mLfXdV.net
>>42
べつに取りざたされていない。ショルツが反論したのもMに呼ばれたから。
海外で騒いでたひといないんじゃないの。
45:１３２人目の素数さん
20/04/07 11:12:09.55 088RF7OT.net
ショルツを招聘したMさんはギャップを理解してたよね多分。
ショルツに論破して貰って修正するか撤回するかして貰う事を期待したんでしょう。
まさか自明と言い張った上で政治力を使ってアクセプトまでするとは思わなかったはず。
46:１３２人目の素数さん
20/04/07 11:14:37.37 lUlMyiK6.net
ギャップとパラドックスの違いが判りません。
パラドックスがあったのなら、今頃世界中の1万人の数学者から指摘を受けてませんでしょうか？
すいません素人です
47:１３２人目の素数さん
20/04/07 11:16:02.57 u5xnoTHO.net
望月氏本人が何らかのコメント出せばいいのに
ウォイトのサイトに書き込まないのかね
48:１３２人目の素数さん
20/04/07 11:16:35.86 1p4TlEs2.net
>>37
それだけで検証しやすくなる上に立派な業績になるだろうにな
49:１３２人目の素数さん
20/04/07 11:18:02.50 bj0AOgwR.net
>>44
柏原先生まで出てきてるからなぁ
しかも会見でさらなる議論が行われることを期待するとか玉虫色のコメントしてるし
どんな政治的事情があったのやら…
50:１３２人目の素数さん
20/04/07 11:24:04.77 S3cjLoMv.net
>>45
C言語に問題を解くときに、
C言語上でエラーが起きるのがパラドックス
日本語で問題
51:解けたって主張する人がいるけど誰もC言語では書けないのがギャップ
52:１３２人目の素数さん
20/04/07 11:24:33.49 lUlMyiK6.net
リーマン、アーベル、アインシュタイン、ゲーデルとか数学や理論物理の
パラダイムを作った人はほとんど全員、最初の論文が理解されなくて批判か
無視をされた人の方がむしろ多数なんではないでしょうか？
論文改ざんした小保方さんどころか日本のアインシュタインの出現を私たちは
今目の当たりにしてる確率はどのくらいあるんでしょうか？
53:１３２人目の素数さん
20/04/07 11:29:20 iKfIzjyT.net
>>50
そうでもない
アインシュタインと同様のことは
すでにローレンツもポアンカレも云ってたし
論文も書いてる
ゲーデルの論文もすでに素地として
ラッセルのパラドックス等があったから
さほど拒否反応はなかった
ヒルベルトは受け入れたくなかっただろうがさすがに否定はしなかった
54:１３２人目の素数さん
20/04/07 11:31:18 HKpWWrsN.net
100%
55:１３２人目の素数さん
20/04/07 11:34:25.73 IXPKBfJb.net
ショルツの反論がないから正しい理論を振りかざしてたから
今後は自分たちが反論しないと負けってことになる
56:１３２人目の素数さん
20/04/07 11:35:29.36 M7jL1rp3.net
5ちゃん総意としてはインチキであるということでいいかな？
57:１３２人目の素数さん
20/04/07 11:35:36.87 FpDoFpVV.net
おまえら馬鹿だな これ望月勝つぞ
58:１３２人目の素数さん
20/04/07 11:36:04.38 lUlMyiK6.net
>>49
コメントありがとうございます。
素人なんですが、望月先生の論文で前提としてる定義と公理内部で自己矛盾してる
箇所以外はパラドックスと呼べませんか？ ギャップというのはもしかして
望月先生の論文では前提としていない公理系との違和感のようなもののことでしょうか？
関東人が関西人の語尾の「やねん」が気になるみたいな感じですか？
C言語の文法ではエラーになるけど、Pythonの文法ではエラーにならずにちゃんと動くの
ならC言語では動かないっていう指摘は筋違いですし
すいません素人です
59:１３２人目の素数さん
20/04/07 11:37:10.50 I5SB4qpl.net
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(web.archive.org)URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
↓
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(megalodon.jp)
なんか、無かった事になってない？
60:１３２人目の素数さん
20/04/07 11:38:19.55 HKpWWrsN.net
パラドックス＝論理矛盾
ギャップ＝論理的不整合
でええんちゃう？
61:１３２人目の素数さん
20/04/07 11:41:17.33 M7jL1rp3.net
>>55
5ちゃんの実績知らないのか？
ほぼほぼインチキは5ちゃんだぞ 笑
62:１３２人目の素数さん
20/04/07 11:43:35.31 HKpWWrsN.net
なんでショルツ、ブログのコメで戦っとるん？ｗ それ作法として正しいん？
63:１３２人目の素数さん
20/04/07 11:45:49.86 t3mLfXdV.net
>>60
望月が説明をしないんだからこれでいい。そもそもショルツはかなり親切なほう。
64:１３２人目の素数さん
20/04/07 11:46:40.09 I5SB4qpl.net
IUTが教えてくれた事。
それは高度に難読化を施した1000ページ近い証明を
ペレルマン風に査読を回避した形でネット公開をして
反論には「最初から読み直せ」で通していけば８年間は誤魔化せるという新発見。
新たな証明スタイルの誕生だね。
65:１３２人目の素数さん
20/04/07 11:47:25.41 lUlMyiK6.net
>>51
レスありがとうございます。
そうしたら、望月先生は、おひとりでローレンツ、ポアンカレ、アインシュタイン
の3役分の論文書いちゃってたから、新しすぎて拒否反応を示されてる可能性も
あるのでしょうか？ ショルツ先生の指摘は拒否反応から違和感があるという感想
で、望月先生の論文にパラドックスがあるという指摘ではない可能性もありますか？
すいません素人で
66:１３２人目の素数さん
20/04/07 11:48:59.88 bj0AOgwR.net
論文書いたっきり
67:海外セミナーはおろか国内セミナーすら出て行かない人の論文にここまで周りが付き合うって ちょっと普通では考えられないよね なまじABC予想というお題目が付いてるから世界一流の研究者がかまってちゃんの相手をせざるを得なくなってる
68:１３２人目の素数さん
20/04/07 11:49:20.72 j0/l4zIs.net
>>22という他の論文への簡単な表明に過ぎないだろうものが、なぜか>>20に捏造される
すべてこの調子
ちなみに直前
＞私は、ポストABCの論文 URLﾘﾝｸ(kurims.kyoto-u.ac.jp)と URLﾘﾝｸ(projecteuclid.org) （星、望月）を注意深く調べ、非標準的なスタイルにもかかわらず、それらが本質的に正しいと確信しています。
ダニエル・リット
69:１３２人目の素数さん
20/04/07 11:52:14.79 IXPKBfJb.net
小保方コースだよ
70:１３２人目の素数さん
20/04/07 11:52:58.29 lUlMyiK6.net
>>58
Weblioで論理矛盾を引いたら、不整合であることを意味するみたいなことが書いてありますが
数学では論理的不整合と論理矛盾という2つの言葉はどのように使い分けられているんでしょうか
すいません素人で
71:１３２人目の素数さん
20/04/07 11:55:23.95 j0/l4zIs.net
>>60
しかも「むかし京都で一週間議論したときにはー」の繰り返し 「京都の全員がここをこう言っているとか違うだろー そこは撤回しろよと今回特に言っといたー」
72:１３２人目の素数さん
20/04/07 11:59:48.47 9KomTawK.net
論文の天才だなｗ
73:１３２人目の素数さん
20/04/07 12:01:44.08 I5SB4qpl.net
殆ど唯一の利害関係なし賛同者であるDupuyが論破されたからもう無理だ、諦めろ。
74:１３２人目の素数さん
20/04/07 12:03:29.07 63JZDFSN.net
>>25
邦画以外だとどうみてもScholzが主役でもっちーが悪役にされちゃうじゃん…
75:１３２人目の素数さん
20/04/07 12:08:58.25 S3cjLoMv.net
>>56
C言語でもpythonでも誰も翻訳できない
自然言語でそれっぽいことを言ってるだけという状態
76:１３２人目の素数さん
20/04/07 12:16:50.48 YFy5MUCD.net
カントールの時も拒否反応凄かったしなあ
何ならカントールに至っては生存中に完全に認められなかったし
77:１３２人目の素数さん
20/04/07 12:17:07.14 aStD2dmc.net
みんな意味が分かってないのに擁護したり非難したりしてるカオスにしか成り得ないスレ
78:１３２人目の素数さん
20/04/07 12:18:00.75 YFy5MUCD.net
>>70
論破されたとわかるなんてすげえな
数論幾何に詳しいん？
79:１３２人目の素数さん
20/04/07 12:19:07.81 thlPMUtD.net
部外者だから良く分からんのだけど8年放置せずにもっと手前で国内の研究者が止めるとかできなかったんかこれ
過去の経緯とかレポートとか見ると、海外セミナーしないとかIUTの内容が理解できる専門家がいないから周囲の声は的外れとか
読み込みが足りないから理解できないだけで論文は内部検証したから正しいとか
ちょっと尋常じゃないと思うんだけど
80:１３２人目の素数さん
20/04/07 12:20:05.91 t3mLfXdV.net
>>65
リットが言ってるのは次のことでしょ。
IUTの中でも正しい部分は非標準的でも理解できる。
ただしそこに目新しい話はない。
問題は目新しい話をしている箇所は理解ができず、それは非標準的なスタイルだからではない。
非標準的なスタイルならほかの部分も読めないはずだから、って話でしょ。
81:１３２人目の素数さん
20/04/07 12:20:10.42 9KomTawK.net
書いた人→天才
否定できる人→読んで理解しているので天才
なのか？
82:１３２人目の素数さん
20/04/07 12:21:53.72 t3mLfXdV.net
これも別に新しい話じゃないんだが、
IUTが最初から最後まで全部間違ってると言ってるやつはいない。
少なくとも本職の数学者で
83:はいない。 だがIUTの正しい部分に目新しい理論があるって認めてる外部の数学者はいないし、 目新しい理論の部分が正しいと認めてる外部の数学者もいない。
84:１３２人目の素数さん
20/04/07 12:22:04.89 lUlMyiK6.net
既存のプログラム開発言語と比べてかなり難解な新しいプログラム開発言語
を望月先生が発明して、ショルツ先生は既存のプログラム言語と比べて違和感
（ギャップ）があるという感想を述べてるけど、望月先生が発明した
プログラム開発言語自体にバグ（矛盾）があるという指摘は一切できてない
という理解で間違ってませんでしょうか
バグ（矛盾）が見つかってない新しいプログラム開発言語で、ABC予想の証明
が「書けた」のならほかの定理の証明同様間違いである証拠にはならないという
理解でよろしいでしょうか？
素人ですいません
85:１３２人目の素数さん
20/04/07 12:22:28.07 XNTR33s3.net
整理しとくぞ
査読について
・「査読者が掲載可能とのポジティブなレポート出したこと」
・「SSの批判に対する査読者の意見が明らかにネガティブだったこと」
から、担当エディターはアクセプトとしたかったが
他の編集委員が
・「学問的ではない外野の声にビビって」
ずるずる8年
だよ
あと、ショルツらの批判は、山下星らの完全理解者だけでなく、玉川越川らの準理解者からも嘲笑されてる初歩的な無理解がある。
これが事実。妄想はこれ以上不要。終わり。
86:１３２人目の素数さん
20/04/07 12:24:02.58 t3mLfXdV.net
>>81
越川を勝手にカウントするなよ。風評被害だろ。
87:１３２人目の素数さん
20/04/07 12:25:16.20 thlPMUtD.net
>>81
その初歩的な無理解を誰もわかりやすく提示して理解を求めようとしないのは何故なんでしょう？
88:１３２人目の素数さん
20/04/07 12:25:35.44 F4i8MP+L.net
>>82
でも彼も、あのショルツの反論レポートは、ないわなぁ、と言ってるのは事実。
89:１３２人目の素数さん
20/04/07 12:26:59.97 XNTR33s3.net
>>83
求めてるよ。ショルツからは反応がないけど。これがトンズラーと言われるゆえん。
90:１３２人目の素数さん
20/04/07 12:27:17.89 kJC3SjkB.net
>>66
おぼちゃん研究ノート↓
ようせぃはんのう
かくに～ん💖
これ↗とＩＵＴＴが同じレベルだと？
91:１３２人目の素数さん
20/04/07 12:28:01.89 t3mLfXdV.net
>>84
ソース
92:１３２人目の素数さん
20/04/07 12:28:40.93 thlPMUtD.net
>>85
具体的な反論は少なくとも公開されてるペーパーには見当たらないぞ
その後他の関係者が何か書いて説得を試みたという話も聞かない
93:１３２人目の素数さん
20/04/07 12:28:43.04 XNTR33s3.net
とにかく、荒らしや妬みからのアホレスには華麗にスルー推奨
94:１３２人目の素数さん
20/04/07 12:29:18.64 F4i8MP+L.net
>>87
本人に聞いた
95:１３２人目の素数さん
20/04/07 12:29:50.43 9KomTawK.net
バグはあったんじゃないの？だから4/4に修正版出したんでは？
96:１３２人目の素数さん
20/04/07 12:30:32.45 XNTR33s3.net
>>88
え？モチのウェブにあるよね。二回目の反論レポート。
97:１３２人目の素数さん
20/04/07 12:31:43.05 9KomTawK.net
論文の天才だけど完璧なわけではないのでは？
98:１３２人目の素数さん
20/04/07 12:31:48.13 S3cjLoMv.net
>>80
望月は新しいプログラミング言語もIUT4章で作ろうとしたが全くの素人だったので作れなかった
ここまでは新しいプログラミング言語なんてものはなかったことにして、IUTを既存のプログラミング言語に落とし込めればいいだけだが、
さらにIUT(の特に補題3.12)を既存のプログラミング言語に落とし込めないので、自然言語のまま宙に浮いている
プログラミング言語に落とし込めないからバグがあることを示すことさえ困難なので、望月を説得することも難しい
99:１３２人目の素数さん
20/04/07 12:32:05.33 kJC3SjkB.net
望月氏研究ノートに↓
💖愛💖友Ｔはんのう
かくに～ん💖
↗ってあったって報道でノートの現ブツが流れたら、納得ですけど。
100:１３２人目の素数さん
20/04/07 12:35:44.91 lUlMyiK6.net
まだ世の中にユークリッド幾何学しか存在しない世界で、
リーマンやロバチ
101:ェフスキーがユークリッド幾何学の第五公準を破棄した 幾何学公理系を「唐突に」前提して、しこしこある定理を証明しましたって 論文を発表したら、ほとんどの幾何学者から総スカンを食らいそうだと 思考実験をしてみた。 多数決では惨敗するであろうリーマンやロバチェフスキーが最終的に勝つか どうかをその時点で判定する手段があるとしたら、非ユークリッド幾何学 が前提としている公理系自体に自己矛盾があるかどうかという着眼点だけで はないかと現代の素人の私は想像します。
102:１３２人目の素数さん
20/04/07 12:40:56.48 9KomTawK.net
修正前のものを印刷したであろう印刷物が出るのであれば、
それとネット上の論文を比較しないと、
修正箇所が分からないかもしれないけどな。
どっちにしろ読ませたい気満々で、読めなくても一見の価値もある。
103:１３２人目の素数さん
20/04/07 12:41:56.59 CYtZjFtH.net
レビューアーやエディターはショルツの指摘を理解した上でアクセプトしたんだろ？
京大側は相当な自信があるんだよね
ただ海外の人はショルツが正しくて
政治的な動きでアクセプトされたと疑ってる雰囲気だね
104:１３２人目の素数さん
20/04/07 12:42:34.08 se/nznzG.net
弟子たちが何もせずにdupuyしか頑張ってないからこじれるんや
105:１３２人目の素数さん
20/04/07 12:45:14.15 YFy5MUCD.net
>>80
俺もあんまり知らんけどそんなイメージだな
望月先生の出した概念は今までの概念と異なりすぎて、多分非直感的な結果を生むんだろうなと思う
ちょうど集合論でも同じようなことは起きてて、無限を自由自在に操るのがカントールの集合論だけど、同時代の大数学者のクロネッカーとかから大変な批判を受けた
クロネッカーたちの批判も的を外してる訳じゃなくて、実際集合論はかなり非直感的な結果を生む
例えば俺が一番直感に反すると思うのは連続体仮説にまつわる話で、最終的には否定の証明も肯定の証明もできないという結論に至った
我々が素朴に考えてる実数の集合というのは実はかなり不定性を持ってるというのがそこで明らかになった
ショルツはそういう非直感的な気持ち悪さを指摘してるのに対して、望月先生達は論理的には正しいてのをずっと続けていて、だから並行線になってんだろうなと個人的には推察してる
106:１３２人目の素数さん
20/04/07 12:45:48.86 lUlMyiK6.net
>>94
もしIUTが浮動小数点演算回路を使えるプログラム開発言語で、
IUT以外の既存理論が浮動小数点演算回路を使えないプログラム開発言語
だったとしたら、IUTで実数の除算する箇所は既存理論では構造的に
翻訳できないのですが、同じように翻訳自体が構造的にできない可能性は
ありうるんでしょうか
107:１３２人目の素数さん
20/04/07 12:45:49.26 iKfIzjyT.net
>>96
実際にはベルトラミが双曲幾何のモデルを構築してから
受け入れの道が開けてきた
108:１３２人目の素数さん
20/04/07 12:49:29.55 se/nznzG.net
この「厳密なベリタイプ」の条件がどういうわけか回避されたとしても、抽象基本グループの余分な同型の存在は依然として未解決の問題です。
これらの同型が、少なくとも1つの実数が存在することを証明せずに、2つの実数間の具体的な不等式の証明にどのように使用できるかを想像するのは難しいようです。
で、この点に関してモッチーに聞いたが明確な答えをワークショップの1週間の間にもらえんかった(モッチー曰く自明である勉強しなさい) だし、未だに説明がどこにもあがってないと
109:１３２人目の素数さん
20/04/07 12:49:42.90 thlPMUtD.net
公理系として矛盾がないならサーベイペーパーが未だに整備されない理由がわからない
110:１３２人目の素数さん
20/04/07 12:51:41.69 se/nznzG.net
111:>>81 ∧か∨の問題の話してるんだとおもうけど掲示板の書き込みみるに、SSはそれはしっかり理解していて、それ以外の問題を指摘しとるぞ
112:１３２人目の素数さん
20/04/07 12:54:10.29 lUlMyiK6.net
逆に矛盾がもしあるのなら、矛盾を発見して指摘する作業の方が、
無矛盾な理論を構築する作業よりはるかにコストが小さい（想像）と思われる
ので、だれかしら矛盾を発見して指摘しているのではないでしょうか？
113:１３２人目の素数さん
20/04/07 12:54:27.47 088RF7OT.net
フィールズ賞受賞者に対して
「学部生レベルの勘違い」
「指摘部分の問題は見当たらなかった」
とまで言ってアクセプトしたんだから
再反論に対しては逃げずに真摯に回答して欲しいもんだね。
114:１３２人目の素数さん
20/04/07 12:54:48.88 XNTR33s3.net
>>105
どのへんにしっかり？俺がみたかぎり確認できなかったが。
115:１３２人目の素数さん
20/04/07 12:54:50.42 t3mLfXdV.net
>>90
つまりソースはないわけか。
116:１３２人目の素数さん
20/04/07 12:54:56.48 VfY0g9RH.net
>>62
いやいや、それは数学では目新しいかもしれませんが、
新興宗教ではよくある退屈な手口です。
これが数学業界で8年続いているなんて、ずいぶん日本の数学業界はブラック
117:１３２人目の素数さん
20/04/07 12:55:36.77 lUlMyiK6.net
>>102
そういういきさつがあったんですね
初めて知りました。
ありがとうございます。
118:１３２人目の素数さん
20/04/07 12:55:42.12 F4i8MP+L.net
>>109
本人に聞けよ。教えてくれるぞ。
メルアドはRIMSのウェブにある。
119:１３２人目の素数さん
20/04/07 12:56:31.49 S3cjLoMv.net
>>101
ありえるし新しいプログラミング言語が便利なのであれば受け入れられると思うよ
でもIUTの4章はプログラミング言語を作るに至ってないし、補題3.12は既存のプログラミング言語に翻訳できていないというのが現状
120:１３２人目の素数さん
20/04/07 12:56:52.77 XNTR33s3.net
>>107
ショルツもあんな個人ブログに書かず、論文にして望月に送り、公開してもらえばいいのに。
121:１３２人目の素数さん
20/04/07 12:58:52.26 VfY0g9RH.net
反論はブログでかいたｗ
一昔前のネット世界かｗ
122:１３２人目の素数さん
20/04/07 13:00:41.30 thlPMUtD.net
>>106
それは違うんじゃね？
別の言語を話す人が二人いて、一方がまったく歩み寄らずに自分の言語で話続けてて
他方が身振りや音の断片から推測して相手の言い分を理解を試みつつ説得しようとしているような状況でしょ
後者の方が明らかに労力が大きい
123:１３２人目の素数さん
20/04/07 13:01:48.28 a7HiLd9J.net
ここでショルツを既成観念に囚われた頭の固い旧弊な数学者みたいな扱いしてる奴らはいくら何でもショルツを舐めすぎだろ
124:１３２人目の素数さん
20/04/07 13:02:58.16 9HEJN8xM.net
まあ今回の件でScholzeが単純な誤解をしてるってのが嘘だってわかっただろ。
ほかの数学者もScholzeが単純な誤解をしているなんて思っているのは身内以外にいない。
125:１３２人目の素数さん
20/04/07 13:07:35.30 088RF7OT.net
弟子達ってこの全世界からシカトされてる理論を研究テーマにしないといけないんでしょ？
研究者人生終わりじゃん可哀想に。
126:１３２人目の素数さん
20/04/07 13:09:57.25 HKpWWrsN.net
>>67
えー、知らんでｗ 大学出てへんもんわし
127:１３２人目の素数さん
20/04/07 13:13:15.23 YFy5MUCD.net
しかし現在は数学を表す記法が十分に発展してるのに、両者全くコミュニケーションがとれないというのは正直なところ不思議で仕方ない
128:１３２人目の素数さん
20/04/07 13:14:33.22 +5H7TJZR.net
ピーターとテイラーの論争興味深い
テイラーがこのままだんまりだとなんかやばい雰囲気になるな
129:１３２人目の素数さん
20/04/07 13:16:44.91 lUlMyiK6.net
>>116
自然言語に例えてるんですか？プロの数学者が形式言語を読み解くコストを
自然言語のコミュニケーションコストで例えられてもイメージわかないんですけど
130:１３２人目の素数さん
20/04/07 13:17:59.17 9KomTawK.net
Google検索で日本語と英語とウムラウト付きで調べたら、SEOまで味方してたぞ。
131:１３２人目の素数さん
20/04/07 13:19:04.97 thlPMUtD.net
>>123
形式言語でも自然言語でも翻訳に労力がかかるのは同じだと思うけど
それに形式言語で論理式レベルで万人が矛盾ないと確認できる整理された記述が存在するなら
そもそもこんなに話はこじれてないわけで
132:１３２人目の素数さん
20/04/07 13:19:34.73 HKpWWrsN.net
>>124
SEO？ Googleサジェストか？
133:１３２人目の素数さん
20/04/07 13:20:11.83 lUlMyiK6.net
>>120
大学出てないかどうかは問題ないと思うけど、
知らないことを根拠もなく発言する行為はおかしいと思いませんか？
134:１３２人目の素数さん
20/04/07 13:28:42 lUlMyiK6.net
もしかりに、ショルツ先生側に対していじわるい仮説を乱暴に立てることを試みるとすると、
望月先生が数論のパラダイムの構築に成功してしまっていたとしたら、パラダイムの出現
によって、旧手法に熟練した数学者たちは全く新しい手法の習得を余儀なくされるので、
パラダイムの出現を自分の研究者生命にとっての脅威と見なして、攻撃的もしくは無関心を
動機付けているという心情を想像する試みも可能ではないかと
数学がわからない素人の５ちゃんねる多数派と真逆の試みをしてみました。
135:１３２人目の素数さん
20/04/07 13:28:46 YFy5MUCD.net
こじれてるところだけ、ほぼ論理式で形式的な証明できんものなのかな
1000ページの論文全部なんて無理に決まってるけど、一部分だけすることくらいならできそうなもんだけど
136:１３２人目の素数さん
20/04/07 13:30:48 lUlMyiK6.net
>>127を発言した直後に根拠のない発言をしてますが。
根拠のない５ちゃんねる多数派に対する根拠のない逆説の試みです。
本音はどっちにも悪意のような低俗な感情はないと内心は思ってます。
137:１３２人目の素数さん
20/04/07 13:34:24 HKpWWrsN.net
ギャップと主張してるのはショルツであって、モッチー側ではそうじゃないわけでｗ
138:１３２人目の素数さん
20/04/07 13:38:45 YpMuCEEE.net
今英語版みてきたらわざわざ「未解決問題である」って付記されてて草
139:１３２人目の素数さん
20/04/07 13:38:47 lUlMyiK6.net
>>125
素人なのでよくわかってないけど、
数学の研究は、論理式も含めて形式言語自体を作ったり検証したりする行為
だと認識しているんですけど、はじめから「整理された共通語」自体も疑ったり
壊したり、作り直したりする研究対象なのではないでしょうか？
間違った認識かもしれないけど。
140:１３２人目の素数さん
20/04/07 13:41:19 088RF7OT.net
RIMS側は日本で報道されるまではこのままダンマリでしょ多分
ゴール地点がコミュニティの承認ではなく予算の承認だとしたら
コミュニティを相手にする必要はないわけで。
下手に反応をして日本語圏でもギャップに焦点が当たると予算が降りなくなるから避けたいはず。
141:１３２人目の素数さん
20/04/07 13:45:45 9KomTawK.net
>>126
ツール使ってないんじゃないのかな
142:１３２人目の素数さん
20/04/07 13:46:50 HKpWWrsN.net
>>134
日本でもトップクラスの脳みそ持ってる連中が集団で破滅への道を突き進んでるとでも？
予算のためにがんばってギャップ隠ししてますってか？
どんなゴール設定だよｗ
143:１３２人目の素数さん
20/04/07 13:48:23 HKpWWrsN.net
つ 2018年3月の議論
March 2018 Discussions on IUTeich
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[SS2018-05], [SS2018-08]
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
144:１３２人目の素数さん
20/04/07 13:48:28 vdBmxikH.net
>>110
今回、ネットワークビジネスの手口もちらほらしてるのがなんなのかわからん
145:１３２人目の素数さん
20/04/07 13:48:38 YpMuCEEE.net
>>136
べつに理研の先例があるからそれは全然いいわけにならんな。
146:１３２人目の素数さん
20/04/07 13:48:55 AIs5QNAx.net
>>129
こじれてるところの大元を見つけるのが難しいんだよね
とはいえそういうのは数分から数週間で解決してきたと本人は言ってるね
ただし次から次へと難癖付けられるものだからどれに反論していいのかわけわからない状態
さらなる問題は結論ありきで徐々に話を
147:あらぬ方向にずらされていってると本人が感じてること やはり根源的には人種差別的な絶望感やうらみを常に抱いている
148:１３２人目の素数さん
20/04/07 13:49:04 9KomTawK.net
>>135
とんちんかんな答えした。サジェストじゃないよ普通にSEO。
検索結果の羅列の1ページ目とか。
149:１３２人目の素数さん
20/04/07 13:50:26 HKpWWrsN.net
厳密かつ適切な数学的理解の上に成り立ってる否定的な意見ならウェルカム
ショルツの致命的なギャップ云々ってのはそうじゃないってことか
150:１３２人目の素数さん
20/04/07 13:50:57 thlPMUtD.net
>>133
作るのは勝手だけど受け入れてもらいたいなら相手に合わせた説明を根気よくするしかないんじゃないか？
書いたとおりで、聞く側の方が大体負担が大きいんだから提案側が譲歩しないと話は進まないことの方が多いんじゃね？
それをしないのに受け入れてもらえないのは相手の読み込み不足ってのはただの甘えだよ
151:１３２人目の素数さん
20/04/07 13:53:03 PJdBKWIE.net
IUTが認められることによる利益＞＞＞＞＞＞IUTの否定が認められることによる利益
152:１３２人目の素数さん
20/04/07 13:53:14 HKpWWrsN.net
>>141
SEOが味方ってのがわからんわ
そもそもGoogleアルゴリズムへの手法なだけだし
それを使ってランキング上げて利を得るのは誰なんだよ
153:１３２人目の素数さん
20/04/07 13:56:15 vvXaOQyi.net
最新の論文に、系3.12の詳細な証明載ってるけど、ショルツはこれ読んだ上でコメントしてんの？
154:１３２人目の素数さん
20/04/07 13:56:25 9KomTawK.net
学術論文とか学術機関とかは優遇されがちなだけだろうな。
SEO対策で荒らしたりされてないってこと。
155:１３２人目の素数さん
20/04/07 13:56:52 HKpWWrsN.net
>>104
出版直前の再調整中とか？
宇宙際Teichmuller理論
[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-04-04)
[2] Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation. PDF NEW !! (2020-04-04)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-04-04)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
NEW !! (2020-04-04)
[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF
NEW !! (2020-04-04)
望月新一の論文
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
156:１３２人目の素数さん
20/04/07 14:00:22 gIu5iHai.net
>>144
利益うんぬんで動くこと自体が悪い意味で日本的。
学問として正しいかどうかが前提。
その正しさが、論文ではギャップが多すぎで、取り巻き以外は確信できていない。
157:１３２人目の素数さん
20/04/07 14:03:12 AIs5QNAx.net
>>143
本人的にはすでに検証は何百回も行われてて説明する必要はなし
こっから先は「誤解学」という新たな学問の研究対象と見てる
誤解学とやんわり言ってるけども実際のところはいろいろな思惑が絡んだドロドロしたもの
おそらくこの分野でも一旗あげるだろうよ
158:１３２人目の素数さん
20/04/07 14:05:35 HKpWWrsN.net
>>149
ギャップ云々と主張してるのは数名
ほとんどの数学者は遠巻きに眺めてオフィシャルな発言控えてるだろ
ていうか発言してる大物も論文読んだけどIUTわけわからん状態だし
あまりにも専門的で難解で敷居が高すぎるゆえの弊害だろうな
159:１３２人目の素数さん
20/04/07 14:08:18 vdBmxikH.net
>>151
最後の行wダウト
160:１３２人目の素数さん
20/04/07 14:09:02 vdBmxikH.net
カドカワとかドワンゴがなんかやってんのかな
161:１３２人目の素数さん
20/04/07 14:09:50 HKpWWrsN.net
宇宙と宇宙をつなぐ数学 IUT理論の衝撃 加藤 文元：一般書 | KADOKAWA
URLﾘﾝｸ(www.kadokawa.co.jp)
162:１３２人目の素数さん
20/04/07 14:11:21 vdBmxikH.net
整理する人が出てるのはいいことだな
しかも擁護派って
163:１３２人目の素数さん
20/04/07 14:12:12 VfY0g9RH.net
学問としてのプロセスに間違いがあるんだから、いくら屁理屈こねても証明にはならん。
反論への修正もない。査読もいつまでたっても終わる予定がない。
海外に出向いて、反論されて逃げ帰ってきて、自分の大学で発表し、勝利宣言
その挙句、理解できる人がいない、誤解誤解と中身のない話を叫ぶだけ。
数学業界ではこんなの通じるの？
他じゃ通じないよｗ
164:１３２人目の素数さん
20/04/07 14:13:20 088RF7OT.net
普通はギャップが指摘されて反論出来てない
1000ページもある難読化された論文なんて誰も読まない。
しかも理解したと主張する取り巻きも何の成果も上げてない事が
読み切った所で時間の無駄である事を示唆してる。
165:１３２人目の素数さん
20/04/07 14:13:26 HKpWWrsN.net
つ 8年間の査読期間を経て同所が編集する論文誌「PRIMS」に掲載されると京都大学が4月3日に発表
166:１３２人目の素数さん
20/04/07 14:15:06 HKpWWrsN.net
>>157
そのギャップの主張とそれへの反論の中身については
IUT論文読んで理解した脳みそでないと判断しようがないという悲しさ
167:１３２人目の素数さん
20/04/07 14:17:08 VfY0g9RH.net
これで電通が絡んでいたら、面白すぎてしょうがないんだがｗ
さすがにそれはなさそうねｗ
168:１３２人目の素数さん
20/04/07 14:17:16 7EDsDD4H.net
>>149
ちっとも日本的では無い
日本を知らない日本語使いは5ちゃんに多いな
日本を客観視できてない日本人もまた多い
169:１３２人目の素数さん
20/04/07 14:19:05 HKpWWrsN.net
ショルツ 「なあなあモッチー先生、ここちょっとギャップちゃうの？」
モッチー 「おおショルツくん、よう京都きたなー、どれどれ、どこかなー」
・
・
2018年3月の京都ではこんな感じで始まったと思うんだけど
どこでどうなってこうなってんのだか
170:１３２人目の素数さん
20/04/07 14:19:51 7EDsDD4H.net
>>156
学問としてのプロセスに間違いは無い
反論への修正はある
査読は終わってる
おまえは単に事実誤認してるだけ。論外
171:１３２人目の素数さん
20/04/07 14:20:38 fd35YpTC.net
>>122
Dupuyはそもそも十分な反論になってないね
論破は言い過ぎだが、反論までは言ってない
ショルツもそのようだが、重要なのは十分な証明には足りないのは確かってことだね
172:１３２人目の素数さん
20/04/07 14:21:03 HKpWWrsN.net
アホはファクトチェックをしない
バカはファクトチェックした上でバカなので困る
173:１３２人目の素数さん
20/04/07 14:22:50 fd35YpTC.net
訂正
Dupuyが論破されたは言い過ぎだが
174:１３２人目の素数さん
20/04/07 14:23:11 YpMuCEEE.net
>>162
また歴史改変しているが、ショルツはMに呼ばれての会談。
その時点で発表から6年が経過、朝日のリークから1年が経過。
ショルツが出て来るまえからおかしかった。
175:１３２人目の素数さん
20/04/07 14:23:58 VfY0g9RH.net
ほかの業界でもわかるような誤ったプロセスで勝利宣言。
京大です。
176:１３２人目の素数さん
20/04/07 14:23:59 HKpWWrsN.net
>>160
赤字ザマー電通が絡んでたら、今頃ガッキーがインタビューする豪華番組がでけとるんちゃう？
177:１３２人目の素数さん
20/04/07 14:25:16 HKpWWrsN.net
>>167
>ショルツが出て来るまえからおかしかった。
おかしさの内容は？
178:１３２人目の素数さん
20/04/07 14:26:34 YpMuCEEE.net
>>170
まず査読結果が勝手に外部に漏らされたこと。
その結果を文科省に研究業績として報告したこと。
つまり研究業績のでっちあげ。
179:１３２人目の素数さん
20/04/07 14:28:03 HKpWWrsN.net
>>171
その2点がファクトであるか確認できるソースは？
180:１３２人目の素数さん
20/04/07 14:28:11 rx19SrZa.net
かりに間違っていたとしても望月はたいして悪くない
これで問題なしとした雑誌の数学者らだろ
望月自身は8年以上前から正しいと信じててサイトで論文公開してたんだろ
8年間、誰でも確認できた
181:１３２人目の素数さん
20/04/07 14:29:30.53 2UneLpbq.net
相手の誤解を解く方法4つ
URLﾘﾝｸ(ikejo.net)
182:１３２人目の素数さん
20/04/07 14:30:54.16
183:I5SB4qpl.net
184:１３２人目の素数さん
20/04/07 14:31:03.70 VfY0g9RH.net
なんかね、本人は天才とか、本人は悪くないとか、本人以外にわからない画期的理論とか
そんな話ばっかりで、どの辺が学問なのかと。
185:１３２人目の素数さん
20/04/07 14:34:28.60 HKpWWrsN.net
>>173
2012年の発表から世界的なニュースになってnatureも記事にしてるしな
専門が整数論じゃなくても世界中の数学者がチェックしてるわけで
186:１３２人目の素数さん
20/04/07 14:35:46.19 YpMuCEEE.net
>>172
にわかか？
文科省へのレポートなんてこのスレで何回も挙がってるが？
187:１３２人目の素数さん
20/04/07 14:36:49.38 fd35YpTC.net
まあ確かに小保方やソーカルとは違う
本人は正しいと信じてるが本質的な情報が足りないって話だから
で、弟子は十分わかってないユーザーでしかなく、Dupuyはあくまで理解しようと努めてるだけで
正しいと解説まではできないと
188:１３２人目の素数さん
20/04/07 14:37:36.78 VlJLUzOg.net
このスレに現れる擁護派の手口とIUTの手口が一緒なんだよね。
何回問題点を指摘されても次のときに「問題点は何か？」と訊いてくる。
8年間すっとぼけ続けてるわけだ。
でもそんなので実際に騙されるやつは専門家にはほとんどいないんだよね。
189:１３２人目の素数さん
20/04/07 14:38:49 HKpWWrsN.net
>>178
どれっすか？ ggrksの捨て台詞以外でよろしくです
190:１３２人目の素数さん
20/04/07 14:39:01 YFy5MUCD.net
>>178
スレにいるとは限らんし、研究業績のでっち上げなんていう非常に強い言説を他の人に信じてほしいなら、ソースを明示すべきだろう
191:１３２人目の素数さん
20/04/07 14:41:08 VfY0g9RH.net
ABC予想って、a,b,cが互いに素という前提があると聞いたんですが、
京大も査読も検証も、発表者と互いに素なんですかね。
IUT理論では、身内の検証は正しいということが画期的なんでしょうか。
192:１３２人目の素数さん
20/04/07 14:42:22 SQXb1H8i.net
中期目標の達成状況に関する評価結果 京都大学
平成29年6月 大学改革支援・学位授与機構
URLﾘﾝｸ(www.niad.ac.jp)
評価結果 （?） 研究に関する目標
２．中期目標の達成状況 （１）研究水準及び研究の成果等に関する目標
＜特記すべき点＞（優れた点）
○数理解析研究所における研究の推進
数理解析研究所において、「数論幾何の研究」の「宇宙際タイヒミューラー理論」
の構築とその結果としての ABC 予想に関する論文は、国内外の主要メディアで
取り上げられている。（現況分析結果）
(現況調査表の「IUT理論の構築とその結果abc予想が解決した」は削除された)
こんなの2スレ前に書いてあるのに。
193:１３２人目の素数さん
20/04/07 14:44:04 SQXb1H8i.net
擁護派のためにもWikipediaに追記しとくか。
英語版にこの顛末を追記しといたらさらに問題視されるかもな。
194:１３２人目の素数さん
20/04/07 14:44:17 IsFAxPk3.net
査読プロセスは今後どっかで焦点が当たるだろうな
現状沈黙している弟子以外に理解者がいないとなると誰がどういう観点でOKを出したか疑われそう
というか正しいと確信があるなら弟子はもっとコメント出せばいいように思うけど
195:１３２人目の素数さん
20/04/07 14:44:19 xpmV38Em.net
>>184
もう少し泳がせた方が面白かったのにw
196:１３２人目の素数さん
20/04/07 14:46:10 SQXb1H8i.net
>>187
いや毎スレ貼ったほうがいいと思うぞ。
今回の件で出入りが激しいからチラ
197:見して勘違いするやつが出てくるからな。
198:１３２人目の素数さん
20/04/07 14:46:16 IsFAxPk3.net
>>184
これ2年前見たわ
「国内外の主要メディアで取り上げられている」が成果になるって本当凄いよな…
199:１３２人目の素数さん
20/04/07 14:46:34 fd35YpTC.net
京大にも悪意は無かっただろうが、メンツ、配慮と正常性バイアスが無意識に働いた部分は否定できないな
200:１３２人目の素数さん
20/04/07 14:46:38 088RF7OT.net
ギャップは修正不可能だとして
RIMSはここからどう立ち回るのが正解なのかね。
素直にごめんなさいは文科省が許さないし
証明は成立してるはコミュニティが許さないし
このジレンマを打開する新理論が必要だな。
201:１３２人目の素数さん
20/04/07 14:48:42 YFy5MUCD.net
>>184
主要メディアに取り上げられたのは事実だろうし、これのどこが捏造なんだ？
嘘つきは君の方じゃないか
202:１３２人目の素数さん
20/04/07 14:49:42 VfY0g9RH.net
>>191
203:１３２人目の素数さん
20/04/07 14:50:11 gIu5iHai.net
>>173
身内のPRIMSに投稿し、今年のブログなどで公然とPRIMS編集委員会に圧力をかけている。
査読に関しても、「彼らの時間を奪ってしまって申し訳ない」とか言って、不十分なまま終了させた。
編集委員会とのやりとりも、ブログで言っていた公式の少ないやりとりだけなのかも不明。
非公式にやりとりをしていて、その議論で採択に至ったのかと勘ぐってしまう。
ショルツへの反論はAlienでなされていて、これもacceptに至った証拠となっているように思えるが、そうだとすると非公式に接触していて、身内の雑誌への投稿が公正でないように見える。
204:１３２人目の素数さん
20/04/07 14:51:53 SQXb1H8i.net
>>192
現況調査表には、報道があったからabc予想は証明されたって書いてるんだよね。
こんなバカな成果報告ことをする研究機関はまずないよ。
だからいくらTだのKだのの名前が出ても、ああそういう不誠実な集団なら今回もそうなんじゃない、
という感想にしかならん。
小保方がもう一回会見開いて「今度こそ見つけた」とか言ってるのと一緒。
205:１３２人目の素数さん
20/04/07 14:55:05 1p4TlEs2.net
そもそも出版前の論文を自分のサイトで公開していることが微妙
ペレルマンから何も学んでいないな
そのペレルマンだってarXivで公開していたというのに
206:１３２人目の素数さん
20/04/07 14:55:29 YFy5MUCD.net
>>195
こんなバカな成果報告はないて本当？
注目度の高さなんて普通に成果だと思うけど
あと結局削除してるなら、勘違いだと認めてるわけででっち上げでも何でもないじゃないか
やっぱり嘘つきは君だった
207:１３２人目の素数さん
20/04/07 14:59:29 SQXb1H8i.net
>>197
ないよ。
あと勘違いだと認めている、というのは？
RIMSの主張だと本質的部分に変更がないのになぜか今回はアクセプトなのだが、
それだと今度は削除した経緯が不明瞭。
>>196
しかもそれがなぜか査読されてるっていうのがまた異常なんだよね。
2012年の時点では勝手に公開されているだけという扱いだったのに、
なぜかその時点で査読が始まっていたということになっている。
208:１３２人目の素数さん
20/04/07 15:01:05 3MZ2VShA.net
これPRIMSがEMSに捨てられるとかいう事態にはならないよな？
他分野にとってはとばっちりにも程がある
209:１３２人目の素数さん
20/04/07 15:02:56 PzkxPigc.net
それ4月2日時点で危惧されてるよね。
EMSは出版拒否する可能性はけっこうあると俺は思ってる。
すくなくとも普通の数学雑誌として出すのは躊躇するはず。
だいたい出版時期も不明ってなってるし。
210:１３２人目の素数さん
20/04/07 15:04:11 VfY0g9RH.net
IUT-京大の定理：
検証前の論文で予算をつけてしまい、引くに引けない状態になると、
引くに引けない引き算は数学者でも解法がない
IUTのジレンマ
修正不可能なギャップのため
謝れば文部省が許さないし、証明したと言い張れば数学界から許されない。
211:１３２人目の素数さん
20/04/07 15:06:01 IsFAxPk3.net
今後のことを考えれば文科省に謝る方がよほど楽そうだけど
ポストや予算はかなり減るだろうね
212:１３２人目の素数さん
20/04/07 15:12:00 I5SB4qpl.net
�
213:ｳ々予算が減らされそうな所で 一発逆転を狙おうとしたら撃沈したんでしょう。 iPS山中教授の研究に押されていた笹井さんと同じ轍を踏んでる。 目の前にSTAP細胞(ABC予想の証明)がぶら下がっていたら 怪しいと分かっていても飛び付いて楽になりたくなるわな。
214:１３２人目の素数さん
20/04/07 15:12:28 fd35YpTC.net
>>200
このままフェードアウトが一番のような気はする
NHKは空気読んだほうがいい
215:１３２人目の素数さん
20/04/07 15:12:52 X5G/mu59.net
IUTに前のめりな人事にしてしまったから引けなくなるって馬鹿すぎだろｗ
216:１３２人目の素数さん
20/04/07 15:14:49 IsFAxPk3.net
フェードアウトって2年前も言われてたよな
次世代なんとかセンターの人員も大御所に置き換わってオチがついたのかと思ってたのに
本当なんでわざわざ蒸し返したんだろ
217:１３２人目の素数さん
20/04/07 15:14:58 jd6xKCsv.net
>>200
認めてやるから、後は各人で論議してね、論議が始まるまで黙っててねで、そのまま放置じゃないの
ボスが動かないなら、弟子が周りで動くもんだと思ってたけど、この教室は違うんだなと思った
218:１３２人目の素数さん
20/04/07 15:15:36 VfY0g9RH.net
学内政治、成果主義の問題、ゲーム理論…
すべてに関係したIUT理論ってホント画期的だな。
ほんと宇宙際だよ。
どれも解決できないけど。
219:１３２人目の素数さん
20/04/07 15:16:05 CCI9CStK.net
こんな重大な証明を身内のレビューアーでまわしてるわけないだろ
絶対に大御所がやってるよ
だからエディター側も自信を持ってるとみていい
220:１３２人目の素数さん
20/04/07 15:18:26 X5G/mu59.net
自信がある割にどいつもこいつもせこせこしてて
外に出てIUTの啓蒙に努めようとしている人はいないよな
一番元気なのがdupuy
221:１３２人目の素数さん
20/04/07 15:22:24 HKpWWrsN.net
>>203
孫正義育英財団
URLﾘﾝｸ(masason-foundation.org)
副代表理事 山中伸弥
222:１３２人目の素数さん
20/04/07 15:24:30 VfY0g9RH.net
誰にもわからない画期的理論ということで、問題の先を送りをしているから
弟子がIUTの啓蒙なんか始めるのは禁則事項でしょうよ…
弟子の仕事は、誰にもわからない画期的な数学なんです、ノーベル賞3つ分ですとマスコミ対策をすること。
223:１３２人目の素数さん
20/04/07 15:26:27 9KomTawK.net
ショルツさんって望月さんにメールしたのかな？
メールアドレス普通にHPに書いてあるけど。
公開するためにマイナーな掲示板に記事書いてたとか？
224:１３２人目の素数さん
20/04/07 15:28:55 vdBmxikH.net
>>210
元気なのが大事だよな
ショルツもdupuyも風通しが良くて健全
225:１３２人目の素数さん
20/04/07 15:29:00 9KomTawK.net
日本語ページの画像上だけどな。
226:１３２人目の素数さん
20/04/07 15:32:29 IsFAxPk3.net
どっちかってとSSに直接進展を伝えずに突然PRIMS査読完了報告をメディアで大体的に打ち上げる方が礼儀知らずなんじゃ…
227:１３２人目の素数さん
20/04/07 15:34:17 /UNISUK0.net
やたら小保方を引き合いに出してる人がいるけど、頭悪すぎるわ。
あれは悪質なデータ捏造で全然別物なんだから、誰も共感しない。
ビッグサイエンスの世界に比べればたいした金額でもないんだか
ら、白黒つかないならつかないで、生暖かく見守ってればいいん
じゃないの？
228:１３２人目の素数さん
20/04/07 15:35:06 CCI9CStK.net
査読というステップを甘くみてるんじゃないか？
査読者はショルツみたいな斜め読みじゃなく
それこそ隅から隅までアナがないか確認するんだぞ
それをエキスパートが複数人でやってる
すぐわかるようなアナが残ってるわけない
229:１３２人目の素数さん
20/04/07 15:39:09 HKpWWrsN.net
ショルツごめんなさいはいつ頃になるの？
230:１３２人目の素数さん
20/04/07 15:43:36 vdBmxikH.net
エキスパートw
231:１３２人目の素数さん
20/04/07 15:46:01 9KomTawK.net
PRIMSってこれかな？最新版まだないけどな。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
学術誌ってどこかに書いてあったけれどもPDFなんだろうな。
IUT理論だけで800ページ以上あるし、冊子はないのかな。
232:１３２人目の素数さん
20/04/07 15:47:38 fd35YpTC.net
>>218
斜め読みじゃない
普通に読み込んでる
233:１３２人目の素数さん
20/04/07 15:47:44 X5G/mu59.net
政治的問題が発生すればエキスパートだろうが何人関わろうが無になる
そういう事実はないんですかって話をさんざんやっているわけで
理化学研究所も小保方という存在と予算獲得という点で崩れた
かりにショルツがRIMSのメンバーだったとしても予算のために首を縦に触れといわれたかもしれん
まぁそりゃショルツいればIUTに頼ることなく予算獲得できてただろうけどｗ
234:１３２人目の素数さん
20/04/07 15:53:35 M7jL1rp3.net
>>219
ショルツ氏が単に数学的関心以外で生きてるとは思えないんだよな
2人の議論が聞きたい 望月氏との
まわりは分からないだろうが^_^
235:１３２人目の素数さん
20/04/07 15:54:37 i1pK04EE.net
>>221
とりあえず掲載された論文を読んでからまた議論しようぜ！
236:１３２人目の素数さん
20/04/07 15:55:39 TL686Br9.net
京大はつい最近、霊長類研の松沢哲郎というビッグネームが失墜した所だから
京大霊長類研の教授ら４人 ５億円余を不正支出
URLﾘﾝｸ(www3.nhk.or.jp)
237:１３２人目の素数さん
20/04/07 15:57:33 u5xnoTHO.net
お隣韓国様の報道だと日本だけが熱狂してて欧米の反応は冷たいとまたJapan Discountしてるなｗ
238:１３２人目の素数さん
20/04/07 15:58:48 HKpWWrsN.net
>>226
チンパンジーにここでこう演技してくれって賄賂に５億円かかったってこと？
あいつらどんだけ人間やねん
239:１３２人目の素数さん
20/04/07 16:00:20 i1pK04EE.net
>>191
ごめん
どこにどのようなギャップがあるのか分かって議論してるの？
皆さんは
240:１３２人目の素数さん
20/04/07 16:06:04 fd35YpTC.net
小山○也とか気軽にコメントしちゃって軽率すぎる
ノーコメントが一番賢いのにマスコミ来たら舞い上がっちゃってw
241:１３２人目の素数さん
20/04/07 16:09:18 iKfIzjyT.net
>>191
＞RIMSはここからどう立ち回るのが正解なのかね。
もはや正解はないな
「理解できないから掲載できない」と言えなかった時点でアウト
最悪 数理解析研がなくなるだろうな
確実に 次世代幾何学研究センターはなくなる
242:１３２人目の素数さん
20/04/07 16:17:36 HKpWWrsN.net
>>231
査読担当の数学者は？ｗ
243:１３２人目の素数さん
20/04/07 16:21:04 X5G/mu59.net
実際8年もあって応用が全然出てこないのは事実
理解者が最初の4,5年で得た連中から増えてないのも事実
244:１３２人目の素数さん
20/04/07 16:21:06 8d5Fq5kz.net
だからプロセスは非公開なんだよ
この際「墓場に持っていく」の真意をどっか取材してくれよw
245:１３２人目の素数さん
20/04/07 16:21:58 9KomTawK.net
京都大学がシュルツ氏をヘッドハンティングすればいい。
246:１３２人目の素数さん
20/04/07 16:23:39 X5G/mu59.net
それも奇妙だよな
馬鹿なショルツのせいで遅れたって言いたいけど
そんなこと言えないので墓場まで持っていくのか
不正しましたなんて言えないから墓場まで持っていくなのか
どいつもこいつもｗにおわせぶりだけは超一流だな
247:１３２人目の素数さん
20/04/07 16:25:28 9KomTawK.net
望月さんもヘッドハンティングされそうな人なんだよな。
248:１３２人目の素数さん
20/04/07 16:25:34 vdBmxikH.net
>>236
それw
249:１３２人目の素数さん
20/04/07 16:28:26 2UneLpbq.net
学部・研究科等の現況調査表 研究 平成28年6月 京都大学
URLﾘﾝｸ(www.niad.ac.jp)
28．数理解析研究所 28-１
? 「研究の水準」の分析・判定 分析項目? 研究活動の状況
特に、過去５年間の大きなブレークスルーである「柏原予想の解決」や「ABC 予想」に
関する数論幾何学の展開に見られるように、分野融合的研究・新たな空間概念の構築を
キーワードに、新しい数学を創造することにより世界の数学史に残る業績を挙げている
ことは特筆に値する。
(
250:水準) 期待される水準を上回る (判断理由) 特に、望月新一による「ABC 予想」に関する論文は、これが発表された際に 国内の新聞報道のみならず、権威ある Nature の News（2012 年９月 10日）や New York Times（2012 年９月 17 日）などにも取り上げられ、大きな話題となった。 ? 「質の向上度」の分析 （２）分析項目? 研究成果の状況 本研究所は遠アーベル幾何等、双曲曲線の数論幾何の研究の中心であるが、望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての ABC 予想の解決は、特筆 すべき出来事である。当該論文は現在査読中であるが、望月新一が同理論の概要を解説した 業績番号１— (2)(2014)が、講究録別冊として刊行されている。玉川による代数曲線の数論 的基本群の l 進表現の研究（業績番号１—表(1)(2013)）、星による数体および p 進局所体 上でのセクション予想の反例の構成（業績番号１—局(3)(2010)）も、当研究所の数論幾何 の研究文化から生まれた、非常に重要な成果である。
251:１３２人目の素数さん
20/04/07 16:28:43 2UneLpbq.net
中期目標の達成状況に関する評価結果 京都大学
平成29年6月 大学改革支援・学位授与機構
URLﾘﾝｸ(www.niad.ac.jp)
評価結果 （?） 研究に関する目標
２．中期目標の達成状況 （１）研究水準及び研究の成果等に関する目標
＜特記すべき点＞（優れた点）
○数理解析研究所における研究の推進
数理解析研究所において、「数論幾何の研究」の「宇宙際タイヒミューラー理論」
の構築とその結果としての ABC 予想に関する論文は、国内外の主要メディアで
取り上げられている。（現況分析結果）
(現況調査表の「IUT理論の構築とその結果abc予想が解決した」は削除された)
252:１３２人目の素数さん
20/04/07 16:29:18 2UneLpbq.net
中央教育審議会大学分科会 大学院部会（第75回）議事録
平成27年5月13日（水曜日）10時～12時
URLﾘﾝｸ(warp.ndl.go.jp)
【岡本委員】
グローバルCOE不採択校と比較しての資料はあるのか，これ。それからもう1点，改善
定着化指標というようなもの，すなわちこれ改善を試みているわけで，5年間やって，
その後，これをどう定着，あと5年後に例えば同じことをやって，ちゃんとそれがどの程度
定着しているのかといったような，この計画はあるのかという，この2点をお願いします。
【藤田日本学術振興会課長】
申し訳ございません。不採択校との比較の方はできておらないという状況でございます。
また，経過後のフォローということにつきましても，今のところは予定はないという状況です。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
中央教育審議会大学分科会 大学院部会（第75回）配付資料
平成27年5月13日（水曜日）10時～12時
URLﾘﾝｸ(warp.ndl.go.jp)
資料5 グローバルCOEプログラム事後評価結果
研究成果例 G08 京都大学「グローバルCOEプログラム」数学のトップリーダーの育成
宇宙際タイヒミュラー理論 -数論におけるブレークスルー
宇宙際タイヒミュラー理論を用いることによってabc予想と呼ばれる数論の難問が解決する
ことが2012年に発表された。日本の主な全国紙は言うに及ばず、New York Times など
でも報道され、非専門家の間にも大きな話題 を提供している。宇宙際タイヒミュラー理論
は数理解析研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、 その
解説や応用には多くの若手研究者が関与している。
掲載論文等 Shinichi Mochizuki, INTER‐UNIVERSAL TEICHMULLER THEORY I
(日本学術振興会課長はGCOEの経過後をフォローしないと言明したが京大G08はIUTを持ち出し事後評価結果を改変した)
253:１３２人目の素数さん
20/04/07 16:32:15.54 8d5Fq5kz.net
柏原御大はindeterminacyを理解してるからな
254:１３２人目の素数さん
20/04/07 16:35:21 HKpWWrsN.net
Fumiharu Kato 加藤文元 @FumiharuKato 4月4日
50年代から60年代にかけてグロタンディークなどIHESの人々が
重要な論文や著作
255:の多くをP.IHESから出版していたことを、 誰もおかしいとは思っていない。2010年代に望月さんなどの RIMSの人々が、重要な論文をP.RIMSから出版しようとすることを、 おかしいと思う人は多いらしい。
256:１３２人目の素数さん
20/04/07 16:37:48 HKpWWrsN.net
2012年の発表からこの8年間、モッチーは何を研究してきたの？
IUTそのものは8年前にほぼ完成してるわけでしょ
257:１３２人目の素数さん
20/04/07 16:40:07 iKfIzjyT.net
>>243
ＢンＧンも啓蒙書書いて一般人から金を毟り取る暇があるなら
ショルツに説明すればいいのに、なんでしないの？
と思う人は沢山いるんだろうな
258:１３２人目の素数さん
20/04/07 16:40:08 9KomTawK.net
IUT理論以外にも論文置いてあったよ。
259:１３２人目の素数さん
20/04/07 16:42:17 IsFAxPk3.net
IUTの専門書が一冊もないどころなABC予想の証明の真偽も固まらないうちに
一般書書いたりニコ動出たりできるBさんって一体何者なんだ
260:１３２人目の素数さん
20/04/07 16:44:06 iKfIzjyT.net
>>244
グロタンディクは才能が枯渇した（と自分では認めてはいないが）後、隠遁したけど
望月は同じ状況で「ポストモダン数学者」に変身したな
261:１３２人目の素数さん
20/04/07 16:46:44 iKfIzjyT.net
>>247
利に聡い人なんでしょう
数学の能力が枯渇した後の数学者の処世の一例ですね
詐欺を働く奴 詐欺の片棒担ぎで一儲け企む奴
262:１３２人目の素数さん
20/04/07 16:49:52 VfY0g9RH.net
ABC予想抜きでIUT論文掲載してお茶を濁すにアベノマスク2枚
で、世間にはABC予想が解けた（はず）と喧伝してごまかす。
京大はこの選択肢をとる。
で、ずっとバカにされる道を選ぶ
263:１３２人目の素数さん
20/04/07 16:58:10 I+3THr08.net
これミスったら湯川秀樹(笑)になるからな
重責だぞ
264:１３２人目の素数さん
20/04/07 17:50:06.51 H4f9B9uj.net
>>164
なんで?
その批判が不成立なら、不十分の根拠ないじゃん。
265:１３２人目の素数さん
20/04/07 17:51:13.81 H4f9B9uj.net
>>251
湯川秀樹は中間子論で物理学賞とってるし
とくにミスしてないが。
266:１３２人目の素数さん
20/04/07 17:53:31.73 H4f9B9uj.net
>>186
少なくとも数学の論文では、理解はともかく論理ミスが見つからないから
パスしてんだろ。
だから、論理ミス指摘してみろって。
267:１３２人目の素数さん
20/04/07 17:56:24.47 H4f9B9uj.net
>>179
全然ちゃうわ。
これは、真偽の決まる完全情報ゲームだ。
論文が提出されてるから、それ見て真偽と論拠を言えば
結論が出る。
本人は真と思っている。他者が偽というなら、論拠をあげればいい。
268:１３２人目の素数さん
20/04/07 18:00:05.27 iKfIzjyT.net
>>255
証明が正しい場合、正しいと返すプログラムは作れる
ただ、証明が正しくない場合、正しくないと返すようにはできない
これがゲーデルの不完全性定理
269:１３２人目の素数さん
20/04/07 18:00:53.91 JDudcgge.net
このスレにいる連中がどう逆立ちしたって
WoitのところのReplyのレベルに到底
及ばないわけだからいっそう下種に
行くってのもわかる
270:１３２人目の素数さん
20/04/07 18:02:55.99 H4f9B9uj.net
理解できる人がほとんどいないというのは
コミュニティにとって、真偽不明という、状況の理由には
なりえても、偽であるという根拠にはならない。
偽であると主張してるのがシュルツだけなら
それを解決できれば、前進する。
まあ、理解者増やした方がいいとは思うけど、
新すぎるなら仕方ないかも。
271:１３２人目の素数さん
20/04/07 18:04:42.37 vdBmxikH.net
ゴミにゴミと言ってあげるボランティアの力は偉大だな
272:１３２人目の素数さん
20/04/07 18:05:35.78 iKfIzjyT.net
>>256
「証明が
273:」はいいすぎか 「命題が」だな
274:１３２人目の素数さん
20/04/07 18:08:09.55 2lhc5QZl.net
>>248
才能が枯渇した人間にPursuing Stacksが書けるわけない
275:１３２人目の素数さん
20/04/07 18:16:04.79 8d5Fq5kz.net
>>258
典型的な詐○師の論法w
276:１３２人目の素数さん
20/04/07 18:16:24.09 H4f9B9uj.net
>>260
論理過程の成立の真偽を言ってるから、不完全性定理とは
関係ないと思う。
不完全性定理は論理が完全なことが前提でしょ。
277:１３２人目の素数さん
20/04/07 18:17:45.31 H4f9B9uj.net
>>262
どこがや。
まったく騙しなんてない。
理解できないなら、そう言えばいいだけの話。
278:１３２人目の素数さん
20/04/07 18:21:57.42 vdBmxikH.net
弟子がな
279:１３２人目の素数さん
20/04/07 18:24:12.37 8d5Fq5kz.net
>>264
論点は、それなりの数学者連中に正しく見えないってことだろ。一部の微妙な身内だけ理解したと主張してる
何で正しいに違いないから当面はグレーでも仕方ないみたいな話にしてんだw
280:１３２人目の素数さん
20/04/07 18:29:35.82 mg7kwOWZ.net
>>256
それは対象が全ての証明の場合、計算可能なアルゴリズムがないてだけの話だ
もしある具体的な証明が、証明となってないなら論理の飛躍（非証明的操作）があるよ
不完全性定理を知ったかするど素人は黙ってろ
281:１３２人目の素数さん
20/04/07 18:30:35.84 iKfIzjyT.net
>>263
いや、単に述語論理における命題の充足可能性判定と考えればいい
命題論理ならNPだが、述語論理の場合、決定不能問題
URLﾘﾝｸ(ja.wikipedia.org)
282:１３２人目の素数さん
20/04/07 18:31:55.52 H4f9B9uj.net
>>266
論証に成功してないっていってるのはシュルツ以外にいるの?
理解できないと論証に失敗は全然ちゃうで。
そもそも、成功してると思ってる方が、失敗してると思ってる方より多いぞ。
外形的に叩くのは意味ないよ。
283:１３２人目の素数さん
20/04/07 18:32:35.80 iKfIzjyT.net
>>267
数学における証明は形式的に見た場合ギャップだらけだから
そのままでは形式的証明とはいえない
＞不完全性定理を知ったかするど素人は黙ってろ
それは自分自身にいいなよ
284:１３２人目の素数さん
20/04/07 18:36:16.29 iKfIzjyT.net
ID:H4f9B9uj
シュルツ（Schultze）ではなくショルツ（Scholtze）ね
多分語源は同じだと思うけどね
285:１３２人目の素数さん
20/04/07 18:38:06.26 mg7kwOWZ.net
>>270
>数学における証明は形式的に見た場合ギャップだらけだから
>そのままでは形式的証明とはいえない
は？だからなんだよ
不完全性定理知ったかおじさんは黙ってろ
証明ギャップ埋めるかどうかの話で不完全性定理が出てくるわけねえだろうが
286:１３２人目の素数さん
20/04/07 18:38:36.62 teGhHaNe.net
Peter SholzeとDupuyの議論はここ
URLﾘﾝｸ(www.math.columbia.edu)
287:１３２人目の素数さん
20/04/07 18:40:18.09 I+3THr08.net
私の証明をミスは不完全性定理より正当化される( ｰ`дｰ´)ｷﾘｯ
288:１３２人目の素数さん
20/04/07 18:41:26.05 H4f9B9uj.net
>>270
なら尚更関係ないじゃん。
数学の証明は、実際に、その水準で行われてんだから。
正しいという判定ができるかどうかでしょ。
で、シュルツ以外は、照明に成功してないとはいってないんだから、
そこを解決できれば、理解者が少ないという状態であって、
証明が不成功という状態ではない。
289:１３２人目の素数さん
20/04/07 18:42:48.64 mg7kwOWZ.net
不完全性定理知ってるてなら形式的証明の定義を何か一つ具体的に書いてみろ
290:１３２人目の素数さん
20/04/07 18:42:53.29 8d5Fq5kz.net
>>269
最後の一文で論外なのがわかった
ついでに、理解できない→正しいけど難しいだけ、にはならんからな？
291:１３２人目の素数さん
20/04/07 18:47:57.03 H4f9B9uj.net
>>277
お前が論外だわ
292:１３２人目の素数さん
20/04/07 18:49:33.17 iKfIzjyT.net
>>272
公理⇒定理 がトートロジーなら充足可能性判定は充足不能として停止する
そうでない場合手続きが止�
293:ﾜらない可能性がある、ということ 論理知らないなら黙っときな 恥かくだけだよ
294:１３２人目の素数さん
20/04/07 18:51:54.88 mg7kwOWZ.net
>>279
だからその不完全性定理の性質が今の望月ショルツの議論にどう関係すんの？
不完全性定理知るものなら無関係なことはすぐ分かるので、はっきりいって君の理解を疑ってる
だから形式的証明の正確な定義を一つ上げてみてとお願いしてるわけ
295:１３２人目の素数さん
20/04/07 18:52:47.85 iKfIzjyT.net
>>279の訂正
誤 公理⇒定理 がトートロジーなら、充足可能性判定は充足不能として停止する
正 公理⇒定理 がトートロジーなら、否定命題（公理∧￢停止）の充足可能性判定は充足不能として停止する
296:１３２人目の素数さん
20/04/07 18:55:31.28 VfY0g9RH.net
不確定性定理の詐欺師的活用かｗ
やると思ってました。」
297:１３２人目の素数さん
20/04/07 18:56:18.51 iKfIzjyT.net
>>280
>>255に対するコメントとして書いた
つまり望月の補題に関して反例があるとしても
その反例を見つける手続きは一般的には停止しない
（反例があっても決して見つからない、という意味ではない）
298:１３２人目の素数さん
20/04/07 18:56:40.16 mg7kwOWZ.net
一階述語だと面倒だというなら命題論理の形式的証明でもいいよ
299:１３２人目の素数さん
20/04/07 18:59:38.07 iKfIzjyT.net
望月の補題が自然数論上真である可能性はもちろんある
しかし、論文でそのことが明らかになっていないなら無意味
つまりショルツの「成立しない」という指摘が誤りだとしても
そのことを以て即、望月の補題が真だという証拠にはならない
単に、ショルツは反例を提示できなかった、というだけのこと
300:１３２人目の素数さん
20/04/07 19:00:04.56 mg7kwOWZ.net
>>283
反例が見つからなくても証明ギャップがあるかどうかは「形式的」に分かります
反例がなくても形式証明の文法として正しいかどうかは計算可能です
だから全く補足になってなくバカを晒してるだけ
まあいいから命題論理でいいから形式的証明の定義書き起こすか、知ったかしてたこと謝りなよ
301:１３２人目の素数さん
20/04/07 19:07:03.45 iKfIzjyT.net
>>286
まったく証明がなくても「公理⇒定理」がトートロジーなら
否定命題の充足不能として有限ステップで分かります
これ豆な
URLﾘﾝｸ(ja.wikipedia.org)
自動証明は根本的には上記の方法に基づいている
記事中には書いてないが、命題論理の場合、矛盾してる場合は止まる
だから「否定命題の矛盾」という形でトートロジーである場合の証明が求まる
しかし逆は止まらない
302:１３２人目の素数さん
20/04/07 19:08:03.20 TZiHq0ap.net
なんでもいいからさあ
学部生向けのまともな解説を
一から書いてくれる人暮春
303:１３２人目の素数さん
20/04/07 19:09:03.18 ElceEk/X.net
たしかに普通の数学の証明は非形式的だけど、補題3.12の証明と異なるのはやろうと思えば形式的にできるところ
3.12の証明はそもそも誰も形式的に翻訳できるレベルまで理解されるような証明になってないというのが現状
304:１３２人目の素数さん
20/04/07 19:09:28.28 mg7kwOWZ.net
>>287
いやだから、その一般論の性質の話をする意味て今ある？
もういいよ、命題論理の形式的証明の定義かけないし、君が新書読んだだけで分かった気になってる知ったかであることはわかったからさ
305:１３２人目の素数さん
20/04/07 19:10:05.38 8d5Fq5kz.net
>>278
論外は最後というか三行目な。Wikipediaの指摘も読めないとかw
あれはコミュニティの雰囲気と評価をちゃんと反映してんの
報道見た一般人な、お前の言う成功だと思うのが多数とかいうのは
306:１３２人目の素数さん
20/04/07 19:12:50.17 8d5Fq5kz.net
>>279
>>280
正しいと認識できない証明は正しいとして期待、仮定されるべきではないってだけの話じゃん
>>278みたいな池沼の論法はそれに抵触してる詭弁だわな
307:１３２人目の素数さん
20/04/07 19:18:04.39 4hCXgUOS.net
言っちゃ悪いけど
数オリ金メダリストじゃない奴は天才とは言えないし
伸びしろもないよ
ペレルマンにしろショルツやタオにしろ皆んなメダリストだからね
308:１３２人目の素数さん
20/04/07 19
309::21:05.49 ID:FpDoFpVV.net
310:１３２人目の素数さん
20/04/07 19:23:44.81 TSIs03bF.net
しょんべんちびるほど天才だろ
知り合いどころか俺が肉眼で見たことある奴すべてより頭いい
どっちかが間違っとるんだな
311:１３２人目の素数さん
20/04/07 19:26:17.86 X5G/mu59.net
日本じゃ数学オリンピックは暇人がやるイメージだけど
外国じゃ結構名誉あるみたいね
312:１３２人目の素数さん
20/04/07 19:27:42.21 mg7kwOWZ.net
>>292
それはそれで正しいのだろうけど
形式的証明にすれば、ギャップがあるかどうか機械的に分かるんじゃねという話
313:１３２人目の素数さん
20/04/07 19:29:27.47 H4f9B9uj.net
>>289
どうなんすかね。査読者はその部分を立証とみてめてるんでしょ。
314:１３２人目の素数さん
20/04/07 19:31:25.23 iKfIzjyT.net
望月とショルツの立場は対等ではない
ショルツは読む側だから間違ったとしても大したダメージはない
「書き方が悪い」というのもありだろう
一方、望月は書いた側だから間違ったら全てがパア
指摘の全てに対して答えられなければ負け
だから指摘に対して、いちいちムキになるのも分からないではない
とはいえ「読めばわかる」は負けたも同然だろう
315:１３２人目の素数さん
20/04/07 19:35:31.38 8d5Fq5kz.net
>>298
そこまでわかってんなら会見でプロセス公開して説明レポートまで出すに決まってる
要は単なる間違いではなくて、必要なデータが曖昧なんだよ。ちゃんと必要な論証を構成できてない
316:１３２人目の素数さん
20/04/07 19:35:55.72 H4f9B9uj.net
>>299
間違ってないなら、そうでしょ。
ほかに、いう人いないなら、理解できてないだけじゃねえの。
317:１３２人目の素数さん
20/04/07 19:37:30.23 mg7kwOWZ.net
>>299
負けじゃねえよ
数学知らん素人が知った口で数学界のことを語るな
318:１３２人目の素数さん
20/04/07 19:37:43.66 ssdGeT/a.net
H4f9B9uj
認めている人が多いとかじゃだめでしょ。数学者全員が認めないといけないのでは？
319:１３２人目の素数さん
20/04/07 19:40:06.86 H4f9B9uj.net
>>303
冗談ですよね。
数学者が全員理解できるとかいう理論しか
認められないなら、ほぼ現代数学全滅っすよ。
320:１３２人目の素数さん
20/04/07 19:41:26.99 ZvmRvOjK.net
もっちーは数オリ出なかったの？
321:１３２人目の素数さん
20/04/07 19:42:02.20 E3EgzeMo.net
否定派はショルツ含めて反論したいならオフィシャルにやるならないと意味がない
アクセプトされ論文はギャップなく正しいと判断されたんだから
322:１３２人目の素数さん
20/04/07 19:42:30.67 mQdThExk.net
>>302
負けというか現状でIUTのギャップを埋めたらそいつの功績になるんだよね。
それを気にしてないんなら当人たちは間違ってるってわかってるんだろうな、と思う。
323:１３２人目の素数さん
20/04/07 19:43:17.63 mg7kwOWZ.net
5chてアホでしかも知ったかの集まりだから救えない
不完全性定理も知ったかだったし、数学コミュニティついても当然知ったかなんだろうと思う
324:１３２人目の素数さん
20/04/07 19:43:22.87 +9tSKI6/.net
Joshi 致命的な勘違いを全世界に晒される
Taylor 反論できず敗走
IUT村の解体が始まるな。
325:１３２人目の素数さん
20/04/07 19:43:37.74 iKfIzjyT.net
>>302
じゃ、君、黙って
素人でしょ？
326:１３２人目の素数さん
20/04/07 19:44:16.86 kJC3SjkB.net
>>303
(〃ﾟ艸ﾟ)ﾌﾟｯ!
327:１３２人目の素数さん
20/04/07 19:45:12.92 0RNvK/+p.net
ワイルズがカッツに証明の穴を指摘されて焦ったのは、
そこを他人に埋められたら定理の名前が連名になるからなんだよね。
328:１３２人目の素数さん
20/04/07 19:45:27.98 mg7kwOWZ.net
>>310
俺は素人だけど君のように知ったかはしないよ
自分のわかる範囲でしか書いてない
329:１３２人目の素数さん
20/04/07 19:45:55.51 iKfIzjyT.net
>>307
＞現状でIUTのギャップを埋めたらそいつの功績になる
フェルマーの「定理」のギャップを埋めたワイルズの功績になるようなもんか
330:１３２人目の素数さん
20/04/07 19:47:39.65 iKfIzjyT.net
>>313
＞俺は素人だけど
やっぱりね
＞自分のわかる範囲でしか書いてない
じゃここに書いたらダメだね
「算数」の範囲をはるかに超えてるでしょ
331:１３２人目の素数さん
20/04/07 19:47:46.86 8d5Fq5kz.net
>>309
本当に終わるのはショルツに誰か明確に加担してからだわな
今んとこ、おかしいから受け入れはないよってレベルで済んでる
332:１３２人目の素数さん
20/04/07 19:49:04.57 CCI9CStK.net
難解な書き方をしているのは何か理由があるはずだよ
論文はIUT理論についての説明なのであって、abc予想を証明しているわけではないとかなら、どちらもおかしくはない
望月はabc予想を証明したと発言してるのか？
333:１３２人目の素数さん
20/04/07 19:50:38.66 mg7kwOWZ.net
>>307
ならねえよ
ギャップの大きさによるわ
ペレルマンの証明には多少のギャップがあって中国人がそれ埋めて最終的な証明は自分だと主張したけど受け入れられなかっただろ
当然それは数学界にとっては前進したからいいことだけど、名前残るかどうかはギャップの大きさによるわ
334:１３２人目の素数さん
20/04/07 19:52:04.38 mg7kwOWZ.net
>>315
もう内容ないことで煽るしかできなくなってしまったんだね
君の不完全性定理の不理解をみんなの前で暴いて、恥かかせてごめんね？
335:１３２人目の素数さん
20/04/07 19:53:23.02 8d5Fq5kz.net
ついでに数オリについて客観的に言っておくと、モチベーションや家庭環境の問題があるから
むしろ数オリに出ずに業績出した奴こそ真の天才とも言えるだろうな
タオは両親が医者に教師、ショルツも文化的には多分上流だと思う
336:１３２人目の素数さん
20/04/07 19:53:48.09 iKfIzjyT.net
＞難解な書き方をしているのは何か理由があるはずだよ
理由
１．本当に必要
２．グロタンディクみたいに粋がってみた
３．実は無内容なのを隠蔽した
４．何等かの精神的な病が進行している
１はなさそうだ
２が疑われるが、実は３かもしれない
しかしそんなのは白状できないから
いよいよヤバくなったら４だということにして
山奥の病院にブチ込まれる可能性大
この国では都合の悪いことは全て闇に葬られる
337:１３２人目の素数さん
20/04/07 19:55:07.48 rx19SrZa.net
理由なんてなく難解にしかやれないだけかと
ラマヌジャンほどではないにしても直感的な人で理論もできるが煮詰めるのは難しいか苦痛なんだろう
イチローが自分は天才ではない、なぜなら○○だからだ、みたいなをいってたが
○○は、ヒットが打てる理由を説明できるから、とかそんな感じだが
338:１３２人目の素数さん
20/04/07 19:55:22.75 uwj+3Ycr.net
>>318
現状のギャップの大きさはそれくらいあるぞ。
なんせ理解してるのが外部にひとりもいないからな。
339:１３２人目の素数さん
20/04/07 19:56:18.07 iKfIzjyT.net
>>319
ん？「形式的定義！」とわめくだけの素人っぷりをあらわにしたのは君
でも、君は何も失うものないだろ？文系かまかり間違っても工学部出身だろ？
そんなの数学的には存在しないも同然だからな
340:１３２人目の素数さん
20/04/07 19:56:19.11 mg7kwOWZ.net
>>321
素人がなんで1が不要てわかるんだ？
当然君は数論幾何も圏論も知らないと思うんだけど、どうやって判断したの？
341:１３２人目の素数さん
20/04/07 19:58:48.93 iKfIzjyT.net
>>325
なんで算数が全ての君がムキになってるんだ？
別に望月の論文が誤りでも君が必死に覚えた九九が無駄になることはないぞ
七の段も今まで通り よかったなｗ
342:１３２人目の素数さん
20/04/07 19:59:11.22 ssdGeT/a.net
＞＞304
数学者全員が「認める」というのは、全員が「証明を理解する」という意味ではなく、
「証明は間違っている」と思う数学者が一人もいない状態をさします。
ワイルズの証明を全員が理解していなくても、あの「証明は間違っている」と思う人は、
いないでしょう。（理解できない人も、理解できる人も）
343:１３２人目の素数さん
20/04/07 19:59:33.04 H4f9B9uj.net
>>323
あなたのいう外部というのは、
理解してない人の言い換えでは。
344:１３２人目の素数さん
20/04/07 19:59:38.88 mg7kwOWZ.net
>>324
形式的定義なくて、形式的証明な
形式的定義なんて概念必要ないからそんな間違い起こすはずないんだけどな
（もしあるなら形式的定義の定義を書いてみ）
もうどんどん素人であることボロ出てくるね
345:１３２人目の素数さん
20/04/07 20:01:35.49 H4f9B9uj.net
>>327
そういうことなら、証明が間違っていると思ってる人がシュルツ以外にいないよね。
だから、そこ解決すれば、前進するんでは。
346:１３２人目の素数さん
20/04/07 20:01:43.43 iKfIzjyT.net
>>322
じゃ、乃木坂のまなったんは天才だｗ
だって、自分がなんで音痴か説明できないからな
347:１３２人目の素数さん
20/04/07 20:02:56.17 X5G/mu59.net
アイドルオタが出っ張てるのか
欅坂がどうとかいうから野次馬がわいてるんだろうな
348:１３２人目の素数さん
20/04/07 20:03:50.57 mg7kwOWZ.net
>>326
ごめん、君と違って不完全性定理くらいは理解してるんだわ
君はもしかして数学科なのかもしれないけど、新書程度で済まさずちゃんと専門書買って勉強した方がいいよ
349:１３２人目の素数さん
20/04/07 20:04:44.43 iKfIzjyT.net
>>329
今の君はこんな感じか
:.,' . : : ; .::i'ﾒ､,_ i.::l ';:.: l '､:.:::! l::! : :'､:i'､: : !, : : : : : :l:.'､: :
'! ,' . : i .;'l;' _,,ﾆ';､,iｿ '; :l ,';.::! i:.! : '､!:';:. :!:. : : : :.; i : :'､:
i:.i､: :｡:!.i.:',r'ﾞ,rf"`'iﾐ,`'' ﾞ ';.i `Ｎ,_i;i＿__,,_,'､-';‐l'i'':':':':‐!: i : : '、
i:.!:'､: :.:!l :'ﾞ iﾞ:;i{igil};:;l' ヾ! 'i : l',r',ﾃr'‐ミ;‐ﾐ';i:'i::. : i i i : : :i
:!!ﾟ:i.'､o:'、 ﾞ､::ﾞ''".::ﾉ iﾞ:;:li,__,ﾉ;:'.､'､ :'i:::. i. !! : : !:
.' :,'. :ﾞ>;::'､⊂‐ﾆ;;'´ '､';{|llll!: :;ﾉ ! : !::i. : : : : i :
: :,' /. :iヾ､ ｀ ､._. ミ;;--‐'´. /.:i;!o: : : :i :
: ; : ,' : : i.: <_ ｀ ' ' ｀｀'‐⊃./. :,: : : O: i. :
: i ,'. . : :', ､,,＿ ,.:': ,r'. : , : : !: : あやまれ!!
:,'/. : : . :;::'､ ﾞ|llllllllllllF':-.､ ,r';､r': . : :,i. : ;i : : 俺様にあやまれ!!
i,': : : :.::;.'.:::;`､ |llllH". : : : :｀､ ,rシｲ...: : ; : :/:i : i:!::i:
;'. : :..:::;':::::;':::::`.､ |ｿ/. : : : : : : ;,! ,／'ﾞ. /.:::: :,:': :./',:!: j:;:i;!;
i. : .:::;:'i::::;':::::::::i::`:.、;ﾞ､';‐ ､,;__;,／ﾉ . :,/.:::: :/. : :/.:::i. j:;;;;;;;;
l .:::;:'::;':::;':::::::::::i::::i::`:,`'-二'‐-‐''ﾞ_,､-.':ﾞ/.:::: ;ｨ': : :/.:::::i: j､;;;;;;;
.:::;:':::;':::;':::::::::::
350::::i:::i:::::..｀'‐､､､-＜ﾞ.::::::::/.::: ://. : /.:::::::i :j::.'､:;;;
351:１３２人目の素数さん
20/04/07 20:07:18.63 rx19SrZa.net
天才とは何だ？ブラームス型凡楽のすすめ
「天才」の凄さは一目瞭然だが、ブラームスはその逆。全く一目瞭然でない地味なところから、100年間にわたってじわじわ効くボディブロウを叩き出す。
考えてみれば、バッハ・ベートーヴェン・ブラームスの三大Bは3人とも「天才」とはほど遠い、後天的かつ結果論的な「巨匠」。
むしろ、天分に恵まれなかったことで生涯ジタバタし通しだった印象の方が強�
352:｢。 天分に恵まれたわけでもない者が、ここまで音楽史に影響を与える「音楽的偉業」に到達した、という事実の凄さ。 Aから直接Dを導き出すような直感的な思考をする人こそ「天才」と賞される。 AからBを経てCを加味しつつDに至る…というような順序立てた思考で辿り着いた行動をする人は「天才」とは呼ばれにくい。 ネイティヴに「音楽」を操れる…と言うのは、普通の人が言葉を話す時、文法だの修辞法だのを意識しないのと同じように、まったく直感的かつ自然に音楽を組み立てられる…と言うこと。 そこに論理的思考や計算の跡筋はみられない。 音楽をさらさら作曲する天才に「その曲はどうやって作ったんですか？」と聞いても「自然に頭に浮かんだ」とか「空から聞こえてきた」というような返事しか返ってこない。 この不思議さ加減が「天才」の「天才」と呼ばれる所以である。 「生業」にする場合、この「自然に頭に浮かぶ」ことほど怖いものはない。 それは、それまで「自然」に「直感」で作ってきたものに改めて向き合い、果たして文法的な整合性や論理的な構築性があるかどうか考える必要に迫られることと言ったらいいだろうか。 その時「自分がどうやって音楽を生んでいるか」という基本が自分で分からないことになると、これは一転して大いなる「不利」になることがある。 この種の天才少年は、多くの場合、ピーク時の直後に大きな壁に直面し、その際に早死にしてしまうか、その後才能を枯渇させてしまうことが実に多い。 http://yoshim.cocolog-nifty.com/office/2010/06/post-38d4.html