20/04/23 10:24:40 c8CcPmPU.net
トムソン・ロイターの分類でもPRIMSはRIMSが発行する日本国内雑誌扱いだからな
101:１３２人目の素数さん
20/04/23 12:54:49 27cQ/DrR.net
> そして印刷所を普通は「出版者」とは呼ばない。
印刷所には、「印刷物の内容に関する責任」は一切発生しない、でいいのかな
102:１３２人目の素数さん
20/04/23 13:47:09 +uAM7+dx.net
印刷契約なんだから拒否はできるし、
そういう契約をすることの道義上の責任はあるのでは。
103:１３２人目の素数さん
20/04/23 13:59:09.27 J8hwPn9+.net
>>98
道義上の責任は無い
頭のおかしいやつだな
104:１３２人目の素数さん
20/04/23 14:18:02.97 rSTTkrae.net
トップがおかしいって言ってるのに印刷引き受けたら道義上の責任はあるだろ
でないとハゲタカジャーナルだって「出してるだけ」って言い張れるんだからな
105:１３２人目の素数さん
20/04/23 15:53:04.41 w2xVPnTp.net
急にとまったな
昨日まで真っ赤な人が二人くらいいたのに
106:BLACKX
20/04/23 16:28:52.01 36QXJxG5.net
レスの質の賛否はあれど否定派スレが盛り上がってて何より(にっこり)
107:１３２人目の素数さん
20/04/23 16:30:32.20 Ks5QCxCp.net
>>90
ソースは？
108:１３２人目の素数さん
20/04/23 16:33:55.25
109: ID:Ks5QCxCp.net
110:１３２人目の素数さん
20/04/23 16:42:44.45 Z0Sz/jGX.net
今更EMS会長の発言についててソース求めてるのがいて草
111:１３２人目の素数さん
20/04/23 16:44:09.38 xKnhMqnV.net
英語が読めないんだろう
112:１３２人目の素数さん
20/04/23 17:54:18 m8xlDc/i.net
自信を持って欲しい
113:１３２人目の素数さん
20/04/23 18:03:04 FIccqZeY.net
もっちーは自信満々だと思う
もっちーの記事、また出てたな
有名になるとあれこれ書かれて気の毒ではある
114:１３２人目の素数さん
20/04/23 18:03:48 Ks5QCxCp.net
ググったら出てきた。これか。
If the editors of the journal “waved away these criticisms” and published the paper without major revisions, it would reflect badly on them and on Mochizuki himself,
says Volker Mehrmann, the president of the European Mathematical Society (EMS), which publishes the journal on behalf of the RIMS.
(The EMS has no editorial control over the journal’s content, Mehrmann says, and he was unaware that an announcement was imminent until contacted by Nature.)
URLﾘﾝｸ(www.nature.com)
115:１３２人目の素数さん
20/04/23 18:04:03 Ks5QCxCp.net
>>105-106
お前らと違ってIUTネタを隅々まで追っとらんのや。すまんな。
116:１３２人目の素数さん
20/04/23 18:30:18.44 Z0Sz/jGX.net
>>110
だったらなんで>>90だけにピンポイントに反応できるんだ？
117:１３２人目の素数さん
20/04/23 18:41:29.12 Ks5QCxCp.net
>>111
なんでって…スレ遡ってたら>>90が目についただけだが？
118:１３２人目の素数さん
20/04/23 18:51:11.38 Z0Sz/jGX.net
>>112
つまりEMSがなんの略称かは分かったけどそのまえのnature記事は読んでないってことなの？
119:１３２人目の素数さん
20/04/23 18:52:34.68 2aLKIb3w.net
擁護派がすっとぼけ論法をよく使うからそういう質問はこのスレだと疑われる
120:BLACKX
20/04/23 18:57:13.65 h3PQTFIw.net
>>104
やっぱりどちらかに極振りしたスレを作ることによってそれを維持しようとする輩と強く反発しようとする輩は終着点の無い自我を保つ為に問題に取り組むからな
121:１３２人目の素数さん
20/04/23 19:15:20.78 Ks5QCxCp.net
>>113
おう。IUT関連記事を隅々まで読むほど暇じゃないんで。
>>114
疑われてるのか知らんが、なんか詰問受けてて草
122:１３２人目の素数さん
20/04/23 19:36:40.40 VqYIq/0b.net
隅々まで隅々までって言うが
海外からの意見が公式に出てるほとんど唯一の記事だぜ？
これ読んでないで間抜けなレスして笑われるのは仕方ないってもんよ
123:１３２人目の素数さん
20/04/23 19:46:47.81 27cQ/DrR.net
> The EMS has no editorial control over the journal’s content
とすると、表向き論文のハクをつけるためにこの回路を利用するってのが
日本の数学会では常態化してたりするのかな
実は、それほど unprecedented でもないとか
124:１３２人目の素数さん
20/04/23 20:15:39 Ks5QCxCp.net
>>117
わかった俺がわるかったよ
にしても、皆はんゴシップウォッチに熱心どすなぁ
125:１３２人目の素数さん
20/04/23 20:15:39 Ks5QCxCp.net
>>117
わかった俺がわるかったよ
にしても、皆はんゴシップウォッチに熱心どすなぁ
126:１３２人目の素数さん
20/04/23 20:21:37 VfrapqoV.net
>>98
ひどすきてワロタ
127:１３２人目の素数さん
20/04/23 20:35:02 sm4shUpQ.net
>>108
>もっちーは自信満々だと思う
ことわざ
めくらへびにおじず
128:１３２人目の素数さん
20/04/23 20:47:01 wS1DCjNH.net
>>120
厳密にはこれはゴシップではないんだけどね
数学界の歴史的異常事態
129:１３２人目の素数さん
20/04/23 21:31:21 5eVYJ2gp.net
この騒動に伊藤清先生もあの世で泣いてるよ
130:１３２人目の素数さん
20/04/23 21:44:31.08 O/Fp/cPe.net
>>124
そいつは数学でないよ。
131:粋蕎 ◆C2UdlLHDRI
20/04/23 22:20:02 Os3jmfv5.net
信者行為もアンチ行為も命を賭けに出せない以上デマ
132:１３２人目の素数さん
20/04/23 22:44:05 IZ6+FUYj.net
>>125
伊藤 清は、日本の数学者。
URLﾘﾝｸ(ja.m.wikipedia.org)伊藤清
133:１３２人目の素数さん
20/04/24 00:36:14.18 fi46Saxh.net
INTER-UNIVERSAL TEICHMULLER THEORY IV:LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki April 2020
P67
Section 3: Inter-universal Formalism: the Language of Species
In the following discussion, we shall work with various models ー consisting
of “sets” and a relation “∈” ー of the standard ZFC axioms of axiomatic set theory
[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice ー
cf., e.g., [Drk], Chapter 1, §3].
＞ nine axioms of Zermelo-Fraenkel
セクション3は主題に関係ないとはいえ、流石に専門外なのでよく知らなかったと認めて撤回したほうがいいと思うんだが
というか主題に関係ない専門外の部分でミスるなら書かなくていいんじゃ
134:１３２人目の素数さん
20/04/24 01:27:00 8yjbsPLr.net
>>128
9個の公理といったらZFCになるとか、そもそも置換公理は実際は無限あるとかそういうの言いたいの？
だとしたらスゲーつまんねえことに突っ込んでんな
135:１３２人目の素数さん
20/04/24 04:29:24 rcHJMCjA.net
IUT に何の価値があるかは知らんが、IUT の異常事態は長期間解決しないだろうな。
136:k.air
20/04/24 04:56:27 SOYnavXh.net
>>57
大卒ニートがコメントしましたよっと
冒頭のああいうのが正確に書けるのが数学科で仕込まれる能力だ
こういう系だと
K(ε)を下から評価するのとかも大1レベルでやれるんだが
（一昨年あたりに知恵袋で答えたが質問ごと消えてる）
スレが平和な今なら書いてもよさそうだ
137:k.air
20/04/24 05:07:51 SOYnavXh.net
↑この系はcorollaryじゃなくて系統ね（激寒）
138:１３２人目の素数さん
20/04/24 08:28:44 WCU2iD56.net
>>128-129
望月氏は集合論を理解してないんでしょう。
以前のバージョンでは、ZFCGがZFCの保存拡大であるとか、
それこそ集合論をかじった学部生なら誰でも明らかに間違いと
分かることが書いてあったり、いまでも同じ個所には
>Although we shall not discuss in detail here the quite difficult
>issue of whether or not there actually exist ZFCG-models
とか書いてある。
139:１３２人目の素数さん
20/04/24 09:10:01 Safx2wIB.net
>>133
だろうね
細かいこと(人によってはつまらないようなミス)もこの8年間で望月さんはコツコツ修正していたが、何故かZFC公理系の公理が9個であるという記述は修正していないし、ZFCGがZFCの保存的拡大であるとかは定義を知ってればすぐに間違いだと分かるミス
こういう本当はよく分かってないのに書き続けてしまう性格が補題3.12の証明に繋がってそう
140:１３２人目の素数さん
20/04/24 10:25:09 Oiu7jwxw.net
>>134
>>128で
＞セクション3は主題に関係ないとはいえ
って書かれてるけど、IUTを擁護してるひとの話を聞く限り、
3.12の正当化には集合論が使われてるんだよね。
つまり3.12がきちんと書かれていないだけでなく、
書き下したときには集合論に対する誤解が含まれているのだと思う。
つまり形式面でも瑕疵があるだけでなく内容も間違っている。
141:１３２人目の素数さん
20/04/24 11:35:54.16 VARLNqdS.net
もう望月論文が数学界に認められることはないの？
142:１３２人目の素数さん
20/04/24 12:01:57 Safx2wIB.net
>>135
それが本当だとしたら問題の特定に繋がりそうだね
143:１３２人目の素数さん
20/04/24 12:08:21 39Kgbv0d.net
>>135
あなたが分かることなら柏原、玉川両氏は分からないわけが無いよな？
しかも時間は十分あった
でも両氏はOKを出した
そんな簡単に切って捨てられるならこんなに長引かないし騒動にもなってないのでは？
144:１３２人目の素数さん
20/04/24 12:10:47 23vLU0ng.net
>>137
問題はSS論文で特定されてる。
つまり従来の集合論と圏論の範囲に限定すれば問題点は抽出済み。
その問題の回避に使われてるのが集合論のおかしな解釈。
それでは説明になってないから詰んでるのが現状。
145:１３２人目の素数さん
20/04/24 12:22:18.29 uT8LAOQz.net
>>131
浅学な自分にどうか教えてください
146:１３２人目の素数さん
20/04/24 14:13:57.99 BVToEmBC.net
査読なんて半ば難癖つけながら読むものなのに、
そんな簡単なことを見逃すなんてことありえるのかね
147:１３２人目の素数さん
20/04/24 14:23:04.83 TbrrkJGT.net
SSレポートの指摘はべつに簡単ではない。
望月自身ができていない圏論による定式化をちゃんとやってるんだからな。
問題点がはっきりしていることとその問題点の発見や理解が簡単かどうかは無関係。
148:１３２人目の素数さん
20/04/24 14:29:19.20 B6lyJeYc.net
玉川が理解したっていうんなら玉川が解説すりゃいいだけの話だし
149:１３２人目の素数さん
20/04/24 15:57:48 S7OOZbh5.net
もれで間違っていたなら、
餅は
そうとうのやりてだな。
150:１３２人目の素数さん
20/04/24 16:43:55 /qLA8qZc.net
教訓は人の意見をきかずに思い込みで突っ走ると恐ろしい結果を招くということか
151:１３２人目の素数さん
20/04/24 16:56:22.51 yE5CvYHx.net
何をどうわめいても、論文はアクセプトされ、ABCは証明されましたでございます南無
152:１３２人目の素数さん
20/04/24 17:23:10.39 /qLA8qZc.net
アクセプトされ掲載されても、その後が大変かと思います
Woitのプログに誰か書いていたが、ジャーナリストが嗅ぎつけ
だんだんスキャンダル事件になる展開が一つ考えられます
153:１３２人目の素数さん
20/04/24 17:36:39.44 yDEXib4T.net
アクセプトも良し、スキャンダル化も良し
さっさとこの玉虫色の状況を先に進めていって白黒付けて欲しい
154:１３２人目の素数さん
20/04/24 17:50:16.65 Tw1BJAKO.net
文元君のＩＵＴ本を読みました
問題になってる箇所は本ではどこあたりですか
155:１３２人目の素数さん
20/04/24 18:29:23.42 AKIYmald.net
ジャーナリストが嗅ぎ付けても理解できてないのでスキャンダルになりようがないと思います
ショルツェあたりがハッキリと告発文でも公表したらわかりませんが、ブログでこそこそやってるだけではとてもとても
いずれにしよ、秋の研究集会でもっち様は本気出してこられるでしょう
156:粋蕎
20/04/24 18:30:57.70 nzRg9FS1.net
絶対に正しい事なら借金上限借入状態借金抜き全財産を賭ける事が出来る｡
>>146
其れは絶対に正しいか？間違ってたら信者以外のスレ住人全員に110万ずつ贈与しつつ､
残りの財産全ても110万以下ずつ寄附を募る慈善団体に寄附する事を誓約するか？さもなくば
お前はデマ千万の妄想出鱈目大法螺吹き、風説の流布行為者だ｡
157:１３２人目の素数さん
20/04/24 18:35:03.26 uT8LAOQz.net
>>150
気に入らないのはそこだ
一般人には真偽すら分からないからって好き勝手言って21世紀数学史上最大の偉業だとかなんとか
それはもう宗教だ
158:１３２人目の素数さん
20/04/24 18:39:46.05 /qLA8qZc.net
世間をだましてお金もうけしてるのでジャーナリストも馬鹿ではないから
いずれ制裁を受けると思いますよ
159:１３２人目の素数さん
20/04/24 18:47:35 uT8LAOQz.net
>>153
足し算と掛け算を別々の宇宙で行うとか書いてる本人すら何言ってるのか分からない記事を量産しているようでは
無理なんじゃないですかね
160:１３２人目の素数さん
20/04/24 18:50:04 nzRg9FS1.net
次スレタイは
【アンチ出禁】Inter-uiversal geometry と ABC予想 52【信者も出禁】
じゃな
161:１３２人目の素数さん
20/04/24 19:03:23 AKIYmald.net
>>152
信仰は悪いことではありません
あなたもご先祖様に感謝するでしょう？
奥さんや娘さんが妊娠したら神社で祈祷のひとつもうけたいでしょう
162:１３２人目の素数さん
20/04/24 19:37:15 /qLA8qZc.net
ということはそれは数学でないということを認めてるわけですね
163:１３２人目の素数さん
20/04/24 19:57:22 sDsWuxKS.net
wikiのabc conjectureが書き込めないようになってるのが、コミニュティの強い意志を感じる
164:BLACKX ◆SvoRwjQrNc
20/04/24 20:05:27 JBvokZnH.net
一年後ケーキ屋でメレンゲの作り方で年下の先輩に怒られる餅…
165:１３２人目の素数さん
20/04/24 20:07:51 7JHq8Ky7.net
もう大体、IUTのCor3.12より前に新しい発見はなく3.12は証明になっていないでFAな感じか
望月とアクセプトしたPRIMSの権威が落ちて終了って感じかね
166:粋蕎
20/04/24 20:17:47.81 nzRg9FS1.net
>>156
> 信仰は悪いことではありません
> あなたもご先祖様に感謝するでしょう？
> 奥さんや娘さんが妊娠したら神社で祈祷のひとつもうけたいでしょう
IUTが正神か偽神か分かる前に信仰すんな盲信屋
167:１３２人目の素数さん
20/04/24 20:19:06.38 f3MYKYil.net
>>160
IUTがダメだったらRIMSと京大の評判も落ちるだろうからやだなあ
日本人数学者にとっても他人事ではないよ
168:１３２人目の素数さん
20/04/24 20:23:47.13 vk6ln8RR.net
まあもともとPRIMSってそこまでランクが高い雑誌じゃないんだが（IFだと真ん中よりちょい下くらい）、
あんまり悪さするとIFのリストから外される可能性もあるわな。
169:１３２人目の素数さん
20/04/24 20:42:38 XQdfSKIW.net
この際
京都学派とかいう祇園の飲んだくれどもを
まとめてぶっ潰してほしい＾＾
170:１３２人目の素数さん
20/04/24 20:53:39 3SMd6iQV.net
新潮の記事も、ABC予想の証明者からABC予想の人って、グレーな表現に切り替え。
マスコミ各社も、もう距離をとっている。
今回は、数学だからスキャンダルにならないということはないのよね。
掲載のプロセスについては素人でも分かるから。
プロセスについては隙を見せないほうが良かったと思うよ。
171:１３２人目の素数さん
20/04/24 21:02:33 zkcRGLXo.net
お前ら数学の話はできなにのか
ついでにいっておくとタマ川さんは真の天才
172:１３２人目の素数さん
20/04/24 21:07:57 uT8LAOQz.net
>>156
娘どころか嫁すらいないよ
多分一生このまま
このネタにとりつかれたのはそこに詐欺のにおいを感じたからだ
173:１３２人目の素数さん
20/04/24 21:09:48 7qjyDeuO.net
例のJoshiの論文が改訂されたらしいけど、誰か読んだ？
あと、昔から思ってたんだけど、プレプリントとか準備中の論文とかを「引用」している論文って、
検証可能性を満たしていないよね
人名と論文のタイトルと年だけで出版元名もURLもないReferencesって引用と言えるのか？
>Dale says:
>April 23, 2020 at 11:34 pm
>Kirti Joshi has now posted a revised manuscript ”On Mochizuki’s idea of Anabelomorphy and its applications” discussed earlier in this thread.
>URLﾘﾝｸ(arxiv.org)
URLﾘﾝｸ(www.math.columbia.edu)
174:１３２人目の素数さん
20/04/24 21:10:47 4qdw+LE+.net
>>166
玉川はバイだよ
175:１３２人目の素数さん
20/04/24 21:11:15 AYWUtMr+.net
>>167
結婚しない理由はなあに？
モテない以外で具体的によろ
176:１３２人目の素数さん
20/04/24 21:12:36 JyFdp50Z.net
>>168
Joshiは悪気があってやってるわけじゃないと思うんだが、
このIUT界隈の「いつの間にかversionが変わっている」というやりかた、
IUTの成否と無関係に全然ダメだと思う。
177:１３２人目の素数さん
20/04/24 21:14:10 uT8LAOQz.net
>>170
しないではなくできない
稼ぎがないから
178:１３２人目の素数さん
20/04/24 21:14:52 JyFdp50Z.net
バイオ系でも、「じつはべつの試料があるので批判するならそちらも試せ」
なんてことを頻繁にやられたら、ふつうはもう相手にしないよ。
179:１３２人目の素数さん
20/04/24 21:29:42 uT8LAOQz.net
しかし人間万事塞翁が馬というもので今回のコロナ騒ぎでも守る人間がいないので真に自己中心的に振る舞える
仮にウイルスが生物兵器で人類が滅亡することになったとしても自分にとっては死ぬのが早いか遅いかだけの違いなので別にいいと思える
180:１３２人目の素数さん
20/04/24 21:36:58 4qdw+LE+.net
>>168
気になるなら見るべきだけど、あまり読む価値ないと思う
そんな正否を左右する重要な結果が京都でしか知られてないなんてありえないでしょ
それだけで大論文にできるような命題なのに。大分おかしいよ
181:１３２人目の素数さん
20/04/24 21:52:02 AYWUtMr+.net
>>172
なある、ありがとうございます
もっちーもしないのかできないのか知らんけど、何かしら未婚の理由があるんでしょうね
182:１３２人目の素数さん
20/04/24 22:00:16 ekM3c6gz.net
>>171
だから出版自体はいい事だと思うんだ
PRIMSの評価が地に落ちるリスクはあるけどね…
183:１３２人目の素数さん
20/04/24 22:06:43.78 9/DQklIZ.net
それならfixed versionをArXivに挙げるほうが筋じゃないかな
184:１３２人目の素数さん
20/04/24 22:09:26.98 uT8LAOQz.net
>>176
京大の教授だから稼ぎがないってことだけはないでしょうな
それだけでも羨ましい
185:１３２人目の素数さん
20/04/24 22:48:09.80 sDsWuxKS.net
アクセプトされてからの方が支持率下がってね？
186:１３２人目の素数さん
20/04/24 23:02:37.73 a0uLbZkN.net
>>158
それは9割方ワードサラダ荒らしのせいよ。こいつで差分見てみ？
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(en.wikipedia.org)
日英中で沸いてるんよ。日は14日規制だったが英は1年規制とは大きく出たな
187:１３２人目の素数さん
20/04/24 23:03:48.42 Je8NjWsP.net
>>159
これが解る人、このスレにいるんでしょうか？
代官山∨青山でカップリング説
に理解が進んでる人が？
188:１３２人目の素数さん
20/04/24 23:08:04.73 Je8NjWsP.net
因みにＯ元チーフ研究員は
メレンゲ担当はしてないと思います。
主に販売専門の職掌みたいです。
雇用サイドも賭けに出たな、と。
189:BLACKX ◆SvoRwjQrNc
20/04/24 23:25:04 JBvokZnH.net
abcのコメントのMZって片山氏かな？
190:１３２人目の素数さん
20/04/24 23:27:11 a0uLbZkN.net
>>14
191:0 動画の件ならひとまずつべに書くわ K(ε)の件なら↓に
192:１３２人目の素数さん
20/04/24 23:41:42.59 uT8LAOQz.net
>>185
動画の件です
お手数かけてすみません
193:k.air
20/04/24 23:57:35.53 a0uLbZkN.net
∀ε>0, ∃K(ε)∈R, ∀(a,b,c):abc-triple,
c < K(ε) rad(abc)^(1+ε)
という形に書いたときに出てくる K(ε) の値について
じつは具体的な3つ組を1つ使うと
K(ε) があるなら次のグラフより上に来なければならないことがわかる
URLﾘﾝｸ(www.wolframalpha.com)
plot y=15042^(0.6299-x), x=0 to 1, y=0 to 500
(εの代わりにxを使った)
よって K(0.00001)＞427 だが実際には億とかの可能性もある
2012年のスレ初期なら3つ組の例示に終始していたが
これはスレでは誰もやっていないと思う
導出いる？
194:１３２人目の素数さん
20/04/25 01:23:33.00 ha71wYcg.net
>>180
元々IUTもアクセプトもfakeの内容
195:１３２人目の素数さん
20/04/25 01:24:01.80 0Gpor3BR.net
>>187
Wikipediaにある質の大きいabc-tripleの一番上
q = 1.6299, a = 2, b = 3^10 * 109, c = 23^5
で
d = rad(abc) = 2 * 3 * 109 * 23 = 15042
ですかね
196:１３２人目の素数さん
20/04/25 01:37:42.13 Y0zsX4mK.net
将棋の羽生さんが望月さんが天才だと
197:１３２人目の素数さん
20/04/25 01:46:54.27 XRwOY/bG.net
いくら羽生さんでもそんなの判断できないからねえ
198:１３２人目の素数さん
20/04/25 07:19:33 ZoGSsmyp.net
Joshi論文はBESSATSU行きかな
199:１３２人目の素数さん
20/04/25 08:50:59 pAlxSgV1.net
そういや羽生さんはアイドルと結婚したんだよな
もっちーもショルツみたいに30くらいでフィールズ賞とってたらアイドルと結婚できたかもな
その頃はまだひきこもってなかったようだし顔も割といいし背も高いしハーフだしアメリカ仕込みの紳士だし話もおもろいし
もったいないもったいない
200:１３２人目の素数さん
20/04/25 10:04:54.04 0ReezxDY.net
>>162
でもお前、朝鮮人参じゃん
201:１３２人目の素数さん
20/04/25 11:45:31 gHQblpKe.net
>>192
BENJOだろう
202:１３２人目の素数さん
20/04/25 12:36:28 iCjnyhbD.net
星さんがiutでなんか論文書いてくれれば
ガラッと展開が変わると思うけどな
宗教だってペテロ、蓮如、池田大作みたいな
中興の祖的なスポークスマンの方が
普及においては始祖よりむしろ重要だからな
203:１３２人目の素数さん
20/04/25 12:56:39 dUEBtaY/.net
>>193
今もcuteでlovelyなイケメン紳士です…
204:１３２人目の素数さん
20/04/25 13:00:28 34pZYNCC.net
山下氏のサーベイって何でみんな取り上げないんだ？
斜め読みだけど、必要な予備知識やどういう順番で証明が進むのかとか、
痒い所に手が届く書き方してると思うんだが？
205:１３２人目の素数さん
20/04/25 13:04:11 D83DCXEW.net
欲しいのはIUTの解説じゃなくてCor3.12だからでしょ
IUTじゃCor3.12は出て来ないっていうのが論点であって、
IUT自体が最初から意味不明だって言ってる数学者はいないじゃん
206:１３２人目の素数さん
20/04/25 13:05:23 D83DCXEW.net
JoshiとかDupuyが無視されてるのも基本的にはソコ
つまり今必要なのはCor3.12のギャップを埋める話であって、
IUTとは何かとかCor3.12が正しいと仮定したらとかいう話ではない
207:１３２人目の素数さん
20/04/25 13:14:54 12J6pB4X.net
何かあったのかってくらいに欧州勢に嫌われとるな
208:１３２人目の素数さん
20/04/25 13:33:18 nULhaJry.net
よくわからないけど、この人のコメントによると全然だめらしいね
URLﾘﾝｸ(www.math.columbia.edu)
Fierce Inertia says:
April 24, 2020 at 10:48 am
This paper of Joshi is remarkably unconvincing to me. If I may caricature it slightly, it seems to only contain the following types of results:
1. Statements of the form “(Thing X / Property Y) depends only on the absolute Galois group of a p-adic field.”
None of these are surprising or difficult: they all follow from basic class field theory or from the Jannsen-Wingberg theorem (which IS a difficult result, cf. here for a nice overview: URLﾘﾝｸ(www.numdam.org))
2. Statements of the form “(Thing X / Property Y) does not depend only on the absolute Galois group of a p-adic field.”
These are even less surprising, and they also follow from Jannsen-Wingberg, or from five seconds of thought.
3. Completely unmotivated results (e.g. Theorem 16.5, Theorem 22.6).
4. Vague suggestions that various things can be interpreted anabelomorphically.
What evidence is there here that this perspective of anabelomorphy is actually useful? What can you DO with it? The answer this paper seems to suggest is: nothing.
I am happy to be convinced otherwise.
209:１３２人目の素数さん
20/04/25 13:45:43 /MfWBgUK.net
>>199-200 ホントそれなんだよな。現状オカルトでしかない。
ここに明確な説明や補足もなく「内部告発」に折れて強行アクセプトだからPRIMSの信頼は地に落ちたわけ。墓場まで持っていくらしいw
ピンポイントに問題点が指摘されてるのに、たくさんいるはずwの習熟者(爆笑)たちは雁首揃えてなんで誰も説明できないんだよw
お前も言ってることがおかしい！学部レベルもわかってない！とか論点すらしでしかないでしょ
PRIMSの今後は国内の院生のしょーもない論文載せるだけの同人誌に成り下がるだろう。(現状とあまり変わらんがw)
210:１３２人目の素数さん
20/04/25 14:09:16 ZTAMMmMR.net
もっちー「ショルツェには俺が説明を懇切丁寧にすでにしたから君たちはだまっとれ！」
211:１３２人目の素数さん
20/04/25 16:13:43 8ymot4AY.net
> , or from five seconds of thought.
www
212:１３２人目の素数さん
20/04/25 16:25:10 yecJP1aZ.net
ってかこれ、Joshiの書き込みみるかぎり京都とコンタクトとってるんでしょ。
RIMSがそのレベルのことしかしてないっていう間接証明じゃん。
213:１３２人目の素数さん
20/04/25 17:02:42 JOD2xhx9.net
ラジコンされちゃってる助手
214:１３２人目の素数さん
20/04/25 17:05:05 kUuyeEj1.net
>>165
仮に証明できてなくてもスキャンダルではない
おまえはスキャンダルの概念を分かってないね
215:１３２人目の素数さん
20/04/25 17:18:35 kUuyeEj1.net
>>174
新型コロナウイルスは開発途中に流出した生物兵器だが人類滅亡する威力は無い
亜鉛
ビタミンD3
αリポ酸
は抗ウイルス作用にエビデンスがある
ビタミンD3はコロナウイルスにもエビデンスがある
ビタミンミネラルで対抗できるんだよ
すでにスペイン、フランス、オーストラリアなどで臨床試験に入っている
また食品成分の研究でも
1位 カテキン
2位 クルクミン
が新型コロナウイルスに効果がある研究が出ている
安価かつ容易に入手できるし自己防衛可能だ
漢方薬でも効果があるのが分かって来ている
ちなみに日本にはこれらの臨床試験に乗り出したとこは無い
動きが鈍いのは製薬利権に忖度してるからだ
外国からは矢継ぎ早に研究成果が公開されている
諸外国は目の前で苦しんでる人間を救う使命感から迅速に動いてる
日本は使命感は後回し
日本は劣化したね、明確に
今回の新型コロナ騒動でもはっきりした
216:１３２人目の素数さん
20/04/25 17:35:11.25 kUuyeEj1.net
すでにαリポ酸は臨床試験の結果がでたのがある
ランダム化、単盲検、グループシーケンシャル、実対照試験
αリポ酸の静脈注射 と
生理食塩水の静脈注射
の2つにグループ分けてやった結果
死亡率が半分という結果になった
生理食塩水で死んじゃった重症患者は人類史に貢献したな
日本は間違いなくやらないね
ともかく新型コロナには対抗手段が色々とあるので滅亡なんてないよ
但し、終息なんてしない。インフルエンザのように今後はずっと付き合っていくことになる
だから終息を待たずに経済活動を再開しなければならない
217:１３２人目の素数さん
20/04/25 17:56:16.23 cd1ZQO0D.net
IUTとCOVID19ではっきりしたのは
京都大学の数理解析研.RIMSとウィルス研が劣化したことだ。
IUT論文と山中ブログはスキャンダル
レベルだ
218:１３２人目の素数さん
20/04/25 19:10:34 0Gpor3BR.net
>>208
強要で刑事告訴されて逮捕とか？
219:１３２人目の素数さん
20/04/25 20:33:37 pAlxSgV1.net
もっちーが反論出したのに無視こいといて、アクセプトされたら急に噛み付いてくるショルツがわるい
もっちーもドイツにおしかけてこてんぱんに論破してやればよかったのだ
220:１３２人目の素数さん
20/04/25 20:59:40 zk73Xhx2.net
ショルツがまたS.Sレポートの解説を
してあげたんだろ、
ドイツまでおしかけて内部告発
しちゃうぞー と罵倒するの？
221:１３２人目の素数さん
20/04/25 21:03:39.20 zk73Xhx2.net
文書の公開はまだですか？
↓
>>91
>2/5にaccept
PRIMS編集者名簿及び投稿規定
他編集会議規定文書
PRIMS特別号編集者名簿及び投稿規定
他編集会議規定文書
2/5PRIMS編集会議の議事録。
>EMSに特別号について依頼予告
依頼予告書
>前書きが出来たら望月本人にaccept通知
accept通知書
>その後京大の広報と打ち合わせ
京大広報と打ち合わ文書
>文科省などに事前報告
事前報告書
以上
文書の公開を求めます
222:１３２人目の素数さん
20/04/25 21:06:48.17 yecJP1aZ.net
望月が反論したっていうひと、原文ちゃんと読んでるのか？
修正版のどこにギャップの埋めが書いてあるんだ？
223:１３２人目の素数さん
20/04/25 21:36:44 XRwOY/bG.net
>>213
あれは無視っていうか望月の反論が反論に見えないし取り合ってられないってだけの話だからね
結局数学的にも両方に一理はあるが、証明自体は無さそうだと多くが思ってるわけだ
だから、世界に百人以上はいるだろうIUTを読んだ研究者にしても、SSを鵜呑みにしてるわけではなく
理解できないってこと。SSレポートからわかるように、基本的には訳のわからん道具を使ってるわけでは
ないから、読めないわけじゃない。証明としてはわからんってこと
224:１３２人目の素数さん
20/04/25 21:58:11 XRwOY/bG.net
ついでにいったらショルツレベルの数学者が論争から逃げるとかありえないと思う
知的好奇心第一であって、論争のために論争してるわけじゃないから
本気で理解できないだけ
225:１３２人目の素数さん
20/04/25 22:20:03.48 v+jMKdO7.net
3.12を別の方法でなんとか証明する事はできないの？
226:１３２人目の素数さん
20/04/25 22:37:17.30 hb8/U/sr.net
もっちーは論文には全く問題ないと言い切っている
なぜこんな齟齬がうまれるんだろうねぇ
ふしぎ
227:１３２人目の素数さん
20/04/25 22:41:21.59 nULhaJry.net
>>219
できるなら他の人がやっているでしょ
プレプリントとはいえ公開されているんだし
228:BLACKX
20/04/25 22:46:35.81 tte+Rsu2.net
>>219
ないんじゃない？それか組み直すとかしか。
あってもここでは指摘しないはず
229:１３２人目の素数さん
20/04/25 23:49:08 o0PDU+gr.net
>>208
次世代幾何学研究センターの予算取りと
関係しないのか
230:１３２人目の素数さん
20/04/26 00:44:32 fHEEVP/5.net
結局、いつ掲載されるの？
231:１３２人目の素数さん
20/04/26 00:51:08 vlj7i0gd.net
もっちーかわいそう
渾身の論文なのに
毎日胸が痛いだろうな
232:１３２人目の素数さん
20/04/26 01:43:55 cArmGcDN.net
>>225
京都だけで見たら全てが順調で問題がないけどねw
後は集会と掲載を待つだけなわけだし
233:１３２人目の素数さん
20/04/26 02:09:17 OUAVS9Vf.net
>>216
ショルツが再々反論したって言う人、どこにその再々反論が出ているんだ？
「ショルツさん、そもそもあんたのは反論になってない、なぜならこうでこうで」
懇切なものに対して、
「望月さん、そのあんたのこそ私のものへの反論になっていない、なぜならそれらのここはこうでこうでこうで」
それはどこにあるんだ一年の余も
以上それで終わり
それが当たり前の学問的論争というものだという基本の基本を理解するように
>>217
>反論が反論に見えないし www
じゃあそれを公的に書け 一年も
自分から吹っかけておいて
負け犬の遠吠えという言葉
相対性理論のこのリーマン幾何学とやらのテンソル云々とか何なんだこりゃ 面倒くさい
もっとわれわれに既知の専門のニュートン直系の解析力学等で解けるものだろ自然現象は
これたぶん、簡単にベクトルに直して考えると、こうでああで、しかしそこにこういう値を代入するとどうも破綻するじゃんこれ
やっぱ致命的だわこれ アインシュタイン君
そしてそんなものからの宇宙現象の新しい説明や計算は信用できず、結局論理的にも不成立
微分幾何学という数学自体はいい 応用には根本に問題があるようだ
いやその簡略化は違うので 面倒でもリーマン幾何学をまず勉強し、習得してください
反論なし
一年後
何であんな論文が通ったのだ！ 成立しないと言ったのに！ なあみんなそうだろ！！
私の周囲の物理学者も皆理解できないと言っている 世界中の学者が皆その意見のようだ
擁護しているのは一部の彼の取巻きの学者だけのようだ
応用の論文など実際ほとんど出て来ていないようだし、本当に大きな面倒と問題を起こしてくれたものだ
234:１３２人目の素数さん
20/04/26 05:52:32 wSSRiEYr.net
>>201
地政学上の断層線が現れたからじゃね
数学の新理論が暗号開発に利用されそうなら、理由はそれじゃね？
235:１３２人目の素数さん
20/04/26 05:55:42 wSSRiEYr.net
もしそうした背景があるなら、日本語書き込みでIUTTsageに必死な連中が※＊人臭い理由も説明つくだろw
236:１３２人目の素数さん
20/04/26 06:01:09 wSSRiEYr.net
一般人を煽って世論をミスリードし、予算妨害や関係者に対するプレッシャーを強めて、暗号開発妨害に励む事が安全保障上死活問題になる国々が近くに有る、となりそれが大量に日本に在留している人間が居る国々である、なら“妨害”がしつこいのは納得だよw
237:１３２人目の素数さん
20/04/26 06:01:53 wSSRiEYr.net
仮説１ですたw
238:１３２人目の素数さん
20/04/26 10:56:51 /lkqvJ2S.net
full poly-isomorphism定期
239:１３２人目の素数さん
20/04/26 13:20:21.75 RL3ajz4n.net
IUTは数学の新理論でなく数秘術
だから、
占いはabc予想から天気予報まで
240:１３２人目の素数さん
20/04/26 13:33:22.02 fp3Ycpqf.net
子供のころ魔方陣が好きだったなぁ
241:１３２人目の素数さん
20/04/26 14:03:43.01 RL3ajz4n.net
魔法陣は数学
IUTはガラクタ
242:１３２人目の素数さん
20/04/26 14:24:08.00 fp3Ycpqf.net
魔「方」陣、ですよ
243:１３２人目の素数さん
20/04/26 15:06:28 RL3ajz4n.net
定義単語にしかこだわれないIUT
中身空っぽ
244:１３２人目の素数さん
20/04/26 15:13:46 fp3Ycpqf.net
悪魔召喚乙w
245:１３２人目の素数さん
20/04/26 15:17:01 2b4inxua.net
死刑執行するバイトとか募集してないの？
死にたくないと暴れる死刑囚の顔面ぐちゃぐちゃになるまで殴って首に縄かけてボタン押したいんだが
246:１３２人目の素数さん
20/04/26 15:17:43 2b4inxua.net
誤爆
247:１３２人目の素数さん
20/04/26 15:22:00 /lkqvJ2S.net
ひどい誤爆を見た
248:１３２人目の素数さん
20/04/26 16:52:36 ZQe7vVoh.net
>>239
リンチと死刑執行は違う
サディスティックな性癖を解放したいならSMクラブに行け
お尻ぺんぺんにビンタし放題、コブシを突っ込んだり
舌をペンチで引っ張りな
まあ好きにおもちゃにして遊んだらいい
249:１３２人目の素数さん
20/04/26 19:01:09 inFd57k6.net
>>242
性的サディストは残虐な殺人に至る嗜虐癖を患っており、その脳内にはＡ１０神経系(脳内報酬系)が形成されているとされ、矯正は不可能とされてます。
合法的ＳＭクラブ等、表の商業サービスが対応出来る性癖はマゾヒストの顧客です。
250:１３２人目の素数さん
20/04/26 19:06:52 inFd57k6.net
サディストに対する“サービス”とは、傷害罪・暴行罪が親告罪ではない現行法に基き、全て強制起訴可能な刑法に抵触します。
明確に違法行為に該当します。
251:１３２人目の素数さん
20/04/26 19:11:37 inFd57k6.net
親告罪で無い以上、顧客側がマゾヒストとして“サービス”を受けていたとしても、“違法サービス”を提供した店側は、違法行為を問われる可能性が有るのではないでしょうか
252:１３２人目の素数さん
20/04/26 19:14:27 inFd57k6.net
スレをご覧の該当者の皆様から…
被タイーホ者が出ない事を祈ります。
253:１３２人目の素数さん
20/04/26 19:43:09.73 YlxpdMzt.net
凄いスレチだね
これが宇宙を取り替えるってことなんだね
254:１３２人目の素数さん
20/04/27 21:07:08 D+B8HIz7.net
モッチ様、研究がんばってるかな
255:１３２人目の素数さん
20/04/28 02:09:43.20 f7acjVud.net
原文を長文で貼り付ける「系譜」氏とかが軒並み別スレ行って一気に落ち着いてきたな
256:１３２人目の素数さん
20/04/28 11:40:04 Oig1Nv2X.net
URLﾘﾝｸ(www.math.columbia.edu)
>mgflax says:
>April 27, 2020 at 11:42 am
>math_jin@ retweeted a report that the papers to be published in P(RIMS) are essentially identical to the versions on M’s website, with the exception of a single footnote on the first page.
晒されててワロタ
そのリツイートってこれのことか？
こいつ誰だよ
RIMSの関係者か？
URLﾘﾝｸ(twitter.com)
>諸法無我@MugaShohou
>返信先: @m_flaxさん, @math_jinさん
>Hi!
>The version is the same as on his website (except a footnote on the first page).
(deleted an unsolicited ad)
257:１３２人目の素数さん
20/04/28 11:56:47 AVPKb8G1.net
何にせよウェブサイトと同じバージョンであるということが本当なら、もう挽回する要素がないということか……
補題3.12について誰も詳細な証明ができなかったと
258:１３２人目の素数さん
20/04/28 13:20:44 Fkph8Y0u.net
> 2020年4月からTwitterを利用しています
最初のツイートが4月9日か。
いきなり大人気になりそうな予感
259:１３２人目の素数さん
20/04/28 16:51:36 lT4QL1yj.net
この理論で既知の定理の証明とかできないのかな？
260:１３２人目の素数さん
20/04/28 22:15:04 b0QDNg7L.net
ブンゲン先生も極めて不誠実だよね。
だいたい異議が唱えられていて評価が定まってないIUTを持ち上げる本を出版したり。
IUTとは関係ないけれど数研出版から出した微積と線形代数の本も酷い。
261:１３２人目の素数さん
20/04/28 22:16:09 b0QDNg7L.net
ほんとアホばっかで反吐が出るぜ。
262:１３２人目の素数さん
20/04/28 22:20:34 Bf3VAgN1.net
>>254
IUTで一儲けしたブンゲン
ちゃっかりしてるよ
263:１３２人目の素数さん
20/04/28 22:32:36 ksI0/t2a.net
ブンさんともっちーがふたりっきりで何話すのか興味ある
264:１３２人目の素数さん
20/04/28 22:33:24 GEf0zLNR.net
いつ頃掲載されるの
265:１３２人目の素数さん
20/04/28 23:44:33.41 b4/7wYRU.net
>>253
できる
266:１３２人目の素数さん
20/04/28 23:48:33.58 b4/7wYRU.net
>>254
何が不誠実なのか意味不明
異例なベストセラーにした時点でセンス抜群だし有能だ
世間にIUTを思い出せた功績もある
こうした役割を担う人材は必要でもある
ちなみに嫉妬は醜い感情なことを自覚しよう
しばしば嫉妬は人生を破壊に導く
267:１３２人目の素数さん
20/04/29 00:47:12 pyQVzfs6.net
ブンゲン先生！？
268:１３２人目の素数さん
20/04/29 08:14:05 9KniH8LG.net
数学なんてのは無駄の極みで子供・童貞の遊び
意味のあるのは工学のみ
269:１３２人目の素数さん
20/04/29 09:53:50.70 /KuHExgj.net
The Statement of Mochizuki's Corollary 3.12, Initial Theta Data, and the First Two Indeterminacies
Taylor Dupuy, Anton Hilado
URLﾘﾝｸ(arxiv.org)
アブストラクト冒頭
This paper does not give a proof of Mochizuki's Corollary 3.12.
予告通りの論文
270:BLACKX
20/04/29 11:23:46.83 Cxh0BvZp.net
3.12についてdupuyきたか。
271:１３２人目の素数さん
20/04/29 11:34:12.94 ELHBBf8B.net
ビル・ゲイツ春の叙勲かぁ
モッチ様もいつかはもらえるのかな
272:１３２人目の素数さん
20/04/29 12:06:12 0MD9o21g.net
ファンタジー系ラノベのスピンオフ作品みたいな感じになってきた
273:１３２人目の素数さん
20/04/29 12:27:32 puJ6de1F.net
>>263
あらまあ～
274:１３２人目の素数さん
20/04/29 13:14:34 yb/zi5T+.net
>This paper does not give a proof of Mochizuki’s Corollary 3.12.
これ好き
275:１３２人目の素数さん
20/04/29 21:29:17 pW4FRnoJ.net
>>266
言い得て妙で草
276:１３２人目の素数さん
20/04/29 22:52:18 yb/zi5T+.net
なんか、
Cor 3.12 = 望月予想
って感じになりつつあるな
不等式自体は正しそうなのか？
277:１３２人目の素数さん
20/04/29 23:02:49 ELHBBf8B.net
望月予想が100年経っても解けてなくて難問になったらいい
278:１３２人目の素数さん
20/04/29 23:45:30.17 sifqYMGh.net
ショルツついに改訂版読んだのか
なんか以前とは違う雰囲気のコメントだな
もしかしてもっちーのサヨナラ逆転満塁ホームランある？
279:１３２人目の素数さん
20/04/30 00:01:00.05 Z7T9xBfv.net
やっぱりレフェリーの責任問題に発展しつつあるな。
280:１３２人目の素数さん
20/04/30 00:04:08.76
281:RTEUsG11.net
282:１３２人目の素数さん
20/04/30 00:05:55.04 XNpcuaA7.net
数学に多大な貢献ができるこの状況でなぜ情報を発信しないのか、
っていう疑問はまさにそのとおりなんだよな
Woitのblogでcan’tだからだろって言ってるひとがいるけどそう疑われる状況にある
283:１３２人目の素数さん
20/04/30 00:26:21 lCuwb0Tb.net
>>193
え、白んぼとのハーフなの？見えなーい
筑駒とかによくいる顔だわｗｗ
284:１３２人目の素数さん
20/04/30 01:10:01 +dFr7oRy.net
>>263 そこは誰も疑問思ってないだろ！っていう。
マジで虚構だな。
285:１３２人目の素数さん
20/04/30 01:18:05 ePOzXRXj.net
>>272
＞ショルツついに改訂版読んだのか
どのコメント？
286:１３２人目の素数さん
20/04/30 06:16:02 XYiJa5IC.net
DupuyはSSが反証でないことを証明している？が、これは肝心の証明の説明にはならないだろうな
まあこれはDupuyがIUTに従事する意思の表面なんだろう
287:１３２人目の素数さん
20/04/30 06:20:18 rmc7HHZN.net
woitのblogにDupuyの反論がきましたね
288:１３２人目の素数さん
20/04/30 06:20:58 dn8IvpOs.net
>>270
函数版の類似の不等式が整数でも正しいなら
289:１３２人目の素数さん
20/04/30 06:34:24 XYiJa5IC.net
これまでにショルツの言った（1）の弁護と、（3）の反証が十分ではないことをDupuyは主張している
290:１３２人目の素数さん
20/04/30 07:08:04.26 vPQJqJYG.net
「いつか私の時代が来る」
291:１３２人目の素数さん
20/04/30 07:54:16 2Q20/y8G.net
現代のガリレオ、とまでは言わないけど、新しいパラダイムの提唱者は苦労が絶えないね
今回の論文に纏わる処々の出来事は本人の「気質」によるところが小さくないようではあるが...
292:１３２人目の素数さん
20/04/30 09:29:20.90 yI+f4fmx.net
今から思うと、RIMSに誤算があったんだろうね。
あの派手な記者会見をすれば、ショルツらも黙ると思ったんだろうね。
それにしても、最初から戦略が間違っていた。
アーカイブにだして、だんまりのペレルマン方式で良かったのに。
それとも、ガリレオ方式で、KO寸前からの一発逆転で一気にヒーローに
なる戦略なのか？
293:粋蕎 ◆C2UdlLHDRI
20/04/30 10:09:40 gk1moOfa.net
老い先不安型議論促進工作なんて事はありゃせんわな
294:１３２人目の素数さん
20/04/30 10:19:54 dNWtvPfQ.net
Dupuyは数学の証明がわかってないんじゃないかな、という印象
もともとは数学畑じゃないんだっけ？
数学の証明に必要なのは反証の十分さではなく証明の十分さなのに
295:１３２人目の素数さん
20/04/30 10:28:27 fV9/6vAO.net
ショルツ査読者でもないのに対応してて偉いな
296:粋蕎
20/04/30 11:06:59.24 gk1moOfa.net
コロナ禍でコロナ暇しとるんか知れんのう
297:１３２人目の素数さん
20/04/30 11:41:03 KBibq1lS.net
例え話だけど、ショルツは迷路を最短で攻略しようとして
最も効率の良い順路を言い当てて、それを上から俯瞰してこうだよと示した。
結果、望月の示したゴールと程遠い所に着地した。
ドゥプイは『いやいや、迷路の色んな所に配置してあるスタンプを押してもらわないと
あそこの扉は開かないし、しかもあなた明かに壁突っ切ってるよね！』
ショルツ『壁ってこれの事？膝下までしか無いんだけど？』
ドゥプイ『それトラップだよ！装備見て！消えちゃってるだろ？』
ショルツ『消えてるけど、ゴールまで何も無いから問題なし、ていうかこの程度で
消えちゃうってそもそもおかしいよね。俺なんもしてないぜ？』
ドゥプイ『それが無いと地下の宝箱を開けられない！・・・らしい。』
ショルツ『いらね～だろそれ、俺、もうゴール着いちゃったし。』
298:１３２人目の素数さん
20/04/30 11:48:11 WVFPKRlj.net
そういうくだらないのは応援スレかアンチスレでやって。
299:１３２人目の素数さん
20/04/30 11:50:38 fvIqMmRV.net
>>290
ぜんぜん比喩になってない。
今問題になってるのは望月の作った迷路が経路が不明ということ。
この経路を示す義務があるのは望月本人。
300:１３２人目の素数さん
20/04/30 12:31:07 XKyE7/J1.net
IUT国際会議、中止だって
301:粋蕎
20/04/30 12:58:11.20 gk1moOfa.net
テレリモート会議せんのか
302:１３２人目の素数さん
20/04/30 13:09:33.46 +dFr7oRy.net
山のようなジャーゴンの中にしれっとABCを導く不等式を混ぜ込んでそれでできたと主張する。
何度も言ってるけど、何の補足もない以上、現状これ以上の理解は不能だし、これ以上の代物ではない。
単なる数学SF 実体のない作り話 でしかない。
IUT村の人々の誤算は、天才ショルツに呆気なく虚構をピンポイントで看破されたことだろう
303:１３２人目の素数さん
20/04/30 13:15:56.65 pQUyGC+R.net
相変わらずDupuyは何言ってるかよくわからんと思ったら、ショルツも同じようなこと言っててワロタ
>Peter Scholze says:
>April 29, 2020 at 6:53 pm
>
>Dear Taylor,
>
>thanks for your comment!
>
>Unfortunately, I cannot follow what you are saying.
URLﾘﾝｸ(www.math.columbia.edu)
304:１３２人目の素数さん
20/04/30 14:21:49 fvIqMmRV.net
Dupuyは3.12の証明を与えられないのになんでScholzeに噛みついてるんだろ
305:１３２人目の素数さん
20/04/30 14:26:37 oMkwC0Fq.net
Scholzも間違いを証明したわけじゃないから
306:１３２人目の素数さん
20/04/30 14:27:12 fvIqMmRV.net
>>298
Scholzeに間違いの証明をする必要なんてないぞ？
なんか勘違いしてないか？
307:１３２人目の素数さん
20/04/30 14:29:24 Z7PQsAxu.net
数学の「証明」っていうのがあんまり一般人には理解されてないのよね
証明というのは証明できたと主張するやつにすべての責任がある
周囲にはまちがいを証明する責任なんてまったくない
だからショルツがやってることはほんとにただの親切心
ショルツの指摘がなくてももともとCor3.12の証明は失敗してる
ほかのひとが理解できないんだからね
ショルツがわざわざ相手してるところみるとよほど真面目なんだろうね
308:１３２人目の素数さん
20/04/30 14:39:52 f+0xdA0Q.net
オンライン集会やったらいいのに
このままじゃすべての研究集会が飛ぶおそれありだ
309:１３２人目の素数さん
20/04/30 14:40:16 yKl/249F.net
>>300
ならば誰も間違いを指摘できなかったら誤った証明でも正しいという前提で議論が進んでしまうということか
数学は本当にろくでもないな
310:１３２人目の素数さん
20/04/30 14:42:15 Z7PQsAxu.net
>>302
そうだが？
過去にもそんな例は普通にあるじゃん？
311:１３２人目の素数さん
20/04/30 14:57:05 yKl/249F.net
>>303
証明が誤りであるということは証明された予想もまた誤りである可能性を排除できないということ
数学自体の論理性が崩壊してただの妄想に転落する
312:１３２人目の素数さん
20/04/30 14:59:27 Q3hPtyEo.net
>>302
全ての人間に分からない間違いを前提にできないなら数学どころか何も出来ないんですが……
313:１３２人目の素数さん
20/04/30 15:00:18 Z7PQsAxu.net
>>304
数学の証明というのは神の判定ではないので人間の認識能力のうちでやる
だから間違いがスルーされることは当然にある
そしてそのスルーされるレベルにすら持っていけないIUTは全然ダメなわけ
314:１３２人目の素数さん
20/04/30 15:03:57 yKl/249F.net
>>305
少なくとも自然科学は実験によって仮説が正しそうかどうかを確認できる
実験結果が仮説通りにいかなければ実験方法か仮説のどちらかが誤っているということで
実験方法が改良されたり新しい仮説が生み出されたりする
そういうプロセスが数学にはないだろう？
315:１３２人目の素数さん
20/04/30 15:04:23 2Q20/y8G.net
理解できないことと間違っていることは別の
316:概念
317:１３２人目の素数さん
20/04/30 15:05:57 Z7PQsAxu.net
>>307
それが数学者コミュニティのディスカッションだろ？
あと自然科学は実験によって絶対的に判定できてるわけじゃないんだから、
それもべつに数学に対する非難にはなにもなってないな
自然科学も数学もじぶんたちを絶対不可謬だとは言っていないし、
不可謬である必要性なんかまったくない
318:１３２人目の素数さん
20/04/30 15:06:52 nI9o/tNP.net
形式論理学は背理法で示されるが
数学はどうだろうか
P→Q，⊥Q
(1) P→Q
(2) ￢Q
(1)の分岐
(3) ￢P
(4) Q
×
(2)，(4)
数学でもこういう証明を取り入れた方がよいと思った
こっちの方がわかりやすくて面白い
319:１３２人目の素数さん
20/04/30 15:08:07 yKl/249F.net
>>309
数学は論理性が崩壊したらアウトでしょ
妄想を並べているのと変わらなくなる
320:１３２人目の素数さん
20/04/30 15:08:52 Q3hPtyEo.net
>>307
その実験で正しそうだと思われた仮説が、誰も間違いを指摘できなかった間違っている仮説で、正しいという前提で議論が進んでる可能性は？
321:１３２人目の素数さん
20/04/30 15:09:01 pQUyGC+R.net
ショルツが「IUTなんかおかしくない？こんな感じで」と主張したことに対し、
Dupuyは「いや、それは別におかしくない」と主張している
っていうやりとりだよね
ただし、Dupuyも「Cor 3.12 = 望月予想」の証明が理解できないことは認めている
だから、少なくとも彼らにとっては、Cor 3.12はまだ定理ではない
322:１３２人目の素数さん
20/04/30 15:09:06 nI9o/tNP.net
数学だと
P→Qの同値変形￢P∨Qという形を使うことがあまりない
背理法に懐疑的ｊなのかな
323:１３２人目の素数さん
20/04/30 15:10:34 Z7PQsAxu.net
>>311
そうだよ
論理的でないものはアウト
問題は、論理的である・ない、をだれが判定するの、って話
きみが言ってるのは神様か？
神様でないなら間違いを許容するしかないよね？
324:１３２人目の素数さん
20/04/30 15:11:42 yKl/249F.net
>>312
だから仮説なんだよ
実験結果が仮説と一致しなくなるまでは有効
325:１３２人目の素数さん
20/04/30 15:12:30 oHHDCtth.net
IUT関係者が不誠実すぎて数学そのものへの非難が出るのはまあ仕方ないけどこのスレでやる話題じゃないよね
326:１３２人目の素数さん
20/04/30 15:13:11 nI9o/tNP.net
>>310
あっこれ閉じてないや
Pが正しいという前提が必要だ
327:１３２人目の素数さん
20/04/30 15:13:17 yKl/249F.net
>>315
論理性は誰かが判定してそれを信仰するものではなく自分で理解するものだろ
328:１３２人目の素数さん
20/04/30 15:13:23 Z7PQsAxu.net
>>316
それだときみが言ってるのは破綻してるぞ
実験結果と仮説の一致のときに数学を使わないのか？
自然科学が数学を使うなら自然科学はろくでもないものを使ってるのか？
329:１３２人目の素数さん
20/04/30 15:14:19 Z7PQsAxu.net
>>319
ん？ じゃあきみはすべての実験の追試をしてるのか？
まずこれから答えてくれ
他人がやったデータをみて信用してるわけじゃない、ってことだよね？
330:１３２人目の素数さん
20/04/30 15:15:07 Z7PQsAxu.net
>>317
いやIUTの不誠実さに数学を巻き込むのがおかしい
数学サイドはIUTを受け入れてないんだから
331:１３２人目の素数さん
20/04/30 15:15:08 yKl/249F.net
>>320
そういうことになるから数学が論理性を失うことは問題なんだよ
332:１３２人目の素数さん
20/04/30 15:15:58 Q3hPtyEo.net
>>316
それが数学と何が違うのか分からないんだが
今のところ物理学や工学などでうまく行ってるので有効じゃん
333:１３２人目の素数さん
20/04/30 15:16:08 Z7PQsAxu.net
>>323
すまん、俺が数学は論理性を失っていいってどこで書いた？
具体的にレスアンカー飛ばして
俺は数学の論理性の判定は人間がやるしかないから可謬だし、
自然科学も可謬でいい、としか書いてないはずなんだけど
334:１３２人目の素数さん
20/04/30 15:17:11 yKl/249F.net
>>321
実際やろうと思えばできるだろうし実際に世界中で追試されている
335:１３２人目の素数さん
20/04/30 15:17:22 Z7PQsAxu.net
ID:yKl/249Fが言ってるのって「自然科学は絶対的に正しくないといけないから、
数学が可謬だと困る」ってことか？
そんな古い自然科学観とってる自然科学者って今いるの？
336:１３２人目の素数さん
20/04/30 15:17:52 Z7PQsAxu.net
>>326
いやごまかさないでくれ、きみがやってるのか、と訊いてるんだ
きみは他人の判定は信用しないんだろ？
337:１３２人目の素数さん
20/04/30 15:20:46 pQUyGC+R.net
>>317
おっしゃる通りで
余談だが、
究極的には、数学の「正しさ」は自分で確認するべきであって、
「誰誰が言っていたから正しい」というのはただの宗教に過ぎない
もちろん、すべての命題の証明をフォローするのは不可能なので、ある程度は正しいと信じるしかないけどね
変じゃね？と思ったときに確認できるのが数学の良いところで、
IUTに関して言えば、今まさに有名な数学者が「変じゃね？」と言っているわけなんだよね
PRIMSがこれを無視したことは大きな問題だと思う
338:１３２人目の素数さん
20/04/30 15:21:39 yKl/249F.net
単に数学が論理的に正しくないと他の分野が困ると言いたいだけなのにどんどんスレちになっていくのな
少なくとも証明は公開されているんだから自分で読んで理解できればすむ話
339:１３２人目の素数さん
20/04/30 15:23:18 Z7PQsAxu.net
>>330
ぜんぜんスレ違いではない
理解者がほとんど出ないけど正しいかもしれないのだから、
各人がじぶんで読んで判断しろ、っていう欺瞞がIUT擁護に使われることは問題
340:１３２人目の素数さん
20/04/30 15:25:49 Q3hPtyEo.net
>>330
今のところ上手く行ってるが今何か困ってることがあるんか
341:１３２人目の素数さん
20/04/30 15:26:42 fZTJ/nrN.net
フェルマー予想がそうだよね。
フェルマーは解けたって言ってるし証明も書いてあるし、
もしかしたら天才的発想ですでに解けていたかもしれない、
なんて屁理屈はこねられるけど証明したのはあくまでワイルズなんだよな。
Cor3.12のギャップを周囲が理解できないだけでじつは証明されてるって論法も同様にダメ。
342:１３２人目の素数さん
20/04/30 15:26:51 nI9o/tNP.net
形式論理学が数学に使えないのは
?すべての素数は奇数である
?ある自然数は素数である
?ある自然数は奇数である
この三段論法が正しいということ
数学ではありえない
?が正しいという前提について
きちんと議論できるのが数学である
343:１３２人目の素数さん
20/04/30 15:27:24 fZTJ/nrN.net
すまん間違えた
×証明も書いてあるし
○証明も部分的に書いてあるし
344:１３２人目の素数さん
20/04/30 15:40:27.66 yKl/249F.net
>>331
実際そうするしかないでしょ
自分はもっと陳腐で世俗的な読みで
強要で刑事告訴されて逮捕されてスキャンダルに発展すれば論文掲載は取りやめになり雑誌の権威は守られる
その筋書きがマスコミにリークされたから下準備としてこうして今世紀最大の証明だのなんだのと世間で話題になった
持ち上げて落とすのはマスコミの常套手段
345:１３２人目の素数さん
20/04/30 15:48:30.86 yKl/249F.net
正直abc conjectureの証明が正しいかどうかなんてどうでもいいのだが
目の前に論文ぶら下げられて
お前らバカだからどこが間違ってるかわからんだろぉ～ ほれほれ
みたいなことやられるともやもやした気分になる
346:１３２人目の素数さん
20/04/30 16:38:50.20 CWtsV1BS.net
>>337
>目の前に論文ぶら下げられて
お前らバカだからどこが間違ってるかわからんだろぉ～ ほれほれ
誰がそんなことをやった？
妄想も大概にせーよ
347:１３２人目の素数さん
20/04/30 16:46:43.29 f4j7ACbg.net
現状のIUT界隈の態度はそう取られても仕方がないと思うけどね
348:１３２人目の素数さん
20/04/30 16:54:22.62 +dFr7oRy.net
権益拡大を求めるだけで何の説明責任も果たしてないんだから当然の批判だな。
349:１３２人目の素数さん
20/04/30 17:31:51 WokYzVcz.net
>>329
無視はしてないよ
ショルツの方が間違いと判断しただけ
そもそも実際問題無視できるわけもない
レフェリーが擁護派でショルツが間違いで望月があっていると判断したなら
掲載許可出さざるを得ないでしょ
PRIMSのミスはショルツをレフェリーにしなかったこと
350:１３２人目の素数さん
20/04/30 17:41:14 3hSWWRLt.net
久しぶりに来た
論文掲載決まってから何か進展あった？
351:１３２人目の素数さん
20/04/30 17:45:15 5Gz09ctc.net
結局、望月修正稿のCor3.12の矛盾点を指摘できない、ないしはギャップが大きすぎると具体的に指摘することができない状況の気がするんだが、
ショルツの件が指摘になってない意外に具体的に出たポイントないのかなぁ。。。
352:１３２人目の素数さん
20/04/30 17:51:11 grParZpf.net
>>342
IUT擁護派のDupuyらもCor 3.12の証明をできない事が判明して、
更
353:にIUT関係者に聞いたというツイッタラーによればアクセプトされた版はwebの最新版とfootnote以外差がなく、結局利権か何かでアクセプトされたけど認められずに終了かなという流れ 望月予想として残る可能性はある
354:１３２人目の素数さん
20/04/30 17:58:19 f4j7ACbg.net
予想として残るのは無理じゃないかねぇ
ABC予想を証明すればいいだけで、その劣化版を証明する意義はほとんどないわけだし
355:１３２人目の素数さん
20/04/30 18:07:18 KiHSwW00.net
フェルマーに対する谷山志村予想
ポアンカレに対する幾何化予想
abcに対する望月予想(？)
望月予想そのものに価値が見出せればトライする研究者が現れるかもしれないけど
現状では望み薄だなあ
356:１３２人目の素数さん
20/04/30 18:40:07 pQUyGC+R.net
望月先生のありがたいお言葉
>宇宙際タイヒミューラー理論の検証：進捗の報告(2014年12月)
>既にIUTeichの検証活動に関わっている数名の研究者を除けば、世界の全ての数論幾何
>の研究者（＝連続論文が公開された時点（＝2012年8月）での山下氏を含めて！）は
>IUTeichの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に
>成り立っている「深い理解」を活用してIUTeichの正否に関する決定的な（＝「数学的に
>意味のある」）判定を下す資格が本質的にありません。
>…「中核的な3名（山下氏、Saidi氏、星氏）」の場合、IUTeichの勉強が極めて円滑に
>進展したわけですが、一体のどのような原因に「中核的な3名」とこれほども対照的な
>反応が発生しているのか、こちらとしては全くの謎であり、現時点では解明に至って
>いないと言わざるを得ません。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
357:１３２人目の素数さん
20/04/30 18:51:43 pQUyGC+R.net
DupuyとショルツがWoitブログのコメント欄でWikipediaの話してて笑う
プロの数学者でもWikipediaとか見るんだな
358:１３２人目の素数さん
20/04/30 19:01:37 +dFr7oRy.net
結局都合の悪い批判は素人扱いして逃げてるだけだもんな。
こうやって疑念を呈するものを不当に貶めて逃げ回って説明責任を果たさない以上、
そんな仮説もあったなぁ、以上の価値はなく、
いずれPRIMSの権威とともに埋葬され忘れ去られるだけだ。
359:１３２人目の素数さん
20/04/30 20:04:21 nV3s2sk8.net
ABC予想を証明するために新しい理論を作ったら新しい予想が出て…
意味なくない？
一般社会人じゃ通じないよこんなの。問題の先送りじゃん。
360:１３２人目の素数さん
20/04/30 20:15:53 pQUyGC+R.net
予想として提出されていれば何の問題もなかった
その場合は大きな成果にはならないだろうけどね
361:BLACKX ◆SvoRwjQrNc
20/04/30 20:19:26 E46cPUm9.net
なぜ8年も塩漬けしてきたのに今更動いてるんだろう。塩漬けのまま他の人が違う理論で正当性ある理論構築でもしてるのかな？それなら俺が餅ならなんとなく焦る気持ちあるわ
362:１３２人目の素数さん
20/04/30 20:23:48 ggUDxM36.net
予想でもちょっと問題があると思う
予想っていうのは○○だと思う、じゃダメで、
こうこうこうだから最終的にこうなると思う、じゃないといけない
例えば幾何化予想の論文は可能そうな形態をだいぶ念入りに考察しているし、
フェルマー予想も特定の次数については証明を与えてる
Cor3.12はどこから出てきたのかわからないから予想としても通用しない
363:１３２人目の素数さん
20/04/30 20:30:29 pQUyGC+R.net
そのあたりが、「未来から来た論文」と呼ばれる所以かな
364:１３２人目の素数さん
20/04/30 20:31:31 ggUDxM36.net
365:>>354 そう呼ぶ必要性はまったく感じられない
366:１３２人目の素数さん
20/04/30 20:34:14 3hSWWRLt.net
お前らに聞いても何も分からなそうということが分かった
367:１３２人目の素数さん
20/04/30 20:35:23 pQUyGC+R.net
>>355
つまり、揶揄なんでしょう
368:１３２人目の素数さん
20/04/30 20:35:56 ggUDxM36.net
>>357
いや、未来から来た論文ってマスコミが勝手につけたやつだから、
あんなの相手にする必要性がそもそもない
369:１３２人目の素数さん
20/04/30 20:36:33 st37eo4b.net
>>356
お前はここの住人に何期待してたんだよ
370:１３２人目の素数さん
20/04/30 20:37:19 nV3s2sk8.net
まあ、そもそも本人は自明で証明すら不要とっているそうだが…
支持者から、やんわり、予想ですよねと言われ始めた。
371:BLACKX ◆SvoRwjQrNc
20/04/30 20:37:42 E46cPUm9.net
>>356
数学者が何も分かってないからな。欠陥のcor3.12が埋まらない限り
372:１３２人目の素数さん
20/04/30 20:39:56 pQUyGC+R.net
>>358
ブンゲン先生のお墨付きじゃなかったっけ？
例の「一般書」は読んでいないけど
373:１３２人目の素数さん
20/04/30 20:41:20 ggUDxM36.net
>>362
文元はどうでもいいよ、あんなの
374:１３２人目の素数さん
20/04/30 20:42:15 pQUyGC+R.net
ワロタ
375:１３２人目の素数さん
20/04/30 20:43:42 ggUDxM36.net
だって文元は大学の数学教員って肩書き以外になにも正当性がないしな
376:１３２人目の素数さん
20/04/30 20:53:43 pQUyGC+R.net
自称理解者であるはずの人が5chでは相手にされないの面白すぎるでしょ
377:１３２人目の素数さん
20/04/30 21:01:42.25 SXYnDYye.net
Bは理解者なのに解説ができないっていうIUT芸人の地位を確立してるからしょうがない
378:１３２人目の素数さん
20/04/30 21:05:53.48 pQUyGC+R.net
例の本を買った人は、このスレをどんな気持ちで眺めているんだろう
379:１３２人目の素数さん
20/04/30 21:22:28 9aWNvsSf.net
反証きたんか
380:１３２人目の素数さん
20/05/01 00:29:28 0rczU2FZ.net
Dupuyが
URLﾘﾝｸ(images.app.goo.gl)
を引用した事や、超初歩的なwikipediaを引用した事から、望月さんの以下の文と同じ心境であることがわかる。
I can only say that it is a very challenging task to document the depth of my astonishment when I first read this Remark!
This Remark may be described as a breath-takingly (melo?)dramatic self-declaration, on the part of SS, of their profound ignorance of the elementary theory of heights, at the advanced undergraduate/beginning graduate level.
381:１３２人目の素数さん
20/05/01 00:35:10 FN/WQqb7.net
相手を貶めることで自分たちの正しさを主張するのがIUT村のやり方
382:１３２人目の素数さん
20/05/01 00:35:50 ZWGyf/uj.net
その望月の文はSSレポートのRemark 5について書かれたものだが、実態はこれ
946 １３２人目の素数さん sage 2020/04/15(水) 00:08:10.06 ID:9qDykosb
S・Sレポ8月版のRemark 5について拘っている人たちがいるが、これは逆に望月氏の方が恥ずかしい議論だよ。
S・Sはあっさり書いているが、当然望月氏も知っているはずだろうと思って書いていたはず。
これは“Faltings’ theorem (Shafarevich conjecture) applied to the Weil restriction”した場合の話だよ。
Finite Weil restriction of curves
URLﾘﾝｸ(link.springer.com)
S・Sからすればどちらが学部・修士レベル何だろうね、ということになる。
383:１３２人目の素数さん
20/05/01 00:49:39 1b3SXVK7.net
>>372
その指摘をWoitのブログにコメントしてくれば有益だと思うよ
384:１３２人目の素数さん
20/05/01 01:31:22 hxLtCBTG.net
>>352
ずっと動いてきたんだよ
表に浮上したのが最近なだけ
385:BLACKX ◆SvoRwjQrNc
20/05/01 07:54:56 8RyCvzwU.net
>>374
そんなこと分かってるけど従来なら数学者は理解してないだけと言うオカルトな切り捨て方はしない。
全員とまではいかないが数学者が8割ぐらい支持率あるか、お前らが少数派である賛成派として式変形の提供してくれるはず。なぜ何処にも外部に支持層居ないのに解けたと言えようか。
先を急いだのではないのか？
386:１３２人目の素数さん
20/05/01 08:02:29 Su0GaBzN.net
Dupuyがモデル理論の解釈を持ち出したら
Scholzeに「それ、あたってなくね？」と一蹴されたね
For all I can see, Hodge theaters fit neither into the framework of “structures” as used in the wikipedia entry
URLﾘﾝｸ(en.wikipedia.org)(model_theory)
you linked to, nor the topos-theoretic framework of Caramello.
(Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set.
I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters, the problem being the very lax notion of isomorphisms of Hodge theaters.)
However, these long discussions are all about interpretations.
Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above.
387:１３２人目の素数さん
20/05/01 08:36:33 7sZbP7cd.net
提出から8年も経つのに
未だに確認がとれていないっていうのが…不安だわ。
おそらく、この証明は間違っているんだろうな
って感じがする。
そもそも、予想の証明の審査に、8年もかかるなんて起こりうるの？
何かデカイ予想の証明で、正しさが承認されるまでに
8年以上もかかったって前例はあるのか？
この情報化社会で8年っていうと、フェルマーの時代の
100年くらいに相当するぞ？
388:１３２人目の素数さん
20/05/01 09:05:47 Su0GaBzN.net
森重文がScholzeとStixを呼んだと聞いて
なんか疑念があるんだなと思った
URLﾘﾝｸ(www.quantamagazine.org)
389:１３２人目の素数さん
20/05/01 09:13:27 eIXxfUBk.net
>>376
設定の話してるだけだからね
社会学者の宮台真司が言ってた吉幾三問題思い出したよ
ウインナーコーヒーを頼んだらバイトの吉幾三がコーヒーにウインナー載せて持ってきて、客もそんなもんかと
思って文句言われなかったって話
つまり、間違ってる概念でも一定の範囲で論理的に動かせちゃうのね
390:１３２人目の素数さん
20/05/01 09:23:41 Su0GaBzN.net
>>379
Scholzeがいってるのはそういうことじゃなさそう
「ホッジ劇場の構造はモデル理論ともトポス理論の枠組みとも合致しない」
っていってるから
圏じゃないものに圏論の定理を適用するみたいな感じ？
391:１３２人目の素数さん
20/05/01 09:47:07 eIXxfUBk.net
>>380
いや圏は圏なんだろうけど、要するに抽象的すぎるんじゃないの
実際幾何学的射の集合とか圏ではないから、それはDupuyの反論と部分的に整合する
何か納得のいく有益な表現可能性を見いだせないんじゃないかね、ショルツからしたら
392:１３２人目の素数さん
20/05/01 09:47:14 Su0GaBzN.net
蛇足
＞ウインナーコーヒーを頼んだらバイトの吉幾三が
＞コーヒーにウインナー載せて持ってきて、
「ウインナー」と「ソーセージ」って
横と縦みたいな関係だね
ヘチマの化粧水を「ヘチマコロン」と呼ぶのは誤りで
正しくは「オーデヘチマ」�
393:ﾝたいな
394:１３２人目の素数さん
20/05/01 09:55:06 Su0GaBzN.net
>>381
解釈の件についてのScholzeのコメントは、抽象性とは無関係で
モデルやトポスの定義に合致してない、という初歩的な指摘と思える
ただScholzeの主張の核心はそこはなくて
数学的には、自分が今までいってきた通り、ってところか
395:１３２人目の素数さん
20/05/01 10:14:54.76 gDvGAsz0.net
ZFCGがZFCの保存的拡大と書いた望月といいモデルでないものにモデル理論の解釈を適用したDupuyといい、
本当は何も分かってないのに筆を進めてるが、
あっさりScholzeが正しい理解で一蹴する辺り、やはりフィールズ賞受賞者はその辺の学者と格が違うな
396:１３２人目の素数さん
20/05/01 10:16:40.59 G7j/SD+U.net
>>376
IUT界隈は基礎論がわかってないっていうのがやっぱり出発点っぽいね
397:１３２人目の素数さん
20/05/01 10:47:56.48 Su0GaBzN.net
>>384
モデル理論に関係するんなら
フルショフスキ―がなにかいいそうなんだけど
そういうことはないんだよね
URLﾘﾝｸ(ja.wikipedia.org)
398:１３２人目の素数さん
20/05/01 11:04:02.72 Su0GaBzN.net
>>385
Scholzeに言わせると、そもそもホッジ劇場の同型性がグダグダみたいね
Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set.
最初のものについて。モデル理論的な意味での「構造」は、まず、基礎となる集合を持っています。
I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters,
ホッジ劇場を取って、ホッジ劇場の同型でファンクショナルである面白い集合を作るのは難しいと思います。
the problem being the very lax notion of isomorphisms of Hodge theaters.
問題は，ホッジ劇場の同型性の概念が非常に緩いことです。
399:１３２人目の素数さん
20/05/01 11:08:55.70 9ujMyeQb.net
Taylor Dupuy、ヘブライ大学出身なのか。
あそこモデル理論で有名な人いるよね。
400:１３２人目の素数さん
20/05/01 11:44:33 Su0GaBzN.net
>>388
Hrshovskiでしょ？ Dupuyの先生だったらしいね
401:BLACKX ◆SvoRwjQrNc
20/05/01 11:52:37 8RyCvzwU.net
なんかK理論の関手思い付いた
いいことないかな
402:１３２人目の素数さん
20/05/01 12:39:16.50 FN/WQqb7.net
full poly-isomorphism定期
403:１３２人目の素数さん
20/05/01 12:45:50.23 xYfLcpyp.net
>>389
shelahも
404:１３２人目の素数さん
20/05/01 13:10:26 FN/WQqb7.net
Dupuyはいくつかの議論を"red herring"だと批判しているが、
これにショルツはどう返すかな
405:１３２人目の素数さん
20/05/01 16:24:40 9ujMyeQb.net
>>389
そうなんだ。IUTに関心持つのもわかる気はするな。
406:１３２人目の素数さん
20/05/01 16:28:49 Su0GaBzN.net
Taylor Dupuy @DupuyTaylor
4月30日
"Simply put: proving corollary 3.12 is harder (or impossible). Trust me, if I could either prove or disprove it I would tell you."
簡単に言えば、当然の結果として3.12を証明することは困難（または不可能）です。私を信じてください、もし私がそれを証明したり、反証したりできるなら、私はあなたに話します。
407:１３２人目の素数さん
20/05/01 16:36:48 eQjMgvN4.net
とらすとみーｗｗｗｗｗｗｗ
鳩山ｗｗｗｗ
408:１３２人目の素数さん
20/05/01 16:43:43 FN/WQqb7.net
>>395
これか
URLﾘﾝｸ(twitter.com)
やっぱりDupuyにとっても「Cor 3.12 = 望月予想」なのね
(deleted an unsolicited ad)
409:１３２人目の素数さん
20/05/01 16:57:22.62 QhOs4297.net
雑誌Newton、もはや科学雑誌の体をなしてないな
なんだこの最新号
410:１３２人目の素数さん
20/05/01 17:08:11 elv2S+9x.net
>>398
科学は哲学から生まれた
哲学は科学の父
411:１３２人目の素数さん
20/05/01 17:17:33 FN/WQqb7.net
>>399
それよりもこっちのほうが問題な気がする
素人向けだからって適当に書きすぎなんじゃないか？
>Topic
>数学の超難問
>「ABC予想」が証明された!
>【試し読み】
>「リーマン予想」の証明にもつながるかもしれない
>協力 小山信也
>執筆 山田久美
412:１３２人目の素数さん
20/05/01 17:48:10 D81Ko6GN.net
そもそも数学は科学ではない
413:１３２人目の素数さん
20/05/01 17:55:08 gd1HCnAd.net
K山氏はただでさえ業界の評判悪いのに
こんなの書いてたらいよいよ誰からも相手されなくなるぞ
414:１３２人目の素数さん
20/05/01 17:57:32 Eq2VULKy.net
評判は知らんがセルバーグゼータの本は読みやすかった
415:１３２人目の素数さん
20/05/01 18:31:25.44 Bd/0uAg1.net
雑誌ニュートンは俺が子供の頃は超面白かった記憶があるんだが
自分が成長したのか雑誌のレベルが下がったのか判別できない
416:BLACKX
20/05/01 18:32:44.18 UONLrguG.net
ニュートンは雑学書だから
417:１３２人目の素数さん
20/05/01 18:43:41.68 KxKqEAc1.net
NHKのニュースでこの話が出てきたときブンゲンさんが
「ノーベル賞何個分もの価値がある」と言っていて
しかしそれを聞いているアナウンサーの反応はイマイチだったと思う。
本当にノーベル賞何個分もの業績であればそりゃすごいし
世間はアインシュタインのときみたいに大騒ぎになるだろう
が、世界ではそんな雰囲気ではないのに、ちょっと
おかしいんじゃない？と思うひとは結構多いだろう。
418:１３２人目の素数さん
20/05/01 18:46:40.50 pGSCHAs9.net
一般向けだからこそ嘘の判別ができない一般人相手に嘘を書かないようにするべきだが、あっちも商売だからな
証明されたとPRIMSが認めた、くらいだと売れないのかもしれない
419:１３２人目の素数さん
20/05/01 18:51:14.67 elv2S+9x.net
>>407
別にIUTの記事の有無に関係無く売れてない
経営破綻して倒産したくらいだからな
通用していないよ
420:１３２人目の素数さん
20/05/01 19:04:18 KxKqEAc1.net
ニュートンはトンデモ誌に落ちたのか
冒頭の8割おじさんこと西浦氏からして
トンデモじゃんｗ
そっちはなぜか世間（マスコミ）の支持は集めてるが
識者からはおかしいと指摘されてる。
>架空シミュレーションで国民を脅す「青年将校」
421:１３２人目の素数さん
20/05/01 19:05:11 Su0GaBzN.net
∧と∨の件だけど、Scholzeからしたら
そもそも違う値を∧で結ぶのは単純に矛盾だ、
と思うよね
「比較的小さい誤差を認めることで、
本来一致するかどうか分からない整数を、
まるで一致するものかのように扱うことができる」
というMultiradial表示の考え方そのものが疑われてる
"Trust me"なんて信頼できない人から、いくらいわれたってねえ
422:１３２人目の素数さん
20/05/01 19:08:08 0/Nf7kiT.net
3つ質問させてください
?実際間違いだった場合ってどうっちゃうんですか？
?間違いである可能性はどのくらいあると思いますか
?数学史上今までもこのような例はあったのですか？（優秀な数学者が長大な新理論を発表、高弟たちにしか理解されない、というようなもの）
423:１３２人目の素数さん
20/05/01 19:10:18 ICw3AIMj.net
>>406
数学は実学から程遠いですからね
いくらトンでもない発見、証明ができたとしても、一般人から見たら「それでそれがなんのお役にたつの？」って話。
424:１３２人目の素数さん
20/05/01 19:15:54 RFgWtrIH.net
リーマン予想がもうすぐ解けると称して本を売りまくったり
abc予想が解けたと称して本を売りまくったり
あの大学の人脈はうさんくさくて困る
425:１３２人目の素数さん
20/05/01 19:17:19 Su0GaBzN.net
>>411
?についてのみ答えると、４色問題のケンプの証明の件が有名
論文が発表された１１年後に、ヒーウッドにより誤り指摘
ただケンプの証明は５色塗分けとしては有効
426:１３２人目の素数さん
20/05/01 19:21:40 Bd/0uAg1.net
数学
427:界はRIMSごとシカトムードだね。 これは別に世界の数学界からしたら何の影響もないだろうけど RIMSシカトしたら回らないであろう日本の数学界は事実上終焉だなこりゃ。
428:１３２人目の素数さん
20/05/01 20:02:14.63 Su0GaBzN.net
「間違え」という「間違い」
URLﾘﾝｸ(e-ivy.jp)
429:BLACKX
20/05/01 20:19:58.79 UONLrguG.net
>>411
1)正式に認められないので餅予想で出し直せとなる。そしてRIMSバク下げ
2)支持率は壊滅的だがその話をしてもしょうがないので単純に25%
430:１３２人目の素数さん
20/05/01 20:36:44.31 Aodju3Vx.net
3.12は自明なんか、予想なのか、間違いなのか、そろそろはっきりしてもいいんじゃないの。
431:１３２人目の素数さん
20/05/01 20:39:12.17 pGSCHAs9.net
もう予想で落ち着いてるけど
Dupuyもはっきり3.12は証明できないと明言してる
432:１３２人目の素数さん
20/05/01 20:45:51.62 y04jslRq.net
餅は「私の間違いでした」と言わない限り、
終わらないね。
とすると、永久に終わらない。
433:１３２人目の素数さん
20/05/01 20:58:52.78 PICv8cju.net
数学無関係な完全な素人なので、IUTの中身何も分かってないんだけど、
望月の書いたIUTへのいざないを読んだ時、
「…は存在しない!。が、仮に存在する!!と仮定しよう..」
の所に強烈な違和感を感じた。
ショルツの指摘って、つまるところその部分がおかしいっていってるの？
また、望月の上記推論と同じ構成をしている正しい初等的な証明があったら教えて下さい
434:１３２人目の素数さん
20/05/01 21:03:46 yQm2euul.net
>>420
ある意味、間違いでしたと言わずに、周りにシカトされながら、死ねまで言い張って過ごすのは大地獄やな
435:１３２人目の素数さん
20/05/01 21:18:09 Su0GaBzN.net
>>421
「いざない」のｐ５「突拍子もない（！）こと」のところじゃないかな
望月は「存在しないもの」を「存在する」とする
自分のトリックに絶大の自信があるみたいだけど、
Scholzeはそんなことは無理だと冷静に見ているね
436:１３２人目の素数さん
20/05/01 21:19:32 Aodju3Vx.net
今後、京大の数学のレベルの足を引っ張ることにならなきゃいいんだけどね。
それが心配よ。
437:１３２人目の素数さん
20/05/01 21:24:53 FN/WQqb7.net
>>424
まともな研究者になりたいと思う学生は京大を避けるようになるかもね
438:１３２人目の素数さん
20/05/01 21:29:11 PICv8cju.net
>>423
望月自身
「突拍子もない（！）こと」
って言ってるから怪しい感じはするんだが
何分書いてある数式がちんぷんかんぷんなんだ。
この推論の初等的な例示はあるのかな？
439:１３２人目の素数さん
20/05/01 21:35:02 Su0GaBzN.net
佐藤幹夫は佐藤超関数やＤ加群の理論を創始して弟子を育てたけど
望月新一はＩＵＴで自分だけでなく弟子の未来も潰したかもしれんね
440:１３２人目の素数さん
20/05/01 21:36:07 Aodju3Vx.net
日本の大学ってさ、昔の教授が唱えた説を後輩が否定できない風土がまだまだあるじゃん。
九州大学の邪馬台国九州説なんて、もう大変らしいよｗ
まあIUT説もそうならなければいいですね。
441:１３２人目の素数さん
20/05/01 21:40:52.90 TiGoQfo8.net
RIMSが覚悟持ってアクセプトしたのに門外漢が心配する奇妙な構図
442:１３２人目の素数さん
20/05/01 21:43:21.93 QhOs4297.net
>>429
ブログ見たらわかるけど「RIMSがおかしいのか京都がおかしいのか？」という疑問や、
なぜ日本の研究者はもっと発信しないのか、というふうに日本の研究に対するマイナスの影響がある。
小保方の問題は小保方個人や理研の問題ではないのと一緒。
443:１３２人目の素数さん
20/05/01 21:48:16.07 W9LTT8gP.net
願望だからw
444:１３２人目の素数さん
20/05/01 21:59:05.51 Aodju3Vx.net
まあ世間ではチンパンジーの不正のほうが、はるかに事件扱いで、
数学の
445:発見はほんと目立たないマイナージャンルって感じだな。 ノーベル賞が3つでも足りないのにｗ
446:１３２人目の素数さん
20/05/01 22:04:55.33 Su0GaBzN.net
>>429
覚悟してるのかな？
審査過程について「墓場まで持っていく」なんて腰が引けてるよね
447:１３２人目の素数さん
20/05/01 22:05:46.86 OYm9JQNc.net
もっちーかわいそう
なぜ、物理や化学にいかなかったのか？
数学にそんなたいそうな魅力があるのですか
と聞きたいが馬鹿を蔑む目で見られて自転車で去っていかれるんだろうな
448:１３２人目の素数さん
20/05/01 22:08:22.98 FN/WQqb7.net
>>433
所詮はその程度の覚悟
449:BLACKX ◆SvoRwjQrNc
20/05/01 22:25:53 UONLrguG.net
>>434
餅は重大な名言は残したからかわいそうじゃないのでは？
｢分からないのは君の理解が足りないから｣ by餅
450:１３２人目の素数さん
20/05/01 22:30:12.89 Eq2VULKy.net
小保方みたいにはスキャンダルにはならんだろうけど、未来の
数学史研究家には面白いだろうね。誰がどんな査読したとかも
記録に残ってて調べたい放題だろうからね
451:１３２人目の素数さん
20/05/01 22:30:53.20 Mx8ookP+.net
弱い証明とか強い証明とか言う人いなくなっちゃったね。
452:１３２人目の素数さん
20/05/01 22:32:59.71 pGSCHAs9.net
一番かわいそうなのは、
駄目だと気づいてSS呼んだのに喧嘩しだして顔に泥を塗られ、
挙げ句の果てに無理やりアクセプトで京大の面目も潰れてしまった森重文先生
453:１３２人目の素数さん
20/05/01 22:41:23.60 XEHJN4Ze.net
K先生もなかなかかわいそうだった
餅は自分の論文なのに記者会見いやだと？
ワイだっていやだっちゅーねん、てかようわかってないのに勘弁してーやみたいな
454:１３２人目の素数さん
20/05/01 22:49:46.85 FN/WQqb7.net
>>436
これからは試験の問題がわからなかったら学生はこう書けばいいのか
「自明である。分からないのは採点者の理解が足りないから。」
「余白が狭すぎる」並みのパワーワード来たな
455:１３２人目の素数さん
20/05/01 23:04:47 QRNSzzE6.net
>>138
だよね
モッチーが正しいかどうかは別として
ここの人らの批判も大概間違ってるんだろうなー
456:１３２人目の素数さん
20/05/01 23:10:54 pGSCHAs9.net
>>442
例えばどれがどのように誤ってるの？
457:１３２人目の素数さん
20/05/01 23:20:48 /fc3tMOt.net
>>ここの人らの批判も大概間違ってるんだろうなー
Blind men are pretending to know what they can not see
458:BLACKX ◆SvoRwjQrNc
20/05/01 23:26:01 UONLrguG.net
>>442
批判をする前の原因探しの時点で欠陥あって、数学者もネットの人間も理解が出来ないのが悪いと言われていて、
原因の追求をして批判のフェーズに入ることが全員できてないのだが。
459:１３２人目の素数さん
20/05/01 23:33:19 xtv1Rs7D.net
結局信者含め誰も3.12はフォローできてないのね。
なんだかズンドコベロンチョみたいな奇劇(喜劇？)だな笑
460:１３２人目の素数さん
20/05/01 23:34:37 pGSCHAs9.net
URLﾘﾝｸ(twitter.com)
圏論専門の数学者から、今度は望月が出した手紙で述べられている考えがおかしいと指摘されたな
そこに日本人と思われる諸法無我って人が「環は2-圏だと望月が説明している」と説明したが、環はどんな意味でも2-圏にならないと一蹴
どうすんのこれ
(deleted an unsolicited ad)
461:１３２人目の素数さん
20/05/01 23:36:54 xtv1Rs7D.net
ズンドコベロンチョ 鮫島事件 IUT
462:１３２人目の素数さん
20/05/01 23:40:34 Bd/0uAg1.net
>>425
権威失墜したところで日本最高峰なのは変わらんよ
まともな研究者になりたいなら国外という選択肢しかなくなった
463:１３２人目の素数さん
20/05/01 23:45:31 0/Nf7kiT.net
でも諸法無我って人が言ってるだけだからねぇってのはある
本当に動画内で餅が言ってるのかね？
URLﾘﾝｸ(i.imgur.com)
464:１３２人目の素数さん
20/05/01 23:47:04 Aodju3Vx.net
パイライフ理論
465:１３２人目の素数さん
20/05/01 23:48:27 OYm9JQNc.net
ぬこかわいい
466:１３２人目の素数さん
20/05/01 23:50:01 OYm9JQNc.net
昼の猫ってなんであんな陰険極まる目で睨み付けてくるんだろ
467:１３２人目の素数さん
20/05/01 23:55:49 /fc3tMOt.net
>>447
tweet内で引用されているもっちーの説明は明らかに正しい
これにdisagreeな奴は（例えばtwitterの輩）そいつが
代数スタックと代数空間の違いを本質的に分かっていない
以上
468:１３２人目の素数さん
20/05/02 00:03:36 gEY2m0S0.net
これ、数学を独学で勉強してたらなんかいろいろ勘違いしちゃったっていう流れに似てて、
あんまり笑えないレベルになってきてるような
469:１３２人目の素数さん
20/05/02 00:08:58.18 tIiqoMxP.net
このtwitter主の理解の間違い、あおりでもなんでもなく初学者レベルなんだよな...
470:１３２人目の素数さん
20/05/02 00:16:55.76 X73oCO0O.net
数学ってほんとこういう側面あるよね
ワイルズはカッツという一流数学者に見てもらわないとわかんないところがあって、
それでみてもらっても間違ってた
基礎論と圏論については門外漢だったMが、しょうもない取り巻きしかいなくて達成できるわけがない
471:１３２人目の素数さん
20/05/02 00:18:31.00 B9ZCYhVa.net
天網恢恢疎にして漏らさず
天の網が疎なところが逆に残酷だと思った一件でした…
472:１３２人目の素数さん
20/05/02 00:21:18.31 RXMtSRmi.net
俺はDupuyが言ってるのはあんま納得してないんだけど、
師匠が基礎論だったDupuyが証明できないって言ってるのってめちゃくちゃポイントだと思う。
473:１３２人目の素数さん
20/05/02 00:23:34.66 htQlK2b+.net
粛々と進めたまえ
474:１３２人目の素数さん
20/05/02 00:28:52.02 CZgiek2r.net
>>454,456
具体的にどう誤ってるのかを一番知りたいので、
説明してくれたらありがたいです
475:１３２人目の素数さん
20/05/02 01:07:17.28 tIiqoMxP.net
代数空間は代数スタックにふくまれる概念であるがスタックは本質的に異なる情報をもつ 例をあげる
Gを有限群 Sをbase scheme例えば一点spec体とする
GをSに自明に作用させるつまりGの任意の元はＳを動かさないとする
このときこの作用の商は代数空間での商としてはＳ自身
一方代数スタックでの商はＧの分類スタックBGと呼ばれるものとなり
G主束のモジュライとなる BGは2圏的情報をもつ 例として
商写像S--->BGを考えるとこの商社像は関手であらわされるけど
それをFと置くとF自身が自然変換による自己同型をもちそれがちょうどG分
ある これはこのような２射は代数空間ではあらわれないもんであり
このことがスタックと代数空間との違いを明瞭に表している
加えて言うとガロア圏はBGのようにふるまう
476:１３２人目の素数さん
20/05/02 01:28:00.68 RXMtSRmi.net
>>462
Twitter主が言ってるのって、代数空間と代数スタックは異なる情報を持つけど、
両方を対象にしている場合はおなじlanguageで扱えるってことでしょ（リプ参照）。
スタックと代数空間の区別は前提にしてある。
477:１３２人目の素数さん
20/05/02 01:33:01.63 6o1CrezC.net
これもとのツイートが短すぎてどういう点で不同意なのかよくわかんないんだよな
たぶん代数スタックと代数空間が望月が言ってるレベルでの差異をもたらすなら、
Stacks Projectはもっと混乱したかたちになってるんじゃないか、ってことだと思うんだが
478:１３２人目の素数さん
20/05/02 01:43:20.01 yttv9lL6.net
>>463
同じというか、ほとんどmuch同じ
おそらく@HigherGeometerが言ってるのは、
たしかに代数スタックと代数空間は違うけど多くの場合に差異は生じないから、
「代数スタックと代数空間は違う→この場合でも必ず差異がある」は正当化されない
だと思う
479:１３２人目の素数さん
20/05/02 01:45:39.69 yttv9lL6.net
もとの望月の説明をみればわかるが
480:、 望月はstacksとgeometryはちがうからdifferenceは当然に生じる、 っていう書き方になっていて、なぜこのケースでdifferenceが生じるのかは説明していない だが多くの場合に差異はないのだから、望月の推論に対してdisagree（つまり論証不十分）する根拠はある
481:１３２人目の素数さん
20/05/02 01:46:22.33 tIiqoMxP.net
今全文よみました
こういうことですね
基本的にはＢＧとその間の関手たちを扱いたいわけです
そうするとＢＧみたいなもののなす圏はＧに仮定をつけないと２圏になります
アナベロイドの理論は知らないけどＧがslimだとＢＧからＢＧの関手の
間にある自然変換すなわち内部自己同型由来のものはなくなって１圏に
なってしまうってすぐわかりますね
遠アーベル幾何ではそれが主人公になるから２圏までもちださずに
１圏で作業するっていうことですよｗ
482:１３２人目の素数さん
20/05/02 01:48:43.45 IfSRc6rd.net
もっちーはじぶんが自明だと思ったら論証を省く癖でもあるのかね。
それで全体がこけたように見えるんだが。
483:１３２人目の素数さん
20/05/02 01:50:09.20 6l+rlJTm.net
IUTで問題にしているのは一般化された環構造であって古典的なスキームそのものじゃない。それは出てこない
勿論SSはそれはわかってる
そのTwitterすら見てないから文脈わからんけど
484:１３２人目の素数さん
20/05/02 01:53:23.85 tIiqoMxP.net
単なる趣味の問題ですね 圏だけでできるのに２圏なんでださないと
いけないのという
多様体論の講義で学生がオービフォルドも一緒にあつかってほしい
とかいったらめっちゃめんどくさい奴ですね
２圏だしたいとか高次圏かぶれなんですよ
485:１３２人目の素数さん
20/05/02 01:54:45.40 6l+rlJTm.net
>>464
よくわからんけど、それならそれこそ遠アーベルに無知なアホは黙れってMに罵倒されるパターンじゃないの
まあ無数のスキーム宇宙なるものが物議を醸すのは確かなんだろうけど、その二つの比較だけで
切り捨てられるものでもない
486:１３２人目の素数さん
20/05/02 01:55:29.66 tIiqoMxP.net
それから君たち
数学自体をはなしたらどうだね
487:１３２人目の素数さん
20/05/02 01:57:28.40 zst4w8sg.net
>>471
遠アーベルで特殊事例が起こるなら説明責任はMにあるのでは？
とりあえずMは説明をしないという態度をあらためないとどうしようもない感じ。