Inter-universal geometry と ABC予想 30

**１３２人目の素数さん** · 2018/08/26(日) 14:13:46.23

IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ　Inter-universal geometry と ABC予想 29
https://rio2016.5ch.net/test/read.cgi/math/1531344322/

**１３２人目の素数さん** · 2018/08/26(日) 14:14:16.88

**１３２人目の素数さん** · 2018/08/26(日) 14:14:48.33

**１３２人目の素数さん** · 2018/08/26(日) 14:15:31.32

>>3 の続き

Inter-universal geometry と ABC予想　24
https://rio2016.5ch.net/test/read.cgi/math/1516888340
Inter-universal geometry と ABC予想　25
https://rio2016.5ch.net/test/read.cgi/math/1520299291
Inter-universal geometry と ABC予想　26
https://rio2016.5ch.net/test/read.cgi/math/1523148966
Inter-universal geometry と ABC予想　27
https://rio2016.5ch.net/test/read.cgi/math/1525616990
Inter-universal geometry と ABC予想　28
https://rio2016.5ch.net/test/read.cgi/math/1528525603
Inter-universal geometry と ABC予想　29
https://rio2016.5ch.net/test/read.cgi/math/1531344322/

**１３２人目の素数さん** · 2018/08/26(日) 14:23:34.83

Ivan Fesenko, Remarks on aspects of modern pioneering mathematical research, July 2018.
https://www.maths.nottingham.ac.uk/plp/pmzibf/rapm.pdf

abc News, Posted on July 17, 2018 by Peter Woit.
http://www.math.columbia.edu/~woit/wordpress/?p=10436

**１３２人目の素数さん** · 2018/08/26(日) 14:27:19.76

AMS Blogs, Musings on a Mathematician’s Duties,
Posted on August 20, 2018 by Rachelj Crowell.
https://blogs.ams.org/blogonmathblogs/2018/08/20/musings-on-a-mathematicians-duties/

**１３２人目の素数さん** · 2018/08/26(日) 14:33:30.15

現時点でのIUTに関する最新情報は>>5-6

**１３２人目の素数さん** · 2018/08/26(日) 17:15:59.97

>>7
jin乙

**１３２人目の素数さん** · 2018/08/26(日) 17:16:12.18

778１３２人目の素数さん2018/08/13(月) 10:36:56.22ID:1sIym2cm
なんでプロパガンダを素直に信じるのか。
復元の際の誤差と影響については触れられてないだろ。証明なんだぜ。
完璧に復元できますとの説明もされてないし。

779１３２人目の素数さん2018/08/13(月) 11:45:09.26ID:GMTBwhsp>>817
1億分の1の誤差
100000000＝2×2×2×2×2×2×2×2×5×5×5×5×5×5×5×5
100000001＝17×5882353

780１３２人目の素数さん2018/08/13(月) 12:45:41.32ID:/Vm7mrnr
偉大な数論に誤差は憑き物なので無視して良し。

781１３２人目の素数さん2018/08/13(月) 12:57:53.50ID:GMTBwhsp>>817
10の27乗分の1の誤差
10000000000000000000000000000＝2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×2×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5×5
10000000000000000000000000001＝73×137×7841×127522001020150503761

782１３２人目の素数さん2018/08/13(月) 13:02:26.74ID:MY/J3aB2
レアケースについて述べた論理ではありません

783１３２人目の素数さん2018/08/13(月) 13:12:43.04ID:GMTBwhsp>>817
5の30乗
931322574615478515625
5の30乗分の1の誤差
931322574615478515624＝2^3×3^2×7×11×31×61×71×181×521×1741×7621
931322574615478515626＝2×13×41×601×2281×9161×69566521

784１３２人目の素数さん2018/08/13(月) 13:46:21.08ID:lJ02s+tz>>817
誤差があるようなものでlogの大小についつ論じるのは不適切だね。

ブンゲンの介錯を求ム。

785１３２人目の素数さん2018/08/13(月) 13:58:21.06ID:6+78u857
そろそろ例の逃亡用慣用句の登場か
　　　　　　　　↓
キチガイが一人いるなあ。

**１３２人目の素数さん** · 2018/08/26(日) 17:49:41.64

>>8
残念ながらワイはjinではない

**１３２人目の素数さん** · 2018/08/26(日) 20:01:29.01

最近のショルツって何してんの？
しっかりIUT論文を読み込んでほしい

**１３２人目の素数さん** · 2018/08/26(日) 21:07:42.11

セールとショルツとコーエン
この三人はフィールズ賞で最もコスパ良く名声を得た感ある

**１３２人目の素数さん** · 2018/08/26(日) 22:03:54.99

perfectoidってもともとHuberとかのアイディアなんでしょ？

**１３２人目の素数さん** · 2018/08/26(日) 22:26:16.65

>>1
乙

**１３２人目の素数さん** · 2018/08/27(月) 00:43:07.86

>>13
FontaineとWintenberger

**１３２人目の素数さん** · 2018/08/27(月) 01:04:28.34

削除依頼を出しました

**１３２人目の素数さん** · 2018/08/27(月) 02:08:34.90

FIELDS MEDAL WINNER PETER SCHOLZE

https://m.youtube.com/watch?v=yEVlCZTqht8

**１３２人目の素数さん** · 2018/08/27(月) 02:18:39.56

CHERN MEDAL MASAKI KASHIWARA

https://m.youtube.com/watch?v=yw4KifIg3R0

**１３２人目の素数さん** · 2018/08/27(月) 08:04:20.83

今月30日注目
論文発表6周年記念
ついに公表

**１３２人目の素数さん** · 2018/08/27(月) 12:22:23.74

数学はオワコン

**１３２人目の素数さん** · 2018/08/27(月) 13:26:05.56

終わってはいない
理解する人が減ってるだけ

**１３２人目の素数さん** · 2018/08/27(月) 13:54:24.25

>>19
セミヌードかなんか？

**１３２人目の素数さん** · 2018/08/27(月) 17:04:49.11

3人から10人程度に増えたけど。6年間かけてw

**１３２人目の素数さん** · 2018/08/27(月) 17:36:00.45

もしかして掲載決定？

**１３２人目の素数さん** · 2018/08/27(月) 18:21:15.66

IUTver.2

**１３２人目の素数さん** · 2018/08/27(月) 18:30:43.12

動きがあったらまた来るわ
じゃあの

**１３２人目の素数さん** · 2018/08/27(月) 20:32:18.05

>>23
また擁護派はしれっとそういうこと言うｗ
有限記号列で表現不可能なんだから望月の脳内にも証明なんかあるわけがない

**１３２人目の素数さん** · 2018/08/27(月) 21:08:34.72

>>27
有限云々はそれだけお相手さんの理解が悪いってこったろ。

**１３２人目の素数さん** · 2018/08/27(月) 21:13:23.42

だから簡単な例で示してくれれば解決するんだよ

**１３２人目の素数さん** · 2018/08/27(月) 22:23:25.45

>>29
これだからつまみ食いな奴はいつ待てたっても理解できない。

**１３２人目の素数さん** · 2018/08/27(月) 23:05:26.81

やっぱり理解者なんかいないんだー

**１３２人目の素数さん** · 2018/08/27(月) 23:39:21.22

>>28
何言ってるんだ。
有限記号列で証明できないなら証明じゃないってこと。
人知の及ばないものであるということ。
もっちーの「ひらきなおり」もしくは「降参宣言」だろ。

