Inter-universal geometry と ABC予想 34

**１３２人目の素数さん** · 2018/11/01(木) 00:54:51.10

IU幾何やABC予想に関する会話のサロン
として使って下さい。

荒らしはご遠慮願います。

前スレ Inter-universal geometry と ABC予想 33

https://rio2016.5ch....cgi/math/1539459427/

**１３２人目の素数さん** · 2018/11/17(土) 23:51:27.84

ふーん、その他の数学者たちはそう思ってないみたいだけどね

**１３２人目の素数さん** · 2018/11/17(土) 23:54:39.71

正式に雑誌に抗議すれば良い
なんで出来ないのか
後ろめたさや隠したいことがあるんじゃないのか

**１３２人目の素数さん** · 2018/11/17(土) 23:59:14.01

俺は望月はグロタンディーク宇宙で好き勝手にやっている宇宙人、異世界人だと思っている（笑）
好きにしたまえという感じだが、それに盲目的に追随している連中はただのアホだとしか思っていない
自分では一切考えようとしないで、誰それがどう言っているとか本当にどうでもいい
NG入れが多すぎてたまらんわ orz

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

間違いだったらこの6年間何人もの人の時間が無駄になったんだなー
間違いは仕方ないにしろもっと短い時間でケリをつけられたんじゃないか？
再発防止策とか必要じゃないか？

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

アホの宣伝担当と側近を置いたのが間違い

**１３２人目の素数さん** · 2018/11/18(日) 00:31:09.69

スターサーベイに加担したＴとＭ
止めるべきだった

**１３２人目の素数さん** · 2018/11/18(日) 01:10:41.65

ご本人がもうちょっと丁寧なSSへの反論を出したら（出せたら）話が変わってくる気もする。
どっかの外人がblogで書いていたSSはiutをlinearにとらえすぎているってのが本当ならそれはどういう意味なのかとか

**１３２人目の素数さん** · 2018/11/18(日) 01:37:12.32

>>613
そして最後には自分のレスしか読めなくなるのだった(ﾟ∀ﾟ)ｹﾗｹﾗ

**１３２人目の素数さん** · 2018/11/18(日) 02:26:01.13

>>614
「間違い」というよりギャップありまくりで証明になってないとしても
そこで穴を埋めれる側近はいなかった
とすれば時間を無駄にした取り巻きにも責任はあろう

擁護してる人が言ってるようにSSは何もわかってないから
反論のしようがない～で通るならまあそれでいいけど
6年解説ばかりで新しい仕事してないなら周囲もダメでしょ

**１３２人目の素数さん** · 2018/11/18(日) 03:09:37.80

>>608
STAPはハーバード大学ですね

**１３２人目の素数さん** · 2018/11/18(日) 06:22:52.21

もっちーは大秀才であって、天才じゃないてあったけど
この板で昔よくみた、揶揄された秀才君なのかもね

**１３２人目の素数さん** · 2018/11/18(日) 06:53:48.30

解説をするのも数学者の仕事だと思うがね
新しい領域への展開なんて誰にでも出来る訳ではないし何もしないよりかは遥かにマシ
ただ前から言われてるように望月の仕事を発展的にもしくは一部ぶち壊してでも前に進めてくれるようなフォロワーが現れてこないのは問題だね

**１３２人目の素数さん** · 2018/11/18(日) 07:16:48.90

昨日関係者の関係者から話を聞いたんやけど、その人も>>610と同じようなこと言ってたで。
どうやらショルツ側の理解があやしいってのはマジらしい。

**１３２人目の素数さん** · 2018/11/18(日) 07:42:08.50

関係者に聞いたら実はガッキー好きじゃないってよ
3.12の証明も良く分からないって

**１３２人目の素数さん** · 2018/11/18(日) 08:31:17.11

>>550
面白いなこれ
「(ベリファイすべき)証明がそもそもなくって、代わりに『以上から～が結論される』だ(から検証しようがない)」か。

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

元々 IUTは京大RIMSが予算を獲得し
事業を推進するための道具だ。>>35 - >>39

**１３２人目の素数さん** · 2018/11/18(日) 12:57:17.18

