14/10/05 15:07:33.22
>>57
もーちょいググりやすくすると
グロタンが目指したものの一つにカテゴリーによる数学および形式体系のシステム化ってのがあって
そのカテゴリーの中にトポスってのがある、
これらは基礎論系の人がキャッチしてる
もっちーら数論幾何の人もグロタンの結果使ってんだけど
グロタンが最終的にめざしてた方向とはスこち違う
とりあえず清水さんの圏論の論理学をAmazonでポチるとよい！
ここら辺にもトポスでてる
URLﾘﾝｸ(sites.google.com)
あとこーゆー人もいる
URLﾘﾝｸ(ja.wikipedia.org)
素人のブログとか
URLﾘﾝｸ(d.hatena.ne.jp)
トポスに詳しいひとのTwitter
URLﾘﾝｸ(twilog.org)
62:１３２人目の素数さん
14/10/05 15:28:42.02
>>60
>ホントにここって、数論幾何の関係者いないんだなw
ニュースで知ったミーハーが押しかけるのはまだ許せるとして、
そいつらが何故だか、学歴がどうだのタダ自分自身に言い聞かせたいだけの
底の浅いオナニー主張を、ドヤ顔で書き散らしまくるから、
スレの質が落ちて、中の人があまり寄りつかなくなった。
そんなのvipでやりゃいいのに、なぜわざわざ此処でオナりたいのか意味不明。
63:１３２人目の素数さん
14/10/05 15:31:09.78
頼むから今後学歴話やIUに関係ないクソみたいな雑談はこのスレに書かないようにしてくれ！
64:１３２人目の素数さん
14/10/05 15:35:14.35
>>17みたいなポエムならいいんですかｗ
65:１３２人目の素数さん
14/10/05 15:40:17.62
>>55
>グロタンの後継者はルーリー、日本だと竹内外史、清水義夫 だと思う
>むしろグロタンの研究って基礎論系に受け継がれてるんだよ
無関係じゃないだろうけど、後継者が基礎論屋ってのは噛ませ過ぎ。
あんた自身が基礎論屋なんだろうが、手前味噌もほどほどにという感じ。
>>61
>グロタンが目指したものの一つにカテゴリーによる
>数学および形式体系のシステム化ってのがあって
>これらは基礎論系の人がキャッチしてる
構造主義的な事を言いたいんだろうけど、
少し言葉尻をあげつらいになってしまうが、【数学】は形式主義的に
還元できないからこそ無尽蔵に豊かなのだ、
というのはヒルベルトの偉大なる誤解で明らかになったと思うんだが。
それに、構造主義的な思想哲学を基礎論屋が受け継いでるなんてのも
噛ませすぎ。モーデル予想などごくごく一部に、
純粋数学の実質が基礎論とリンクしたのは面白い現象だけど、
だからと言って特に幹線道路が出来た訳でもない。スレチ過ぎ。
66:１３２人目の素数さん
14/10/05 15:45:52.86
数学基礎論≠数学
数理論理学≠数学
一部に数学科に籍を置く人もいるが
殆どが情報学科の人
67:１３２人目の素数さん
14/10/05 15:58:06.14
日本人が全員ゴミすぎて
68:１３２人目の素数さん
14/10/05 16:17:14.91
>>65
ただ、トポスもフォーシングもヒルベルトの業績の中に萌芽があるという意味ではそんなにおかしくないんだよ。
超準解析が推論のツールであるという意味で、グロタンディークの理論も推論のツールとして捉えて良いんじゃないの？
69:１３２人目の素数さん
14/10/05 18:00:19.85
URLﾘﾝｸ(www.cambridge.org)
70:１３２人目の素数さん
14/10/05 19:00:37.00
>清水義夫
この人はよくお勉強してまあまあ纏まった教科書は書いてるかもしれないが
オリジナルな業績はほとんど無い気がするが。
そういう人がどうしてグロタンディークの後継者になるの？
71:１３２人目の素数さん
14/10/05 19:01:43.25
>トポスもフォーシングもヒルベルトの業績の中に萌芽がある
本当？
ヘルマンダーの仕事は解析学だから
その萌芽はニュートンとライブニッツにある、というくらい遠いような
72:１３２人目の素数さん
14/10/05 19:06:28.94
>>71
強制法の方はかなり直接的。
73:１３２人目の素数さん
14/10/05 19:06:52.37
萌芽なんて殆どの数学は
ユークリッドに…
74:１３２人目の素数さん
14/10/05 19:08:25.55
私は強制法はきちんと理解している自信があるが
ヒルベルトとどういう関係があると言っているのかさっぱり分からない
名称とかの定義がヒルベルトの一階述語論理と関係あるとかそのレベルの話？
75:１３２人目の素数さん
14/10/05 19:56:21.12
数論幾何がわからないからって数学史に逃げるスレ
カコワル
76:１３２人目の素数さん
14/10/05 20:12:08.21
頼むから今後数学史話とかIUに関係ないクソみたいな雑談はこのスレに書かないようにしてくれ！ ｷﾘｯ！
77:１３２人目の素数さん
14/10/05 20:34:20.92
つかモッチーの基礎論まちがってんしょ？
・保存拡大になってない
・宇宙をとりかえても意味ない
この部分
78:１３２人目の素数さん
14/10/05 20:37:25.41
ほれ
ｽﾚﾘﾝｸ(math板:30-69番)
79:１３２人目の素数さん
14/10/05 20:48:37.60
その部分は最近見たらもう綺麗さっぱり直されてたよ
80:１３２人目の素数さん
14/10/05 20:57:13.32
>>65
基礎論屋とか専門家などではなく、そいつは単なる分析哲学ワナビーだろ…
81:１３２人目の素数さん
14/10/05 21:17:33.19
>>66が基礎論か数学のどちらかを分かってないことは分かったw
82:１３２人目の素数さん
14/10/05 21:26:26.39
もう、基礎論も、数学史もいいから・・・
もっちーが間違ってた部分が直ってるand本論に関係ないことが
自分で理解できない程度の数哲評論家なら黙っててくれ
83:１３２人目の素数さん
14/10/05 21:45:56.21
数学クソ論
84:１３２人目の素数さん
14/10/05 21:49:00.39
基礎論馬鹿は、手に負えないよ
85:１３２人目の素数さん
14/10/05 21:59:00.74
までもそうやってIU幾何がよりブラッシュアップされて行けばいんでないの。
86:１３２人目の素数さん
14/10/05 22:07:41.14
論文の構成としては、全般的にあれこれの伏線に寄り道しながらうねうねと進む感じなの？
もしそうなら最終的な教科書はもっとソリッドに薄くできるのかもね
87:１３２人目の素数さん
14/10/05 22:30:22.52
もう、幾何も、解析も代数もいいから・・・
もっちーが間違ってた部分が直ってるand本論に関係ないことが
自分で理解できない程度の数学評論家なら黙っててくれ
88:１３２人目の素数さん
14/10/05 22:31:00.31
広中の電話帳だって、今ではかなり薄くできるが、まだサーベイも
できてないのに、教科書が出るのに何年かかると思ってるんだｗ
そういうのが出てこないうちがチャンスなのに
89:１３２人目の素数さん
14/10/05 22:44:28.82
お前らには関係ないことだ
90:１３２人目の素数さん
14/10/05 22:47:38.60
学者ですらない人が数学クソ論とか言ってると思うと滑稽
91:１３２人目の素数さん
14/10/05 22:53:01.88
数理論理学は馬鹿にしないが、日本で数理論理学をやっていると自称する
グループの中には、どうしようもない閉鎖的ガラパゴスが存在する
92:１３２人目の素数さん
14/10/05 23:37:18.88
もしかして林っちとか？
もへぇ～～～～～～～～～～～～～～っ！！
今基礎論きまっくてんよふぁいっひぃいい
93:１３２人目の素数さん
14/10/06 00:47:46.74
なにきめたんだ
94:１３２人目の素数さん
14/10/06 00:52:35.15
>数論関連の専門家ってことだけど何かおかしなところあるか？
>弟子に講演をさせて当人がリーマン予想に着手したって関係者から聞いた。
これマジ？ 胸が熱くなるな...
ちなみにその関係者とは？
95:１３２人目の素数さん
14/10/06 01:07:59.17
king
96:１３２人目の素数さん
14/10/06 01:08:32.66
あの数論幾何の大家ファルティングスが匙をなげた
しかし日本の若手の中からポツポツと理解者が現れている
日本の数学界の未来は明るいとみてよい？
97:１３２人目の素数さん
14/10/06 01:16:29.58
Faltingsももうじじいだからな
余生を穏やかに生きてるのだよ
98:１３２人目の素数さん
14/10/06 01:19:27.39
少なくとも数論幾何に限れば優秀な若手が多いように見えるな。
数論以外の分野の研究をやらせてみても普通に良い実績を出しそうなヤツがゴロゴロいそう。
99:１３２人目の素数さん
14/10/06 01:29:58.97
ただ基礎論が弱いね
学部でやらんしね
100:１３２人目の素数さん
14/10/06 02:01:57.86
望月がリーマン予想を解決したとのアナウンスがあったら
世界の数学界に何が起るの？
また、その次のターゲットになりそうな大きい数学上の未解決問題は何が考えられそう??
101:１３２人目の素数さん
14/10/06 02:04:47.83
リーマン予想が解かれてもラングランズ予想やスタンダード予想がまだある
102:１３２人目の素数さん
14/10/06 02:32:07.04
望月さんのLecture NoteやPanoramatic Overviewを読んだだけでも相当リーマン予想を
意識しているってのはわかる。後、Goさんがちょこちょこ書いていることからも。
それなら海外からの講演依頼を断っても仕方ない。
103:１３２人目の素数さん
14/10/06 02:35:39.35
Faltingsと言えば、6月に60歳誕生日記念カンファレンスが行われていたみたい。
宿敵WilesやTaylorは参加しているのに弟子の望月は当然不参加というね。
URLﾘﾝｸ(www.mpim-bonn.mpg.de)
104:１３２人目の素数さん
14/10/06 02:50:29.72
Bloch-Kato予想、BSD予想もまだ解決には程遠い。
105:１３２人目の素数さん
14/10/06 03:02:38.61
なるほど。
リーマン予想の研究で忙しいのね。
自分が講演をやらないで弟子にやらせているのも
そういうことだったのね。
106:１３２人目の素数さん
14/10/06 03:08:35.74
現在 望月氏と山下氏によるリーマン予想の研究はどのくらい進んでいるのでしょうか？
宇宙際メリン変換に関するプレプリントを公開してほしいものです。
> A. Wiles が フ ェ ル マ ー予想に挑 ん でいた時な どと違い
>大 予 想 の 証 明 に 向 か う 途 中 の 理 論 についても, 全て
>プレプリントなどで公開しています. それを見て誰かが先に
>証明してしまうのでは ないかという周囲の心配もどこ吹く風,
> 「自分の理論を理解して先に証明してくれるの で あ れ ば
>む し ろ あ り が た い 」 と お っ し ゃっ て い ま す .
107:１３２人目の素数さん
14/10/06 03:50:13.94
>>99
頼むから自分の巣に帰れ
スレチだし興味ないから
108:１３２人目の素数さん
14/10/06 03:52:44.74
>>100
>望月がリーマン予想を解決したとのアナウンスがあったら
>世界の数学界に何が起るの？
数学界にとってぶっちゃけ「解かれたかどうか」それ自体はどうでもいい。
解こうとする事によって何が真に新しく生まれたかという事の方が大きい。
109:１３２人目の素数さん
14/10/06 06:23:34.38
Taylor-Wiles系とEuler系
110:１３２人目の素数さん
14/10/06 07:13:59.80
あの難攻不落といわれた
リーマン予想に
日本人が近づいていると思うと
誇らしいな
111:１３２人目の素数さん
14/10/06 07:17:42.87
いやお前とは国籍が同じだけだろ？
環境良かったら別の場所いくよ＾＾；
112:１３２人目の素数さん
14/10/06 08:47:28.83
>>98
気のせいじゃね？
113:１３２人目の素数さん
14/10/06 09:53:40.91
>>98
具体的にどんな人？
彼らの研究内容のどの部分をなぜそう思う？
114:１３２人目の素数さん
14/10/06 10:59:35.37
>>92
おまえ知ってる名前挙げただけだろ
しかもそれ論理学者じゃないし
115:１３２人目の素数さん
14/10/06 11:12:27.07
偽の定理から何でも証明できる
116:１３２人目の素数さん
14/10/06 12:02:53.97
>>100
メルテンス予想に関連した、M(x)＝O(x^{1/2})という、リーマン予想が導ける命題はある。
まあ、数論幾何とは程遠そうな感じだが。
歴史的にはスティールチェスがリーマン予想を証明したと公言したことはあるな。
117:１３２人目の素数さん
14/10/06 12:26:19.18
>>113
40歳以下を若手とすると
山下剛、星裕一郎、吉田輝義、伊藤哲史、古庄英和
千田雅隆、阿部知行、三枝洋一、今井直毅
ぱっと思いつくのはこんくらい？他にもいそう。
業績というかそもそも数学オールマイティな
人間じゃないと数論を専門にしないでしょ
118:１３２人目の素数さん
14/10/06 13:54:27.11
阿部知行べたぼめされてる
URLﾘﾝｸ(mathsoc.jp)
119:１３２人目の素数さん
14/10/06 14:10:55.85
>>117
中身がまぁ問題なんだと思うけど、2,3行でいいんだけど、
彼らが単なるフォロワーとしての秀才(流行の先端の飛び乗るのが上手いetc）
ではなく、確かな自分の流れ（独自性と精密にイコールという訳でもない）を
作ってる人たちだと思う理由は？
勿論そこに厳密な境界などないけど、例えば何が言いたいかといえば、
ただ「最新かつ先端のそれらしい意味のある恥ずかしくない論文」を書けるという事と
「たとえどんなに小さくても本当に普遍的な流れを作り得る素地を持った、
その論文を、興奮を持って多くの人が精読する論文」を書けるという事とは
違うと思う。
時代が違うから状況も異なって単純比較出来ないけど、
一昔前のかつての若者であった志村、谷山、岩澤、加藤etcのような、
真の意味で活きのいい若者が、現在の日本でも沢山いると
言い切ってよいのかよくないのか。
120:１３２人目の素数さん
14/10/06 14:12:48.12
>>118
こういうのは通例べた褒めしか書かないのが慣習。
121:１３２人目の素数さん
14/10/06 14:19:31.14
>>118
全然分野も違うしよくわからんけど
数論的D加群の話の大抵は、少々技術的に過ぎる気がする。
122:１３２人目の素数さん
14/10/06 14:28:02.39
IU幾何の伝道師となる若手は望月氏の弟子しか
いなさそう。他の東大の数論幾何の若手は
自分の道を突っ走って行きそうな感じだな。
一昔前に京大に佐藤幹夫の代数解析の一派が
形成されたみたいに、今度はIU幾何の一派が
形成されることになるんだろうか。
123:１３２人目の素数さん
14/10/06 14:35:08.94
>>119
なぜ言い切らないといけないのか、馬鹿馬鹿しい。
124:１３２人目の素数さん
14/10/06 14:39:01.33
>>123
小学生みたいなツッコミいらね
125:１３２人目の素数さん
14/10/06 14:42:37.70
上の方に山下剛さんのことを「Goさん」や「Gokun」などと呼んでいる書き込みが見受けられますが、もしかして関係者が降臨なさっているのでしょうか？
126:１３２人目の素数さん
14/10/06 14:45:16.86
誤答おじさんの親戚の方でしょう
127:１３２人目の素数さん
14/10/06 14:56:36.84
>>125
ヒント：個人ホムペURL欄
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
山下 剛
128:１３２人目の素数さん
14/10/06 15:00:53.31
このスレでは「剛ちゃん」と呼ばれてる。
129:１３２人目の素数さん
14/10/06 15:02:09.81
>>123
>なぜ言い切らないといけないのか、馬鹿馬鹿しい。
レスの流れ辿った上で言ってるのかい？
たくさんいると言ってる人がいるから
そう言っていいのか聞き直しただけなんだが
130:１３２人目の素数さん
14/10/06 15:24:23.21
お前らは全員ゴミ
131:１３２人目の素数さん
14/10/06 15:55:21.30
リーマンゼータのみならず全てのゼータ関数の
リーマン予想を解決しようとしているらしい
132:１３２人目の素数さん
14/10/06 15:56:36.81
>>124
>>119は小学生にも分かるおかしさがあるということか
133:１３２人目の素数さん
14/10/06 17:50:29.38
>>131
壮大ですね。わくわくします。
134:１３２人目の素数さん
14/10/06 18:24:38.07
>>131
そうだね岡潔によれば一般化すればするほど証明しやすいそうだから
135:１３２人目の素数さん
14/10/06 20:00:17.65
>>131
ハッセ型ゼータの非自明な零点集合はカノニカルに１対１対応をする？
136:１３２人目の素数さん
14/10/06 20:12:09.07
もっちーが今後自宅に篭り、1年後にリーマン予想を
解決したとする論文を発表。しかしその論文の査読の
途中で誤りが見つかる。弟子のGoちゃんの助けを
借りつつ、その半年後に証明を修正することに成功、
そしてリーマン予想は定理となったとさ。
めでたしめでたし、まで予想した。
137:１３２人目の素数さん
14/10/06 20:36:23.28
￣￣￣￣￣￣○￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
O 。
, ─ヽ
＿＿＿＿＿＿＿＿ /,/＼ヾ＼ ／￣￣￣￣￣￣￣￣￣
|＿＿|＿＿|＿＿|＿ __（（´∀｀＼ ）＜ というお話だったのサ
|＿|＿＿|＿＿|＿＿ ／ノへゝ/''' )ヽ ＼＿＿＿＿＿＿＿＿＿
||＿＿| | | ＼´-｀） / 丿/
|＿|＿| 从.从从 | ＼__￣￣⊂|丿/
|＿＿|| 从人人从. | /＼＿＿/::::::|||
|＿|＿|／//ヽヾ＼ / ::::::::::::ゝ/||
────(~～ヽ::::::::::::|／ ＝ 完 ＝
138:１３２人目の素数さん
14/10/06 20:51:44.12
その研究者固有の貢献があれば良いのであって
「確かな自分の流れ」なんか必ずしも要らん。
ラグランジュの根の置換の研究がガロア理論の下地になった事などを考えてみれば分かる。
根の置換に着眼したのが彼だけではないのだとしても、
彼が一流の代数学者でなかったことにはならない。
高次方程式の可解性のことを深く考察すれば根の置換の問題に辿り着くのは必然なのでね。
実際はガロアはラグランジュの教科書を大変な興奮をもって読んだことが知られているが、
「だから」ラグランジュが一流の代数学者であるという訳ではない。
ラマヌジャンが熱中した 「純粋数学要覧」の著者ジョージ・カーが決して大数学者ではないように。
139:１３２人目の素数さん
14/10/06 21:17:01.08
>>138
>その研究者固有の貢献があれば良いのであって
>「確かな自分の流れ」なんか必ずしも要らん。
んなこたーない。意味が伝わってない。
てかあんた、学問的な数学の勉強した事ない人でしょ
>ラグランジュの根の置換の研究がガロア理論の下地になった事などを
>考えてみれば分かる。
>根の置換に着眼したのが彼だけではないのだとしても、
そういう「大きな幹線道路の下地になるような仕事」と
「一見、先端の話題を色々器用につっついてるけど
結局内輪以外に誰も真面目に読まれない仕事」とは違う。
日本人の秀才君は後者に多い。
140:１３２人目の素数さん
14/10/06 21:26:45.71
>>139
自分より優れた人間を罵倒できる言葉は麻薬のような快楽があり、同時に精神を蝕む。
「秀才君」なんて言葉を使うのはやめておきなさい。
141:１３２人目の素数さん
14/10/06 21:33:24.35
>>140
反論に中身がない。
142:１３２人目の素数さん
14/10/06 21:46:02.27
>>140
>自分より優れた人間を罵倒できる言葉
いや、だっておめぇ、パズルが優れてたってしょーがないだろｗｗ
つーか、よくそんな具体性ゼロの戯言で、おまえ首を突っ込んでこれるな
つーか、まずおまえは数学を勉強したことがあるのかないのか言えや。
した事がなくても別にいーから、した事があるのかないのか明らかにしろ。
そもそも、数学科の院生の人らがやってる「数学」って何かわかるか？
143:１３２人目の素数さん
14/10/06 21:48:11.21
日本人は全員ゴミ
144:１３２人目の素数さん
14/10/06 21:48:56.67
どっちにしろ、己の発言の根拠を明らかにする意思のない人間は
２ちゃんから消えて欲しい。
145:１３２人目の素数さん
14/10/06 21:53:47.51
>>141
「秀才君」という言葉に中身はあるのかい？
146:１３２人目の素数さん
14/10/06 21:54:40.24
便所の落書きに根拠とかｗｗｗｗｗ
147:１３２人目の素数さん
14/10/06 22:06:14.63
>>138は馬鹿の一つ覚えの典型
148:１３２人目の素数さん
14/10/06 23:06:51.66
つっても、>>98の数論幾何の若手スゲーってのも便所の落書き、根拠ゼロっちゃゼロだけどな
149:１３２人目の素数さん
14/10/06 23:15:00.98
言葉の端々から数学無知がうかがえる奴よりは…
150:１３２人目の素数さん
14/10/07 00:40:32.72
>>145
ヨコからだがそう表現する根拠はちゃんと直前に書いてあるじゃん。
反論・再反論をしたいならその部分にツッコミ入れるだろ普通。
151:１３２人目の素数さん
14/10/07 00:42:12.71
>>146
>便所の落書きに根拠とかｗｗｗｗｗ
とりあえずおまえには便所の落書きにすら居場所がない事はわかった。
152:１３２人目の素数さん
14/10/07 00:57:06.88
会話すら出来ないバカがなぜよりによってここで自説を語りたがるのか。
学歴板にでも行って非生産的なクソ話をバカ同士好きなだけして来いよ。
「反論は具体的であれ」には賛成。
相手の根拠に沿った反論をせず、頭ごなしに反論するなら誰でも出来る。
>>140のようなバカがその典型
153:１３２人目の素数さん
14/10/07 01:13:45.45
前スレみたいに結局非生産的な話になるんだな
154:１３２人目の素数さん
14/10/07 03:00:09.46
>「大きな幹線道路の下地になるような仕事」と
>「一見、先端の話題を色々器用につっついてるけど
>結局内輪以外に誰も真面目に読まれない仕事」とは違う。
そんなこと後世にならないと分からないんだけどね。
特に上で119が挙げている岩澤の数学なんて、
脚光を浴びるまでは研究者達からも
古典的な数学をただ掘り返したもの、くらいに思われていたわけで
155:１３２人目の素数さん
14/10/07 03:33:52.67
実はお宝だっだけど、結局掘り返されないまま引用０で死んでいった論文も
山ほどあるわけだ。