**１３２人目の素数さん** · 2018/08/28(火) 00:18:47.89

でも30日に掲載決定だったらアンチ死ぬじゃん

**１３２人目の素数さん** · 2018/08/28(火) 00:53:46.82

総叩き覚悟かあ。。。

**１３２人目の素数さん** · 2018/08/28(火) 02:11:41.47

ブログの有限記号列のくだり読んだけど
Cor.3.12が有限記号列で証明できないって話じゃないよね
もう少しマトモなイチャモン考えたら？

**１３２人目の素数さん** · 2018/08/28(火) 02:14:39.52

掲載は当分先になるって聞いたよ

**１３２人目の素数さん** · 2018/08/28(火) 03:01:40.89

望月新一の証明が真実だとしてもガウスとかオイラーの域には届かないんだなあ
理論が難しいっていうのがもうダメ
聖書とか読めばわかるけどあれって何一つ難しいことは書いてないんだよね
それでいて無限の深さがある
本物っていうのはそういうこと以外ない
技巧的に、複雑になるのは抽象化が中途半端なだけなんだよなあ

**１３２人目の素数さん** · 2018/08/28(火) 03:42:12.23

復元アルゴリズムがあやしいって言っとけば
とりあえず通ぶれますか？

**１３２人目の素数さん** · 2018/08/28(火) 04:25:45.80

聖書と比較するとかキチガイの極みだな

**１３２人目の素数さん** · 2018/08/28(火) 04:46:11.63

タイヒミュラー空間ということはモジュライ空間みたいのを考えてるんだよね。
しかも個々の点を考えていたのでは証明できないことを、全体の「つながり具合」を考えることで証明できるというロジックのはずだ。
モジュライ空間のコンパクト化みたいに、新たな点が加わっていたりするんだろう。
しかし、「つながり」と言っても、古典的な連続変形みたいな位相のつながりではなく、革新的なつながり方での変形を考えてるんだろう。
とすると、ありうる間違いとしては、つながり具合がはっきりしてない要素がシレっと紛れ込んでいて、それをもって証明=自明という形になってるということはあるんじゃないか？（適当）

**１３２人目の素数さん** · 2018/08/28(火) 09:41:56.99

聖書って別に分かり易くはないよね。
創世記とかマタイ伝とかメジャーなのはそれなりに面白いが、習慣や発想が違いすぎて、何言ってんのか分かんねみたいのもたくさんある。
現代人の感覚からすると、当時のユダヤ人の差別意識や発想はキ〇ガイと思えるものもあるが
当時の「人間」が書いた書物だとすれば、すべて説明がつく。
「神の書」だとか言うとおかしいんで。だが信者はその視点が持てなかったりする。

**１３２人目の素数さん** · 2018/08/28(火) 16:45:19.05

技巧的に複雑っていうのは、ぶちあげてしまえばZFCに拘ってるせいもあるだろうな
高水準言語使ってんのにわざわざ低水準言語に言及してるようなもん
その辺が30年後にはすっきりしてるだろう

**１３２人目の素数さん** · 2018/08/28(火) 16:47:29.31

でも理論の図式自体はそこまで無駄に複雑ではないと思うけどね
技巧的な複雑さならTaylorらの佐藤テイトとかも負けてないだろうし

**１３２人目の素数さん** · 2018/08/28(火) 17:04:22.54

柏原河合のような秀でた弟子がいない、今の取り巻きじゃ役不足、ってとこがこの問題が長引いてる主要因なんだろな。

**１３２人目の素数さん** · 2018/08/28(火) 17:16:25.18

ごーくんじゃ役不足？

**１３２人目の素数さん** · 2018/08/28(火) 17:21:07.89

もし今井さんが望月さんの学生だったらdeligneになってたかもね

**１３２人目の素数さん** · 2018/08/28(火) 17:50:20.56

10年後の若林に期待しようず

**１３２人目の素数さん** · 2018/08/28(火) 18:01:54.52

>>35
同感。>>32の読み違いw
有限列で「証明できない」とは言ってないだろうに。

**１３２人目の素数さん** · 2018/08/28(火) 20:52:10.83

数学の理解とは何かっていう認識論の話だな、あれは

**１３２人目の素数さん** · 2018/08/28(火) 21:23:36.21

>>48
でたでた。見苦しい弁護論。
望月は数学的真理は有限記号列で伝わらないといっている。
これは、望月自身が、彼自身が数学的真理とするものについて、「伝えることができない」っていってるんだよ。
擁護論者は望月が「証明した」といっているのを「有限記号列」もなしにただ信じているだけｗ

**１３２人目の素数さん** · 2018/08/28(火) 21:51:06.58

>>50
現代的な代数幾何学や作用素環なんて人類の99%以上は理解できない
同じように数学者でさえもなかなか理解できないこともあるのではないかという話だろ
メチャクチャ深い哲学的問題だと思うぞ

**１３２人目の素数さん** · 2018/08/28(火) 21:55:09.80

認識論がいつのまにか頭数のお話

**１３２人目の素数さん** · 2018/08/28(火) 22:04:29.30

いや同じ問題だよ。何故殆どの人間は高校数学以上の数学がわからないのか？
構造や体系を高度にしていけば、数学者でも理解が難しい理論はあるのか？
理解の程度とは何なのか？

これらについて論じられたら十分それで食っていける話だわ

**１３２人目の素数さん** · 2018/08/28(火) 22:14:58.38

>>50-51
51の言ってることも違う。
「有限記号列に表現した時点で情報量が落ちてしまうのではないか」ということを望月は言っている。
Cor.3.12の証明が有限記号列で表現できないという話でもない。

＞「数学」を完全に記録し、伝達するには論文（＝PDFファイル）だけでは不十分であり、どこかに
＞「抜け落ちている情報」があるのではないか、
＞と強く感じております。まさにそのことが以前から気になっているからこそ、
＞その「抜け落ちている情報」が忠実に表現されている可能性があるように感じる別系統の媒体＝例えば、
＞　・2017-01-06付けの記事で取り上げた「サイマジョ」、
＞　・2017-11の二つの記事で取り上げた「芸術」や「バベルの塔の説話」、
＞　・今回の記事で取り上げた「インフルエンサー」
＞の検証に、数年前から特に強い関心を抱くようになりました。
https://plaza.rakuten.co.jp/shinichi0329/diary/201801040000/

こんな簡単な文章ですら正確に意味を読み取れないの？

**１３２人目の素数さん** · 2018/08/28(火) 22:42:52.49

>>54
正確も何も、それ、一部の仲間はわかってるのに、という文脈で書いてるだろ？
その「抜け落ちた情報」とやらも補完して読める人間と読めない人間の違いは何かって話
になるのだから、別に間違いとは思わないが？

**１３２人目の素数さん** · 2018/08/28(火) 22:50:55.17

しっかし最後の行の一言でこいつ意地悪だなーってわかるなーw
だから他の人も下手に話ができなくなるんだよ

**１３２人目の素数さん** · 2018/08/28(火) 23:00:51.30

>>55
お前なぁ、どう読めば「一部の仲間はわかってるのに」という文脈が読み取れるんだよ…

**１３２人目の素数さん** · 2018/08/28(火) 23:07:14.56

新○
「俺は研究所に篭る！あそこでは俺は勝ち組なんだ！
皆が俺を認めるんだ！」