「ショルツ側の理解があやしい」というのは多分そうだろうと思っている
専門外のことで完全に理解するまで突っ込んで行く気はなかったのだろう
査読として不十分だまでと言えるかどうかはわからない

今の所は両方とも完全な決め手を欠いてる状態だからグダグダしてる

**１３２人目の素数さん** · 2018/11/18(日) 13:13:59.68

ショルツの言うとおりじゃん。
abc予想の肯定的な解決はIUTの構築で
根拠は概要の解説文による。
数学証明の査読ではない。
↓
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆すべき出来事である。←
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説した、、
講究録別冊として刊行されている。>>35

**１３２人目の素数さん** · 2018/11/18(日) 13:59:36.15

IUT以外で国から金を取る方法なんて数学の世界じゃないもんな
なんか悲しいわ

**１３２人目の素数さん** · 2018/11/18(日) 14:43:37.06

>>620
ハバードのポスドクだよ。出身は鼻くそみたいな早稲田。

**１３２人目の素数さん** · 2018/11/18(日) 15:45:34.07

>>627
「ショルツ側の理解があやしい」と言うのだったらHの理解も怪しいと俺は言いたいな
ショルツらとHの入門での理解はほとんど変わらんよ。特に充満多重同型や対数リンクの非可換性の解消など（これは前にも書いた）
ショルツらとHの違いは論文を読む際に批評的な視点を持って読んだかどうかに尽きる。ショルツらはデカルトの役割を果たしたんだよ

ショルツらが怪しいなら一番弟子たるHも怪しいし、Yに至ってはまとめコピペしているだけなので論外
IUTTについて最もよく知っているのは（理解していると言うつもりはない）望月本人だけだよ
当然俺も完全に理解できてないし（誤魔化しが多いと感じるから）、望月だけが多く読み込んでいるとしか言えない（著者だからね）

**１３２人目の素数さん** · 2018/11/18(日) 15:55:50.90

デカルト的と言ったのは、明証、分析、総合、枚挙・吟味と言う意味でだけどね
最後の枚挙に関しては、同一視できるものを同一視してまとめた（単純化）ということでいいだろう

**１３２人目の素数さん** · 2018/11/18(日) 15:55:52.84

数学板にはお互いの正しさを一方的に主張して議論が噛み合わないスレがある。
代表的なのは、算数の掛け算順序スレと負の数×負の数の説明スレだろう。
馬鹿の一つ覚えの主張が、壊れたレコードのように延々と繰り返される。
しかしここのIUTTスレは、同じ主張を繰返すという点ではそれらを超えた。
ここまでの同義反復は知性があれば恥ずかしくてできるものではない。
見事なまでに同じ主張が繰り返されている。恐れ入った。
大したもんだよ、蛙のションベン。見上げたもんだよ、屋根屋のフンドシ。

**１３２人目の素数さん** · 2018/11/18(日) 16:18:34.49

>>631
病院に行こう！

**１３２人目の素数さん** · 2018/11/18(日) 16:19:58.56

少なくともY田は理解してるよ
てか理解どころか研究を開始してるレベルだよ
フェセンコもIUTでBSD狙ってると明言してる
本当に理解できていなかったら、貴重な研究期間をそこに費やさないでしょ

**１３２人目の素数さん** · 2018/11/18(日) 16:35:49.79

なーんも具体的なこと書けないんだから
そら擁護派の方が苦しくなるわな、俺自身は批判者でもないがな
てかマジで大物が一人も興味を示さないてのがやばい
出てくるのは何故か小粒ばかり、〇〇問題解決を狙ってるとかそんな話ばっかw

**１３２人目の素数さん** · 2018/11/18(日) 16:53:16.66

大きな成果でなくてもいいからIUTを使った新しい結果が出れば周囲の目も変わるだろう
それこそなんちゃらの性質を持った整数三角形の存在でもOK

**１３２人目の素数さん** · 2018/11/18(日) 16:55:09.04

http://lh3.googleusercontent.com/fX9pw-pW-xcUN7pShk6EFF6LCyUPWU9lZcctJa7EHymFlSgRnsKWTnuS-HSzDnRKaIQ4pr1pzXg=w260-h178-n

**１３２人目の素数さん** · 2018/11/18(日) 17:08:47.05

