18/12/29 00:24:52.03 qn91xDoq.net
前スレ一覧
ABC予想が解かれたかもしれんぞ！
URLﾘﾝｸ(uni.2ch.sc)
ABC予想が解かれたかもしれんぞ！ Part2
URLﾘﾝｸ(uni.2ch.sc)
ABC予想が解かれたかもしれんぞ！ Part3
URLﾘﾝｸ(uni.2ch.sc)
Inter-universal geometry と ABC予想
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 2
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 3
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 4
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 5
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 6
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 7
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 8
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 9
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 10
ｽﾚﾘﾝｸ(math板)
3:１３２人目の素数さん
18/12/29 00:25:20.54 qn91xDoq.net
>>2 の続き
Inter-universal geometry と ABC予想 11
URLﾘﾝｸ(wc2014.2ch.sc)
Inter-universal geometry と ABC予想 12
URLﾘﾝｸ(wc2014.2ch.sc)
Inter-universal geometry と ABC予想 13
URLﾘﾝｸ(wc2014.2ch.sc)
Inter-universal geometry と ABC予想 14
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 15
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 16
URLﾘﾝｸ(rio2016.2ch.sc)
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 17
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 18
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 19
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 20
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 21
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 22
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 23
URLﾘﾝｸ(rio2016.2ch.sc)
4:１３２人目の素数さん
18/12/29 00:29:39.90 qn91xDoq.net
>>3 の続き
Inter-universal geometry と ABC予想 24
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 25
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 26
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 27
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 28
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 29
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 30
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 31
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 32
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 33
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 34
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 35
URLﾘﾝｸ(rio2016.2ch.sc)
5:１３２人目の素数さん
18/12/29 01:26:54.20 cs4bZhbW.net
>>1
乙
6:１３２人目の素数さん
18/12/29 01:38:11.25 D0NWHHOb.net
削除依頼を出しました
7:１３２人目の素数さん
18/12/29 01:47:54.41 vDORX6tb.net
前スレで昨日読んだって言ってる人、マジで理解してるように見えんのだが
JS-PS論文の見方をかなり適当になぞっているだけじゃん。Remark9が何だとか、可換にしたいとか謎
あと、realified Frobの言い換えが見事とか謎。あんなん本論文見たら普通に読める話なんだが。いやホントに
正直あのやり方でわざわざ他人を貶す人とは一切関わりたくないから別にいいが、
自分も読んだ体にして他人を貶したかっただけとしか思えないのが不可解だ
まあ、このスレの人間は望月氏をただの無能扱いしたくて仕方ない傾向にあるから
叩いてたほうが楽なんだよな
8:１３２人目の素数さん
18/12/29 01:50:01.39 vDORX6tb.net
望月理論は普通の数学として読めるのだ、と言ってるけど、むしろ自分は散々そう書いてきた
レポートが出る前からね
でも一部飛躍があり、それを認めないで読んでいくとショルツみたいなすっきりした話になるわけね
9:１３２人目の素数さん
18/12/29 02:01:23.11 OeNRSAqK.net
こういうことですかね？
IUT論文の議論を単純化するとSSの構造物ができる。それはエッシャーの階段的矛盾が起こる。
矛盾が起きることは、日独両側が認めてる。
問題は、SSは単純化を行なったものの、
本来のIUTに矛盾が無ければSS構造物にも矛盾は起こらないはずのもの。そこに矛盾があるということは元にも矛盾があると主張。
一方で京都サイドは、元IUTには矛盾はないと主張。
京都サイドからしたら、単純化構造物に矛盾があるなら元にも矛盾があることを証明せよ、できなけりゃ準備不足だと。
ドイツサイドからしたら、元々の論文がミス連発の解釈無限大の代物に、そんなこと丁寧に証明できるか、京都の仕事だ
ってこと？
10:１３２人目の素数さん
18/12/29 02:23:12.75 vDORX6tb.net
>>9
ていうか、確実に数学的に拾える所を拾って議論を再構成したらSSみたいになる
本来のIUTは好意的に見てももうちょい怪しい話をしてるってこと。飛び道具みたいな
昨日の人が出てきても基本その辺は変わらんよ
で、アイデアのある部分は最近の数学の進展にも関係していて、全くの見当違いじゃないだろうって感じ
そこはショルツも把握してる可能性はあるが、IUTそのものに対してはドライに切り捨てたってこと
仮想査読としてはドイツが正しいだろう
11:１３２人目の素数さん
18/12/29 02:29:30.94 vDORX6tb.net
その怪しい話が圏論についての誤解や無理解によるのではないかと言う点だが、
そんなに単純じゃない。問題は、怪しい部分をちゃんとメイクセンスできてないって事ね
数学的にちゃんと整理できない怪しい話をしたからblurringと感じたんじゃないかな
昨日読んだって人は多分、FrobenioidとAnabelioidがいわゆる怪しい議論に利用されている文脈が
よくわかってない
IUTは20年くらい先の数学を先取りしようとしたが、十分整備できなかったという印象。これは偏見だがね
12:１３２人目の素数さん
18/12/29 03:14:18.34 kVTR+V20.net
このスレは「すうがく」のスレではありません
「だれがすきか、きらいか」「なにがすきか、きらいか」をいっしょにかんがえるスレッドです
あたまをつかうひつようはないので、しょしんしゃだいかんげいです！
13:１３２人目の素数さん
18/12/29 03:48:40.73 0j7OPiXP.net
論文読む前にスレを読めるようになれよ
14:１３２人目の素数さん
18/12/29 07:17:27.33 ptiB8xg/.net
前スレ№847の“switching property(SW)”なども（望月反論第８節参照）、
望月からすれば適切な（範囲での）不定性を徹底的に利用しようとしたものなんだよね
再初期化やある種の数学的構造を「忘れる」ことを操作して、そこから得られた対称性を利用しようとする
だけど、多くの数学者（？）やおそらくS・Sにとってこの「適切な（範囲での）不定性」の使用は、
単に不定性の濫用にしか見えない
この不定性の利用をS・Sのように復元の段階から切って捨てられると、もうS・Sレポートの結論のようにしかならない
望月が怒り狂うのも分かるけど、他の数学者たちにも納得できるように説明できなければ思い付きだけのデタラメとして
切り捨てられるだけだよ
まあ、数学界に広く受け入れられたいのなら何とかする努力を惜しんではいけないね
師匠であるファルティングスが初期から指摘していたようにね
15:１３２人目の素数さん
18/12/29 07:21:22.86 ptiB8xg/.net
>>1 乙です
16:１３２人目の素数さん
18/12/29 07:40:10.92 ptiB8xg/.net
前スレでも、或いは以前に何度も書いたが
IUTTというのは変形理論を多く組み合わせ徹底的に変形した一般変態性理論、
超絶ゲテモノ幾何学かな（笑）
17:１３２人目の素数さん
18/12/29 08:08:54.41 PJs9xeRZ.net
sage body
2013年に出版された黒川信重と小島寛之の『２１世紀の新しい数学』という対談本で、
多項式の場合のABC予想の解き方は
a+b=cとそれを微分したa'+b'=c'とで
その二つの条件式によって色々な帰結が出てきて
ABC予想を証明出来るが、整数版を解くのにこれと同じ方針に沿って解こうとするのは自然で、
その場合、整数は微分できないので、望月は整数の微分を作るというより、同じ効果が出る状態のものを
作って、迂回路を作ってクリアしているはずだという様な事を書いているけど（p128）
IUTがその必要に基づいて色々なものを組み込まざるを得なかったということはないの？
もしそうだとすると、ちゃんとした基準に基づいているという事にはならないの？
18:１３２人目の素数さん
18/12/29 08:11:50.25 PJs9xeRZ.net
sage body は無し
なんじゃこりゃ
19:１３２人目の素数さん
18/12/29 09:18:07.89 dAnabccJ.net
>>9
ショルツの指摘に反駁するのはＭの仕事だろ
できなきゃ数学界では認められない 当り前のこと
20:１３２人目の素数さん
18/12/29 09:59:04.53 L0A/g+l3.net
>>7
嘘つきはおまえだろ。
俺もJS-PSレポートは半分くらい読んでいるが、あのコメントで特に�
21:ﾔ違ったところはなかった。 realified Frobの書き換えが示されているのはJS-PSのほうであって、 IUTTの本論文にあの変形はない。 あるというなら本論文の具体的な箇所を示してみ。 あと>>11も大嘘で、会談でblurringを使えばJS-PS側の指摘を無効化できる と言ったのは望月自身。だから””で発言（引用符）としてくくってあるわけ。 英語も読めてないのにどうやってレポートを理解したんだ。
22:１３２人目の素数さん
18/12/29 10:32:09.95 vDORX6tb.net
>>20
俺も、って本人丸出しじゃん
もうそういう人間なんだなあとしか思わんよw
23:１３２人目の素数さん
18/12/29 10:35:27.45 vDORX6tb.net
あーよくわかったわ
例の人間があれを書いたのね。否定するだろうけど、大体わかった
構造の意味をちゃんと捉えて読んでないのもわかった
下らないことで張り合う人だねー。興味ないよあんたには
24:１３２人目の素数さん
18/12/29 10:38:52.89 vDORX6tb.net
大体本論文から構造を読み取れるから言い換えできるってのがわからないのか？順序が逆だよ
何の計算をしてると思ってるんだよw
気持ち悪いんで無視するよ
25:１３２人目の素数さん
18/12/29 10:57:10.74 L0A/g+l3.net
ほら出せないじゃないかｗ
読んだ読んだと言っているが具体的な箇所をこいつが指定したことはないんだよ。
26:１３２人目の素数さん
18/12/29 11:01:23.43 L0A/g+l3.net
IUTTとJS-PSレポートの相違点をJS-PSより先に気づいてたなんて寝言は寝てから言えよ。
そんなのは論文を出す以外には証明されええないんだからな。
27:１３２人目の素数さん
18/12/29 11:07:38.09 vDORX6tb.net
>>17
フロベニウス持ち上げの微分に対応するのが例のテータ格子。だからそれが怪しいと駄目になる
Frobenioidの第一の動機付けがそれ
28:１３２人目の素数さん
18/12/29 11:23:39.29 PJs9xeRZ.net
>>26
どうも、俺ちょっと前に書いてた素人です、厄介になります
前よりも哲学的な事言っちゃってすいませんが……
望月サイドの恐らく少なくとも５人くらいは、それでABC予想を、
ちゃんと手を動かして計算して解いているわけですよね？
だとすると、怪しいとか分からないという意識状態にはないと思うんですよ
もし、分からなかったら手が止まってしまうはずですから
もし、IUTが間違っていたなら、最後まで計算できるというのが不思議に感じます
29:１３２人目の素数さん
18/12/29 11:59:28.34 vDORX6tb.net
>>27
それは要するに、怪しいと言われる部分を正しいとしたら計算できてしまうということじゃないんですかね
計算したいのは対数殻というちゃんとした対象に関わるので、そんなには不思議なことじゃないです
実際ディオファントス幾何学で計算する代数幾何学的な量があって、積分というのも代数幾何学の言葉に
置き換えられている
ここにはアンチが多過ぎて怖くて言いにくいですが、一部を除きやってることは結構はっきりしている
で、怪しいとされる部分を受け入れたら経路はできるわけです。単純な重み平均計算と不等式の問題だから
30:１３２人目の素数さん
18/12/29 12:02:35.91 X1r7XDeE.net
（´-`）.｡oO（計算間違いには間違いの意識が必要だとかいうトンデモはやめましょう・・・
31:１３２人目の素数さん
18/12/29 12:10:46.40 PJs9xeRZ.net
>>28
すっきりしましたｗ
二つ疑問が湧いてきてこんなに早めに済んだ
ありがとう
32:１３２人目の素数さん
18/12/29 12:12:48.33 X1r7XDeE.net
（´-`）.｡oO（論文を書き終えてそれでも単なる計算間違いがある、
というのは数学の世界ではよくあることです。
何年もやってるのだから計算間違いではなくて仮定を受け入れているだけ、
というのは尤もらしい考えではありません。
33:１３２人目の素数さん
18/12/29 12:50:22.18
34: ID:PJs9xeRZ.net
35:１３２人目の素数さん
18/12/29 18:37:42.64 /dcO7r3e.net
化学生物あたりでもっともらしく統計分析している奴らもなんでガウス分布があの式かはわかってないってのと同じってことか
36:１３２人目の素数さん
18/12/29 19:15:42.72 VCti4sqq.net
うーんw
37:１３２人目の素数さん
18/12/29 22:11:04.40 Uwc5LCnY.net
もうやめろ
周りにもすごい迷惑だ
完全に認めようよ
証明の正しさを
38:１３２人目の素数さん
18/12/29 22:33:59.14 9BvEZVTK.net
しんでいいよ
39:１３２人目の素数さん
18/12/29 22:37:44.97 tQGhjXp3.net
ここまでくると>>35が懐疑派の自演に思えてしまうな
40:１３２人目の素数さん
18/12/29 22:42:03.65 34aRsjZV.net
年がら年中エイプリルフールの擁護派
41:１３２人目の素数さん
18/12/30 08:28:22.85 hYXTWq82.net
>>37
前から関係者装って進展があったとか誰某も証明に納得したとか書いて消える奴いるけど
絶対面白がってやってるだけのアンチ（って書くと突っ込まれそうだけど、要するにIUTのことなんか信じてない人）だと思う
42:１３２人目の素数さん
18/12/30 10:17:24.91 bqNN54Pp.net
もう間違ってると明らかなものに対してアンチも擁護もないと思うんだがなあ。
43:１３２人目の素数さん
18/12/30 12:55:19.46 pcnL0BJB.net
間違ってるのが明らかと切って捨てればいいほど単純な問題じゃないと何回も書かれてるだろ
逆に言ったらとっくに議論終了して消えてるはずだよな
事実はそうなってない
でなってないから組織不正だの言い出すアホが現れる
頭が悪過ぎてどうなってんの？のレベルだよ
44:１３２人目の素数さん
18/12/30 13:20:02.38 Fgu/mMxZ.net
今のところ切って捨てていいよ
正しければそれでも浮かび上がってくるから
45:１３２人目の素数さん
18/12/30 13:27:04.35 C56MHOzh.net
というか議論終了してないのは野次馬のここだけだろ。
46:１３２人目の素数さん
18/12/30 13:41:47.48 T+EbOKbc.net
まあ、俺もそうだが、親切な人も物理屋さんも昨日、一昨日のカキコの人の件で賢者モードに入っているみたいだな（笑）
最近ちょっと気になって幾何学的群論関係を読んでいるんだけど、抽象的な位相群から同型物を取ることもそうだけど、
大きなスケールの幾何学から幾何学的不変量を導く際には有限生成群間の差異がぼかされたり、いろいろ単純に
割り切れない所もあるよ
でも、俺はS・Sを離れて自分の頭で判断しようとしている親切な人（もう親切ではなくなってきているがｗ）の意見は尊重している
IUTTはこのスレ以外ではほとんど無視されているのだから、ここで熱く語ってもクールに語ってもいいのじゃないかな？
どうせ外野の野次馬しかいないのだし（笑）
47:１３２人目の素数さん
18/12/30 15:38:25.49 czhvy/sR.net
>>42
論文は一旦取り下げ、諦めるのはまだ早いから身内で出直せばよい、
出来たら再投稿、というのが普通だろうな
48:１３２人目の素数さん
18/12/30 18:22:23.96 zoNYhy19.net
あ奴らは洗脳されてて普通ではない
49:１３２人目の素数さん
18/12/30 20:33:15.72 peK5vM96.net
>>39
お前もおかしい。信じるってなんやねん。
50:１３２人目の素数さん
18/12/30 20:47:06.99 T+EbOKbc.net
実のところ望月‐S・S論争というのは、俺の知る限りでは数論、代数幾何の専門家の間でも、
厳密な意味でどちらの主張が正しいかというより、望月側のタイムアウトでの負け、という感じなんだよね
つまり、3.12問題はショルツが昨年末に指摘する前から一部では出ていた
それに対して望月は一向に3.12を納得できるように書き換えをすることをしなかった（できなかった？、する必要がなかった？）
そして、9月にS・Sレポートが皮肉にも望月のHPでアップされて、これは非常に明快なものだった
それに対する望月反論レポート及びコメントは晦渋かつ侮蔑に溢れたものだった
要するに万が一（言いかえれば、神の視点から見て）、IUTTが正しいのだとしても普通の数学者が納得できるものではない
数論幾何の専門家が公けでこの論争の詳細なコメントを発表せず、
圏論の専門家のロバーツだけが公けに詳細なコメントを書いた
つまり、数論界隈の人はIUTTをもはやまともに相手にする気はない、ということだよ
オックスフォード・セミナーの件もあるからね
51:１３２人目の素数さん
18/12/30 20:49:05.25 hYXTWq82.net
>>47
ごめんごめん
信者じゃなくて「理解した」人だったね
52:１３２人目の素数さん
18/12/30 20:57:00.97 T+EbOKbc.net
この辺がKimなどが危惧している点で、これでIUTTは終わってしまうのではないか、できればこれをきっかけに
議論を深めてほしいと思っているわけだ
ケドラヤも、S・SがIUTTが上手くいかなくなるような主張（だけ）をしているので、もっと微細な所を見るべきではないか、
と言っている（両者ともクオンタ誌より）
ここで俺が勝手に名付けている親切な人もケドラヤのような視点から見ようとしているわけだ（決めつけてすまないが）
まあ、好意的に言っても、望月に人並みのコミュニケーション能力があればなぁ、とは思う
ブログで「自分は特異性の高い人間」みたいなことを平気で書いちゃうような人だから・・・
53:１３２人目の素数さん
18/12/30 21:11:59.89 T+EbOKbc.net
「（できなかった？、する必要がなかった？）」と書いたけど、
前スレで望月反論レポートから引用した通り（前スレ№838）、望月としては
修正する必要はないし、修正したところで
“it is by no means clear that the essential content of IUTch is valid for such a modified version”
なんて考えているわけだから。望月は絶対に妥協しない、数論界隈を離れて「単解」的な道を行く、ということだよ（笑）
54:１３２人目の素数さん
18/12/30 23:08:11.04 UVAsLqWn.net
レポート読んでる感じだと望月は説明しなかったんじゃなくて、
かなりいろいろ言ったけどショルツたちが納得しなかったようなんだけど。
55:１３２人目の素数さん
18/12/30 23:09:09.07 UVAsLqWn.net
あとその解釈だと今も論文直しまくってるのと整合性がないし、
望月が頓着しない性格だってのは嘘だと思うね。
56:１３２人目の素数さん
18/12/30 23:48:25.88 T+EbOKbc.net
相変わらずだなぁ（笑）
S・Sレポートしか読んでいないから何も分かっていないんだよ（かと言って俺が全て理解しているわけではないがｗ）
望月が説明しているのは当たり前でしょ。望月反論レポートの前半に、最初に4人で2時間かけてランチを取りｗ、
その後5～6時間にわたって議論したと書いてある。主に望月がホワイトボードに何色ものマーカーを使って図を書いてまで
説明している。それでもS・S、特にショルツは納得しなかった
あと、主論文は発表当初から本質的な修正はない。ディミトロフが初期に指摘したⅣの1.10の修正があるが、
これは本質的なものではない。その他はほとんどタイプミスや言い換えぐらいの修正だよ
むしろ、望月反論レポートの方が一昨日も追加されている。今回の論争に関して彼なりの説明が必要だからだろう
あなたは自分と見解が違う相手に対してすぐ「嘘」という傾向があるのかね？
IUTTについて語りたいというより、ここで不毛なレスバトルをしたいだけにしか見えないが？
そういう人には相応しいスレが2つほどあるだろう？
もういいから、巣に帰りなさい
57:１３２人目の素数さん
18/12/30 23:54:20.20 J1ehLNHk.net
>>48
(できなかった？する必要がなかった？）なんて書いているけど、
事実上の査読者であるショルツたちが論証に疑問を持っているんだから
「する必要がなかった」などという望月に肩を持つような見解など無用だよ。
論文以上の詳しい証明がないのは確かなんだからそんな回答などありえないし。
望月は「正しい証明を示すことができなかった」この一択に決まってるだろうがｗ
望月が証明に成功したなどというのは今やアティヤがリーマン予想を証明したのと同じレベルの話
58:１３２人目の素数さん
18/12/31 05:18:39.74 8s2/U9Lu.net
京都大学
第2期中期目標期間評価の結果
URLﾘﾝｸ(www.kyoto-u.ac.jp)
第2期中期目標期間(平成22～平成27
事業年度)に係る事業評価の結果
1 本学作成の報告書等
学部 研究科等の研究に関する現況調査表
数理解析研究所
資料 2. 発表論文数
所員の発表論文数
査読付き論文のみ
事例4「数論幾何の研究」
>望月新一に よる「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想の 解決は、特筆 すべき出来事である。
>当該論文は現在査読中であるが、
>望月新一が同理論の概要を解説した業績
番号1― (2)(2014)が、講究録別冊として
刊行されている。
2 評価結果等
学部 研究科等の研究に関する現況分析結果
数理解析研究所
> 2.注目すべき質の向上
○「数論幾何の研究」の「宇宙際タイヒ
ミューラー理論」の構築とその結果として
のABC 予想に関する論文は、国内外の
主要メディアで取り上げられてい る。
59:１３２人目の素数さん
18/12/31 06:49:18.98 iO7pQvCI.net
>>49
まあ外野は判断を焦る必要はないんですよね
このまま行けば厳しいのは間違いないにしても、しつこいようだが戦略的に的を射ている部分がある
現段階では一番怪しいのは、宇宙際幾何学というパッケージングだと思ってます
絶対遠アーベル幾何学を使えば抽象群と数体のスキームのデータ一式のの全体的な対応が言えるところまでは
正しいと思います
抽象的な圏を使って環スキームを挟み込むという考え方も、それ自体はありえなくはない
しかし、それらをまとめるパッケージングで、つまり戦略の半分くらいで間違ったのかなという気がする
間違っていても結構惜しいのは間違いない。ただ、いくつか論理式のステップが足りないというよりは
まとめ方の問題だろうと
60:１３２人目の素数さん
18/12/31 09:54:20.30 pHXyK675.net
ID:T+EbOKbcおよび同一人物と思しきレスを読み直しても、
望月とショルツたちの議論を理解してる俺ってすごい
ってことが言いたいことのメインみたいでやっぱガロアスレと似たタイプなのでは。
理解してるようにも見えないけど。
61:１３２人目の素数さん
18/12/31 10:37:32.91 GCq+YrP6.net
>>54
外野から突っ込むけど
「嘘」ってのは数学者特有の用語で単に「間違い」という意味だよ
別に嘘つきというニュアンスを含んでる訳ではない
知ってたらごめんね
62:１３２人目の素数さん
18/12/31 10:44:37.90 2gmMAS5R.net
>>58
別にそれでもいいんだけどさ、今までｽﾚに現れた人物で一番理解しているのは
前スレの>>947さんじゃないかな。
彼が言うには、望月は要するに数学界隈ならよくある誤りをしただけのことで、
別に彼の数学はオカルトでもないし哲学的な含蓄があるわけでもない、っていいきってたね。その後消えたけど。
思うに望月論文については、
未来からの天才による超人的論文⇒ようやく周辺から理解者が現れた画期的論文
⇒理解者も理解していない謎の論文⇒ショルツに疑問を提示されて価値の揺らぐ論文
⇒間違いかもしれないけど修正次第では生き残る可能性のあるアイデアに富んだ論文
⇒間違いだろうけどアイデアや哲学に見るべきものがある論文
⇒普通の数学であり、しかもよくある間違いをしでかした論文
という風に認識が進んできている感じがする
63:１３２人目の素数さん
18/12/31 11:20:21.66 aoxvDKGd.net
>「嘘」ってのは数学者特有の用語で単に「間違い」という意味だよ
ほんとなの？ 日本語圏だけの話？
英語圏でも、It's false. とか、That theory is simply false. と同じ意味で、
It's a lie. とか、The theory is simply a lie. とか言ったりするもんなの？
64:１３２人目の素数さん
18/12/31 11:44:17.85 iLdBg3mL.net
>>61
言わないよ。falseとlieは天と地ほど格差がある語彙だ
65:１３２人目の素数さん
18/12/31 11:51:44.07 pHXyK675.net
>>61
日本語圏ではたしかにあるね。
「この論文には嘘がある」＝「この論文には間違いがある」になる。
英語だと故意であることが前提になるからlieとは互換性がないと思うけど。
66:１３２人目の素数さん
18/12/31 12:01:39.21 aoxvDKGd.net
>「この論文には嘘がある」＝「この論文には間違いがある」になる。
すごい衝撃。goo引いたら、確かに
「１ 事実でないこと。また、人をだますために言う、事実とは違う言葉。」
とあり、「事実ではないこと」がまっさきに来てる。
気をつけないと「嘘つき」を婉曲にかばう文脈にうまく使えそうだから
日本のサイエンスライターさんたちにはこの点ではすごく慎重に記事を起こしてもらいたい
とか思ってしまった。
67:１３２人目の素数さん
18/12/31 12:07:58.43 c53Vy/NY.net
西洋数学でないものは正しい数学ではないと洗脳されているアホばかりだな・・
68:１３２人目の素数さん
18/12/31 12:11:46.97 pHXyK675.net
>>60
アイデアがなんなのか誰も言わないからね。
アイデアがほんとにあるならそれだけ抜いて書けば、
サーストン予想みたいに普通に論文になるはず。
69:１３２人目の素数さん
18/12/31 15:24:24.19 i//nErFM.net
もう、「外野の外野」には何を言われても完全に無視することにするよ。アホらしい、クズすぎる（笑）
>>57
>>49氏宛てになっていますが、俺(>>48)にも関係していることだから書いておきます
前にも何度も書いたけど、最終節の「IU形式主義と種の言語」を整備して
冒頭に持ってきたらもっとすっきりしたもの（説得力のあるもの）にはなると思う。但し、それが正しいかどうかという所が問題で、
mutation、observable(s)などの概念を使って不定性を利用して、>>14で書いた“switching property(SW)”などを
使いたいのだろうけど、こういう不定性の徹底利用が数学的に妥当なのかというね
現時点では充満多重同型の段階で、S・Sやロバーツらの言うように普通に圏論的に引っ掛かっちゃうわけだ
70:１３２人目の素数さん
18/12/31 22:32:14.48 jfNleUVx.net
数学板のコテを集めてランク付けしようぜwwwww
ｽﾚﾘﾝｸ(math板)
71:１３２人目の素数さん
19/01/01 00:30:37.42 5HVK0AGv
72:.net
73:１３２人目の素数さん
19/01/01 05:12:39.81 fr+Mgf/L.net
ブログ更新来るか？
74:１３２人目の素数さん
19/01/01 08:23:52.58 Xmp3ivHU.net
旧年まで
間違ってすらいないオカルトIUT
今年から
普通に間違った数学を目指すらしいIUT
役立たず は 不変 です
75:１３２人目の素数さん
19/01/01 08:56:14.64 7SZJTviy.net
以上新年にあたり、片言ガイジが年頭所感をお送りしました。
76:１３２人目の素数さん
19/01/01 09:00:52.93 Xmp3ivHU.net
役立たずuselessはPS JSレポートにも
ありました。
77:１３２人目の素数さん
19/01/01 11:42:56.06 fwUeCK3s.net
マンコヒヒ親衛隊
78:１３２人目の素数さん
19/01/01 12:22:52.69 B707ShL7.net
PS JSレポート
>We voiced these concerns in this form
at the end of the fourth day of discussions.
On the fifth and final day, Mochizuki tried to
explain to us why this is not a problem after all.
in particular, he claimed that up to the “blurring”
given by certain indeterminacies the diagram
does commute;
it seems to us that this statement means that
the blurring must be by a factor of at least O(l2)
rendering the inequality thus obtained useless.
79:１３２人目の素数さん
19/01/01 15:21:40.42 ZtgVPNfD.net
敗北宣言&総辞職マダー？
80:１３２人目の素数さん
19/01/01 18:40:59.69 yXiH1o5w.net
総辞職って内閣が？そんなアホな
81:１３２人目の素数さん
19/01/01 20:36:15.09 afrBHSBK.net
ここアホの巣窟だから妄言だらけだよ
しつこく謝罪させたがってるやつもいるしw
82:１３２人目の素数さん
19/01/01 20:40:55.28 ksQVTq2F.net
「 現代数学の系譜 工学物理雑談 古典ガロア理論も読む」スレとは
数学的な内容もスレ住人のレベルもはるかに違うはずなのに
なんとなく全体が似た流れになるのはなぜなんだろう
83:１３２人目の素数さん
19/01/01 20:42:52.29 SQ1veRvL.net
>>79
レベル違うって言っても、あっちは数式ちゃんと出してちゃんと論破してるが、
こっちは意味不明なことを繰り返し書いていていつまでも数学の話になってないように見える。
果たしてこちらのほうが高いのだろうか？
84:１３２人目の素数さん
19/01/01 20:52:04.08 0t6lS8rP.net
プロパガンダ乙
85:１３２人目の素数さん
19/01/01 22:21:55.73 E5k9Jept.net
片言ガイジとjinの所為だろ
奴らが居なけりゃもっとマシなスレになる
86:１３２人目の素数さん
19/01/01 22:32:11.47 YxvxbjIL.net
年末にSSレポートを読んでおバカなカキコしてたヤツってjinだろうな
否定派を装って煽ってただけだよ
あの頭の悪さはjin以外考えられん
jinでなければjin並みのバカだｗ
87:１３２人目の素数さん
19/01/01 22:53:00.40 QqIgf9pe.net
＞＞あっちは数式ちゃんと出してちゃんと論破してるが、
書き込みでレベルが知れるｗ
88:１３２人目の素数さん
19/01/01 23:30:23.73 SQ1veRvL.net
このスレは自称ショルツよりも数学が見渡せてるやつが連続で書き込んでるだけで、
それ以外はIUTT自体には関心なくてこの後始末どうすんのよって話しかしてなくね？
89:１３２人目の素数さん
19/01/01 23:45:14.46 IUotgsAK.net
年始ぐらいは休んでほしいね。
ただひと頃ののIT基幹系の陰りも久しい。ソフトもほとんどは韓国系に牛耳られてる。淋しいけど。袋小路に狭視悲観するんでなくもっと大きな視点で状況見たい。
FBやGoogleやTwitterでも十数年前、団塊世代の技術者たちかな、ほとんどベース持ってて実行提案しても、個人情報どうのこうのプライバシーがどうだでまさか日本周囲でつぶされたって聞く。
90:１３２人目の素数さん
19/01/01 23:47:08.11 YxvxbjIL.net
スレの流ればかり気にしているところなんかjinそっくりだなｗ
SSも望月もレポートではあまり数式を出していない
圏論的な処理が問題になっているからだ
それが分かっていないから頓珍漢な事しか言えない
スレの流ればかり気にしてないでちゃんと数学と英語の勉強をしろよｗｗｗ
91:１３２人目の素数さん
19/01/02 00:07:47.24 rfSh9/Lt.net
>>87
なんで毎回毎回こういう嘘を書くのか分からんがSSレポートで圏論の処理が問題になってるのは
基本的に最後だけだよ。
なんか計算ミスだという事実を指摘されると困ることでもあるのか？
92:１３２人目の素数さん
19/01/02 00:21:03.34 /PNjYtLF.net
>>88
計算ミスって何の計算のミスをしているの？
君はIUTでどういう計算がどういうやり方でなされているか本当に分かってるの？
具体的に書いてごらん
ついでにSSレポートのその箇所を教えてよ
93:１３２人目の素数さん
19/01/02 00:50:48.02 jXLJMTxS.net
クソ偉そうにわかったふりしてるならなんで検証できないの
94:１３２人目の素数さん
19/01/02 00:55:14.40 MCkkx0L7.net
Kimの反論検証はどうなったんだよ
95:１３２人目の素数さん
19/01/02 01:33:44.79 xTAkDSQx.net
不利な情報は隠蔽します
96:１３２人目の素数さん
19/01/02 02:04:16.42 /PNjYtLF.net
計算ミスで済む話ならSSが序文で
“a problem so severe that in our opinion small modifications will not rescue the proof strategy.”
と書いたりしないし、クオンタ誌でショルツが
“I didn’t really see a key idea that would get us closer to the proof of the abc conjecture.”
と語ったりしないわけ。言ってる意味分かる？
年末にSSレポートを読んだ人に対して他の人が「望月に失礼だ」みたいなことを書いてたけど、
俺に言わせれば、SSがこういう解釈を聞いたら目が点になるだろうねｗ
要するに君は、君（？）が言うところのどこぞのスレ主と同じなんだよ
フェセンコ並みのブーメランだったなｗ
97:１３２人目の素数さん
19/01/02 05:40:27.79 ZWPoPkqh.net
>>87
大まかにはその通りなんだが、それだけではないようだ
ところで、別件で数論幾何の人なら誰もが知っているであろう某50代の白人とやり取りしたんだが、
何がIUTの致命的な問題なのかについて大体意見が合致したんだが、このスレに十分書かれてない点が
一番の問題として挙がったのが面白かった
具体的には書かないが、ある意味でHA理論の一般化に際して必要な、全く基本的な情報が抜けているということ
これはPS-JSが遠アーベル幾何学について指摘した点にも関連がある
その人はディオファントス幾何学者じゃないが、自分が今展開している理論を使えばその穴は
多分埋められるが、最早そこでは望月の方法は不可欠ではないはずだ、ということだった
非常に面白かった
98:１３２人目の素数さん
19/01/02 05:52:06.41 ZWPoPkqh.net
あとHA理論ではなくて、数論幾何学で有名な別の理論を使った方がシンプルに解けるだろう、という話も出た
とにかく、解決に必要な情報が出揃っていないと見なしていた
彼が若手だったら多分こんな話はしてくれなかっただろうな
フィールズ賞受賞者ではないが一定の名声があるから奔放な話ができた
99:１３２人目の素数さん
19/01/02 06:46:14.14 dUeW/j09.net
なんだ、こいつ、50代のじじい白人とか持ち出せば権威になるとでも思ってるのかｗｗ
どんだけ低能かよ
外人様はほぼABC解決でちゅよーってか
100:１３２人目の素数さん
19/01/02 07:10:39.17 ZWPoPkqh.net
面白い反応だな。その人にしかできない類いの話があって、50代で白人なのはたまたまなのに、
それをまず重視するのか。望月ファンの人かどうか知らんが、俺はポジショニングトークには全く興味がない
あと、ショルツやStixが押さえてないような話をお前がわかるわけないって決めつけだが、
数学にはたくさん重要な理論やアイデアがあるから、一人でそれを全部押さえて出力するのは無理ってことだ
そして、重要なアイデアを若手が持ってても、フィールズ賞向きの結果を出さないとあれは貰えない
5chにありがちな「どうせこんなとこにいる時点でお前なんか」理論はよく見るから別に構わないんだが
そういう見方をしてると全てが矮小化されて損をするよな
101:１３２人目の素数さん
19/01/02 07:33:52.27 7S0sf7NV.net
教祖の心の一票が更新されたお
102:１３２人目の素数さん
19/01/02 07:34:10.54 7S0sf7NV.net
2018年を振り返ると、海外を発信源とする、出鱈目な内容の、残念な雑音に振り回された年になってしまったな、というのが正直な感想です。
そのような出鱈目な内容の残念な雑音に接した場合、毅然とした姿勢で対応することの重要性を改めて認識させられる年にもなりました。
103:１３２人目の素数さん
19/01/02 07:35:02.51 7S0sf7NV.net
更に、そのような状況に遭遇したとき、毅然とした姿勢で対応することを可とせず、「おこがましい」とか、
「僭越だ」、「傲慢だ」といったような批判を浴びせたり、何とか工夫してごまかしたり、（事実関係からして頓珍漢な）玉虫色の絵を描こうとしたり
する等、いわゆる「事なかれ主義」的な対応こそを最も「潔い」対応の形態とする、実に残念な文化が国内外を問わず人類社会に深く根を下ろしている
という実態を、改めてまざまざと見せ付けられたような思いをしました。
104:１３２人目の素数さん
19/01/02 07:35:39.58 7S0sf7NV.net
以上、jinでした。ことよろー(^_^)
105:１３２人目の素数さん
19/01/02 07:39:15.47 KI2HlOtX.net
URLﾘﾝｸ(plaza.rakuten.co.jp)
2018年を振り返ると、海外を発信源とする、出鱈目な内容の、残念な雑音に振り回された年になってしまったな、というのが正直な感想です。
そのような出鱈目な内容の残念な雑音に接した場合、毅然とした姿勢で対応することの重要性を改めて認識させられる年にもなりました。
更に、そのような状況に遭遇したとき、毅然とした姿勢で対応することを可とせず、「おこがましい」とか、「僭越だ」、「傲慢だ」といったような批判を浴びせたり、
何とか工夫してごまかしたり、（事実関係からして頓珍漢な）玉虫色の絵を描こうとしたりする等、いわゆる「事なかれ主義」的な対応こそを最も「潔い」対応の形態とする実に残念な文化が
国内外を問わず人類社会に深く根を下ろしているという実態を、改めてまざまざと見せ付けられたような思いをしました。
106:１３２人目の素数さん
19/01/02 07:46:41.27 fWiGaIaI.net
>>70
ガチで更新来てワロタｗ
URLﾘﾝｸ(plaza.rakuten.co.jp)
107:１３２人目の素数さん
19/01/02 09:24:29.38 AOWKgHSg.net
>>93
このレスから根本的にレポート読めてないのが分かるんだけど、
計算ミスがあるとアイデア・戦略がミスがあるとは別。
で、IUTTには両方があり、じゃあその２つがどう関連しているかというと、
計算ミスを救済（modification）してみても戦略ミスが救済できない、
つまり戦略は合っていて単にどこかつまずいてるから直しましょう、
というわけではなかったというのが上の文章の意味なんだよ。
ちなみに戦略ミスが単に途中の計算ミスに起因してて、別の方法に置き換えたら直ったのが、
有名なフェルマー＝ワイルズの定理ね。
108:１３２人目の素数さん
19/01/02 09:34:13.73 AOWKgHSg.net
例えばSSレポートの6ページの7行目から12行目にある指摘をみれば、
多くのケースで成り立つと常に成り立つとの混同であることが指摘されている。
こんなのは戦略ミスじゃなくて計算間違いでしょう。
ほんとは読んでないんだろ？
109:１３２人目の素数さん
19/01/02 10:17:29.39 Ica9DVXy.net
>>94
>具体的には書かないが、ある意味でHA理論の一般化に際して必要な、全く基本的な情報が抜けているということ
>これはPS-JSが遠アーベル幾何学について指摘した点にも関連がある
kesk
110:１３２人目の素数さん
19/01/02 10:37:48.59 CUkLzsOA.net
> あとHA理論ではなくて、数論幾何学で有名な別の理論を使った方がシンプルに解けるだろう、という話も出た
この文脈の「解けるだろう」は、「ABC予想が解けるだろう」の意味
111:？
112:１３２人目の素数さん
19/01/02 10:40:26.55 WQUCt/mR.net
ノーとはっきり言う、と相手を一方的に侮辱して開き直る は全然違うことだよな。
毅然と強硬も似ているようで全然違うよ。
もはや裸の王様。一部の関係者のみが祭りあげている。
113:１３２人目の素数さん
19/01/02 11:13:47.84 dH62neWu.net
前からそうだよ
114:１３２人目の素数さん
19/01/02 11:39:06.51 4HomQzP6.net
本人はまだ正しいと思ってるみたいだね
115:１３２人目の素数さん
19/01/02 12:11:03.55 Cbm3htGe.net
まだモチベーションが残っているのは良いことだ
116:１３２人目の素数さん
19/01/02 12:20:16.42 7Jxh3rNy.net
>>103
>20世紀前半の相対性理論を巡る激しい議論に
ついて初めてネット等で調べ、
ネットで調べる前に
アインシュタインの論文をきちんと読むべき。
物理理論は予測能力に欠ける、仮説が多い、
特に矛盾した理論は不可。
物理の議論だから 最後は予測された実験結果
より判断する。
数学の議論と物理の議論を混同するな、
117:１３２人目の素数さん
19/01/02 12:38:59.77 otLmmO80.net
URLﾘﾝｸ(headlines.yahoo.co.jp)
118:１３２人目の素数さん
19/01/02 12:41:05.63 AOWKgHSg.net
>>112
望月自身がそうっぽいけど、物理の議論を数学にそのまま応用できる、
あるいは応用は簡単だという錯覚があるっぽいんだよな。
119:１３２人目の素数さん
19/01/02 12:44:06.80 AOWKgHSg.net
仮に100歩譲って物理的議論を応用したいなら、
IUTTはどういう物理現象を予測できるか言わないとダメだね。
物理の飛躍した議論は応用するけど判定は議論だけでやるっていうのは通用しない。
物理は飛躍した形式的部分を実験結果で補っているのだから、
IUTTが物理もどきだというなら実験結果とはなんなのかを示さないと。
120:１３２人目の素数さん
19/01/02 12:47:49.94 vxuz60ou.net
7年目のオワコン臭
地道な計算が少なく（つまり例も少なく）用語ばかり多い数学は胡散臭くてダメだな
数学の神への冒涜みたいな数学
121:１３２人目の素数さん
19/01/02 12:51:12.57 iiNZoL78.net
あってるけどな
122:１３２人目の素数さん
19/01/02 13:03:04.69 tnl5ROVZ.net
>>94,97
ミ◯◯◯・◯◯◯◯フ？
123:１３２人目の素数さん
19/01/02 13:05:10.44 8qZcBC+Y.net
>>115
100歩譲ってないだろうが
物理理論を発表したわけではない
物理学上の予想なんて必要が無いのはいうまでもない
物理もどきだと作者が言ってるのか？
物理実験をしたとでも？
正月早々酔っ払いみたいなことを書き殴ってるんじゃないよ、たこ助
124:１３２人目の素数さん
19/01/02 13:08:28.81 AOWKgHSg.net
>>119
だったら純粋に数学で勝負して書き下せないというべきではないね。
相対性理論を引き合いに出してはいけない。
あれは何が起こったら相対性理論は正しいかきちんと言える、
つまり最終的な解決は実験に従うという前提があるのだから。
125:１３２人目の素数さん
19/01/02 13:09:05.51 dH62neWu.net
イカ助の年頭の主張でした
126:１３２人目の素数さん
19/01/02 15:49:29.60 83MKVmEP.net
>2018年を振り返ると、海外を発信源
とする、出鱈目な内容の、残念な雑音に
振り回された年になってしまったな、
というのが正直な感想です。
PS JSレポもRobertsレポも数学の
議論として 意義があるだろ。
圏論は微妙な点があるが、
圏論専門のRobertsレポはsubcategory
とcolimitの関係なども書いてありS・Sと
MHの議論が圏論から明確になってきた。
2019年は 取り巻きも含め「海外を発信源と
する、出鱈目な内容の、残念な雑音」と
決めつけIUT論文の数学議論は多分 終了で
後は記録整理かもね
127:１３２人目の素数さん
19/01/02 15:59:40.94 3qay1rPp.net
物理理論と比較したり東洋だ西洋だとか言ってるレスは全部トンデモ
無視していい
128:純粋に数学の話
129:１３２人目の素数さん
19/01/02 16:33:51.31 /PNjYtLF.net
>>104-105
いや、君は何の話がしたいの？そんなの読めば分かることでしょ
俺はごく僅かばかりだけど君が、値群、テータ関数、j^2、対数殻、対数テータ格子などを交えて話をするかと期待していた
ちなみにそのRemark9の箇所だけど、2段落目から早速S・Sが普通の数学用語に置き換えて円分剛性同型の話をしている
実はこの時点ですでに充満多重同型を認めていないんだよ
俺や他の人がこのスレで延々レス交換をしていたのは、上記の対数テータ格子の非可換性の問題も含んでいた
ショルツは2015年5月にメールで望月とこの件のやり取りをしたが、今回の議論では全く話題にならなかったそうだ
現にショルツは対数殻には一言だけ触れているが、対数テータ格子については全く触れていない
それが望月にとって解せない所なんだろうが、S・Sにとってはそれ以前の問題だということだよ
君は論文を読む前に、他人が普通に書いていること、その意味や意図を読み取る訓練からすべきだなｗ
君の今回のレスで君がどの程度数学について知っているのかも分かったし、どういう人間かも分かった
他の人も書いていたが、５ｃｈごときで他人を貶めたいだけなんだな
130:１３２人目の素数さん
19/01/02 16:40:42.82 X29oqk0u.net
>>123
Robertsレポート
>there are a number of things that Mochizuki
writes that feel to me like vestiges of ‘material
’ thinking.
Here by material thinking I mean,
in opposition to structural thinking,
the platonic attitude that specific
representations of objects matter and makea
difference to the mathematics
>At times Mochizuki’s examples are
formulated so that the structural content is
unclear (mostly because the required
categories are not supplied), and
at times they are expressed in a material way,
but with an underlying structural idea obscured
by the jargon.
131:１３２人目の素数さん
19/01/02 16:49:44.74 /PNjYtLF.net
このロバーツのコピペは物理屋さんだと思うけど、
ついでに補遺の「ラベルの使用に害はないが、数学的には無意味。心理的な問題にすぎない」
と言っている箇所もコピペしておいて（以前に俺がやったけど）
もうバカらしくてメンドクサイわ（笑）
132:１３２人目の素数さん
19/01/02 17:22:08.72 X29oqk0u.net
Robertsレポート
>In contrast, Scholze and Stix are using
the standard notion of diagram,
as I have been using here, in which injectivity
on objects is not required.
I would thus posit that all objections regarding
the use of ‘labels’ are purely psychological,
since it is merely a bookkeeping device
that has the effect of replacing any result
by a uniquely isomorphic isomorphic result.
I thus concur with Scholze– Stix that
using ‘labels’ is mathematically unnecessary,
although harmless.
This does not contradict (GLR1) in the Report,
because functoriality is a strong constraint.
133:124
19/01/02 18:13:02.77 /PNjYtLF.net
物理屋さんサンクス
＞実はこの時点ですでに充満多重同型を認めていないんだよ
と書いたが、どうせまた意図を読み取れないマヌケなレスが飛んで来るだろうから、補足しておく
充満多重同型を認めないことを明記しているのは、この1～2ページ後のp.7脚注8だが、
先に書いた時点でそういう結論に導こうとしているということだよ、念のため
134:１３２人目の素数さん
19/01/02 18:32:35.22 /PNjYtLF.net
ZWPoPkqh氏、遅レスでゴメン（「外野の外野」に関わるという無益なことをしてしまったｗ）
以前俺があなたにアホはスルーしろ、と何度か言っていたのにね。俺もブーメランが刺さったよ（笑）
やはり最終節などを整備しても難しい、基本的な情報やツールなども欠けていると判断している人がいるんだね
しかし、現代の最先端の数学は理解するのにも時間がかかるし、
50代はまだまだ現役、むしろ脂が乗り切った年代だと思うのだけどね。その人も狙ってるのかな？
まあ、既に名声もあるから共同研究でも示唆でもいいと思っているんだろうね、グロタンや佐藤幹夫のように
135:１３２人目の素数さん
19/01/02 18:36:51.51 /PNjYtLF.net
ああ、ごめん ID:ZWPoPkqh氏宛てね
136:104
19/01/02 18:41:29.44 mCqsLKdD.net
>>124
＞充満多重同型を認めていない
毎回この手の議論に逃げてるけど、充満多重同型を論証する義務は望月にあるのだから、
望月がそれを論証するまでは認める認めない以前に採用できない。
あんたの言ってることは「証明されていないし理解させることにも失敗している
前提をむりやり採用すると成立する場合は計算間違いとは呼ばない」という強弁でしかなくて、
俺はこれを「計算ミス」だと読んでる。そしてそっちのほうが普通の使い方だ。
他人が理解できない前提を採用すれば計算ミスの指摘から逃れられると思ってるのが間違い。
137:104
19/01/02 18:45:33.59 mCqsLKdD.net
そんなに計算ミスだと呼んで欲しくないならまず証明しろ、
証明が難しいがだいたいにおいて納得させられると思ってるならそれを示して納得させろ、
両方できないなら勝手に採用して両論併記のかたちに持っていくな、というだけのこと。
138:１３２人目の素数さん
19/01/02 18:47:26.67 dB/uGUju.net
そっくりハウス、サンスクリット、アイドル・・・
もっちーは淋しかったんだよね
139:１３２人目の素数さん
19/01/02 19:01:09.31 uM8c3zFJ.net
数学の歴史で証明について論争があったのって何がある？
ヒルベルトの証明？
140:１３２人目の素数さん
19/01/03 07:06:01.46 IA23Y+YY.net
Inter-universalTeichmüller理論 （略してIUT ）は、数学者であった2000年代に彼が開発した理論に
数学者の望月伸一によって与えられた名前です。 望月によれば、それは「楕円曲線を備えた数体
のためのテイミュラー理論の算術版」である。 その理論は、2012年に彼のウェブサイトに掲載された
一連の4つのプレプリントで公表されました。 この理論の最も顕著な主張された応用は数論における
様々な優れた予想、特にabc予想の証明を提供することです。 望月と他の数人の数学者は、その
理論は確かにそのような証明を生み出すと主張しているが、これは今のところ数学界では
受け入れられていない。
141:１３２人目の素数さん
19/01/03 12:15:55.78 2tL5WVjx.net
「楕円曲線を備えた数体」って何なの？
142:１３２人目の素数さん
19/01/03 13:22:34.57 A4daimZW.net
google翻訳をそのまま貼る馬鹿が居るな
143:１３２人目の素数さん
19/01/03 13:30:28.38 V1hPTh8E.net
もっちーは年一だけブログ更新するのやめてほしいな
144:１３２人目の素数さん
19/01/03 15:18:40.81 neKLfnLz.net
藤林丈司
145:１３２人目の素数さん
19/01/04 03:03:05.58 aUf5twtj.net
もっちーが相対論の論争とかに言及していて、げんなりした。
相対論に関して程度の低い議論がなされてい�
146:ｽけど、もっちーがその一部を書いていたのならば、とても失望する。 数学では過去に輝かしい業績を挙げてきてが、この調子だとIUTもより一層疑わしく見えてしまう。 もっちーほどではないが昔はそこそこ業績を挙げていても年をとるととんでもになる人がいるんだが、まさかと思うよ。
147:１３２人目の素数さん
19/01/04 03:21:54.41 VOKfFxJT.net
>>129
いや、余裕無くABCは多分狙っていない。自分の理論で一ヶ所行き詰まって誰かに解いて欲しい状態らしいので
まあ別に貶してたわけではなく、combinatorial morphism＝IUGとmono-analyticというのが全く理解できないと
環の変形だからMAが出てきたというが、まず関数体のHodge理論やArakerov理論の適切な一般化には見えないと
計算すべきはある別の幾何学的対象じゃないかと、そんな感じ。勿論実際はもう少し具体的だったが
あと、はっきり間違いだ、とは一切言ってなかったけど
まあここは余剰の場所だから、今年の動きを捉えて少し騒ぐ以外はそろそろ放置でいいでしょう
大体本気で内容に興味があったら悪い意味で他人に絡まない。放置が一番
しかし、ただの形式計算ミスだったらアイデアはどう評価するんだって話になるし
そういう意味でも数学観が例の句点の人で確定だと思う
148:１３２人目の素数さん
19/01/04 04:06:12.56 0m+EvK54.net
>>140
IUTも相間もトンデモだもんな
149:１３２人目の素数さん
19/01/04 06:51:34.49 MI5EF/Qj.net
Ｍが今のような態度を続ける限り
数学界がＩＵＴを認めないのは確かだな
理解できない戯言を受け入れるほど
数学界は寛容ではない
150:１３２人目の素数さん
19/01/04 07:14:25.82 lXO0rfTl.net
いや、態度とかもう関係ないから。
内容なしのすっからかんでもう数学会の結論は出ている。
もう数学的には詰んでるから、今度はMさんは天才で変わった人だから。。。と
非数学的理由に責任転嫁し始めたのがここ数年の取り巻きどもの新戦略だな。
事実上敗北宣言なのにみっともないったらありゃしない。
151:１３２人目の素数さん
19/01/04 07:50:10.16 l+Qis0V6.net
>>144
数学界の代弁者ならぬ大便者乙
152:１３２人目の素数さん
19/01/04 08:47:24.87 banEfbC0.net
ブログが本物ならMさんはご自分/IUTTをウェゲナー/大陸移動説になぞらえているのか。
実に興味深い。
ウェゲナーらは大陸移動説の証拠をいくつか挙げることができたが、
そのキモとなる大陸が移動するメカニズムについては一切説明できなかった。
それにはプレートテクトニクス理論の発展を待って半世紀ほど掛かったってわけだ。
153:１３２人目の素数さん
19/01/04 09:13:29.17 NhYObQso.net
>>146
IUTTは証拠を挙げられてないからそれも不適切ってことだな。
154:１３２人目の素数さん
19/01/04 10:50:48.31 MI5EF/Qj.net
いいだしっぺのMはともかく、取り巻き連中は
もうIUTTから離れたほうがいいだろ
155:１３２人目の素数さん
19/01/04 11:30:12.64 UJz/K9ea.net
ヒカキンの年収が10億超え!?明石家さんま・坂上忍も驚愕の総資産とは??
URLﾘﾝｸ(logtube.jp)
【衝撃】ヒカキンの年収・月収を暴露！広告収入が15億円超え！？
URLﾘﾝｸ(nicotubers.com)
HIKAKIN(ヒカキン)の年収が14億円！？トップYouTuberになるまでの道のり�
156:ﾍ？ https://youtuberhyouron.com/hikakinnensyu/ ヒカキンの月収は１億円！読唇術でダウンタウンなうの坂上忍を検証！ https://mitarashi-highland.com/blog/fun/hikakin なぜか観てしまう！！サバイバル系youtuberまとめ http://tokyohitori.hatenablog.com/entry/2016/10/01/102830 あのPewDiePieがついに、初心YouTuber向けに「視聴回数」「チャンネル登録者数」を増やすコツを公開！ http://naototube.com/2017/08/14/for-new-youtubers/ 27歳で年収8億円 女性ユーチューバー「リリー・シン」の生き方 https://headlines.yahoo.co.jp/article?a=20170802-00017174-forbes-bus_all 1年で何十億円も稼ぐ高収入ユーチューバー世界ランキングトップ10 https://gigazine.net/news/20151016-highest-paid-youtuber-2015/ おもちゃのレビューで年間12億円！ 今、話題のYouTuberは6歳の男の子 https://www.businessinsider.jp/post-108355 彼女はいかにして750万人のファンがいるYouTubeスターとなったのか？ https://www.businessinsider.jp/post-242 1億円稼ぐ9歳のYouTuberがすごすぎる……アメリカで話題のEvanTubeHD https://weekly.ascii.jp/elem/000/000/305/305548/ 世界で最も稼ぐユーチューバー、2連覇の首位は年収17億円 https://forbesjapan.com/articles/detail/14474
157:１３２人目の素数さん
19/01/04 11:51:37.20 hg+aKwUJ.net
非課金でもＣＭ収入でそんなに儲かるんだな。
158:１３２人目の素数さん
19/01/04 11:56:12.51 UJz/K9ea.net
数学をやってるんじゃなくて政治屋連中の文句ばっか
知能低いなら議論に関わるなよ
159:１３２人目の素数さん
19/01/04 12:18:47.40 WQH4MYgW.net
相対論や大陸移動説を言い出したらさすがに終わり
これでもjinみたいなどうしようもない信者は残るだろ
160:１３２人目の素数さん
19/01/04 13:26:24.92 KuOSVVMO.net
微妙ななにか、つってもあれでしょ
せいぜいガウス積分とかオイラーの定理に近付く程度
161:１３２人目の素数さん
19/01/04 17:48:16.14 VhjFaTrC.net
>>141
その50代白人数学者やあなたにとって飯のタネになるかもしれないネタだろうから詳しく書いてもらう必要はないけど、
あなたのレスを読む限り、その学者はIUTTのABC予想証明はその戦略からして明後日の方向を向いている、
つまり、「間違ってすらいない」と言っているに等しいように読めるのだが・・・
（一応、悪意はないからね、念のため）
162:１３２人目の素数さん
19/01/04 18:21:51.72 VhjFaTrC.net
上の方でグーグル翻訳をそのままコピペしたレスがあるけど、
IUTTというのは、p進タイヒミュラー理論を一点抜き楕円曲線付きの数体に対して展開するもので、
この一点抜き楕円曲線はホッジ・アラケロフ理論と関係があるものだけど、その一般化に基本的な情報が欠けていて、
数論的な対数軌道曲線（数体のように振る舞う対数軌道曲線）の利用についても疑義を呈しているということかな
まあ、何よりも具体的な戦術、つまり遠アーベル、特に絶対遠アーベルの単遠アーベルを用いた攻略が全く理解できない、
つまり戦略も戦術も明後日の方向を向いていて、IUTTは何を証明しようとしているのか？と言っているようにも読めるんだけど
う～ん、その50代白人数学者はS・Sよりも手厳しいことを言っているような気がするんだが・・・
163:１３２人目の素数さん
19/01/04 19:39:04.73 tipvyJNd.net
大陸移動説ワロタ
ほんとかよ
論理穴埋めてくれる天才待ちだね
164:１３２人目の素数さん
19/01/04 20:20:01.99 VhjFaTrC.net
>>141
つまんないことで再�
165:ﾑレスして悪いのだけど、 ＞そういう意味でも数学観が例の句点の人で確定だと思う 句点の人って誰のことかよく分からないのだけど （ひょっとして物理屋さんのこと？俺は年末の人は物理屋さんではないと思っているが。まあどうでもいいかｗ）、 あなたと俺を除いてカキコしている人たちの多くは似たような「数学観」じゃないのかな だから、あなたと俺が同一人物の自作自演に見えるわけだ。文体も似ているしね 大体俺はこういうポストモダン風な曖昧さ（不定性）を濫用しているようにしか見えないものは大っ嫌いです、はい（笑） だから、最終節を整備して論文を組み直した方がいいとバカの一つ覚えの如くこの便所の落書き帳に書いているわけよｗ それで理解しやすくはなると思うけど、正否は全く別だと思っている
166:１３２人目の素数さん
19/01/04 21:41:03.70 nbSMhPER.net
>>118
Mikhail Kapranov？？
167:１３２人目の素数さん
19/01/04 23:18:15.03 mTFgHjE9.net
加藤和也の出来が悪い学生鈴木貴士とガイサーが間違っているといっている
から間違っている
168:１３２人目の素数さん
19/01/05 00:30:20.31 K/EdAGni.net
ひでぇスレだな
169:１３２人目の素数さん
19/01/05 02:04:58.58 HwPekjRC.net
>>159
その出来の悪い学生より成果ないお前wwwww
170:１３２人目の素数さん
19/01/05 03:00:42.15 3XMWB+rr.net
最近のGO氏や☆君はどういう立場なのか？
171:１３２人目の素数さん
19/01/05 04:37:34.99 FLye4Eee.net
久しぶりにレポート読んだけどクリアできてたとこにクエスチョンがでてきた
私は専門でもないし理解が及んでないのは重々承知だが、私と同様に理解したつもりで議論を進めた可能性は大いにありうる
172:１３２人目の素数さん
19/01/05 08:24:15.51 x+pLFpIm.net
>>141
横だが、
何を言いたいのか 不明瞭なレスだ。
>>56は 京大 RIMS 日本数学界のスキャンダル
に変わりはないね。
173:１３２人目の素数さん
19/01/05 09:11:49.92 QjWBkxhm.net
>>164
スキャンダルでもなんでもない
最大限に表現しても「判断ミス」
174:１３２人目の素数さん
19/01/05 09:44:52.68 1hqxhwC8.net
なんかここまでぐだぐだIUTTについて変なレスが続いてたのみると、
最初の問題である研究倫理としてどうなのかって論点を誤魔化したいのかね。
身内のジャーナルに投稿して身内に何年も査読させて、
さらにマスコミにリークしてそれを報告書に書いて載らないって、
かなり異常な事態なんだけど。
175:１３２人目の素数さん
19/01/05 09:53:19.94 MiAjVbVP.net
>>165
>最大限に表現しても「判断ミス」
内部では「判断ミス」としたいことは
理解できます。
176:１３２人目の素数さん
19/01/05 10:07:01.73 ++mF+Rlt.net
>>166
身内が誤りを指摘できなかったのは
なんらかのパワハラがあったのか？
177:１３２人目の素数さん
19/01/05 10:13:11.60 KBHUU4bJ.net
なにか動きがあったとき以外同じようなやり取りが延々続いて久しいな
もう２０１９年だ
178:１３２人目の素数さん
19/01/05 12:28:24.11 lc2ZpuUB.net
> 現在、q(a, b, c) > 1.6 を満たす abc-triple は後述の通り3組しか知られていない。
> q(a, b, c) を 2 まで大きくすれば、そうした abc-triple は存在しないという予想もある。
なら lim sup q(a,b,c) を「M定数」とか呼ぶことで妥協すりゃいんじゃね？
これなら「この有名な定理を証明し(ようとしてついに果たせなかっ)たM先生にちなんで～」
のどっちでもいけるぜよ
179:１３２人目の素数さん
19/01/05 14:06:50.85 QyekrucR.net
1.599でも1.598でもいいからＩＵＴで出してみて
180:１３２人目の素数さん
19/01/05 14:07:42.71 QyekrucR.net
全てのくみあわせで計算したなら出せるよね
181:１３２人目の素数さん
19/01/05 14:14:02.80 HwPekjRC.net
だから具体的な数値既に出してるよ
182:１３２人目の素数さん
19/01/05 14:50:02.50 +qMhkQwt.net
英語版wikiとかじゃないよね？
あ、ピエーロ氏のやつ？
183:１３２人目の素数さん
19/01/05 15:08:44.43 r4jIKB3M.net
新年早々隠しゲイ大会かよ
184:１３２人目の素数さん
19/01/05 17:04:54.13 BU500i00.net
MMFの共同研究で理論が補強されて具体的数値が出るようになってる
どっかに上がってる南出さんのスライドでも載ってるはずだよ
185:１３２人目の素数さん
19/01/05 17:12:09.36 PHbh++3A.net
粉飾しないと具体的数値が出ないから証明はされてないでおk
186:１３２人目の素数さん
19/01/06 12:26:50.82 10kJDCUW.net
粉飾決算か
187:１３２人目の素数さん
19/01/06 13:44:21.99 jKVmQkAl.net
カルロス・ゴーン
188:１３２人目の素数さん
19/01/06 13:46:34.45 10kJDCUW.net
ノーと言えるにほん
189:１３２人目の素数さん
19/01/06 15:20:32.43 9jURts2p.net
瀬戸際の宇宙際
190:１３２人目の素数さん
19/01/06 16:05:18.76 SaNbsjtG.net
このスレッドはチンパンジー「アイちゃん」が言語訓練のために立てたものです。
アイが日本語を勉強する為のスレッドなので、 関係者以外は書きこまないで下さい。
京都大学霊長類研究所
191:１３２人目の素数さん
19/01/06 20:49:35.81 DGIKSoqa.net
ピ・エーロ・アラシ
192:１３２人目の素数さん
19/01/06 22:49:22.21 k0rnD5RI.net
>>159
ガイサーのコメント内容詳しく
193:１３２人目の素数さん
19/01/07 01:38:42.63 ieYcctJH.net
ネーチャンに売りとばせ
194:１３２人目の素数さん
19/01/07 08:57:12.92 WpotnKTA.net
宇宙際電信電話株式会社 UTT
195:１３２人目の素数さん
19/01/07 08:58:04.87 WpotnKTA.net
宇宙際電信電話株式会社 IUDD
196:１３２人目の素数さん
19/01/07 08:58:27.18 WpotnKTA.net
宇宙際電信電話株式会社 IUTT
197:１３２人目の素数さん
19/01/07 10:02:57.49 TnExjH1/.net
宇宙際タイヒミュラー理論は意味解釈学ですね
198:１３２人目の素数さん
19/01/07 10:11:30.94 TnExjH1/.net
暇があれば Mレポートの一読を勧める
199:１３２人目の素数さん
19/01/07 11:15:01.57 wll8QNnQ.net
この すどっれは ちぱんんじー あちゃいん が
げごんくんれんん の ため に たもたての です
あい が にほんこ を へんきょう する ため の すどっれ なので
かいけんしゃ いがい は かこきなまいで くさだい
きょうとだがいく れちいょるうい けきんうゅじょ
200:１３２人目の素数さん
19/01/07 14:55:29.69 9fTigi97.net
レバ1000倍も可能!?「KOオプション」とはなにか？
URLﾘﾝｸ(hbol.jp)
自由にレバレッジを調節できるノックアウトオプション
URLﾘﾝｸ(usdjpycom.seesaa.net)
IG証券ノックアウトオプションってなに？超わかりやすく解説します！
URLﾘﾝｸ(knockout-option.hateblo.jp)
ノックアウト・オプションとは？バイナリーとFXの良いとこ取りの新商品！
URLﾘﾝｸ(yukimama.net)
201:１３２人目の素数さん
19/01/07 16:03:21.58 dZElzfxt.net
>>191
そんな実験動物殺しちまいな
202:１３２人目の素数さん
19/01/07 20:39:51.43 WpotnKTA.net
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員
203:とのやり取りに利用するスレッドなので、 関係者以外は書きこまないで下さい。
204:１３２人目の素数さん
19/01/07 20:42:04.50 WpotnKTA.net
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
霊長類研究所
205:１３２人目の素数さん
19/01/07 20:42:42.99 WpotnKTA.net
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
206:１３２人目の素数さん
19/01/07 20:55:29.97 WpotnKTA.net
5１３２人目の素数さん2015/04/24(金) 10:32:09.93ID:jNuJBDl+
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
207:１３２人目の素数さん
19/01/07 21:23:28.41 9LeKerDq.net
アイちゃん＝片言ガイジ
208:１３２人目の素数さん
19/01/07 21:30:57.56 T0/t7kq+.net
>>164
まあ我ながらセコい書き方だよね。仕方ない
様子見様子見
209:１３２人目の素数さん
19/01/07 21:32:16.48 mBK+4N7A.net
シカゴ大の収載が審査中みたいなヤツは何だったの？
11月アクセプトくんのガセ？
210:１３２人目の素数さん
19/01/07 21:40:54.21 3mjAbEQe.net
かくて何事も起きないまま話題が尽きてゆく
アティヤのリーマン予想「証明」と同じコースだね
211:１３２人目の素数さん
19/01/07 21:49:07.69 3mjAbEQe.net
そういえば最近の日経新聞に、
「数学は間違いで成長する」という特集出てたね。
さては、日本における「ABC予想証明は間違い」の報道間近か。
212:１３２人目の素数さん
19/01/07 22:11:39.72 PxHc3cP9.net
フルアヤが擁護したつもりなんだろ
213:１３２人目の素数さん
19/01/08 02:31:15.62 g555hpvp.net
>>202
ここだけだろ
話題になってるのはw
214:１３２人目の素数さん
19/01/08 19:45:16.21 TEki2x87.net
ウィキペディアの書き方があれだからねえ
七年目となれば、少しずつだが理解されつつある、みたいな書き方にならなきゃならん
小さい計算ミスどうこうの問題ではないね。論文内の計算を見る限り、殆どそれは修正されてるからね
215:１３２人目の素数さん
19/01/08 21:36:06.66 srn+bInU.net
悪意はないんだからあんまり追い詰めないほうが
216:１３２人目の素数さん
19/01/08 22:20:13.76 lmkHuk+q.net
自覚は多少でもしてるんだねえ
217:１３２人目の素数さん
19/01/08 23:01:38.97 08NY7OH5.net
>>205
数学の場合「理解されつつある」みたいな評価はふつうないよ。
ワイルズの時もそうだが、真に証明に成功すれば、すみやかにそれは「数学界」全体で、
正しいという確信が広まる。
まあ例外はケプラー予想のような、証明の大部がプログラムの計算で成り立っているようなものだが、
これとて「数学的論理」の部分は間違いないと確信される。
まあ、ゲンツェンの超限帰納法による自然数論無矛盾性の証明を、循環論じゃないか？、
意味あるのか？と疑問を持つ人はいるみたいだが。
218:１３２人目の素数さん
19/01/09 02:15:09.68 XGUAuH7v.net
アサハラショウコ
219:１３２人目の素数さん
19/01/09 08:55:33.64 2oAcX2P0.net
人文・社会も科学振興の対象に 基本法25年ぶり抜本改正へ
URLﾘﾝｸ(mainichi.jp)
220:１３２人目の素数さん
19/01/09 10:40:59.49 3VBVysYA.net
>>208
まず数的な意味では理解されつつある、ということは普通にありえるよ
次に、意味的にもこれだけ大きな造語だらけの理論だと証明のモチーフすら見えにくいわけだから、
後追いする人間が証明の意味論的モチーフと部分的な証明を把握しつつあることもありえる
そのどちらも触れるレベルではないとしたら、大変まずい状況である
221:１３２人目の素数さん
19/01/09 11:26:36.08 egX3cCvv.net
現状の意味論で出されてるabc予想なんだから意味論変えたらいかんでしょ。
もうちょっと考えて書き込もうや。
公理の話もそうだし、abc予想が現状の数学内部で出されてるってことを無視しすぎ。
222:１３２人目の素数さん
19/01/09 11:32:32.17 3VBVysYA.net
何を言ってんだこいつは…はあ
223:１３２人目の素数さん
19/01/09 11:33:46.24 egX3cCvv.net
>>213 じゃあとりあえずモデル論的意味論となにが違うのか説明してみ。
225:１３２人目の素数さん
19/01/09 17:56:36.38 3VBVysYA.net
>>214
じゃなくて、理論のシステムを理解するのがそもそも難しいって話
前にrealified Frobenioidがわからなかったみたいなレスがあったろ？色々、IUTがまず何を論じているのかを
ちゃんと理解しなきゃならないのが既に障壁なわけだ
実際にはある程度わかってしまえば、ワイルズの理論より遥かに難しいとは言えないものではあるし
論文自体は結構わかりやすく書かれているから、受容の妥当な期間はとっくに過ぎているわな
226:１３２人目の素数さん
19/01/09 17:59:03.05 3VBVysYA.net
つまり、普通に違和感を与えるような問題があるのだ、と見なすのが妥当ってわけだ
227:１３２人目の素数さん
19/01/09 18:10:24.82 bOCE7pMS.net
ABC予想が解けたことはもう数学界の共通認識なのに
ここの人たちはいつまでIUTに疑いの目を向けているのだろう。。
228:１３２人目の素数さん
19/01/09 18:12:50.22 egX3cCvv.net
>>215
なんだ意味論っていう数理哲学の専門用語を使ったのに説明できないのか？
だから考えて書き込もうな、って言ってるんだよ。
あんた毎回適当なホラついてるひとだね。
229:１３２人目の素数さん
19/01/09 18:13:26.94 5iwzHiEx.net
1. FAQ on Inter universal Teichmüller
Theory By Go Yamashita, RIMS, Kyoto
University.
September 2018
Q8. Can you give examples of further
research or results that arose from
interuniversal Teichmüller theory?
I also hear that Dimitrov is studying
the possibility of applying inter universal
Teichmüller theory to the study of Siegel-zeroes.
2. WIKIpedia
Inter-universal Teichmüller theory
Vesselin Dimitrov extracted from Mochizuki's
arguments a proof of a quantitative result on
abc, which could in principle give a refutation
of the proof.
230:１３２人目の素数さん
19/01/09 18:14:20.09 egX3cCvv.net
ID:3VBVysYAはIUTTを擁護してないと言えば許してもらえると思ってるのかもしれんが、
IUTTと無関係にあんたは数学的にデタラメなことを書きすぎなんだよ。
意味論なんて専門用語なんだからそれ以外の文脈で使えないってのはすぐ分かるんだがね。
231:１３２人目の素数さん
19/01/09 18:42:35.79 3VBVysYA.net
>>220
失礼な事言ってるからはっきり言うと、あんたはアスペのアホだよね
文章の文脈が全然読めない。だから直観やアイデアの重要性もわからない
論文から簡単にわかるのに、realfied Frobenioidの意味も言われないとわからない
まあそんな人にデタラメ扱いされても何のダメージもない
232:１３２人目の素数さん
19/01/09 18:46:12.18 3VBVysYA.net
別に意味を普通にモデル理論的に考えたっていいんじゃないの？
勝手に意味論を変えるとかなんとか馬鹿丸出しなんだよなあ
大体どういう意味論を採用したいかは論文からわかるわけ。それを議論すればすむ話
形式体系とは違う場所を認めないアスペにはそれが理解できないわけだ
233:１３２人目の素数さん
19/01/09 18:48:45.85 3VBVysYA.net
わかるかな？「モデルから離れて妥当なモデルを論じる」のがこういう新しい理論を論じるってことだ
ABC予想がZFCだからとか関係ないんだよ
234:１３２人目の素数さん
19/01/09 20:01:16.04 egX3cCvv.net
>>222
モデル論的意味論はモデル論のことじゃないが？
無理しなくていいんだぞ。
235:１３２人目の素数さん
19/01/09 20:01:46.12 3lf8T3DZ.net
ID:3VBVysYA氏、あなたが相手にしているのは年末にS・Sレポートを読んで、あなたや俺をで同一人物の自作自演で、
デタラメ扱いしている狂犬・通り魔でしょ。あなたと俺の違いすら分かっていないんだよ（笑）
この人が書いたであろう>>105も、IUTTの概説すら読んでないのがはっきり分かる
あの箇所はこの人が言う「計算間違い」の指摘という箇所ではなく、IUTTを正確に読み解説しているに過ぎない
書き方から察すると、星が説明してそれに対応したものだね（入門p.7～8）
「正準的な“単一の同型”が存在しない」ものもあり、
別の軌道を取る「不定性を認めなければ、円分物の同期化を“正準化”することができない」というの話
「計算ミス」どころか星と全く同じ解釈をしている。ここから不定性の扱いが問題となる
236:１３２人目の素数さん
19/01/09 20:02:42.86 egX3cCvv.net
モデル論的意味論と聞いてなんのことか分からないから、
>>223みたいな発言が出るんだよ。
237:１３２人目の素数さん
19/01/09 20:09:34.69 vX/wAQp9.net
世界一の長寿者、ジャンヌ・カルマンさんに年齢詐称疑惑発覚！
年齢査証といえば泉重千代さんの１５歳逆サバ詐称疑惑があったが、
彼の場合は生前の1980年から国内で疑惑が公然と活字でささやかれていた。
それにくらべカルマンさんへの疑惑が活字化されたのは、
死後翌年のイギリス人老年学者によるものが初めてであり、
今回の論文も露西亜人の指摘によるものだ。
こうなると日本人は数学王国のフランス人よりもより真理を追究する国民性があると思う。
フランスはカトリック教国で個人主義だから悪事にあまく、
うすうす不正に気が付いていても深く追求しないのではあるまいか。
238:225
19/01/09 20:14:03.10 3lf8T3DZ.net
（続き）
それで、望月とS・Sがこの不定性をどう扱っているかというと(p.7脚注8)、
望月はそれを利用して“full poly-isomorphism”と命名するが、
S・Sは“possibly indeterminate”だとしても、“completely natural isomorphism”にしか見えない
これ（S・Sの主張）にはロバーツも同意している
この狂犬はおそらくIUTTについては英語版Wikiしか読んでおらず、日本語の簡単な概説すら読んでいない
よって、この狂犬はS・Sレポートすらほとんど読めておらず、IUTTの論理を追って判断しようとしている人に噛みついているだけ
数学的云々言っているが、単に望月憎しでやっているとしか思えない
239:１３２人目の素数さん
19/01/09 20:23:13.53 vX/wAQp9.net
一神教は厳しい宗教だという印象があるが、これもうそだ。
事実は逆で、人間に対する不正行為は一神教のほうが甘い
神を裏切ったり、冒涜したりすることが最大の罪で、
それにくらべ、人をだましたり、殺したりすることは大した罪とは考えられていない節がある。
カトリック教国の治安が悪いのはよく知らているが、
イスラム教徒の「インシャラー」の名による嘘や不誠実も知られている。
むしろ鬼神を説かない儒教や、人間の延長に仏を置く仏教は、
人間に無限大の貢献と責任を求める。
第二次大戦時にも、日本の将兵は死ぬまで徹底的に戦ったが、
ナチスドイツは、狂信的な思想に振り回されていわりに日本軍に比べ捕虜になる人間が多かった。
240:１３２人目の素数さん
19/01/09 20:25:39.08 3lf8T3DZ.net
まあ、望月の発言内容に腹が立つのも分かるんだけどね
最初は新奇性があるので第一線の数論学者といえども初歩からIUTTを読まなければ分からないと高飛車に構え、
S・Sらに否定されると、変形理論は「伝統的な」数学でも使われているから自分は特別なことを書いているわけではないと言う
強情なわりには言い�
241:ｪましい態度は何なのかという（笑） 例のブログにはいつも飽きれているんだが、望月にしろ年末からの狂犬にしろ、いったい誰と戦っているんだという（笑）
242:１３２人目の素数さん
19/01/09 20:46:11.06 Nsdw9qd2.net
これ自作自演ほぼ確定したな。
意味論はセマンティクスという一分野を確立してるからこれを間違うのはありえない。
論理学の本を一度も読んでないか理解してないってことだから。
それを理解してないID:3VBVysYAがIUTは理解してるってのもありえないし
それを擁護してるID:3lf8T3DZがIUTを理解してるってのもありえない。
論理学の初歩で躓いてるのにショルツ並だと自称してるおかしいのが
２人いてなぜか意思疎通してると考えるか自作自演と考えるか。
243:１３２人目の素数さん
19/01/09 21:13:51.35 egX3cCvv.net
別に分かってないのに分かったかのように言い合ってる可能性もあると思うけどね。
そもそも自作自演認定したのって前スレで一人いたが、
それと他のレスがごちゃごちゃになってるみたいだ。
244:１３２人目の素数さん
19/01/09 21:29:30.89 3lf8T3DZ.net
本当にjin並みのクズだな（笑）
俺はIUTTの意味論やモチーフなどには興味ない
他の人（以前俺が「親切な人」と呼んでいた専門も考え方も全く違う人）を狂犬から庇ってはいけないのか？
こんな理屈が通るなら、jinをバカにする人たちも自作自演の同一人物ということになるぞｗ
この狂犬が>>131で書いていることは俺(>>124)と他の人の主張を混同している（自作自演と見做している証拠）
俺は「前提をむりやり採用すると成立する場合は計算間違いとは呼ばない」などと一言も言ってないし考えてもいない
君こそがおバカな主張と煽りを繰り返してきた自作自演の煽り屋じゃないのか？
俺も、おそらく他の人（もう親切な人とは呼ばないがｗ）も見抜いているんだよ
このスレで読むに値するのは彼のレスぐらいしかないからね
あと、>>225と>>228でこの狂犬のS・Sレポート誤読の件について書いたが、狂犬はどう吠えてくれるの？（笑）
245:１３２人目の素数さん
19/01/09 21:32:33.26 egX3cCvv.net
>>233
意味論の使い方を間違ってるのを指摘してなにが悪いの？
あと>>225>>228なんてレポートにある用語を適当にならべただけじゃん。
他者を説得できない前提を採用したら計算ミスではない、なんてのは詭弁だよ。
あんたは数学の素人なだけじゃなくて数学をバカにしてるところが困るのよね。
246:１３２人目の素数さん
19/01/09 21:38:11.31 egX3cCvv.net
例えば不定性の扱いが問題になるっていってるけど、だから何なの？
それだけは数学的な問いですらないだろ。
数学は単語を羅列したりレポートを読みましたなんてことで業績になる業界ではない。
しかも望月の論はどちらかと言えばモデル論的意味論（現行）を採用しておかないと、
全体として破綻しかねないと思うんだがね。
なぜならモデル論的意味論を採用しないなら次の有力候補は証明論的意味論になってしまうが、
証明論的意味論は証明を数学の意味としてしまうんだから、
有限の範囲内で証明が書き出せないと言っているIUTTなんてお呼びじゃないのよ。
まあモデル論的意味論が分かんないからしょうがないんでしょう。
247:１３２人目の素数さん
19/01/09 21:46:50.57 5n/UQecL.net
第一線で一定の評価を受けた後にトチ狂うっていうのは、よくあるもんなんだろうか
超一流の人間こそ自分の無謬性を確信するなんてことはあり得ないように感じるんだが
ERRARE HUMANUM EST PERSEVERARE DIABOLICUM
248:１３２人目の素数さん
19/01/09 22:05:08.23 3lf8T3DZ.net
全く面白いほどに滅茶苦茶な狂犬だな。吠えることすらせずただ噛みつくだけか（笑）
他の人には該当箇所を指摘しろと言い、俺が該当箇所をちゃんと明記しながら書いたら、
用語を適当に並べただけだと言う。>>225に関しては星の入門だよ、S・Sレポートではない
あと、極論すればだがS・SレポートというのはIUTTの不定性を巡る圏論的な�
249:�理の問題に尽きている、と俺は解釈している 君はエレンバーグのブログのタオのコメントぐらいは読んだようだね（笑） モデル理論的な方面からの考察は俺もこのスレで以前に散々書いてきたからもう飽きているんだよ 君とID:3VBVysYA氏とでやり合えばいい とりあえずIUTTの簡単な概説ぐらいは読み返してからIUTT批判を書き込むがよろし 吠えることもできず、ただ噛みつくだけの狂犬は気色悪いだけだからな（笑）
250:１３２人目の素数さん
19/01/09 22:10:44.57 sQzAgTM3.net
>>236
そもそもモッチーが第一線かって話なんだよね。
第一線っていうわりに業績が少なすぎる。
251:１３２人目の素数さん
19/01/09 22:27:28.27 gFTTy9kb.net
>>237
モデル理論とモデル論的意味論は違うって繰り返し指摘されてるのに、
なぜ自称別人２名が同じ間違いをするんだろうか。
「モデル論的意味論」でググったらモデル理論のWikipedia記事がトップに来るから？
252:１３２人目の素数さん
19/01/09 22:42:15.52 gFTTy9kb.net
あと結論としてIUTTのレポートはもう読む価値がないしその後の推移も無視してよいと言わないとね。
なんだかんだで追加のものを読ませようとしてる時点で擁護なんだよな。
253:１３２人目の素数さん
19/01/09 23:13:36.34 3lf8T3DZ.net
前スレ（年末）からそうだけど、やたらWikiだのググるだの「反論文の読解を勧めないで欲しい」（前スレ№972）だの、
S・Sレポート以前にアップされた簡単な概説すら読もうとしないところを見ると、数学を生業にしている人ではないな
要するに５ｃｈゴロで、どこぞのスレ主と罵倒し合っているのが相応しいレベルだよ
今回、狂犬のおかげでS・SレポートはIUTTの概要を知っていなければとんでもない誤読をするということが分かった
S・Sもこんな５chゴロ向けには書いてないはずだからね（笑）
擁護派とか否定派とかどうでもいいんだよ。ある程度読んで否定的なのか（僅かな？）可能性を見るか、それだけだ
あとついでに、読ませようも何も、読むか読まないかは自分の判断でするに決まってるだろう？
前スレ№972や>>240は歪んでいるよ。望月に頼んでIUTTで歪みを計算してもらったらいい
できないだろうけどな、いろんな意味で（笑）
254:１３２人目の素数さん
19/01/09 23:21:08.55 XGUAuH7v.net
誤差のある証明なんてありえません。
255:１３２人目の素数さん
19/01/09 23:41:08.77 gFTTy9kb.net
>>241
いや、Wikipedia読んでるの君じゃないの？
モデル理論とモデル論的意味論って分野が違うから普通間違えないよ？
256:１３２人目の素数さん
19/01/10 00:23:02.32 bOILnlyF.net
おれは、モッチーのブログでの絶大なる自信に賭けるね
これはほんものだな
257:１３２人目の素数さん
19/01/10 00:25:25.29 jD0HP1Wr.net
*******************************************
そもそもモッチーが第一線かって話なんだよね。
第一線っていうわりに業績が少なすぎる。
******************************************
これを業績膨大といわずしてなんというんだよｗ
258:１３２人目の素数さん
19/01/10 00:47:47.69 FO/lAWLA.net
このスレでもプロ固定が狼藉を働いてるのか
259:１３２人目の素数さん
19/01/10 07:05:36.19 YJBQ0jOX.net
IUTは 京大 RIMS 日本数学界のスキャンダル
260:１３２人目の素数さん
19/01/10 07:07:52.88 YJBQ0jOX.net
>擁護派とか否定派とかどうでもいいんだよ。
ある程度読んで否定的なのか（僅かな？）
可能性を見るか、それだけだ
今更では？
261:１３２人目の素数さん
19/01/10 07:38:29.26 tWWO6oKF.net
実はここで話題にしてくれてるだけでも望月さんからしたら感謝してる状態なんだわ
262:１３２人目の素数さん
19/01/10 13:16:09.78 z7Cjfbl0.net
海外では内容なしのすっからかんで結論が出て、もう話題にすら登らないからね。
263:１３２人目の素数さん
19/01/10 17:09:24.58 24r+hKp+.net
／￣`Y ￣ヽ､
/ / / / l | | lヽヽ
/ / // ノ ヽ､ヽ
| | |/oﾟ（●） （●）ﾟo ウンコうめえおｗｗｗｗｗｗｗｗ
（Ｓ|| | ⌒ ･ｨ ヽ
| || | ミ;;'';;;､;:..,.,,, ﾝｸﾞ ﾝｸﾞ
| || | i;i;i; '',',;^′ヽ
| || | ＼_ﾞゞy､､;:..､） ｝
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
ﾞ{y､､;:...:,:.:.､;:..:,:.:. ._ ､｝
".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
264:１３２人目の素数さん
19/01/10 22:58:44.59 Fv2h/p8F.net
ｽﾚﾘﾝｸ(math板)
URLﾘﾝｸ(www.kyodemo.net)
265:１３２人目の素数さん
19/01/11 00:47:08.00 Us1l7wam.net
取り巻きだった連中も距離を置きだしてるみたいだね
266:１３２人目の素数さん
19/01/11 03:30:28.64 j6Xyz6gk.net
取り巻きだった連中って、具体的に言うと？
267:１３２人目の素数さん
19/01/11 06:42:10.70 3f3wXpc9.net
取り巻きの星が動き出したぞ
268:１３２人目の素数さん
19/01/11 10:56:14.44 tS1wvGzF.net
おぼちゃんのときみたいに大きなお金が動く分野ならともかく、
純粋数学ってそんなに大きなお金が動く世界とも思えず
なんでかな、と
269:１３２人目の素数さん
19/01/11 12:23:21.95 /lyL4Gst.net
ワイルズさんはあれで八億ぐらい稼いだけどね
270:１３２人目の素数さん
19/01/11 13:43:45.03 2Po9i7U2.net
>>241
ご迷惑をおかけしたw
この人は毎回枝葉末節への拘り方が凄い典型的なあれだから、改めて相手にするだけ無駄ですね
要は数学でいう「意味」が何なのか形式的に定義して話せって言いたいんだろうけど
IUTの独特な記述から普通に数学的内容を読み取るのが難しいっていう素朴な話をしてるだけだから検討違い
用法についても言いがかりに近い
271:１３２人目の素数さん
19/01/11 13:48:26.95 mfPxVcXt.net
>>257
kwsk
272:１３２人目の素数さん
19/01/11 14:02:00.53 2Po9i7U2.net
モデル論的意味論とモデル理論の違いなどは文脈的に明らかだから、全く拘るような話ではない
そんな無駄な話をするくらいなら、IUFが少なくとも集合論とモデル理論に跨がる何らかの
新しい理論を示唆するかどうか、夢のある話をしたほうがよい
全否定に拘るとそんな話はできないわけだが
273:１３２人目の素数さん
19/01/11 16:53:31.62 Nw/wF1+l.net
モデル論的意味論ってなんやねん
ググっても出てけーへんぞ
274:１３２人目の素数さん
19/01/11 17:01:35.15 m2nTGbn8.net
>>260
＞新しい理論を示唆するかどうか
するわけないじゃん。けっきょくポジティブに誘導してる。
あんなのはバッサリ不正として切らないとダメだよ。
275:１３２人目の素数さん
19/01/11 17:29:28.99 ROeZoRW4.net
>>262
それはバッサリと否定させてもらう
276:１３２人目の素数さん
19/01/11 18:25:27.31 2Po9i7U2.net
>>262
心が素直な人間にしかわからないこともあるw
277:１３２人目の素数さん
19/01/11 18:27:22.28 tS1wvGzF.net
宗教がかってきた
278:１３２人目の素数さん
19/01/11 18:35:18.37 2Po9i7U2.net
でも結構ガチな話だよ
それが何なのか見える人は非常に幸運と言ってよい
そういう新たな数学（基礎論）は2050年くらいには一般にもはっきりしているだろう
だが、これは必ずしもIUTそのものの話ではない。一つの予見の問題だ
胡散臭いと思う人は損をする。何が可能か自分で考えてみることだ
279:１３２人目の素数さん
19/01/11 18:46:18.45 kswSoRX/.net
IUTに見るべきものはあるのだとしても
今の論文は数学としてはバッサリ切らざるを得ないだろうね
その上でIUTの周辺で頑張る人が頑張るのは好きにどうぞ
何か具体的に結果が出たら話してください
280:１３２人目の素数さん
19/01/11 18:52:13.52 EFn0qQSh.net
>>266
基礎論の用語をそもそも理解できてない人間が語ってもしょうがない。
281:１３２人目の素数さん
19/01/11 19:36:52.21 2Po9i7U2.net
>>268
しつこいな。頭悪すぎない？意味論やモデル理論の用法なら文脈的に何処も間違いではないんだが
逆にケチ付けてる側が馬鹿を晒すからやめたほうがいい
>>267
少なくとも劇的に状況が改善しアクセプトにならない限りは言及しようがないからね
282:１３２人目の素数さん
19/01/11 19:46:45.36 KQpHqpZ0.net
>>250
>海外では内容なしのすっからかんで結論が出て、もう話題にすら登らないからね。
いったいそれならなぜ
星・山下・Saidi・ブンゲンは2014年12月に「数学的誤りはない」と宣言し、
朝日は2017年12月に「このほど正しいと認められ」などと報じたのだろう？
これじゃまったく正反対じゃないか（怒）
283:１３２人目の素数さん
19/01/11 19:48:29.21 IBOspPP1.net
これID:2Po9i7U2とかが言ってるのって、IUTはくだらないけどIUTには21世紀における
数学的アイデアが潜んでて俺たちにだけ分かってるってことなの？
だとしたら頭おかしいとしか思わんけど
284:１３２人目の素数さん
19/01/11 19:54:43.37 2Po9i7U2.net
例えば基礎論のいわゆるモデル理論の範疇性や安定性とIUTの議論が直接関係ないとか言いがかりを
つけるにしても、これも全くの見当違いだな。色々な切り口や論点があり、関連は柔軟に見れる
そういうつまらない言いがかりを付ける限り、逆に自分の見識の狭さをさらけ出すだけだよ
285:１３２人目の素数さん
19/01/11 19:55:50.36 tS1wvGzF.net
心配ない
2050年がきたらこのアーカイブを振り返って
壁に頭打ち続けて思う存分自分の黒歴史を呪う
という展開も(一応、敬意を表して少なくとも50%は)ありうるわけで
286:１３２人目の素数さん
19/01/11 21:12:40.38 /mCwF+UJ.net
日本人は全員ゴミ
287:１３２人目の素数さん
19/01/11 21:37:14.75 2Po9i7U2.net
>>271
下らないなんて俺は言ってない
ABC予想の証明として十分だとは、未だにこの数ヶ月思えないが、下らないこともない
288:１３２人目の素数さん
19/01/11 21:47:43.46 2Po9i7U2.net
どうでもいいがモデル理論って理念上はかなり広い分野なんだがね
尤も、IUTの基礎論的な議論がそのまま全て既成のモデル理論的な議論と見なせる、なんて馬鹿なことは言わない
また、集合とそうしたものの関連性っていうのも根本的なレベルではあまりわかってないわけだ
多分、望月さんとしてはABC予想自体よりはそうした大きな話のほうが本義だと思ってるんじゃないか
とはいえ、そういう新しい基礎論を展開する数学者がIUTに言及するかは敬意を表しても50%くらいだろうw