**１３２人目の素数さん** · 2018/08/28(火) 23:20:20.49

新一 vs 拓郎

**１３２人目の素数さん** · 2018/08/29(水) 00:13:10.69

>>50
> でたでた。見苦しい弁護論。
> 望月は数学的真理は有限記号列で伝わらないといっている。
> これは、望月自身が、彼自身が数学的真理とするものについて、「伝えることができない」っていってるんだよ。
> 擁護論者は望月が「証明した」といっているのを「有限記号列」もなしにただ信じているだけｗ

おまえの言ってることは終始イミフ

>>48
> 有限列で「証明できない」とは言ってないだろうに。

への反論になってないばかりか、

> これは、望月自身が、彼自身が数学的真理とするものについて、「伝えることができない」っていってるんだよ。

この文は「望月は有限列で証明できないとは言っていない」というオレの主張と同じだし、

> 擁護論者は望月が「証明した」といっているのを「有限記号列」もなしにただ信じているだけｗ

「有限記号列もなしにただ信じている」というのは意味が分からん
有限記号列は論文の形で存在してるし、何かを盲信してるわけでもなし

あと擁護派とかオレ知らんけど？
勝手に対立構図作って盛り上がっちゃってバカじゃねえの
オレはおまえが日本語の文脈読めないのを突っ込んでるだけなんだけど

**１３２人目の素数さん** · 2018/08/29(水) 01:05:09.16

RIMSは数理解析研究所
念のため

**１３２人目の素数さん** · 2018/08/29(水) 13:33:33.71

数学的真理ってIUTⅢかⅣ、それに関係したことだよね。
他になにかやってりゃ別だけど。
お坊ちゃまの思考回路がよくわからん。

**１３２人目の素数さん** · 2018/08/29(水) 20:07:27.36

>>59
ヘドラvsエビラみたいな図式だな

**１３２人目の素数さん** · 2018/08/29(水) 21:33:08.15

>>54
それ明らかに、数学的真理は論文では伝えられないって言ってるじゃん。
それって結構とんでもないこと言っているぜ。
ほとんど数学者の過去現在にわたる営みを全面的に否定するに等しい。
擁護派は「理解はできないが、ただ望月を信じる」という立場だから気にならないんだろうがｗ

**１３２人目の素数さん** · 2018/08/29(水) 21:43:27.12

>>63
数秘術vs 数学数理かもね

**１３２人目の素数さん** · 2018/08/29(水) 21:45:38.94

ようするに、望月のこの文章を読んで「これはまずい雲行きだな」と感じ、
「ABC予想の証明など望月の脳内も存在しないな」と判断するのが正常な知性の持ち主であって、
屁理屈をつけて望月弁護論を展開し、一縷の夢にすがっているのが擁護派にすぎない。

**１３２人目の素数さん** · 2018/08/29(水) 21:53:58.70

望月はあまりにも他の研究者を過激とも言える表現で刺激し過ぎた。それがこの総スカンを生んでる。
もし、仮に最終的な部分がわかりにくくても、丁寧に説明し、された側が「概ね理解できるよ」という風潮を醸し出していれば、欧米研究者マスゴミも好意的に評価しただろうし、PRIMSもさっさとアクセプトしてたよ。
要は人となりが酷すぎた、これが答えだ。

**１３２人目の素数さん** · 2018/08/29(水) 21:59:23.73

実は２０１４年ごろまでは望月とその周囲の人間の間ではかなり楽観的な話が飛び交っていた。
彼らが言うには「準備論文から丁寧に読み込めば普通の実力のある数学者ならだれでも理解できる」
的な口ぶりだった。
今から考えると望月は何か大きな見落とし、もしくは思い違いがあったのだろう。
周囲の人間もも身びいきの感情から理解したような気になっていたのであろう。
２０１６年ごろから、「完全な理解者」と称される人たちですら、証明の詳細をきちんと説明できないことが発覚し、
望月とその「完全な理解者」が、本当に数学的証明を共有しているのか一挙に疑惑が深まった。
その海外の懐疑的な雰囲気が全く分からずに、PRIMSは論文掲載を強行しようとした。
そしたら「んなわけないだろ」という海外の声が一斉に噴出し、すっかるひるんでしまった次第。

**１３２人目の素数さん** · 2018/08/29(水) 22:05:17.80

「んなわけない」のであれば、ショルツとのバトルは一体なんだったんだ？
お互いに反論ペーパーを出し合う予定だったらしいが、
今はショルツ側が待ったをかけて音信不通なんだろ？
しかも当初はショルツ側から急かしてたらしいじゃないか。

**１３２人目の素数さん** · 2018/08/29(水) 22:07:46.23

>>67
人格は関係ないよ。

**１３２人目の素数さん** · 2018/08/29(水) 22:09:17.88

はっきり言ってア○ペだろ
Hodge-Arakelovやp-adic Teichが何故かスケールと主題の割にかなりマイナーなのも
それが理由
言葉の伝達理解に素朴な疑問を持つのもWittgensteinを思い出させる
人となりって言うけど悪気はないんだよ

**１３２人目の素数さん** · 2018/08/29(水) 22:10:47.89

>>69
「ショルツが待ったをかけた」というのが事実かどうかもあやしい。
擁護派の願望に満ちたネット上の捏造の可能性もある。

**１３２人目の素数さん** · 2018/08/29(水) 22:17:28.74

>>72
これが捏造とか笑わせるなよ。
本当にこれが捏造なら、きちんとした肩書のある人が
こんな捏造するとかリスク高すぎだろ。

475１３２人目の素数さん2018/08/05(日) 11:12:06.12ID:hejn8lVE
Fumiharu Kato 加藤文元　@FumiharuKato
返信先: @math_jinさん
当初はすぐに発表したいからと散々急かして、いざ文書が揃ってみると、突然一方的に公開を禁じるという傍若無人ぶりに憤っているのです。
8:14 - 2018年8月5日場所: 東京大田区

Fumiharu Kato 加藤文元　@FumiharuKato
返信先: @FumiharuKatoさん、@math_jinさん
文書が揃って、ようやくfully addressできていないことに気づいたということなら、要するに当初の彼らの批判は的外れだったと白状しているようなものではないでしょうか。
8:19 - 2018年8月5日場所: 東京大田区

https://twitter.com/FumiharuKato/status/1025884081924399104 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
https://twitter.com/5chan_nel (5ch newer account)
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2018/08/29(水) 22:18:14.96

そういやブンゲンが朝日の記事を批判していたが、これもよく考えてみると妙だね。
ブンゲンは一般向けにABC予想証明の解説を買って出るなど、望月の証明に好意的だったはず。
望月論文が正しいなら、朝日の記事は基本的には正しいし、無事論文も掲載されただろう。
ブンゲンが朝日を「誤報である」と批判するということは、望月論文は正しいとは言えないと認めたも同然。
ブンゲンは、望月がショルツから批判を受けた時、まっさきに相談した相手である。
そのブンゲンが事実上「望月論文は正しいとは言えず、朝日は誤報として批判されるべき」
と表明したのは重大である。

**１３２人目の素数さん** · 2018/08/29(水) 22:18:44.33

重たいもんな、普通に
それなりのレベルだと自負があったとしても、これを義務タスクにするのはかなりしんどい
遠アーベルなのにStixが深入りしてこないって相当なもんだ