>>636
上の方にあるチェコの出戻りIUTT狂信者の弦理論家がラングランズがIUTTに興味を示していたと書いていたけど、
上のレスにもあるようにIASから招待されてすらいないんだよね

さっきエレンバーグのブログでタオとロバーツのコメントを読み返したけど、
IUTTで実行されている圏論や集合論というのはやはり彼らの言う通り“red herring”だと思う
ttps://ejje.weblio.jp/content/red+herring

タオはABC予想の証明に関する限りred herringだと書き、ロバーツは主論文Ⅲの対数テータ格子について書きつつ、
望月の複雑な集合論的な言語はred herringであり、圏論的アプローチに慣れていないと書いている
同感だよ。しかも彼らはIUTT発表直後にそう書いている
ロバーツなんてフェセンコにイチャモンつけられても、いまだに望月とメールのやり取りをしてそうだから良いヤツなんだろうな（笑）

**１３２人目の素数さん** · 2018/11/18(日) 18:21:24.34

>AdS/CFT対応は、2つの理論の間の関係が 3次元の対象とそのイメージのホログラムとの間の
>関係に似ていることから、よく「ホログラフィック対応」として記述される。ホログラムは
>2次元ではあるが、表現している対象の3次元の全ての情報をエンコードしている。同様に、
>AdS/CFT対応により関連付けられている理論は、次元の数が異なっているにもかかわらず、
>「正確に」等価であると予想されている。共形場理論は高次元の量子重力理論の情報を持った
>ホログラムのようである

「ホログラムは2次元ではあるが、表現している対象の3次元の全ての情報をエンコードしている。」
というホログラフィック対応とIUTの類似性が、超弦理論屋がIUTに好意的な理由だろう

**１３２人目の素数さん** · 2018/11/18(日) 19:09:34.58

>>634
擁護派って、自分の願望を崩されるような発言に対してはすぐこういう書き込みするね。
あるいはチンパンと罵倒するとかｗ

**１３２人目の素数さん** · 2018/11/18(日) 19:26:48.50

>>636
＞大物が一人も興味を示さないてのがやばい

下手に言及して（ブンゲンさんみたいに）自分が責められたくないから、
逃げてるんでしょ。ただの日和見よ。

**１３２人目の素数さん** · 2018/11/18(日) 20:06:53.00

>>639
red herring って、どういうこと？
紛らわしいとか目くらましという意味なのであれば、
間違っているというのとは根本的に意味合いが違うの
で、即無価値ということにはならないと思う。

**１３２人目の素数さん** · 2018/11/18(日) 20:14:22.93

なんかどうやっても間違ってるか正しいかという机上の議論に持って行きたいひとがいるみたいだが、
ぶっちゃけ間違ってるか正しいかなんてのは科学の営みのなかでは可変なので、
今は説明できていないけど正しいかもしれない、なんて主張には意味がないのよ。

**１３２人目の素数さん** · 2018/11/18(日) 20:20:52.66

>>644
数学の場合は証明できたかできてないかが全てでしょうね
現時点では数学界の中でIUTは正しいとは認められてはいない

もちろん望月論文が間違っているというわけでないし
修正が必要だとしても修正不可と言ってるわけでもない

今の時点で誰かが別の方法か一部IUT使っても
ABC証明すればその人の功績になるでしょう
そうなっても望月IUTが無価値だと必ずしもならない
望月IUTが無価値と判断される未来も可能性としてはありうる

**１３２人目の素数さん** · 2018/11/18(日) 20:23:55.52

>>645
全然違う。
科学の営みというのは結論を言ったかどうかではなく、
なぜそう思うのかを説明すること。
「地球は丸い」なんてのを単発でいきなり言い出してもそれは科学的主張ではない。
IUTはこの点で後者なのだからその時点で無価値。

**１３２人目の素数さん** · 2018/11/18(日) 20:25:22.24

>>646
「地球は丸い」とか物理の例は当てはまらないので
まあ「全然違う」のは確かだな

**１３２人目の素数さん** · 2018/11/18(日) 20:29:05.24

ショルツたちのレポートが言ってるのもそのことだよね。
検証する対象を構成してないから数学として無意味、と。

**１３２人目の素数さん** · 2018/11/18(日) 20:41:57.28