**１３２人目の素数さん** · 2018/08/29(水) 22:40:03.32

>>74
お前アホか？望月理論破綻を前提にロジック組み立てんな。Bの朝日批判は数学の査読過程を記事化するなんてことが到底有り得ないとちゃんと批判してる。
とうねじ曲がってそれが望月批判になる？頭おかしいとしか思えん。
ということで論破。

**１３２人目の素数さん** · 2018/08/29(水) 22:41:11.88

ブンゲン氏はこの件に関連して「アクセプトされる見通し」なんて状態は原理的にありえないとか
目を疑うようなことを書いてるからあまり信用できない。

**１３２人目の素数さん** · 2018/08/29(水) 22:45:43.18

なーこのスレで望月さんと話したことあるやついる？
どんな性格なのか人間性に興味があるんだけど
数学以外の趣味とかあるんかね？

**１３２人目の素数さん** · 2018/08/29(水) 22:45:51.92

>>77
Bは
「数学の論文はアクセプトされるかリジェクトかの厳格な二分法があるだけで、
その中間状態というのはありえない。「アクセプトされる見通し」というのは「アクセプトされた」ということなのであって、
まだアクセプトされていないがいずれアクセプトされる、などという状態は原理的にありえない。」

と言ってるが。何かおかしいこと言ってるか？

**１３２人目の素数さん** · 2018/08/29(水) 22:48:57.89

>>76
アホはお前。新聞は価値ある真実をすっぱ抜くのが仕事で、なんら法的なとがめを受けるものではない。
望月論文が正しいなら、朝日の記事は素晴らしい価値あるスクープで、新聞協会賞ものだよｗ
朝日のスクープを誤報というブンゲンは、事実上望月論文は正しくないと認めたことになる。
まあ、ブンゲンも、望月論文がもはやPRIMUSに掲載される可能性は全くないと悟って朝日に八つ当たりしてるんだねｗ

**１３２人目の素数さん** · 2018/08/29(水) 22:56:26.25

>>80
ちょっともうなにいってんのかわかんない。

**１３２人目の素数さん** · 2018/08/29(水) 23:00:13.19

てかブログあるじゃん
すげえ

**１３２人目の素数さん** · 2018/08/29(水) 23:00:31.43

今年の３月ごろは、擁護派の連中は
「ちょっと先走りの記事が出てしまいましたが（笑）、皆さんお待たせしました」
って、掲載の決定が発表されるってワクワクしてたんだよなｗ
今やその可能性は全くなくなり、朝日の記事に八つ当たりするしか能がないｗ

**１３２人目の素数さん** · 2018/08/29(水) 23:05:58.46

>>83
そもそも掲載＝理論が正しい、じゃないのはあんたわかってんの？

**１３２人目の素数さん** · 2018/08/29(水) 23:10:47.29

>>84
そんなぐらいわかっているよ。おれはRIMSの査読すら信じてないからねｗ
だけど逆に擁護派は論文に掲載されれば一発逆転て思ってるじゃんｗ
で、現状は、論文掲載の可能性すら全くないとブンゲンも悟りだし、朝日に八つ当たりしてるわけｗ

**１３２人目の素数さん** · 2018/08/29(水) 23:14:02.31

>>79
うん。おかしいことを言ってる。
「見通し」という言葉を曲解してるか、論文出版のプロセスに理解がないかのどちらかでしょう。

**１３２人目の素数さん** · 2018/08/29(水) 23:17:46.34

いつか読んだシュレディンガーの猫みたいに、その証明の核心は肯定も否定もできないってことは無いんでしょうか　工学卒の素朴な疑問ですけど

**１３２人目の素数さん** · 2018/08/29(水) 23:20:10.56

>>86
任意のA日に編集委員会でアクセプト「する」「しない」を決めんのに、どこに「見通し」出来る日が存在するんだよww

**１３２人目の素数さん** · 2018/08/29(水) 23:21:33.44

>>85
一発逆転なんていうアホな思想持ってんのは仁美くらいで、本当の理解者はもっと冷静だよ。

**１３２人目の素数さん** · 2018/08/29(水) 23:21:51.06

>>87
シュレーディンガーの猫とは違うけど、
数学で証明も否定もできないことといえば、選択公理や排中律みたいに
本人の哲学的立場によって受け入れられたり受け入れなかったりする
公理が使われている場合かな

**１３２人目の素数さん** · 2018/08/29(水) 23:22:52.13

>>85
ねえねえ、ショルツとのバトルは一体なんだったんだ？
お互いに反論ペーパーを出し合う予定だったらしいが、
今はショルツ側が待ったをかけて音信不通なんだろ？
しかも当初はショルツ側から急かしてたらしいじゃないか。

まさか>>73が本当に捏造だと思ってるのか？

**１３２人目の素数さん** · 2018/08/29(水) 23:31:27.85

IUTの正否に関してそれを判断する知識を持ち合わせていないが、
ブンゲン氏が最近になって朝日記事を批判するのには首を傾げるな
何故もっと早い時期に言わなかったのかと
ショルツの件と同時期に言っているのがどうもね

IUTに関しては純粋に学問的なこと以外の話題が多すぎるんだよ

**１３２人目の素数さん** · 2018/08/29(水) 23:35:45.39

>>88 論文出版のプロセスにまったく理解がないね。
編集委員会で当日いきなりゼロから採否を決定するわけないだろ。
著者サイドからしたってminor revisionで好意的なリポートが来たら
普通はアクセプトの見通しだなと思うわな。

**１３２人目の素数さん** · 2018/08/30(木) 00:45:58.18

あれ、でも今日だよな重大発表

**１３２人目の素数さん** · 2018/08/30(木) 01:00:57.29

何年間もまったく進展ないのはなんでなの？

**１３２人目の素数さん** · 2018/08/30(木) 01:01:23.02

うん、今日アクセプトされるね

**１３２人目の素数さん** · 2018/08/30(木) 02:24:06.74

>>64
数学の研究をするには文章のやりとりだけではダメで、直接会っての交流が必要なんだから、なにもおかしくない。

**１３２人目の素数さん** · 2018/08/30(木) 03:18:46.04

こんな時間にいきなり悪いけど、それは説明になってないのでは？
会って話すにしても言葉を使うわけで、それなら何でそういう解説をしないのか、となる

**１３２人目の素数さん** · 2018/08/30(木) 03:48:15.02

モッチーの心情を忖度した者だけが理解（=共感）できる証明なんじゃないか。
モッチーブログにも「英語はもう聞きたくない」みたいな
「俺の心情を忖度してくれ！」みたいな心の叫びがあるよね。
モッチーに十分共感するためには、じかにモッチーに会って
言葉では伝わらないモッチーの人柄に触れて
共感のコミュニティに入る必要があるのかもしれん。（言葉を超えた無限性）

**１３２人目の素数さん** · 2018/08/30(木) 04:19:19.52

あれ、12年に論文が出てすぐ小さな誤りを指摘した院生って誰だっけ
そいつとか何してんだろ

**１３２人目の素数さん** · 2018/08/30(木) 05:56:43.61

>>100
Mさんのことなら筑波で助手

**１３２人目の素数さん** · 2018/08/30(木) 06:02:35.95

>>100
指摘した二人のうち一人はこの前フィールズ賞

**１３２人目の素数さん** · 2018/08/30(木) 08:30:28.78

>>96
RIMSは終わるな

**１３２人目の素数さん** · 2018/08/30(木) 09:20:48.32

もちづきさんのブログってどこにあるの？

**１３２人目の素数さん** · 2018/08/30(木) 11:10:49.09

7月にIUTの査読作業をしていると思われる面子が
京都に一堂に会する機会があったらしいが、おそらく何らかの進展があったと思う。

**１３２人目の素数さん** · 2018/08/30(木) 11:19:48.51

>>80
なんちゅうアホｗ
法的なとがめが何の関係があるのか。

あれが「真実」をすっぱ抜いた正しい報道なら、アクセプトされたことを
すっぱ抜いたことになる。しかし、実際はまだ先行き不明な査読途中なん
だから「誤報」でしかないというだけ。

**１３２人目の素数さん** · 2018/08/30(木) 11:27:13.68

>>93
>著者サイドからしたってminor revisionで好意的なリポートが来たら
>普通はアクセプトの見通しだなと思うわな

それはそれで一理あるが、さほどはっきりした見通しではないよね。

**１３２人目の素数さん** · 2018/08/30(木) 11:27:56.86

>>102
あれScholzeじゃなかった気がするけど。モヤモヤするw

**１３２人目の素数さん** · 2018/08/30(木) 11:58:46.34

査読者って何人いるの？みんな日本人？

**１３２人目の素数さん** · 2018/08/30(木) 12:05:39.07

なぜ、今日アクセプトされると分かるのか？

**１３２人目の素数さん** · 2018/08/30(木) 12:27:04.89

>>108
メダル盗まれたやつだよ

**１３２人目の素数さん** · 2018/08/30(木) 12:27:57.43

今日アクセプト？しねーよ
IUT誕生6終年記念日ってだけ

**１３２人目の素数さん** · 2018/08/30(木) 12:28:53.12

>>109
んなもん公にできっかよ
編集委員だけの極秘中の極秘情報じゃねーか

**１３２人目の素数さん** · 2018/08/30(木) 12:30:42.42

>>80
ブンゲンが当たってるのは、朝日によって海外の世論がマイナスになったことで、掲載が滞ってることにたいしてだよ
論文が間違ってたからじゃねーし

**１３２人目の素数さん** · 2018/08/30(木) 14:39:53.24

>>104
ホイ
https://plaza.rakuten.co.jp/shinichi0329/

**１３２人目の素数さん** · 2018/08/30(木) 15:10:20.78

>>98
「言葉を使う」と「言葉だけ使う」では全然違うだろ

**１３２人目の素数さん** · 2018/08/30(木) 15:50:59.65

>>116
それはちょっと苦しい言い方というかw
それに、それで効率的に伝わるならとっくに弟子が説明して成り立ってる

**１３２人目の素数さん** · 2018/08/30(木) 16:29:30.65

ブログで驚いたのはこの箇所

>よく思うことの一つですが、数学の研究の中でも最も核心的に重要なものは「～予想」というような名称のついている有名な予想・未解決問題等ではなく、むしろ、
>
>（＊）「何で数学が人類にとって本質的に必要
>　　　不可欠なものであるか」ということを、
>　　　どうやってより明示的な形で一般社会
>　　　に対して示すことができるか
>
>のような問い掛けだと思います。

高度に抽象的なところにいるしメディアへの露出もないから
数学の必要性とか一般社会に理解されることとかに興味ないと思ってたけど
意外と気にしてた

**１３２人目の素数さん** · 2018/08/30(木) 16:55:36.81

>>118
自分の存在意義に関わる問題だから当たり前だろ
アメリカには居場所が無かったわけだし

**１３２人目の素数さん** · 2018/08/30(木) 17:33:37.50

>>119
いや数学者って「それ何の役に立つんですか？」と質問する人を軽蔑したりするじゃん
役に立たないことをなぜか誇りに思ってるやつもいるし

**１３２人目の素数さん** · 2018/08/30(木) 17:41:36.77

佐藤幹夫曰く
「数学にしろ物理にしろだんだん進歩してむずかしくなったという言い方は絶対おかしいですね。進歩したらやさしくならなければならない。」

**１３２人目の素数さん** · 2018/08/30(木) 17:48:15.66

>>121
それはちょっと違うと思うけどな
D代数だって基本的に可換ではないし。必要な複雑さと単純化が両方あるよね

**１３２人目の素数さん** · 2018/08/30(木) 18:14:03.71

D加群は線形偏微分方程式系の解法から。
柏原先生の代数解析概論の始めに
佐藤幹雄先生の簡単な例発想がある。

今では量子力学は非可換だが計算している。
ま、一般的に行列の積も非可換です。

**１３２人目の素数さん** · 2018/08/30(木) 18:15:46.58

深谷賢治曰く
「科学の進歩の歴史には、何か新しいブレークスルーが起こって、前のが全部簡単になってしまう瞬間が何回かあったと思います。しかし、そういうことが今後どんどん起こるのか、ということに対しては懐疑的です。」
https://www.ipmu.jp/sites/default/files/webfm/pdfs/news22/J4_Interview.pdf

**１３２人目の素数さん** · 2018/08/30(木) 18:31:59.68

言い方は悪いが、量子論の真の数学的基盤を追い求めて道半ばで屍になりつつある
深谷さんの言うことだから説得力はあるw

**１３２人目の素数さん** · 2018/08/30(木) 18:35:10.27

万有引力の法則が一般相対論に置き換えられたことで
簡単になったってわけじゃないからなぁ。

でも、概念としては分かりやすいと思う人はいるかも。

**１３２人目の素数さん** · 2018/08/30(木) 18:59:24.45

>>117
苦しくない
数学は空気伝えの学問だと思う
数学者と数学のことで接したことがあればわかる

**１３２人目の素数さん** · 2018/08/30(木) 19:02:57.67

そりゃ力学だけだったら相対論はできてないわ
電磁気学と力学の統一なんだから

**１３２人目の素数さん** · 2018/08/30(木) 19:10:52.36

数学の証明は、思考の過程を記録するメモみたいなもんだと思う

**１３２人目の素数さん** · 2018/08/30(木) 19:22:42.17

>>127
だから、そうであればとっくにアクセプトされているでしょう
それに、多少数学に関わっているなら、会ったことがなくても咀嚼できる事もいくらでも
あるとわからないかね

**１３２人目の素数さん** · 2018/08/30(木) 19:23:37.44

で、今日何かあったの？

**１３２人目の素数さん** · 2018/08/30(木) 19:41:06.42

佐村河内のゴーストライター事件の時は深夜に２ちゃんに
「重大発表あり」と書き込みがあって、午後に新垣の記者会見があったな
過疎スレだったけど関係者の書き込みがあった

このスレには関係者は一人もいないよ
関係者になりたいと妄想しているヤツは若干いるようだがｗ

**１３２人目の素数さん** · 2018/08/30(木) 19:48:49.34

↓
>>96

**１３２人目の素数さん** · 2018/08/30(木) 19:51:54.80

>>124>>121
個人的には
woods holeの固定点定理、もといアティヤシンガーの指数定理の超対称性による証明とか
いわゆるgeometric algebra、要はクリフォード代数とか四元数とかスピノールによるベクトル解析的分野の再整理とか
辺り等辺がそういう進歩による簡略化だと思うんだけど

まあ俺は指数定理厨だけど

**１３２人目の素数さん** · 2018/08/30(木) 20:03:47.87