RIMSは国際共同なんたらになって、予算ゲットしたらしいね。iutさましまだな。

**１３２人目の素数さん** · 2018/11/18(日) 20:53:17.53

>>631
非可換性の解消っていうのは正確には「非可換性の問題の解消」だと思いますよ
その辺の考え方もホッジ理論に関係しているけど

**１３２人目の素数さん** · 2018/11/18(日) 21:04:23.38

>>635
誰だ、阪大の人？

**１３２人目の素数さん** · 2018/11/18(日) 21:10:51.76

>>640
超弦理論は単位がある物理体系の理論で
厳密な証明が必要な数学理論ではない。
ADS/CFT. 量子重力理論.量子的もつれ、、
も同様に物理理論だな。
ディラック作用素の指数「定理」は超対称性
量子力学において経路積分を使い2つの方法
で計算すれば導出される。
が、これは数学の証明ではないし
物理のアノマリーの計算だ。

**１３２人目の素数さん** · 2018/11/18(日) 21:20:16.92

やはり他分野から理解者が出てくるのか

**１３２人目の素数さん** · 2018/11/18(日) 21:24:32.46

どの分野にもトンチンカン混同邪念
病を患った奴がいるもの

**１３２人目の素数さん** · 2018/11/18(日) 21:27:43.16

Y田さんが阪大の人なら、まあ一応Gさんの近い研究者だからな
しかし、そうやって納得した人間がいる割にはなかなか通らないな。プロジェクト的にも
来年に通る可能性が高いのは間違いないが

**１３２人目の素数さん** · 2018/11/18(日) 21:28:44.26

↑可能性が高いって、勿論通るなら、の話な

**１３２人目の素数さん** · 2018/11/18(日) 21:46:09.24

>>652
アノマリーか、確かにそうだね（笑）
最終節で“mutation-history”とか“observables”なんて散々書いているからね
結局、最終節直前まで集合論や圏論を偽装していたわけだ
本当は最終節でのIU形式主義と種の言語が底流に流れてた
ロバーツもIUTT発表直後にMOでKimとこんなやり取りをしていた（だいぶ前にもコピペしたんだけどね。反応なしだった）
-----------------
Dear Minyong, it has been stated by experts, here on MO and elsewhere, that universes are not necessary for the uses to

which EGA/SGA are put. Indeed Colin McLarty has shown that ZFC is far stronger than is necessary, with the results

provable in some higher order version of arithmetic. As far as the interuniversal aspect of IUTT goes, I expect it to have a

topos-theoretic interpretation. This to my mind makes switching between models of set theory cleaner i.e. functorial.
-David Roberts Sep 9 '12 at 1:27
-----------------
ちなみに“topos(topoi)”という語はIUTTではわずか1回しか出てこない
最終節を整備して冒頭に置き、それから宇宙際幾何学を展開するしかないだろうね
ただ、それがもはや数学と呼べるものかどうかは分からないが・・・

**１３２人目の素数さん** · 2018/11/18(日) 21:46:50.62

>>652
だからＩＵＴを超弦理論の厳密な数学的証明の為のツールとして使えるかもって
期待してるんじゃないかなという話

**１３２人目の素数さん** · 2018/11/18(日) 22:00:40.20

>>642
ブンゲンの動画がショルツのレポートを公開してるページに追加されてて笑ったわ
逃げられんねこれは

**１３２人目の素数さん** · 2018/11/18(日) 22:02:02.34

>>640はちげーと思うなあw
単にマルチバースを横断するタイヒミュラー理論は何かCFTや経路積分に凄くフィットしそうってだけじゃないの
でも、一般的にストリングの人間がIUTに好意的って事実はないと思うんだが

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

>>639
俺のID変わってるかもしれんが……

あー確かに、そうした話がほんとだとしたらIASに呼ばれないのは変だね

フェセンコは何年か前に京大で講演してたのを覚えてるわ

**１３２人目の素数さん** · 2018/11/18(日) 22:30:16.49