>>130
論文の掲載の可否は数学的真理の伝達とは別の話だ

**１３２人目の素数さん** · 2018/08/30(木) 20:34:33.22

>>135
別にいいんだけど、そうやって言葉に対して何か超越的な効果をコミュニケーション云々で
あっさり片付けようとするのは一種の放棄だと思うけどな
効率性の話ならまだわかるんだけど、伝達可能性自体の話だとすると荒すぎる
ここで掘り下げるような話ではないが

**１３２人目の素数さん** · 2018/08/30(木) 20:35:20.46

小保方信者と望月信者ってそっくりだなｗ
どちらも「信じている」ってだけのこと。

**１３２人目の素数さん** · 2018/08/30(木) 21:03:30.08

鰯の頭も信心から

**１３２人目の素数さん** · 2018/08/30(木) 21:42:29.59

>>136
同意
科学者の心の隙に入り込む神秘主義の罠だよね
７０・８０年代はけっこうそういうのが流行った
その最悪の帰結がオウム事件（群がったのは２流の学者の卵だったが）

望月氏にはそういう危うい傾向を感じられるんだよな
既成の論理と用語で先に進められず造語を駆使して論理を勧めるなら
理解してもらう努力を徹底的にしないと・・・

**１３２人目の素数さん** · 2018/08/30(木) 21:52:43.93

>>139
それは神秘主義とはまた違う。
論文と本をいくら精読してもそれで数学の研究ができるかというと無理

**１３２人目の素数さん** · 2018/08/30(木) 22:02:17.63

望月論文云々は別にしても、数学の理解や研究には数学者同士の直接のコミュニケーションは超重要だよね
それが無いとろくなことできないよ

**１３２人目の素数さん** · 2018/08/30(木) 22:10:18.12

ふーん、BんげんやFセンコはすごいんだ

**１３２人目の素数さん** · 2018/08/30(木) 22:10:43.62

横から入ってきたのであまり突っ込みたくないので安価はつけないよ
視点や論点がかなりズレているようだ

論文を読んで理解できるのだったら共同研究もいらないし、極端にいれば大学等の研究機関もいらない
議論を通してアイデアを精緻にしていくのは当たり前

ただ論文はそれら研究の成果だし、相手に読んで理解してもらわなければ意味・意義がない
どんな深遠な理論でも出来るだけ理解が容易になるよう努めて書かれなければ不親切だし、
本論文が相手にとって理解しがたいのなら、本人がもっと分かりやすくすべき

そっくりハウスのようなメタファーや、サブカルチャー（死語かなｗ）等とのアノロジーを多く出すと
難解な言説を既成の言説に翻訳する気があるのかと疑ってしまう

頭の固い人間は喩え話でイメージしてもらえれば十分だよ、という教祖的な態度に見えてしまうんだよ
そういう態度を望月氏には取ってほしくないと思っているだけなんだがね

**１３２人目の素数さん** · 2018/08/30(木) 22:25:55.44

場の量子論の数学的基礎は代数的であれ、解析であれ多分無理
大人しく物理の結果から、幾何で再発見しよう

**１３２人目の素数さん** · 2018/08/30(木) 22:26:43.52

>数学は空気伝えの学問だと思う
>数学者と数学のことで接したことがあればわかる

おい名言生まれたぞ

**１３２人目の素数さん** · 2018/08/30(木) 22:29:41.88

>>134
geometric algebraに詳しい？あれと通常のベクトル解析の違いを1~3行で説明してくれないか？
ベクトル解析の代替物になるのかどうか、何が簡略化できるのか

**１３２人目の素数さん** · 2018/08/30(木) 22:33:29.24

結晶は他人任せの言い草
IPSの方がまだ信用できる

**１３２人目の素数さん** · 2018/08/30(木) 23:21:52.00

望月自身が最初のころは
「準備論文からきっちり読みこめば普通の数学者ならだれでも証明が理解できる」とかいってたのに、いまや
「数学的真理は論文では伝わらない」だもんなあ。
言っていることが完全に真逆になっている。
要するに最初のうちは、まっとうな普通の意味での数学の証明ができたと自信満々だったのに、
ショルツなどの指摘で埋めがたいギャップに直面させられ、不可知論に逃げ込んだんだろうね。

**１３２人目の素数さん** · 2018/08/30(木) 23:30:13.71

>>143

＞そっくりハウスのようなメタファーや、サブカルチャー（死語かなｗ）等とのアノロジーを多く出すと
難解な言説を既成の言説に翻訳する気があるのかと疑ってしまう

俺も前からそれは感じてた。
きちんとした証明を提示せず、たとえ話でごまかすのは、数学じゃなくてまるきりキリストの説法だよ。
福音書じゃあるまいしｗ

**１３２人目の素数さん** · 2018/08/30(木) 23:36:48.61

で、俺が疑っているのは、こういう望月のたとえ話で、
周囲の人間やPRIMSの連中が理解したような気になってしまい、ついには査読も通過したんだろうなということ。
（朝日は誤報でも何でもなく、査読が通ったことを実際に取材して確認し「掲載される見通し」と報じたのだろう）

**１３２人目の素数さん** · 2018/08/30(木) 23:46:33.92

アレクサンドル・グロタンディーク
　反戦運動と環境問題に熱心で、所属組織に軍からの資金援助があることを知ると、彼は即座に辞職。その後は、数学から距離を置いた隠遁生活を送るようになった。
　彼は家族のもとを去り、ピレネー山のふもとで隠遁生活を送り、タンポポのスープなどの粗食で命をつないだ。2003年には「グロタンディークは元気だが、あいかわらずだれにも会いたがらない」と伝えられた。

グリゴリー・ペレルマン
　2006年度、フィールズ賞を辞退した。以前にも昇進や若手数学者に贈られる賞を辞退するなどした経緯があり、自分の論文をあまり公表したがらないことでも知られている。
　趣味はキノコ狩りとされ、人付き合いを嫌い、ほとんど人前に姿を見せない人物である。
　ポアンカレ予想に関する論文は査読のないプレプリント投稿サイトarXivにて公表したのみである。
　論文は長いものではなく、途中がかなり省略されていた。ポアンカレ予想の難しさもあって、数学者たちの検証は数年がかりのものとなった。

岡潔
　多変数複素関数論において大きな業績を残した。同関数論には一変数複素関数論にはなかった本質的な困難が伴う。それを一人で乗り越えて荒野を開拓した人物である。
　その強烈な異彩を放つ業績から、西欧の数学界ではたった一人の数学者によるものとは当初信じられず、「岡潔」というのはニコラ・ブルバキのような数学者集団によるペンネームであろうと思われていたこともある。
　岡自身によれば、岡は「純粋な日本人」であり、日本人としての「情緒」に基づいて、その数学的世界を創造した。岡はこのような自身の体験に基づいた随筆をいくつか書いていて、一般にはむしろそちらの方でよく知られている。
　岡は友人に対し「僕は論理も計算もない数学をやってみたい」と語っている。

**１３２人目の素数さん** · 2018/08/30(木) 23:46:39.91

小平邦彦曰く
「1955年頃プリンストンの高級研究所でワイルが1900年以降の数学史を講義した。
その何回目かに、任意の無理数\thetaに対して無数の点e^{2n\pi\theta}が単位円周上に一様に分布する、というワイルの定理に言及して、われわれ聴衆に向かって
「私が若かった頃にはこんな簡単な定理が大発見でした。今は数学が難しくなってあなた方若い人は大変ですね」と言われた。
そのときの聴衆の一人であった私は今1000編の論文のリストを眺めて、その後25年間に数学はさらに一段と難しくなり、現代の若い人は実に大変だろうと思うのである。」

**151** · 2018/08/30(木) 23:48:59.34

>>151
本当に3流のイカレた自称数学者ばっかだな　ｗｗｗｗ

あぶねえあぶねえーｗｗｗｗ

学問業績あまたで、一流で正常な我輩らによると、

＞いろいろと一種の放棄だと思うもんねぇぇ　バカなんだよねええ　こういうやつらも望月も　キチガイの論文結局意味ない
＞人間もっと理解してもらう努力を徹底的にしないとぉぉ・・
＞福音書じゃあるまいしーーーｗｗｗ

＞数学者同士の直接のコミュニケーションは超重要だよね　それが無いとろくなことできないよ

だよねー　だよねー

学問業績あまた一流で、自称知能の高い正常な我輩らによるとっ

前の引用のような常識すらまったく知らず浮かばず、
特級の研究に対し、学生や二流学者のＢ級のそれと勘違いして、緩い墨付きを得るものに過ぎない査読（笑）に視野のないバカ丸出しに毎日毎日恥ずかしげもなく徹底拘泥、

「査読誌に載っても後で問題が発見された論文の例など数学、理論系のそれでさえ雲霞と普通にあり、
査読誌に載ったからといって絶対に正しいという証明になどほぼならず、全面１００％信用して読むわけではまったくない」まともな研究者にとっての常識がない
「査読に通るか通らないかが命運を決するみたいだぞー」　高卒だろ実際のところ

そして最後はおなじみ十八番　「人間最後はコミュ力ガー」　ｗｗｗｗｗｗｗｗ　

どこまでクソのド典型だ本質米附きのゴキブリども　御意御意御意

人間を見、理解する手前のコミュ力をまず磨け文系高卒底辺カスども

**１３２人目の素数さん** · 2018/08/31(金) 00:10:07.47

マクドナルド伝説の店長が教える、最強店長になるために必要なこと
https://www.youtube.com/watch?v=0wMbR7JIeeQ&;t=3154s
「最強の働き方」長時間労働やノウハウよりも大切なこと
https://www.youtube.com/watch?v=JnMHbI1-e3E&;t=3606s
ビジネスで優秀な人材育成する上司は何を教えているのか？
https://www.youtube.com/watch?v=apxtSqxjw08&;t=13s
美容師の楽しさ再発見！やる気スイッチが入る働き方セミナー
https://www.youtube.com/watch?v=DGzXQT799oY
もうダメだ…仕事が辛い時に乗り切るための３つの思考
https://www.youtube.com/watch?v=VEPf8viBpRU
視覚障がいを乗り越えた活法家
https://www.youtube.com/watch?v=6IuY_K3uFdo&;t=805s
あなたのスピーチレベルがあなたの年収を決めている！
https://www.youtube.com/watch?v=_BHVcmGmddE&;t=869s

**１３２人目の素数さん** · 2018/08/31(金) 00:26:40.83

望月氏をグロタン、ペレルマン、岡と現時点で同列に扱っている時点で
その人には何を言っても無駄だろう。こういう人物を信者と呼ぶ

IUT主論文は多くの学者にとってもまだ理解できないものだから
すでに学問的にも歴史的にも評価が定まっているグロタンらとは全然違う
多くの人にとって理解できず検証中の状態でそういうことが言えるのは
自称未来人ぐらいだｗ

**１３２人目の素数さん** · 2018/08/31(金) 00:35:40.43

>>90
返答ありがとうございました。以前もぶしつけな質問に
わざわざすいませんでした

**１３２人目の素数さん** · 2018/08/31(金) 00:50:19.72

>>121
大きな世界を小さく収めるということですかね
大昔の大航海時代においては壮大な世界だったのが
今ではGoogleに収まってしまいましたね

**１３２人目の素数さん** · 2018/08/31(金) 00:52:43.10

いくらふざけていても>>153がまともな学者や理系の文章とは全く思えないが
もし仮に「査読などは大して信用できないし、そんなものに関わらなくても
素晴らしい数学者はいる」ということを言っているにしても馬鹿丸出しすぎる
後で修正するにせよ、ペレルマンや岡にせよ、可読性ありきなんだよ
IUTTが正しかろうが正しくなかろうが、そんな例外に依存した予防線を張るべきではない
擁護として論外

**１３２人目の素数さん** · 2018/08/31(金) 01:01:32.28

>>143についてはちょっと疑問なんだけどな。論文を読んで理解できない要素が数学に
多々あると簡単に認めているみたいだけど、共同研究は別に会話しなきゃ理解できないから
やるものではないだろ。知識やアイデアに個性があるからそれを効率的に生かすためのもの
基本的には字面から理解できるように書かれているべきなのが学術論文
もう一度言うけど、効率性と伝達可能性の話は分けないと駄目だろ
共同研究にせよ教育にせよ、>>143は主に効率性に関して妥当な話だと思う
十分訓練された数学者が論文だけでは殆どわからないとすれば、それは普通にやばいだろ

**１３２人目の素数さん** · 2018/08/31(金) 01:18:07.24

長文に更に補足するけど、俺はIUTT論文がそこまで酷いとは思わないんだけどな
先のレスは可読性についてどう考えるのか、単なる姿勢の問題

**１３２人目の素数さん** · 2018/08/31(金) 01:22:55.73

http://www.jscpr.org/archives/356

**１３２人目の素数さん** · 2018/08/31(金) 01:40:01.63

査読者のレベルが低いからこんなに時間かかってるの？

**１３２人目の素数さん** · 2018/08/31(金) 01:59:02.98

望月氏の2014年12月の報告にあるように、
絶対遠アーベル幾何や、エタール・テータ関数の剛性性質、ホッジ・アラケロフ理論に精通しているのは
望月氏本人だけだから、査読者たちも絶対の自信を持ってOKを出せないというところじゃないかな
だいたいOKなんだろうけど、突っ込まれたらどうしよう・・・という感じじゃないかな
本当はその辺を査読者と執筆者の間で密にやり取りをして理解を深めるなり修正なりをするところなのだけど
まだ査読者の方の理解が深まっていないのかな

誤解を恐れずに言えば、本当に理解者なんているのか、俺は思っている
現実は望月氏の言い分とは違う意味で「普及」（悪く言えば布教）の段階じゃないのかな

今年は大きなワークショップの計画されていないようだし、論文アクセプトはまだまだ先の話だと思うよ

**１３２人目の素数さん** · 2018/08/31(金) 02:48:12.20

理解されてないだけで証明自体は正しそうだという雰囲気があるなら
欧米の数学者がそこまで掲載に異を唱えるのはおかしいよね

**１３２人目の素数さん** · 2018/08/31(金) 02:57:44.48

おかしくないと思うがな。
数学で真理を追究するのに、正しく導出できるかは決定的な事柄だろ。
雰囲気で決めてしまうのは自然科学としてまずいし、信用を貶めることになる。

**１３２人目の素数さん** · 2018/08/31(金) 04:38:03.36

お前ら続報出てないのによくここまでお喋りできるよな

**１３２人目の素数さん** · 2018/08/31(金) 10:24:46.95

数学は自然科学じゃないんですが