　　|　|| i／　ヽ､　ノ　| | 　　|　|| i／　＼　／ .| | 　　.|　|| i／　ヽ､　ノ　| | 　 .|　|| i／　＼　／ .| |
　（Ｓ|| |　（●）（●） | 　 .（Ｓ|| |　（●）（●） |　　.（Ｓ|| |　（●）（●） | 　（Ｓ|| |　（●）（●） |
　　|　|| |　　　　 .ﾉ　　）|　　 .|　|| |　　　　 .ﾉ　　）|　　 .|　|| |　　　　 .ﾉ　　）| 　　|　|| |　　　　 .ﾉ　　）|
　　|　|| |ヽ､＿～'_／| | 　　 |　|| |ヽ､＿～'_／| | 　　.|　|| |ヽ､＿～'_／| |.　　.|　|| |ヽ､＿～'_／| |
　　 ┏┓　 ┏┳┓　　 /　 / 　　　　　　ヽ　　　　./　 / 　　　　　　ヽ　　　　┏┓ 　　　　┏━┓
　┏┛┗┓┗┻┛　　,i　/ // / i 　　i l　ヽ　　,i　/ // / i　　 i l　ヽ　　┏┛┗━┳┓　┃　 ┃
　┗┓┏╋━━┓　　|　 //　/ l | | | | ﾄ､ |　　　|　 //　/ l | | | | ﾄ､ |　　　┗┓┏━┫┃　┃　 ┃
　　 ┃┃┗━━┛　　|　|| i／　＼　／ .| |　　　|　|| i／　ヽ､　ノ　| | 　　┏┛┗━┻┫　┃　 ┃
　　 ┃┃┏┓　　　　（Ｓ|| |　（●）（●） |　　 .（Ｓ|| |　（●）（●） |　　　┃　 ┏━┓┃　┗━┛
　　 ┃┃┃┗━┓　　|　|| |　　　　 .ﾉ　　）|　　　.|　|| |　　　　 .ﾉ　　）| 　　┃┃┃┏┛┃　┏━┓
　　 ┗┛┗━━┛　　|　|| |ヽ､＿～'_／| |　　　 |　|| |ヽ､＿～'_／| | 　　┗━┛┗━┛　┗━┛

**１３２人目の素数さん** · 2018/11/18(日) 22:37:25.64

>>660
小栗先生もＩＵＴに好意的だという話を聞いたことがありますが
もちろん超弦の皆がＩＵＴに好意的という事実はないでしょうね
なのでこの話はもう終わりにします

**１３２人目の素数さん** · 2018/11/18(日) 22:42:38.14

安否情報が少し前に更新されてる
ここ見てくれてるのかな

**１３２人目の素数さん** · 2018/11/18(日) 22:44:16.64

横からスマンが大栗氏の件ね。前にも貼り付けたことがあるけどまた貼っておく
(もう記事は削除されているけど2012年10月03日の朝日の記事から)
---------------------
数理研助教授を経て、米カリフォルニア工科大で物理と数学の教授をしている大栗博司さんは、
同僚が「モチヅキの何年も前の論文から勉強しないと」と話すのを聞いた。
「アイデアが美しいのは一致した見方。解けていれば、数学だけでなく、
物理などほかの科学の考え方にもインパクトを与えそうだ」と話す。
---------------------
「解けていれば」との条件付きだが（笑）

**１３２人目の素数さん** · 2018/11/18(日) 23:20:41.51

今の日本のネガな部分が全て出てるなｗ

**１３２人目の素数さん** · 2018/11/18(日) 23:59:34.09

ちなみにチェコのIUTT狂信者に自己紹介したコメントを削除されたあげくブロックされたdcomplex氏は、
たぶんUrs Schreiber氏だろうね。ロバーツと共にフェセンコにイチャモンつけられた人
チェコの狂信者はdcomplex氏がチェコに戻っていることを嘲笑うかのようなコメントをしていたな
完全にブーメランなんだが。フェセンコといいコイツといいこのスレの下劣な狂信者といい、
自分のカキコが完全にブーメランになっていることに全く気付かない

**１３２人目の素数さん** · 2018/11/19(月) 00:50:29.38

>>629
日本の数学や物理には秀才ばかりで尖った人間が少ないからな。お勉強ができるだけじゃ駄目
ホラ吹きじゃまずいが、大言壮語は構わないんだ別に。今は結構やり方次第で行ける環境にある
衰退してるので、逆にチャンスがある

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

Ellenbergのブログの部分は一部流し読みしてから長い間見てなかったけど、
Taoはこの時点では殆ど意味的に読んでない印象があるね
これは擁護とかではなくて、red herringというのは「よくわかんないけどそうなんじゃないの？」
みたいなノリで言ってるに過ぎないので大したコメントではない
一応注目するべきは、最近のも合わせたRobertsの見解だと思うけど、問題としては「本当に圏論・集合論にとって
新しいアイデアなのか？」ということだろう

**１３２人目の素数さん** · 2018/11/19(月) 04:39:16.15

ていうか、読んでなくて>>449を完全に無視してましたｗ
全部違いますが、ガロア理論については別に大体それでもいいんじゃないですかね
まずはS_nやA_nがどうとかではなくて、感覚的にどんな考え方をするのか知っていれば
いい
高校で方程式を解いたり因数分解する延長にある。ただガロア理論の教科書は普通書名に「体」という
語を使ってますからね。それは重要ですよ
全然関係ないけど、前にQのガロア群の問題がここに書かれた時にすぐ元ネタがわかったのは事実で、
普段使ってる奴の例題がそれだったんですねｗ

類体論については、まずガロア理論とセットでｐ進体と商集合の感覚を掴むのが重要で、その上で実際に見たら
そのうち正解はわかるでしょう
モチーフの解答は単純だが哲学的なものなので、相当なアレじゃないとわからないでしょう

**１３２人目の素数さん** · 2018/11/19(月) 05:01:42.28

どっかの海外ブログで非可換性が不要なんじゃないのみたいなコメントしてる奴ありましたっけ？
さっきから探してるんだけどわからない。勘違いか？

**１３２人目の素数さん** · 2018/11/19(月) 06:07:21.29

>>669
そのブログでのタオとロバーツの視点はかなり違うので、分けてみます（超訳ｗ）
【タオさん】
ABC予想は第2節で証明されている（とされている）。集合論とモデル理論的なものは最終節で述べられただけで、
これらはABC予想の証明に関してはあまり関係ないものだけど、今後の宇宙際幾何学の発展に関係するものなんじゃないの？
でも、この（望月の）集合論とモデル理論はグロタンディークの集合論の非保存的な性質の問題を
何らかの形で議論の余地のあるものにしそうだ

※結論：仰る通り、あまり大したこと言ってませんｗ ……と見せかけて既に懸念を表明している

【ロバーツさん】
この複雑怪奇な集合論的言説は人を惑わすようなもんだ！それはもっちーが該当分野の圏論的アプローチに精通してないせいだ
おそらくこの圏論的アプローチ君たちはもっちーに見出されることを待ち望んでいるよっ

※ロバーツは直後のMOでも望月に注文を付けつつも好意的だった。
しかし、最近追加したPDFの補遺では望月が進歩していない（圏論に精通していない）と見ているように思われる

**１３２人目の素数さん** · 2018/11/19(月) 06:53:50.94

>>670
いやいや、無視して結構ですよ。テキトーに書いたものなんで（笑）

>>671
私もそれは知りませんが、星の入門では彼なりの分かり易い設定からΘリンクとと対数リンクを可換にしたくて、
「非可換性の帰結を回避」、「非可換性の問題の解消」するために対数リンクの無限列を導入していると解説している
これを可換と呼ぶにふさわしいかどうかは分からない（描けないから少なくとも可換図式とは呼べないね）
望月ははっきりと「非可換（！）な2次元的な図式」と書いているんだけどね

**１３２人目の素数さん** · 2018/11/19(月) 09:08:27.39

とりあえずここは数学板であって哲学板じゃないし、abc予想は哲学じゃないんで、
哲学云々言ってるやつは哲学板にスレ立てて引っ越してくれんかね。
いちいちスレ違いの長文読み飛ばすのめんどくさいんだよね。

**１３２人目の素数さん** · 2018/11/19(月) 09:57:31.71

明晰な証明が書いてある
ニュートンのプリンキピアは
自然哲学の数学的諸原理だからね。

**１３２人目の素数さん** · 2018/11/19(月) 10:10:40.71