**１３２人目の素数さん** · 2018/08/31(金) 13:58:28.97

数学とは何ですか？

**１３２人目の素数さん** · 2018/08/31(金) 14:52:04.76

長文での会話やめろ
3行を超えるレスは禁止な

**１３２人目の素数さん** · 2018/08/31(金) 15:43:32.39

数学は歴史的に言っても科学と哲学の中間・媒体と見なすのが妥当だろう
しかし英米哲学は数学に近い割に、フレーゲやラッセル以降殆ど数学に影響を与えてない
数学が高度に専門化し、片や哲学は言語一般の分析に傾いたせいだろう

**１３２人目の素数さん** · 2018/08/31(金) 15:54:10.71

>>164
遠アーベルとホッジ理論の組合せであるという点
環のある種のトートロジカルな擬等角写像を、異なる宇宙の間での現象と見なすという
奇妙なアイデア。異様に膨大な関連文献
この辺が相対的に非常に受け入れにくいであろうことは容易に想像はできる

学術 · 2018/08/31(金) 16:10:48.15

クワインの分析哲学と、数学の相性はどうだろう。悪くもないが角ばっていると思うが
貴見は？

**１３２人目の素数さん** · 2018/08/31(金) 16:23:00.66

>>171
IUTにも擬等角写像あるんだね

**１３２人目の素数さん** · 2018/08/31(金) 17:01:54.95

>>170
哲学認識が半世紀前で止まってるガイジ発見

学術 · 2018/08/31(金) 17:07:11.92

ヴィトゲンシュタインが正解に届かないからって何度もそんなこと歴史上に
有っただろう。フレーゲはそういう人じゃないかな？ラッセルの方がドープングで
カンニン　ぽい。

**１３２人目の素数さん** · 2018/08/31(金) 17:56:39.64

哲学者は数学を何だと考えてるの？

**１３２人目の素数さん** · 2018/08/31(金) 18:03:41.80

>>174
あのさあ、どうせその認識を訂正するレスもできないくせにエアマウント取るの
やめようよ。フレーゲやラッセルが古いのは当たり前だよね
誰がじゃあどんなインパクトを数学に与えたの？

**１３２人目の素数さん** · 2018/08/31(金) 18:16:45.66

最近の分析哲学が言語分析だけじゃなくて実在論を重視してる流れを言ってるにしても
ピントがずれてるが、どっちなんだ？俺は数学にインパクトを与えてない話をしてるんだが
むしろ数学から影響を受けることはあってもな
ちゃんと解説してくれよ

学術 · 2018/08/31(金) 18:19:00.03

兵士数とか兵糧計算　軍資金の調達に東アジアでは数学が用いられてる感じがする。
インパクトを数学に与える人じゃなく実学として敬意で利用できる人の方が
有能に思うけど。これからは。

数学の速さが哲学者にとって大事な概念じゃないかな

**１３２人目の素数さん** · 2018/08/31(金) 18:44:59.75

>>177
終容数学信者必死乙^^

**１３２人目の素数さん** · 2018/08/31(金) 18:55:09.80

やっぱりエアマウントか
でも、本当は一人だけ化け物みたいな若手がいる。俺の主観だけど
そいつは数学が普通に得意みたいだから、フレーゲやラッセルに近いタイプだろうが
影響を与えるかはわからん

学術 · 2018/08/31(金) 19:08:46.90

オデュッセウスのさすらい知ってる？

**学術 死乃国屋文学三昧** · 2018/08/31(金) 19:19:40.50

http://www.kinokuniya.co.jp/f/dsd-101001017--

**１３２人目の素数さん** · 2018/08/31(金) 19:52:25.35

>>172
現代から見れば、特に存在論でIUTT自体ともそれなりに関連性があると言えるだろうな
つまり、存在論的な相対性や存在と変項の関係についてだ
あくまで大枠だけどな

**学術研究** · 2018/08/31(金) 20:14:58.73

https://www.youtube.com/watch?v=wGfguhnvECc

**１３２人目の素数さん** · 2018/08/31(金) 20:23:00.31

フロベニオイドとパーフェクトイドの関係ってどうなってるの？

**１３２人目の素数さん** · 2018/08/31(金) 23:44:05.17

なんかこのスレ変な感じになってるぞ

**１３２人目の素数さん** · 2018/09/01(土) 02:47:10.90

スレの半分くらいがホモだからな

**１３２人目の素数さん** · 2018/09/01(土) 03:25:04.89

ほとんどの住人がド素人だからな

**１３２人目の素数さん** · 2018/09/01(土) 07:08:05.09

IUTだもん、朝鮮カルトもいるからな

**１３２人目の素数さん** · 2018/09/01(土) 07:47:33.97

哲学と数学というか、数学基礎論と普通の数学もどのくらい関係があるかというと一般の人間にとってはぴんと来ない。
選択公理が普通の数学を展開するのに必要なのは理解できるが、
そのほか集合論では様々な公理が提案されているけど、それによって数学がどうなるのかわからない。
ゲーデルは連続体仮説は間違っている、なぜなら否定したほうが数学的に豊かだから、といったが、実際に普通の数学がどう豊かになるのかわからない。

学術 · 2018/09/01(土) 11:16:42.30

ヒュームが面白いよ。知覚の束になって掛かってくる、連続戦死体。

**１３２人目の素数さん** · 2018/09/01(土) 12:21:36.43

ヒュームって数学ゲーマーさんが一番嫌いな人じゃん
経験論を親の仇のように憎んでるからな

**１３２人目の素数さん** · 2018/09/01(土) 16:57:17.53

ヒュームを嫌うってことはない
集合論が今世紀前半に修正されてくるのも間違いないよ。いくつも兆候がある
IUTTだって厳密には写像を考えるだけでは成り立たないと主張してるだろ
遠アーベルとかラングランズだって哲学的な問題を未だに孕んでいるからね
無駄とかではなくて、それがわかれば本質的な進歩になるであろう程度には

学術 · 2018/09/01(土) 20:05:08.81

華麗な理論だね。数学は。泥臭い経済理論と違い。

**１３２人目の素数さん** · 2018/09/01(土) 21:16:11.21

>>195
経済は脳を解明しないと本当の理論には絶対辿り着かない
勿論近似的にマクロスケール(経済学ではなく物理の意味で)でパターンがあるかもしれない
にせよね。はい、スレチですいませんけど

**１３２人目の素数さん** · 2018/09/01(土) 21:18:24.94

今の数学者はかなり恵まれているよね。実験はできないが、脳をやりたければ
力学系や計算論的神経科学があるしな。数論と神経科学両方やることも可能
あまり知られていないが、計算神経科学と代数幾何学にも関連性があるしな

**１３２人目の素数さん** · 2018/09/01(土) 23:13:21.65

脳を解明したところで本当の経済理論ができるわけじゃないんだなぁ
むしろ単純な公理系のもとで展開される今の経済学は泥臭いどころか優美すぎるんだよ

**１３２人目の素数さん** · 2018/09/02(日) 00:11:26.28

脳を解明しないと本当の理論には絶対辿り着かないのは数学も同じだろ

**１３２人目の素数さん** · 2018/09/02(日) 02:48:09.91

メンデルの法則はDNAの構造解析の前に発表され
ナビエ・ストークス方程式は量子力学より前に導出された

部分の解析ができなければ全体の解析ができないというのは間違っている