神学のハシタ女ごときが科学の女王様に対抗心持つこと自体が不敬罪極まる。

**１３２人目の素数さん** · 2018/11/19(月) 11:44:13.29

科学は神学や哲学から発展したとも言われますが
フィロソフィードクターがここにもたくさんいらっしゃるんでしょうか

**１３２人目の素数さん** · 2018/11/19(月) 12:28:15.03

IUTの哲学

数学は結果に合わせて仮定が作られる。
数学の証明は査読の前に結果が認められる。
数学の証明より予算と事業の推進が大切だ。
数学の証明より概要解説文たとえ話動画が
大切だ。

**１３２人目の素数さん** · 2018/11/19(月) 14:38:53.95

677が正解。神学や哲学を軽視する者、科学者を名乗るべからず
神学や哲学を切り捨てるのが科学者と勘違いしてるやつが目に付きすぎる
シンプルに言ってバカなんだろうな
「高学歴のバカ」という類型がかなり発生しているのが今の教育だね
基本姿勢が間違ってるからだろう

**１３２人目の素数さん** · 2018/11/19(月) 17:58:38.02

>>678
＞数学の証明は査読の前に結果が認められる。

これは今ではある程度正しくて出版される前にarXivなどで公開されると
正しく重要な論文は出版前にどんどん引用される

「その論文を応用した結果が次々出ておれば」，専門家による公開査読が
進んだと考えられる

**１３２人目の素数さん** · 2018/11/19(月) 18:13:24.77

IUTについて京大.RIMSは文科省へ
公式に報告書を提出した。>>35
↓
>当該論文は現在査読中であるが、、
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆すべき出来事である。
↓
文科省は全く評価しなかった。

**１３２人目の素数さん** · 2018/11/19(月) 18:52:27.03

>>679
ピタゴラスは神秘主義者ではあってもソフィストとか言う詐欺師ではない。

**１３２人目の素数さん** · 2018/11/19(月) 18:59:17.04

無理数を発見した弟子を処刑したピタゴラス大先生

**１３２人目の素数さん** · 2018/11/19(月) 19:39:53.89

>>683
宗教にしちゃあ人身供御の数が少ないからやっぱ宗教ですらないな。

一番人を殺してる宗教なら哲学とか社会科学とか自称してるマルクス主義だが

**１３２人目の素数さん** · 2018/11/19(月) 19:45:09.38

数学の研究に哲学の要素も大事だろうとは思うが
宗教なんて人それぞれ
違う宗教でも論理だけで数学としての真偽が決まるのが数学の利点

**１３２人目の素数さん** · 2018/11/19(月) 20:02:58.87

宗教は公理系で哲学は定義と定理
宗教と哲学は切り離して考えたくない

学術 · 2018/11/19(月) 20:04:16.78

宗教哲学　山降り降り

**１３２人目の素数さん** · 2018/11/19(月) 20:21:44.98

きちんとした哲学の背景があって論証数学は生まれる
日本の和算なんか、それなりに複雑なことをやっているけど論証の厳密性に乏しい。
そういう面では古代ギリシャにも劣る。
つか、日本人は西洋人に教えられるまで「無理数」を知らなかっただろ？
こういうところに、哲学のない国の弱点を感じる。
哲学がなくて、かわりに先人や先輩を尊べというのが東洋的伝統。
だから、望月理論にも批判的な検討ができなかった。
唯一シカゴ大学で大学院教育を受けた越川だけが疑問を提示できたのは偶然ではない。

**１３２人目の素数さん** · 2018/11/19(月) 20:24:47.58

>>672
自分はその時点では懸念と言えるようなものじゃないと思うんですけどね。雑感という感じで
タオの懸念ていうのがはっきり見えるのは、やっぱり去年末の応用可能性とかについて述べたコメかなと
Robertsの発言については個人的にはちょっと違うかなと思っている
山下さんの言う通り、もはや単なるgeometric morphismだけの議論ではないだろうという点がね
確かに最先端の圏論には望月さんは熟知していないだろうけど、しかしLurieとかの理論もGMの設定なんでね

**１３２人目の素数さん** · 2018/11/19(月) 20:29:20.20

哲学ってのは基本的にopenで、数学は一応formally closed にしたいものだけど
最近はどうも哲学的なものをはっきり切り捨てる事は難しくなってきたと思うけどな。回帰というか
自分の知り合いのトポス理論家は結構分析科学哲学には注意を払っている

**１３２人目の素数さん** · 2018/11/19(月) 21:18:26.90

大陸合理論とかまあそんなもんは廃れたけど
科学哲学なんかはむしろ積極的やろ、数学者は

哲学軽視してるのは史学、特に近代西欧史の人らじゃね？
SNSでもここら辺の人らの哲学全般への攻撃は凄いよ

**１３２人目の素数さん** · 2018/11/19(月) 21:46:45.06

IUTは数学なの？

**１３２人目の素数さん** · 2018/11/19(月) 23:32:23.17

ゲーデルなんか自分を数学者よりは哲学者と思ってた節があるし
アインシュタインも新カント学派のマッハからヒントを得たらしいからな
ただまあ、20世紀後半にポストモダンとか出てきて科学も専門化が進んだから、昔ほどは哲学と科学や数学の
連絡は一般的ではなくなってきたかもな

**１３２人目の素数さん** · 2018/11/20(火) 00:31:27.79

コンピュータの発達で実用的なもの以外は
哲学と変わらなくなった気もする

**１３２人目の素数さん** · 2018/11/20(火) 01:03:37.63

どこの業界にもあるけど実績のある先生が少し偉くなると知ったような顔して門外漢の哲学や思想に口を挟んでしまう不思議な現象ってなんなのだろうな
それなりの蓄積のある分野なんだからもうちょっと敬意があってもいいと想うんだが

**１３２人目の素数さん** · 2018/11/20(火) 03:14:02.93

>>684
人身供御ってなんて読んでんの？

**１３２人目の素数さん** · 2018/11/20(火) 07:32:15.24

IUTはSTAPの数学版だね。

**１３２人目の素数さん** · 2018/11/20(火) 11:33:06.55

小保方さんはハーバード、もっちーはプリンストン。
少なくともこの経歴に周囲が盲信したところは共通してるだろうな。日本のだめなところだよ。

**１３２人目の素数さん** · 2018/11/20(火) 11:45:40.59

>>698
病院に行こう

**１３２人目の素数さん** · 2018/11/20(火) 11:55:28.62

>>698
それは無い

**１３２人目の素数さん** · 2018/11/20(火) 12:58:50.89

今どっかの素人研究者が望月と同じことをやったら総スカンだと思うけどね。
未だに一部に相手してもらえてるのは地位以外には特に考えられないな。

**１３２人目の素数さん** · 2018/11/20(火) 13:06:20.15

１１月大きい動きがあるとか言ってたが結局今のところなんもないな

**１３２人目の素数さん** · 2018/11/20(火) 13:06:24.48

>>698 経歴盲信は欧米だってあるし。

**１３２人目の素数さん** · 2018/11/20(火) 14:29:55.54

IUTについて
文科省の評価はマスメディアで騒がれた
STAPレベルの評価ですね、
↓

文科省評価結果
注目すべき質の向上
>数論幾何の研究」の「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想に関する論文は、
国内外の主要メディアで取り上げられて
いる。

**１３２人目の素数さん** · 2018/11/20(火) 15:22:33.51

STAP細胞はある
ITUはダメかもわからん

**１３２人目の素数さん** · 2018/11/20(火) 20:48:56.89

なんで氏の妄想？

**１３２人目の素数さん** · 2018/11/20(火) 21:13:47.46

ここ一年のニュースで思ったのは
あまり表面的な世評は当てにならない、或いは諸行無常万物流転ってことだなw
人間落ちるのは一瞬。上がるのはどうか。IUTは来年一発逆転できるか

**１３２人目の素数さん** · 2018/11/20(火) 21:26:32.68

Mr. expected さん？

あすの夢妄想より今日の実用的な圏論

**１３２人目の素数さん** · 2018/11/20(火) 21:39:18.62

>>696
ひとみごくう
と思ってたが、じんしんおんとも、でも良いのだろうか？

**１３２人目の素数さん** · 2018/11/20(火) 21:42:44.00

>人間落ちるのは一瞬。

カルロス・ゴーンのことか？