12/09/19 14:30:45.33
あーＡＢＣ予想ね
俺が小学校の算数の時間に暇つぶしに暗算で解いてたわ
難易度はＤってとこだったかな
201:１３２人目の素数さん
12/09/19 14:46:09.27
で、お前らは論文読んだの？
202:１３２人目の素数さん
12/09/19 14:48:53.43
ＡＢＣ分析なんて、販売管理のプロなら
誰でも解いてるぞ。 何がすごいんだがや？
203:１３２人目の素数さん
12/09/19 14:51:13.43
ABCて元くずソフトのことか？
204:１３２人目の素数さん
12/09/19 14:54:56.18
そういや子供の頃に公文式のＺでやったわ
205:１３２人目の素数さん
12/09/19 14:55:59.39
>>201
アブストで挫折
206:１３２人目の素数さん
12/09/19 15:03:31.17
>>81
>事実: rad(abc) < c を満たす abc-triple は無限個ある。 (a, b, c) = (1, 64^n-1, 64^n) はこれを満たす。
>>196
> 事実: r(abc) < c を満たす abc-triple は無限個ある。 (a, b, c) = (1, 3^(2n - 1), 3^2n) はこれを満たす。
もう初っ端の、この辺からよくわかりません＞＜
たとえば (a, b, c) = (1, 3^5, 3^6) とかだと r(abc)＝1*3*3＝9 < c を満たしてはいるけど
a + b = cではないですよね？どう理解すればいいんすかね？
素人が理解しようとすること自体無謀ですかね？
たとえば(a, b, c) = (1,8,9) みたいに、両方の条件を満たす具体的な自然数の三つ組が知りたいんですが・・・
207:１３２人目の素数さん
12/09/19 15:36:26.92
>>206
> > 事実: r(abc) < c を満たす abc-triple は無限個ある。 (a, b, c) = (1, 3^(2n - 1), 3^2n) はこれを満たす。
↑こっち違う
> >事実: rad(abc) < c を満たす abc-triple は無限個ある。 (a, b, c) = (1, 64^n-1, 64^n) はこれを満たす。
↑こっちが合ってる
208:１３２人目の素数さん
12/09/19 15:37:22.04
>>206
単に最初のでnを1にしたらどうだ
ここにもあるが
URLﾘﾝｸ(nazolab.net)
(1,63,64)
1+63=64
1*(7*(3^2))*(2^6) → 7*3*2=41<64
209:１３２人目の素数さん
12/09/19 15:38:01.91
>>206
いやだからなんでもいいからa+b=c を満たすペアを見つけてきたら
その３つのペアについてある性質が成立しているっていうのがabc予想
210:１３２人目の素数さん
12/09/19 15:41:51.04
>>190
20年前に証明できてたらね
211:206
12/09/19 15:54:50.12
>>207,208,209
レスありがとうございます
最初、(a, b, c) = (1, 32^n-1, 32^n) っていうの見て 31*2 > 32 じゃね？って思って
＾ｎ-1の意味がわからなくなったところに ＾（2ｎ-1）とかあったので、すっかり混乱しました＾＾；
212:１３２人目の素数さん
12/09/19 16:11:51.31
ワイルズとは一体何だったんだろうか？(´・ω・｀)
213:１３２人目の素数さん
12/09/19 16:21:44.24
"Unlike many mathematical papers,
which are devoted to verifying properties of mathematical objects that are either wellknown or easily constructed from well-known mathematical objects,
in the present series of papers, most of our efforts will be devoted to constructing new mathematical objects."（第一論文のイントロダクションより引用）
一連の論文で望月氏は「新しい数学的対象の構築」を目指しているんだな。すげぇな。大数学者だな。
214:１３２人目の素数さん
12/09/19 16:24:44.42
素数Aと素数BとA×Bの関係性が暴かれたら世界がやばかった
215:１３２人目の素数さん
12/09/19 16:27:33.78
私はABC予想で煙草をやめました
216:１３２人目の素数さん
12/09/19 16:29:29.08
アカンタレ予想とオマイラーの定理なら俺にも解けるのだが
217:１３２人目の素数さん
12/09/19 16:30:35.54
素数ってなんか感じ悪よね(´・ω・｀)
218:１３２人目の素数さん
12/09/19 16:36:35.92
宇宙際タイヒミューラー理論の研究者は現在世界で望月氏ただ一人しかいない
4編の論文を全て読めば崩れのお前らでも最先端の研究者を名乗れるぜ
219:１３２人目の素数さん
12/09/19 16:41:27.14
レフリーがワイルズだと面白い
220:１３２人目の素数さん
12/09/19 16:50:49.90
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
写真の裏に若い時と思われる別の写真が隠されていたｗ
221:１３２人目の素数さん
12/09/19 16:53:15.25
天才にしちゃ、ホムペがかわいい
教室の女の子にでも作ってもらったのかな
222:１３２人目の素数さん
12/09/19 16:59:17.01
京大の数理院に女の子とか居ないだろ
事務員の人は居るだろうけど
223:１３２人目の素数さん
12/09/19 17:00:35.88
>>218
その手の一人で突っ走っちゃってる理論はごまんとあるだろ。
この宇宙際タイヒミューラー理論だって本当に汎用的な基礎言語になるか
どうかはわからんでしょ。
周りの衆目に惑わされず自分の道を歩くことを考えよう
224:１３２人目の素数さん
12/09/19 17:07:48.20
数学の難問「ＡＢＣ予想」、京大教授が解明か
URLﾘﾝｸ(www.yomiuri.co.jp)
> 同研究所の森重文所長は「膨大な論文なので、正誤の判定には何年もかかるだろう。
>大いに期待しながら見守りたい」と話している。
京の件があるからあまり発言してほしくなかった
225:１３２人目の素数さん
12/09/19 17:08:41.07
京？
京都だから京の都ではあるけど
226:１３２人目の素数さん
12/09/19 17:10:09.23
>>225
スパコンの京のことね
227:１３２人目の素数さん
12/09/19 17:41:56.97
URLﾘﾝｸ(quomodocumque.wordpress.com)
ここでブライアン・コンラッドやテレンス・タオらが議論してるぞ。
228:１３２人目の素数さん
12/09/19 17:42:09.52
>>119
頭の中じゃ英語で思考してるんだろうか
229:１３２人目の素数さん
12/09/19 17:57:26.56
知り合いに説明するとき、先生の名前を
工藤新一とか言ってしまったｗ
てか、工藤がこびりついて離れんｗ
230:１３２人目の素数さん
12/09/19 18:00:27.38
ここでもABCの話題が
ｽﾚﾘﾝｸ(bgame板)
231:132人目の素数さん
12/09/19 18:03:03.75
ポアンカレ予想で3年だから2年くらいで証明されるんじゃね
232:１３２人目の素数さん
12/09/19 18:12:00.85
今、俺が検証してきた
残念ながら間違ってた
233:１３２人目の素数さん
12/09/19 18:17:31.70
>>231
ペレルマンの論文は証明が粗いせいで、検証に時間がかかった。
今回の論文のページ数を見る限りかなり厳密にやっているのだろうから、ペレルマンよりは早く真偽の判定が出来るだろうね。
234:１３２人目の素数さん
12/09/19 18:40:46.70
>>220
写真の裏って？
235:１３２人目の素数さん
12/09/19 18:48:10.63
なんか応用の幅が広いって話だから、証明が正しかったらガウス賞貰えるかも知れない
236:１３２人目の素数さん
12/09/19 18:51:35.97
229 ：１３２人目の素数さん：2012/09/19(水) 17:57:26.56
知り合いに説明するとき、先生の名前を
工藤新一とか言ってしまったｗ
てか、工藤がこびりついて離れんｗ
↑コイツ、面白くもないことで1人で「ｗ」とかつけちゃってバカなの？
237:１３２人目の素数さん
12/09/19 19:17:41.44
>>207
本当は
(a, b, c) = (1, 3^(2^n) - 1, 3^(2^n))
が正しい
238:１３２人目の素数さん
12/09/19 19:19:45.36
>>230
フォンノイマンにレスつけてほしいの？
239:１３２人目の素数さん
12/09/19 19:23:03.81
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(www.math.tohoku.ac.jp)
をみると両方正しいのか？
240:１３２人目の素数さん
12/09/19 19:55:11.73
wikiは>>81が書き換えたものだよ
241:１３２人目の素数さん
12/09/19 19:57:21.61
すまん>>81が書き換えたのは日本語版の方か
242:１３２人目の素数さん
12/09/19 20:42:43.12
(´∀｀)わーい
243:ミスター道長
12/09/19 21:40:53.95
「この世をば
わが世とぞ思ふ
モチヅキの
欠けたることも
なしと思へば」
244:１３２人目の素数さん
12/09/19 21:42:11.65
望月先生けっこうお茶目？
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
245:１３２人目の素数さん
12/09/19 21:50:39.65
>>233
ペレルマンの場合は道具立て自体は既に割と出来てたけど
これは無から有とまではいかないにせよ、かなり斬新だからなあ。
確かに２年くらいはかかりかねないのかもしれない
246:１３２人目の素数さん
12/09/19 21:53:18.77
ABC予想って、(1+ε)乗のほうがわかると
双子素数は有限ってことになるんじゃね？
247:１３２人目の素数さん
12/09/19 22:17:07.07
ABC予想の解の論文の査読の結果予想を
解いてくれ。
248:１３２人目の素数さん
12/09/19 22:26:29.01
H. フリードマンは 1967年に１８歳でスタンフォード大に入った．しかし、並の秀才と少し違うのは、このとき助教授として入ったことである．
彼はすでにその前に２階算術について画期的な仕事をしてMITから博士号をとっている．
一方、ガリレオは１９歳で初めてユークリッドの原論に触れたというし、ガリレオのパラドックスも７０歳過ぎの話である．
249:１３２人目の素数さん
12/09/19 22:32:54.95
>>1
素晴らしい成果。
おめでとうございます。
250:１３２人目の素数さん
12/09/19 22:35:59.63
>>246
(a, b, c) = (2, p-2 ,p)
p = c < rad(abc)^(1+ε) = (2*(p-2)*p)^(1+ε)
…
ここから先に進めない
251:１３２人目の素数さん
12/09/19 22:41:31.85
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
ワイルズが小者に見えてしまう
ヽ|/
／￣￣￣｀ヽ、
/ ヽ
/ ＼,, ,,／ |
| （●） （●）||| |
| /￣⌒￣ヽ U.| ・・・・・･･･ｺﾞｸﾘ。
| | .ｌ~￣~ヽ | |
|U ヽ ￣~￣ ﾉ |
| ￣￣￣ |
252:１３２人目の素数さん
12/09/19 22:47:22.39
暇つぶしに、サイモン・シンの「フェルマーの最終定理」を読んでた所にこのニュースとは！
253:１３２人目の素数さん
12/09/19 22:48:21.91
ここにそれを把握できる専門家がいるかは知らないけど
これは代数体の究極理論とまでは行かないの？
254:246
12/09/19 23:13:26.89
>>250
嗚呼俺のミスか。(2,p-2,p)は有限個の例外がわにはならないのね。
>>142に載ってない時点で気付くべきだった
255:１３２人目の素数さん
12/09/20 00:01:50.83
なにやら大理論が構築されたそうで
256:１３２人目の素数さん
12/09/20 00:04:43.92
俺が結婚できる確率をABCで予想してくれ
257:１３２人目の素数さん
12/09/20 00:06:56.09
ａｂｃ予想とは、大雑把に言えば、ａとbという共約数をもたない２つの数があり、ａ＋b＝cが成り立つとき、
ａｂｃという数はあまり合成的でなく、cはａおよびbと共約数を持たないことがしばしばあります。
もっと正確に言えば、デービッド・マッサーはr（ａｂｃ）/cの商が非常に小さな数になりうることを証明したのです。
代わりにnを１より大きな任意の数としてr（ａｂｃ）＾n/cを計算してみましょう。
するとr（ａｂｃ）＾n/cを望むだけ小さくすることはできません。
nが１よりわずかに大きい時でさえ同じです。nが０．００００１より小さくした時でもr（ａｂｃ）＾n/cは下限を持ち、
それは０でありません。これがマッサーの主張であり、ａｂｃ予想であって、可能性を論じています。
258:１３２人目の素数さん
12/09/20 00:06:58.13
この人病気になって死ななくてよかったね。
事故とかでももし死んでいたら。
途中で才能が消えちゃうわけですから。
あとこの世のエントロピーは増大し続けているそうですが、
ＡＢＣ予想が解けたとして、やっぱりこの世のエントロピーは増大したのでしょうか？
259:１３２人目の素数さん
12/09/20 00:10:46.47
って俺の手持ちの本に書いてあるんだが
最後の２行のいってることがわからない。
260:１３２人目の素数さん
12/09/20 00:22:10.36
>>256
先ずは「初めてのC」を熟読しましょう。。。。
261:１３２人目の素数さん
12/09/20 00:23:36.48
15 ： １３２人目の素数さん ： 2008/12/30(火) 19:09:55
103 ：１３２人目の素数さん[sage]：2007/08/17(金) 18:57:19
いや、かなり貢献してるだろ。
2変数不定方程式の理論はBaker Theoryの登場で飛躍的に発展したのだし。
でも最近abc予想が解かれたっぽいのでお払い箱か？
104 ：１３２人目の素数さん[]：2007/08/17(金) 19:07:01
>>103
えぇ～っ、abc 予想が解かれたって!?
大ニュースじゃねえか
どこに情報があるん？
105 ：１３２人目の素数さん[]：2007/08/18(土) 07:41:10
＞でも最近abc予想が解かれたっぽいのでお払い箱か？
これは本当ですか？
106 ：１３２人目の素数さん[sage]：2007/08/18(土) 15:08:26
>>103-105
From: "S. Hahn"
Subject: weak ABC conjecture proved by Szpiro ?
URLﾘﾝｸ(listserv.nodak.edu)
Proof of the abc Conjecture?
URLﾘﾝｸ(www.math.columbia.edu)
262:１３２人目の素数さん
12/09/20 00:39:18.89
>>112
ニュース系板とこのスレはみたところ同レベル。
なかでも落ちるのが >>112
数学板にはコアな人もいるようだが、そういう人はこの手のニューススレにはほとんどでてこない。
263:１３２人目の素数さん
12/09/20 00:48:44.00
自分で好き勝手に数学に新しい世界構築してるんだと思うと羨ましいったら
264:１３２人目の素数さん
12/09/20 00:52:38.66
家を建てるのに道具から作り始めちゃったわけだな
265:１３２人目の素数さん
12/09/20 00:53:05.14
>>258
エントロピー増大則は嘘
無秩序な方向へ一方通行なら、星も銀河も形成されないハズ
266:１３２人目の素数さん
12/09/20 00:55:36.17
いやだから星や銀河はお風呂の栓を抜いた時にできる渦巻きみたいなもんで、それらもいずれは解体されて平衡状態にいきつくってことだろ
267:１３２人目の素数さん
12/09/20 01:01:06.65
>>257
訳が変らしいんだ
URLﾘﾝｸ(sookibizviz.blog81.fc2.com)
268:１３２人目の素数さん
12/09/20 01:10:52.18
>>256
意外と楽観的にみとけば妥当だよ。
大体Cまで出来るのが10%、意外と高確率でしょ?
そして、その前のBまで進めるのが10%、その前のAまで進めるのが10%程度。
269:１３２人目の素数さん
12/09/20 01:20:58.28
アメリカ育ちで飛び級で進学、若年で卒業。
一方、日本では才能のある者の足を引っ張るのが
現在の政府の教育なんですよね。
(例外としては大学中退で外務省入省のみかな)
とにかく、お前らは日本の教育制度のありかたを
例に挙げることができて、よかったね。
でも直接金儲けにならない分野なので
学問的な賞賛のみが本人の自負心になるのかなぁ。
ここが日本人のDNAがなせるのではないでしょうか。
金儲けのみの学問的研究ではないことに関して
真摯に研究する意味として。(欧米人には難しい)
私見だが、平民(無産の家庭)あがりの研究者の
最終的な目的は結局、名誉と富なんですよね。
ねつ造の論文で脚光を浴びたりする例は
多々ありますよね。
その根本が金銭がらみに由来するものです。
とにかく原子力に関わらなくて良かったと思いますっ !
270:１３２人目の素数さん
12/09/20 01:26:11.77
で、望月さんっていうなれば日本のグロタンデュークって感じなのかねぇ。
271:１３２人目の素数さん
12/09/20 01:31:21.28
老いたら山にこもるの？
272:１３２人目の素数さん
12/09/20 01:36:24.91
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ拡散しろ
【拡散】尖閣のドサクサに紛れ人権救済法案閣議決定【日本を守れ！！】
URLﾘﾝｸ(www.youtube.com)
273:１３２人目の素数さん
12/09/20 01:56:10.93
これを機にほっとして結婚するのではないか、みたいな
余計なお世話レスが出てないのが不思議
集大成だったはずだが、これから何処へ向かうつもりなのだろう
274:１３２人目の素数さん
12/09/20 02:11:47.97
A,B,Cは互いに素で、且つ、それぞれが少数の素因数（の高次べき）から成る
ような組合せは有限だろう、
ということかなぁ？
例
A=3, B=5^3, C=2^7, D=30
A=2, B=3^10･109, C=23^5, D=15042
275:１３２人目の素数さん
12/09/20 02:25:30.17
>>269
とりあえず、チミが日本でうだつがあがらないのは
日本の教育制度の問題ではないからｗ
276:１３２人目の素数さん
12/09/20 02:46:25.37
それよりさ、
９４７５９０３３９４９５９３７２１３７４７４９５７３６３７３を
手計算で、素数かどうかチェックできるほうが尊敬するわ。
277:１３２人目の素数さん
12/09/20 02:54:00.95
この人と同レベルの百年前の天才、高木貞治は三高出身。
岐阜から京都の吉田に住み、当時国立大が一つしかないので東京の帝大に行ったのよ。
1894年に高木が三高卒業で、1897年が京大創立らしい。
この経緯は類体論高木は京大出と見るのが正しい。
278:１３２人目の素数さん
12/09/20 02:55:31.73
もうひとつ。
度肝を抜くようなことが大好きと自他ともに認める南部陽一郎。
福井市出身で、福井と言えば紫式部の時代から平安京にどっぷり照らされている土地。
つまり京都文化圏に育ち、似たような鬱屈さにいや気が差して、外に出て行った人だね。
というか、南部陽一郎は親が京都人?だから。。
279:１３２人目の素数さん
12/09/20 02:56:06.27
東京のものが京都のものとされてしまう例は多く、
高木と南部を取られたら、東は出がらしになってしまうだろう。
280:１３２人目の素数さん
12/09/20 03:35:47.83
南部さんは米国人じゃないの？
281:１３２人目の素数さん
12/09/20 03:41:15.79
>>277
東だ西だと騒いでも
バカはどこにでも居る。
282:１３２人目の素数さん
12/09/20 03:52:11.97
そんな在日説みたいな話を東西にまで持ち込むなよｗ
283:１３２人目の素数さん
12/09/20 04:10:18.15
あの人物と出身が同じだから
自分も賢くなった気がするんだろ。
284:１３２人目の素数さん
12/09/20 04:50:29.96
プリンストンでの指導教官がフィールズ賞取った人ってのが
もう一般レベルと隔絶してるのに
出身だの東大だの京大だの下らないレベルの話にまで引き下げてて呆れる
地縁ｗ血縁ｗお受験ｗ学歴ｗ学閥ｗ
オマエラ底辺は「属性」の話が大好きだもんな
285:１３２人目の素数さん
12/09/20 04:58:42.93
わしらの国が育てた
286:１３２人目の素数さん
12/09/20 05:22:57.53
>>284
無視できないおまえもその手の話が本当は大好きなんだろ？ん？
287:１３２人目の素数さん
12/09/20 06:54:57.76
望月さんが偉いわけであって、
日本人だからとかは関係ないぞ。
鮮人でも紛れ込んでるのか？
288:１３２人目の素数さん
12/09/20 06:59:23.97
>>284
それを言ったら、中国だって
Samuel Tingとか米国に帰化してから
ノーベル賞とってるもんな。
289:１３２人目の素数さん
12/09/20 07:19:44.67
ペレルマンのときは中国人がいちゃもんつけてきたけど
今回はどうなるのかね
290:１３２人目の素数さん
12/09/20 07:23:44.10
大統一理論はまだか
291:１３２人目の素数さん
12/09/20 07:29:10.32
日本人が偉業を達成すると、日本人全体が偉くて、他のアジア民族全体が劣ってるみたいな言い方するやつらが絶対わいてくるのが嫌だ。
292:１３２人目の素数さん
12/09/20 07:29:31.33
それよりもリーマン予想をたのむ
293:１３２人目の素数さん
12/09/20 07:31:55.73
>>291
こういうのは現象と自分の感情とを客観的に分離できていないだけ
294:１３２人目の素数さん
12/09/20 07:38:23.42
>>291
おまえみたいなぷさがいやだ
295:１３２人目の素数さん
12/09/20 07:45:43.62
>>291
ああイヤだイヤだ。
こんな小さい星でいがみ合って、反日だの何だのと
報道も正直ウンザリしてる。日本国内のニュースも
ウンザリするものばかり。
ABC予想や宇宙の広さに比べれば人間なんて
取るに足らない。
296:１３２人目の素数さん
12/09/20 07:51:46.99
日本人はユダヤ人のつぎに優秀な民族だから
ノーベル賞なんか２，３年に１回受賞してあたりまえ。
こんなの騒ぐほどのことじゃありません。
あ、朝鮮人さん、おつかれっすｗｗｗ
297:１３２人目の素数さん
12/09/20 07:55:15.55
>>291
現象は生じるのだから嫌だと言っても仕方がない
あなたの言っていることは完全な原因と責任の転嫁である
その不快感が生得的ないし物理的要因に依らないかぎり不快の原因はあなたにある
つまり現象は個別であるにも関わらず、それを類型化・解釈しているのはあなたなのだから不快感の原因はあなたにある
たとえば「車は酔うので徒歩でいく」というのは生理的・物理的な要因であるから、手段変更に一考の余地がある
しかし「車は乗り物だから嫌」とか、「車は金属製だから嫌」といった場合、そこには発言者による現象の独自解釈・類型化が含まれており、車が嫌になる原因は完全にこの発言者にある
この場合で言えば、望月氏によるABC予想解決の話題に対する、個個人の反応は独立しているにも関わらず、そこに勝手に意味や関係性を見いだし、勝手に不快になっているのは、完全にあなた自身の問題なのである
それを他人に、ましてやこのような掲示板で通達することにはさしたる意義はないであろう
298:１３２人目の素数さん
12/09/20 07:57:00.77
というかまだ証明が正しいと決まったわけじゃないんだから騒ぐなよ。
静かに見守れよ
299:１３２人目の素数さん
12/09/20 07:58:05.80
直ぐに朝鮮人とか言う奴の頭もおかしいが
ここで騒いでる様な奴は元々ダメだろ。
300:１３２人目の素数さん
12/09/20 08:00:17.56
>>299
発言内容と投稿者の知性の間に関係はない
そこに関係性を見いだすのはあなたの解釈であり、それを書き込むことに生産性はないと思われる
301:１３２人目の素数さん
12/09/20 08:02:12.53
何が言いたいのか意味不明。
302:１３２人目の素数さん
12/09/20 08:08:43.44
「朝鮮人」という言葉の定義・用法は人によるし、同じ人でも時と場合と文脈によって変わるので、他人を朝鮮人と呼ぶことに正しいも間違いもない。
ある人を朝鮮人と呼ぶことにより、対象者に発言者の意図・感情がわずかでも伝われば、この言葉の役割は果たされたことになるので、
「いいえ、私の国籍は日本です」
などと反論するのは、的はずれということになる。
それは、「朝鮮人」という言葉を、ことさら国籍や血族の意味に限定してとらえており、あたかも小学生が
「日曜日でも学校は存在する」
などと屁理屈をこねるのと同様である
303:１３２人目の素数さん
12/09/20 08:10:33.15
>>297,302
アスペ乙
304:１３２人目の素数さん
12/09/20 08:11:50.77
リーマン予想も解決してほしいな
305:１３２人目の素数さん
12/09/20 08:14:07.11
ミレニアム問題じゃないけど解けたらすごいんだよね？
306:１３２人目の素数さん
12/09/20 08:17:04.05
リーマン予想を解決してほしいという願望には、あなたの経験や感情や先入観があまりにも大きく影響しており、願望する行為がもはや願望の内容とは無関係になっている。
また、この場に願望を書き込むことと、願望が叶うことは直接関連のないことをあなたは知っているだろう。
にもかかわらず、その願望を書き込むということは、その原因は願望内容とは無関係に存在することが証明された。
307:１３２人目の素数さん
12/09/20 08:20:21.03
これちょっとすごすぎじゃないか？
今生きてる数学者でも３指にはいるんじゃね
308:１３２人目の素数さん
12/09/20 08:20:59.13
>>305
すごいというのは個人の価値観に大きく左右されるため客観的な基準はない
あなたの言っている意味は、
ABC予想が多くの専門家によってその重要性が認められるために、専門家に並ならぬ評価をされるのみならず、それに乗じた一般大衆にも称賛のムードが起こる
とかそういう意味だと推察される
309:１３２人目の素数さん
12/09/20 08:23:57.83
Tao on the ABC Conjecture
URLﾘﾝｸ(jsandber.wordpress.com)
310:１３２人目の素数さん
12/09/20 08:26:11.47
タオはいいからワイルズはよ
311:１３２人目の素数さん
12/09/20 08:30:13.56
業績は比較される
つまり比較検討の上の「すごさ」であり、絶対的な「すごさ」ではない
そして比較の基準は、根元的に自己の経験にもとづいており、「すごい」かどうかを判断するのは、最終的に自分なのであり
312:１３２人目の素数さん
12/09/20 08:31:15.11
リーマン予想といえば、ルイ・ド・ブランジュの証明はその後どうなってんの？
313:１３２人目の素数さん
12/09/20 08:34:48.88
それが気になるのはすべてあなたの問題である
314:１３２人目の素数さん
12/09/20 08:38:10.40
そうだったのか
315:１３２人目の素数さん
12/09/20 09:14:00.24
【社会】小数のかけ算・割り算、小６の半数近く理解せず[12/09/20]
ｽﾚﾘﾝｸ(newsplus板)
☆画像：学力テスト問題の例
URLﾘﾝｸ(www.yomiuri.co.jp)
一方ゆとりは、計算もできない状態ｗ
316:１３２人目の素数さん
12/09/20 09:17:00.39
日本の将来は真っ暗だな。
317:１３２人目の素数さん
12/09/20 09:17:05.64
>>257,267
プライムナンバーズのその部分を訳してみた。
abc予想とはおおざっぱに言えば、
aとbが1以外の公約数を持たない2つの数でcがその和のとき、
数abcはあまり合成数的にはなれないというものです。
もう少し正確には、デヴィット・マッサーは
比r(abc)/cはいくらでも小さくできることを証明しました。
1/100より小さく?はい。0.00000001よりも?はい。
しかし--これがマッサーの主張でありabc予想なのですが--これだけが可能なのです。
nを1より大きい任意の数としてr(abc)^n /cを計算すると
r(abc)/cをいくらでも小さくすることはできず、
これはnが1よりわずかでも大きければ正しいのです。
たとえnが1.00001であっても、r(abc)^n /cは0でない下限を持ちます。
318:１３２人目の素数さん
12/09/20 09:31:17.96
>>307
残念ながら上には上がいる。
存命の数学者の最高峰は、
望月氏の業績中にも名のあるフランスのグロタンディーク氏。
彼は神話的なレベルの仕事を成し遂げ、
（古代ギリシャ時代のユークリッド原論を準え、EGAと呼ばれる
全巻で1000ページを超える大作により現代数学の総書換えを試みた。）
現在は文明に失望しピレネー山脈中で遊牧生活を送っていると言われている。
そしてイスラエルのシェラハである。
数理論理学や公理的集合論や無限組合せなどで有名で、
人類史上最も定理の証明を行っており、論文数はわずかな期間でオイラーを超えている。
またタオ氏もとんでもない数学者で、
ありとあらゆる分野で業績を勝ち取っており、片っ端から未解決問題を爆破している。
他にもゾッとするような数学者はいるのだが、
何しろ業績が一般人の理解を超えている上に、
新しい分野が次々と開拓されているために評価が困難なのだ。
319:１３２人目の素数さん
12/09/20 09:37:44.18
まあ数学者というだけで一般的に天才扱いなのに
その上位ときたらドラゴンボールの世界だからねえ
なかなか誰が一番とはいえない
320:１３２人目の素数さん
12/09/20 09:56:12.09
それでもリーマン予想を解けない。
321:１３２人目の素数さん
12/09/20 10:35:28.99
まあ ２chではベータ程度のレベルし香らん空な于
322:１３２人目の素数さん
12/09/20 11:24:12.45
URLﾘﾝｸ(image.blog.livedoor.jp)
URLﾘﾝｸ(livedoor.blogimg.jp)
URLﾘﾝｸ(livedoor.blogimg.jp)
323:１３２人目の素数さん
12/09/20 11:47:14.96
ウリの島ニダ
324:１３２人目の素数さん
12/09/20 12:06:04.32
今ごろ望月先生のもとに世界中の数学者から問い合わせのメールが殺到してるんだろうな
325:１３２人目の素数さん
12/09/20 12:11:47.79
右耳しか動かない
326:１３２人目の素数さん
12/09/20 12:18:40.95
望月さんは韓国系ニダw
327:１３２人目の素数さん
12/09/20 12:36:38.21
>>318
307じゃないけどタメになるわ
そいつらちょっと調べてみよっと
他にはいないのか？名前と簡単な業績おしえてくれ
328:１３２人目の素数さん
12/09/20 12:38:42.40
なんか勘違い野郎が沸いてるなｗｗｗ
329:１３２人目の素数さん
12/09/20 12:43:33.78
数学よくわからん俺に教えてくれ。
証明が正しかったとして望月先生の成果は、ワイルズ、ペレルマン、テレンスタオ
と比較するとどういう順位になるんだ？
単純比較はできないことは承知で。
330:１３２人目の素数さん
12/09/20 12:59:41.59
たぶん最上位。
331:１３２人目の素数さん
12/09/20 13:06:38.04
もっちー＝ペレルマン＞テレンスタオ＞ワイルズ
332:１３２人目の素数さん
12/09/20 13:09:28.82
もっちーとラマヌジャンじゃどっちが凄いの？
333:１３２人目の素数さん
12/09/20 13:13:40.65
数学者はいろいろタイプがあってジャンルが違うから比較は出来ん
望月教授は理論をがんがん構築していくグロタンタイプ．
334:１３２人目の素数さん
12/09/20 13:23:47.37
定理を見つけるのは貴族の仕事
証明を付けるのは奴隷の仕事
したがって
ラマヌジャンは貴族でハーディーは奴隷
もっちーも奴隷
335:１３２人目の素数さん
12/09/20 13:36:18.80
証明が本当に正しければフィールズ賞レベル。
作った理論で別の問題が解ければ神レベル。
しかし、EGAの代わりにハーツホーンの
教科書が出たように、手引書を書いて
理論を普及させることが最も大事かもしれない。
336:１３２人目の素数さん
12/09/20 13:50:54.56
>>334
もっちーがやっているのは、理論構築。
その系としてABCも解けるってこと。
定理を見つける以上のことをやっているんだよ。
337:１３２人目の素数さん
12/09/20 13:57:24.88
系って何？ちんぽこ
338:１３２人目の素数さん
12/09/20 14:00:50.52
ペレルマンはwikipediaで47言語で紹介されている
ワイルズは43言語
タオは29言語
339:１３２人目の素数さん
12/09/20 14:41:45.48
It’s as simple as abc, for this Japanese scholar
URLﾘﾝｸ(www.punemirror.in)
U.-educated mathematician offers proof of pivotal number theory conjecture
URLﾘﾝｸ(www.dailyprincetonian.com)
340:１３２人目の素数さん
12/09/20 15:18:15.62
ぱらぱらと４つの論文を見てみたが
論文の流れが全然分からない。
４つ目の論文でABC予想証明しているの？
あと一番最後に突然ZFCがどうのこうのって
集合論の話が出てくるのは何でだろう。
341:１３２人目の素数さん
12/09/20 16:49:24.56
>>340
そこで優秀な >>340 さんが、これから苦闘の末に望月理論の概要を理解し、日本版のHartshorneのような普及書を書いてくれたら物凄い恩恵が日本にもたらされるわけですよ。
342:１３２人目の素数さん
12/09/20 17:11:07.35
理科大夜間数学科中退のおいらは、世界で何番目に数学できるの？
343:１３２人目の素数さん
12/09/20 17:25:08.92
オイラーと論文の数比べても仕方ないだろっていう
というか論文の数はすごく少ない大数学者とか幾らでも居るんだぞ
岡潔とかガウスとか
コーシーは山のように論文を書いたが、だからと言って
ガウスの何倍も偉い訳じゃない
344:１３２人目の素数さん
12/09/20 17:28:11.27
望月新一さんとライナス・ポーリングはどっちが凄いですか？
>>340
四番目の論文の二章（ZFC云々の手前）でabcが証明されてるみたいよ
そのくらいは知識無くてもabstract読んだら分かるよ
345:１３２人目の素数さん
12/09/20 18:37:46.34
俺と片思いのあの子との恋の
ABC理論の解を教えてください
346:１３２人目の素数さん
12/09/20 18:41:40.91
解けているのを祈っているけど、間違ってたらかわいそうだな。万一、間違っていたとしても再起してほしい。
347:１３２人目の素数さん
12/09/20 18:43:03.43
なにこの難問解決は目的じゃなくて偶然ですみたいなクールなノリ。
348:１３２人目の素数さん
12/09/20 18:45:14.78
天皇の前で宇宙際幾何学の話をしてほしい
349:１３２人目の素数さん
12/09/20 18:46:41.22
国際、学際くらいはよくいうけど、宇宙際て違和感半端ないな。
間宇宙とかにできなかったんだろうか。専門用語だから厳密さが要求されるのかな。
350:１３２人目の素数さん
12/09/20 18:51:02.07
Inter-universal の日本語訳だから、
internationalが「国際」、interdisciplinaryが「学際」なんだから
「宇宙際」でいいだろｗ
351:１３２人目の素数さん
12/09/20 18:51:59.60
宇宙際の唄はトンカラリ
352:１３２人目の素数さん
12/09/20 19:01:50.38
>>347
難問解決のための大理論を作ってる間に
別の人が近道見つけて、さっさと大予想を証明したって
話もあるしなｗ
353:１３２人目の素数さん
12/09/20 19:04:52.98
>>346
宇宙際タイヒミュラー空間の着想じたいは自然なものであり、また
素晴らしいものなので、ABC予想の証明の技術的なところで
ギャップが見つかったとしても、望月氏の一連の論文の数学的な
価値は高いと思われます。
354:１３２人目の素数さん
12/09/20 19:10:12.20
>>327
通常の数学研究者は大学などの教育機関に所属する教授など。
さらに世界有数のモンスター級の数学者になると
数学そのものの研究機関、例えばフランスのIHESなどに配属され研究に参加することが多くなる。
ペレルマンの所属していたステクロフも数学研究の専門機関。（もちろん大学にもモンスター級はゴロゴロいるが。）
もちろんワイルズなどもかなりの実力の持ち主だが、
常軌を逸した天才というより標準的な数学研究者であって、
彼が研究成果を小出しにしていれば他の研究者が先にフェルマー予想を解決していた可能性もある。
フェルマー予想というと楕円曲線とかモジュラー形式などの道具立てが色んな本に紹介されるが、
実際はエタール・コホモロジーやガロア表現などの強力な数論幾何的道具の助けがあったから証明が可能になった。
実際これらはグロタンディークらがリーマン予想の解決のために用意した道具で、
グロタンディーク自体はフェルマー予想やリーマン予想を世俗的で雑多な問題と認識しており、
それよりも自らの代数的スキームや圏論などによる現代数学の発展に時間を費やした。
ただしフェルマー予想自体は佐藤テイト予想というはるかに壮大な理論の一部に過ぎず、
この予想は近年解決され、このことからフェルマー予想も結論される。
全体的に20世紀以降の数学はフランスやアメリカを中心に発展しており、
特にフランスのブルバキというサークルの参加者やグロタンディークやその弟子たちの
貢献によって現代数学は様相を変えかなり抽象的なものとなった。
基本的に数学論文は簡単に共有可能なので、国や文化圏による差はないが、
イスラエル系の独自の数学などがネットによって明らかになってきた。
数学者について知りたいならウィキペディアなどでフィールズ賞の受賞者を拾っていくのが早いと思う。
355:１３２人目の素数さん
12/09/20 19:32:15.32
「宇宙際」なんて日本語訳がよくないな。アメリカ育ちだからだろうか。
宇宙際タイヒミュラー理論という命名では、研究のしすぎで正気を失った数学者の作り話しか想像できないよ。
356:１３２人目の素数さん
12/09/20 19:35:02.32
ABC予想とJavaScript
URLﾘﾝｸ(softkeyboard.web.fc2.com)
ABC予想 Wikipediaを見て作ったページなので参考にどうぞ
357:１３２人目の素数さん
12/09/20 19:36:15.35
>>344
3つ目の論文まで極めて抽象度の高い話をしているのに、
4つ目の論文で突然不等式がバリバリ出てくる。
素数定理や高校で習う数列の和の公式も出てきて面食らう。
そしていつの間にかディオファントス不等式証明となっている。
もうなんじゃこりゃという世界。
358:１３２人目の素数さん
12/09/20 19:36:41.95
>>340
ZFCは集合論の公理系だろうけど、abc予想の証明にはそれは使われえいないから、abc予想の証明には関係しない。ということらしいね。
359:１３２人目の素数さん
12/09/20 19:40:07.61
そもそも「inter」を「宇宙」と訳すことが変じゃない？
このinterは相互ということでしかないのにさ。
360:１３２人目の素数さん
12/09/20 19:40:58.15
いやinterの訳語は「際」に現れてるだろ
361:１３２人目の素数さん
12/09/20 19:45:22.69
>>359
>>359
>>359
362:１３２人目の素数さん
12/09/20 19:45:51.41
>>353
>>宇宙際タイヒミュラー空間の着想じたいは自然なものであり、
どう自然なの？
363:１３２人目の素数さん
12/09/20 19:53:03.61
universalを宇宙と訳すのが変。
普遍と訳すべきでないか？
364:１３２人目の素数さん
12/09/20 19:56:30.12
グロタンディークの生まれ変わりか
365:１３２人目の素数さん
12/09/20 19:57:15.40
＞宇宙際Teichmuller理論（IUTeich）の場合、それぞれの宇宙は、
＞通常の環論・スキーム論が有効な古典的数論幾何的舞台一式
＞に対応する。
望月氏的には宇宙のことを想定しているらしい
366:１３２人目の素数さん
12/09/20 19:59:31.50
>>358
圏論使っているから、自分の理論がZFCと無矛盾とかそういうの気にしているってことなのかな。
367:１３２人目の素数さん
12/09/20 20:01:05.75
学問内での言葉の定義って一般的に認識されてる定義と違うことがあるからな
例えば、金融論や金融工学内での「リスク」と皆が認識している「リスク」の
定義が異なるように
368:１３２人目の素数さん
12/09/20 20:02:56.48
>>367
えっ両者とも同じ意味じゃないの？
金融工学独自の「リスク」って意味あるの？
369:１３２人目の素数さん
12/09/20 20:03:56.32
>>365
inter-nationalがinter-nationの形容詞化になってるのと同じで、
望月氏はuniverseの形容詞と思ってuniversalという言葉を用いて
いるので、>>363が変
370:１３２人目の素数さん
12/09/20 20:07:18.53
正直望月先生の日本語のネーミングセンスってちょっとアレだよね
宇宙際とか遠アーベルとか
371:１３２人目の素数さん
12/09/20 20:07:34.51
etaleコホモロジーなんか軽く理解できてるらしいね。SGAも完全読破しているんだろうな。
Faltingsから秘密の勉強法など教えてもらったりなんて特別な恩恵もらっているのかな。
やはり、全部、自力でマスターできるのだろね。
372:あのこうちやんは始皇帝だった
12/09/20 20:08:53.73
また、お前たちか！ ２０代と６０代の、ニート・無職の、女性恐怖症の、ゴミ・クズ・カス・無能・虫けらのクソガキども！
死ね！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！
373:１３２人目の素数さん
12/09/20 20:09:52.70
グロタンディークはリーマン予想は世俗的で雑多な問題だと見做していたって本当ですか？
374:１３２人目の素数さん
12/09/20 20:11:36.89
>>370
「遠アーベル」は、望月氏よりはるか前からある数学用語なんだがｗ
375:１３２人目の素数さん
12/09/20 20:14:49.31
宇宙ってスキームの宇宙であってひとまず物理の宇宙ではないかと。
上に名前が出てるけど、テレンス・タオはコラボしまくって
テクニカルに攻めてる印象が強いな。代数系とか解析系とかいう以前に
望月さんとはタイプがかなり違う
376:１３２人目の素数さん
12/09/20 20:16:58.47
【科学】 数学の難問「ＡＢＣ予想」解明か 望月京大教授、驚異的の声
ｽﾚﾘﾝｸ(newsplus板)
【研究】 "世界の数学者、注目" 望月京大教授、数学の難問「ＡＢＣ予想」証明に成功か★５
ｽﾚﾘﾝｸ(newsplus板)
377:１３２人目の素数さん
12/09/20 20:19:19.90
これが本当なら、望月＞・・・＞ペレルマン＞ワイルズ＞タオ じゃないかな。
宇宙際タイヒミューラー理論により自動的に証明される予想や定理．
もし証明が正しければ未解決の予想が１０個くらい一気に解決することになる．
宇宙際タイヒミューラー理論 URLﾘﾝｸ(en.wikipedia.org)
├─Vojta 予想 URLﾘﾝｸ(en.wikipedia.org)
├─Szpiro予想URLﾘﾝｸ(en.wikipedia.org)
├─abc予想 URLﾘﾝｸ(en.wikipedia.org)
│
├─Thue-Siegel-Roth定理 URLﾘﾝｸ(en.wikipedia.org)
├─フェルマーの最終定理 URLﾘﾝｸ(en.wikipedia.org)
├─モーデル予想 URLﾘﾝｸ(en.wikipedia.org)
├─エルデス-ウッズ予想 URLﾘﾝｸ(en.wikipedia.org)
├─ 非Wieferich素数が無限個存在する URLﾘﾝｸ(en.wikipedia.org)
├─ Marshall Hall's 予想 URLﾘﾝｸ(en.wikipedia.org)
├─フェルマー - カタラン予想URLﾘﾝｸ(en.wikipedia.org)
├─ Tijdeman予想の一般化 URLﾘﾝｸ(en.wikipedia.org)
├─Granville Langevin予想 URLﾘﾝｸ(en.wikipedia.org)
├─修正Szpiro予想URLﾘﾝｸ(en.wikipedia.org)
378:１３２人目の素数さん
12/09/20 20:20:30.23
>>375
cosmoとかspaceじゃなくてuniverseなんだよな。
ただ、日本語に訳すと「宇宙」になってしまう。
「天空」とかいえばいいのかな。
inter-universal Teichmuller theoryは、天空際タイヒミュラー理論かｗ
379:１３２人目の素数さん
12/09/20 20:21:11.22
宇宙際っていう訳語はいいんじゃないの？
宇宙は数学用語なんでしょ？
380:１３２人目の素数さん
12/09/20 20:25:37.17
>>368
一般的な「リスク」の使われ方だと、損する可能性があるとか、
負ける可能性があるって意味合いで使われることが多いと思う
対して金融工学の「リスク」では、こういう使い方じゃなくて「収益の不確実性
のばらつき度合い」という意味で使うことが定義されてる。簡単な例だと
大損、大勝の振れ幅が大きい＝リスクが高い
ただ、金融内での使用でも○○リスクのように形容詞が付いてくると、一般的な
意味での解釈が正しい場合もある
381:１３２人目の素数さん
12/09/20 20:26:41.01
>>379
誤解のない言葉だと思うが、語呂は悪いね。
382:１３２人目の素数さん
12/09/20 20:27:29.69
望月さんレベルになると理解できないとか難しいなんて理論はないのだろうね。それに引き替え、俺は
383:１３２人目の素数さん
12/09/20 20:30:51.83
>>382
でも、過去の研究を辿ると結局は「一つの壮大な体系」を巡ってきたように見える。
さすがにミラー対称性とか保型表現とさっさと関連付けて、ということには
ならないんじゃないのかな？動向には期待したいが。
384:１３２人目の素数さん
12/09/20 20:31:09.57
世界に影響を及ぼした日本の数学家の筆頭に来るのは伊藤先生だけども、超えられるかな
385:１３２人目の素数さん
12/09/20 20:35:42.50
伊東は応用数学者
386:１３２人目の素数さん
12/09/20 20:35:59.90
三日間かけて、速読してみたが、どこにも破綻はないようだ・・・
387:１３２人目の素数さん
12/09/20 20:38:42.55
>>384
影響を及ぼすだろう「人口」でいえば、
伊藤＞＞＞望月
だろうな。
388:１３２人目の素数さん
12/09/20 20:49:29.01
>>380
そういうことか、よく分かった。分散が大きいという意味ね。
389:１３２人目の素数さん
12/09/20 20:55:52.81
>>377
宇宙際タイヒミューラー理論自体を証明した方が凄いんじゃない？
390:１３２人目の素数さん
12/09/20 20:59:05.06
>>389
本人はそのつもりで、まずはabcから始めよう～ってのが今
391:１３２人目の素数さん
12/09/20 21:07:11.86
宇宙際って「うちゅうさい」って読めばいいの？
392:１３２人目の素数さん
12/09/20 21:07:59.02
宇宙際理論ていうのはトポスとかが関係してくるんですか？
393:１３２人目の素数さん
12/09/20 21:22:15.93
うちゅうぎわ
394:１３２人目の素数さん
12/09/20 21:23:52.24
俺みたいな高齢ポスドクは、人生の瀬戸際堆肥無理ラー
395:１３２人目の素数さん
12/09/20 21:24:28.82
素人なんだけどどのくらいすごいの？
ドラゴンボールで例えテクダサい
396:１３２人目の素数さん
12/09/20 21:39:48.04
精神と時の部屋がなくても地上で同じように修行ができるようになった。
397:１３２人目の素数さん
12/09/20 21:48:50.60
ちゅええええええええ
398:１３２人目の素数さん
12/09/20 21:57:06.10
>>353
実は４つ目の論文のどこかに間違いがあるのを知っておきながら宇宙際タイヒミューラー理論を
世に知らしめるための広告塔として論文をリリースしたということはないだろうか？
399:１３２人目の素数さん
12/09/20 21:59:32.99
cの素数の積より、その分割数でコプライムの素数の積の二乗の方がおおきい
400:１３２人目の素数さん
12/09/20 22:17:35.43
>>369
宇宙より普遍集合って呼びたがる人だったら、変ということでも無い気が。
401:１３２人目の素数さん
12/09/20 22:57:41.36
>>364
多分まだ死んでないだろｗ
402:１３２人目の素数さん
12/09/20 23:22:55.38
工学者です。
さっぱりわからんけど、査読結果が超楽しみです。
にしてもこういう長編の論文ってどういったジャーナルに出すのかね？
403:１３２人目の素数さん
12/09/20 23:26:18.18
これは、
うちゅうぎわ
って読むのか？
うーん、言いにくい。
ってか、トンデモっぽいネーミングだ
404:１３２人目の素数さん
12/09/20 23:26:23.14
グーグル翻訳だと
宇宙 space, universe, cosmos
世界 world, universe, society
天地 heaven and earth, universe, world, top and bottom, nature, realm
大宇宙 universe
乾坤 universe, heaven and earth
三千世界 whole world, universe
一天四海 world, universe
六合 universe, cosmos
405:１３２人目の素数さん
12/09/20 23:37:05.38
PｖｓNP問題の方楽しみだよね。
こういう創造的なのもいいんだけど
エンジニアリング的にも身近な計算複雑さみたいのは
気持ち悪いと言うかもやもやするのでとっとと天才が出てきて解決してほしい
406:１３２人目の素数さん
12/09/20 23:38:29.80
数学分野の日本語だと、universalの訳は普遍
例えば、普遍被覆 universal cover
URLﾘﾝｸ(ja.wikipedia.org)
だから、共通普遍タイヒミュラー空間とかそんな名前が妥当な気がする
407:１３２人目の素数さん
12/09/20 23:41:37.02
宇宙際は訳語としてはダサすぎる
408:１３２人目の素数さん
12/09/20 23:43:13.81
ここでのuniversalは
グロタンディーク宇宙とかに使われる宇宙universeの形容詞形だろ
409:１３２人目の素数さん
12/09/20 23:44:36.55
宇宙際は、なんかダサい
明治時代の人は漢文の教養があったから、語感もよく意味も通じる訳語を作れた
410:１３２人目の素数さん
12/09/20 23:47:06.05
>>408
そもそもグロタンディーク宇宙が訳語なんだが
411:１３２人目の素数さん
12/09/20 23:47:33.40
>>406
論文を読んで、意味がわかってれば、君のは完全な誤訳。
そもそも、inter-universalじたいが、望月氏の造語なので、
「宇宙際」も訳語というより本人が同時に考えたはず。
412:１３２人目の素数さん
12/09/20 23:50:53.13
国際 international 国家(nation)をまたぐ
学際 interdisciplinary 学問(discipline)をまたぐ
宇宙際 inter-universal 宇宙(universe)をまたぐ
宇宙際は語感としては微妙だが
国際や学際に合わせてそうしたんでしょ
413:１３２人目の素数さん
12/09/20 23:52:07.98
繁宇宙間的あたりがいいのに。
>>403
うちゅうさい
414:１３２人目の素数さん
12/09/20 23:52:14.97
なんか一人トンチンカンな奴がいるな
415:１３２人目の素数さん
12/09/20 23:56:47.69
語感の問題なのに、誤訳とかいってるバカがいる件
そもそも数学の術語なんて象徴的にそう呼んでいるだけで、実態があるわけじゃないんだから、誤訳という発想自体がおかしい
じゃあ、matrixを行列と訳すのは誤訳なのかよ、と
416:１３２人目の素数さん
12/09/20 23:58:22.10
ICBMを大陸際弾道弾と書いたら、港でも破壊するのかと思っちゃうかもね。
417:１３２人目の素数さん
12/09/21 00:00:16.41
>>415
すでにある用語と混乱を生じる訳は良くないね。
「普遍」を使うと誤解されるからダメだろね。
提案されている（笑）「繁宇宙間的」「間宇宙」とかも
イマイチだしね・・・
よい用語を思いついたらもっちーに教えようｗ
418:１３２人目の素数さん
12/09/21 00:08:43.06
一時間ほど考えた結果、宇宙際がかなりしっくり来る気がしてきた
419:１３２人目の素数さん
12/09/21 00:09:28.91
望月先生はもっと考えたのだろうから、まあ、これが一番しっくり来るんだろう
420:１３２人目の素数さん
12/09/21 00:16:16.23
宇宙祭！に見える
いっそ祭って言葉を誰か数学用語にしてくれ
少しは数学が普通の人から見ても楽しげに見えるだろ
アーベル祭りとか
421:１３２人目の素数さん
12/09/21 00:16:34.54
>>403 まさかー…
国際(こくさい) 国と国との関わり合い
学際(がくさい) 複数の学問分野にまたがる研究
みたいに、うちゅうさいと読むんじゃないの
422:１３２人目の素数さん
12/09/21 00:16:51.57
manifoldおよびvarietyを共に多様体と訳すより遥かにまし
423:１３２人目の素数さん
12/09/21 00:21:50.05
>>386
雑魚に言われてもな
424:１３２人目の素数さん
12/09/21 00:42:51.38
宇宙際 幾何学
音だけで聞いたら
宇宙 催奇 科学
と思われかねない！ とか教授が仰らないかな
425:１３２人目の素数さん
12/09/21 00:51:57.18
>>422
URLﾘﾝｸ(en.wikipedia.org)(universal_algebra)
で言うvarietyは何て訳せばいいかな、教えて。
426:１３２人目の素数さん
12/09/21 00:55:59.40
望月教授の経歴見たら漫画のような経歴でワロスｗｗｗ
こいいう人って本当にいるんだね。
427:１３２人目の素数さん
12/09/21 00:56:02.55
>>422
塗装工のゲンさんなら熱く語ってくれそうｗ
428:１３２人目の素数さん
12/09/21 00:58:59.01
>>425
現状「代数多様体」としておけば、多分誤解無く通じると思う
429:１３２人目の素数さん
12/09/21 01:20:19.19
>>428
え、どっちかと言えば圏と似た構造ですよ？
例えば、全ての代数からなる代数多様体って言ったら誤解しか生まなくないですか？
表現可能関係代数の代数多様体とかも。
430:１３２人目の素数さん
12/09/21 01:32:51.42
つーか、用語の和訳なんて不要
431:１３２人目の素数さん
12/09/21 01:40:06.10
包茎関数：包茎率と童貞率は比例する！
432:１３２人目の素数さん
12/09/21 01:45:41.36
宇宙際って宇宙物理の理論関係してんの？
ペレルマンがポアンカレ予想解くのに物理用いたようにこの人も純粋数学
だけじゃなくて物理に関係した理論持ち込んでるの？
433:１３２人目の素数さん
12/09/21 01:46:24.13
「間宇宙幾何学」「間宇宙タイヒミューラー理論」
これでいいんじゃね？
434:１３２人目の素数さん
12/09/21 01:47:59.63
>>432
宇宙際の宇宙は、物理宇宙の宇宙ではありません。
望月先生の理論は極めて純粋数学的な理論です。
435:１３２人目の素数さん
12/09/21 01:50:58.22
ここは普通に裏を読んで
宇宙際（うそらきわ）
436:１３２人目の素数さん
12/09/21 01:51:40.57
将来的にはつながってくるかも知れんけどな．
素粒子理論とか超ひも理論とかと数論はつながっているらしいから
437:１３２人目の素数さん
12/09/21 01:52:37.55
>>434
ふーん
物理＋数学 －＞ ボンカレー予想解決
物理学者と数学者が仲良くしたらもっと未解決問題解けるかもしれないのにね。
438:１３２人目の素数さん
12/09/21 01:54:48.26
いやね、御本人の造語とは言ってもね、日本語のセンスが数学のセンスほどは
良くないんじゃないかな。
「学際」が新しめの表現なのに違和感が無いのは、「国際」と同じく「際」の前が
漢字1文字だからでしょ? もっと言えば、「国」と「学」は音韻が同じ(入声)なんだ。
「際」の前が二文字以上の自然な表現って、あるかい? 金輪際、とか言うなよw
439:１３２人目の素数さん
12/09/21 02:00:45.73
>>438
つか、音の問題なら新嘗祭とかも全部駄目ってことじゃ？
440:438
12/09/21 02:04:11.84
だ、誰かレスしてあげて…
441:１３２人目の素数さん
12/09/21 02:04:26.57
イントネーションも発音も全然違うんだが、舌ついてんのか？
それとも、家に引きこもりすぎて、久しく喋ってないから、日本語の発音も忘れたのか？
442:１３２人目の素数さん
12/09/21 02:06:04.48
>>440
さすがにこの反応は予想しないから、狼狽えるのも分かる
443:１３２人目の素数さん
12/09/21 02:07:40.54
もっといえば、交際の交は入声じゃないんだ
444:１３２人目の素数さん
12/09/21 02:10:09.01
グロタンディークが使ってたUniverseと同じで
宇宙ってのは比喩としての宇宙だべ
日本語の場合別に宇宙を世界と変えても問題ないレベル
もっとも変えたら怒られるが
445:１３２人目の素数さん
12/09/21 02:11:20.20
学際的とか国際的とは言うけど、交際的とは言わん。
宇宙際と言うときの「際」は inter-hogehoge の inter だから、
発想としては学際的(Interdisciplinary)とか国際的(International)の
「際」と同系だろ? 交際を inter-hogehoge って言うか?
446:443
12/09/21 02:19:04.61
業際
際の前は1文字だが入声でない
ということで入声のくだりは削っていいですか
447:438
12/09/21 02:24:16.48
>>446
いいですw
入声に限定すると選べる言葉が減るからね。
「間宇宙」を提唱していた人が上に居たけれど、やはり「～際」の～は
1文字じゃないと座りが悪い、というのが日本語話者の普通の感覚じゃ
ないかねえ。
448:１３２人目の素数さん
12/09/21 02:27:37.88
>>446
業は入声だぜ
449:１３２人目の素数さん
12/09/21 02:27:42.31
>>420
そっか、男祭り、みたいな。
450:１３２人目の素数さん
12/09/21 02:30:40.18
昔から全く変わらない、ホモの文化荒らし
451:１３２人目の素数さん
12/09/21 02:31:49.56
>>448
知ってる。業の音はゲフ。フクツキチだからね。
まあ現代日本人には、そこまで限定しなくても。
452:１３２人目の素数さん
12/09/21 02:41:04.11
論文自体に言及出来ないから、
学歴やら名称やらで賑わうスレってのもな
453:１３２人目の素数さん
12/09/21 02:45:02.46
>>374
anabelienなら84年からあるけど「遠アーベル」は日本人が考えたんだと思うよ。
乾坤とか六合って良いな
廻乾坤タイヒミュラ理論とか六合間タイヒミュラ理論とか、良い感じｗ
454:１３２人目の素数さん
12/09/21 02:46:12.96
明治時代、西洋の学術語を翻訳した学者達には、漢文の素養があったから、
そういった漢語のセンスは抜群だよな。
ちなみに、谷山・志村予想の志村先生は、実は漢文のプロでもある。
URLﾘﾝｸ(www.amazon.co.jp)
とか
URLﾘﾝｸ(www.amazon.co.jp)
の著者が、数学者の志村先生と同一人物であると知った時には、
本当にびっくりしたよ。
455:１３２人目の素数さん
12/09/21 02:55:39.90
プロ級というのなら…だいぶ成長してから(も?)自ら学んだんだろうな
単に幼い時は数学の教材に大したものがなくて暇で仕方なくとか
周囲が本人の意向とは関係なく漢文をやたら突っ込んだとか
だったらもったいなくて嘆かわしいが、そうではなさそうだ
456:443
12/09/21 02:59:09.97
仮に間宇宙にするなら宇宙間のほうがいいってならないか
でも、際の一文字にはふれあいという意味があるようだから、
間があいているっぽいよりは的確なのだろうね、そして>>419
(なお論文の内容を理解できていないので全て空想)
457:１３２人目の素数さん
12/09/21 03:01:04.53
inter-universalのuniverse（名詞）は、モデルとか構造とかと類似の概念であって、
ざっくり言って集合論のモデルという意味（だからこそZFCの話が出て来る）。
圏論とかでいう普遍性universalityとは関係無いので、「普遍」はおかしい
458:１３２人目の素数さん
12/09/21 03:30:47.90
>>452
おまえもその一翼を担ってるがな
459:１３２人目の素数さん
12/09/21 03:38:16.87
論文に言及できないって一体どんな論文なんだｗ
460:１３２人目の素数さん
12/09/21 03:43:44.07
数学の論文とはそういうもの
ワイルズの証明も世界で１０数人しか分からないんだとか
461:１３２人目の素数さん
12/09/21 03:44:15.45
いつまで訳語の話題で盛り上がってんだ
462:１３２人目の素数さん
12/09/21 03:52:57.42
いっそ「輪廻幾何学」くらい言ってもいい気がするw
463:１３２人目の素数さん
12/09/21 05:03:40.99
圏論における普遍性とは関係ないので、「普遍」という訳語を当てるべきではない、という理屈が分からない
464:１３２人目の素数さん
12/09/21 06:04:25.77
それを言ったら英語の段階でinter-universalじゃなくてinter-universe Teichmuller theory
とすべきだろ
465:１３２人目の素数さん
12/09/21 06:59:31.13
この証明が正しいかどうか検証出来る人間って世界に何人くらいいるの？
466:１３２人目の素数さん
12/09/21 07:08:19.54
>>465
数十人
467:１３２人目の素数さん
12/09/21 07:17:17.41
彼のところの学生さんは理解してるんだろうか
468:１３２人目の素数さん
12/09/21 08:17:02.22
>>461
ほかに口を突っ込める部分がねぇ('A`)
469:１３２人目の素数さん
12/09/21 08:25:24.17
この証明を、数学科に進みたい高校3年生にわかるように、解説していただけないでしょうか？
470:１３２人目の素数さん
12/09/21 08:37:52.17
具体的にどんな圏を使うんだ
IU幾何では
471:１３２人目の素数さん
12/09/21 08:41:28.85
>>469
これを解説すると、
内容のあまりの難しさ、
勉強すべき基礎事項の多さにうんざりして、
その生徒は数学科に進むことを断念するのではないかと思われる。
472:１３２人目の素数さん
12/09/21 09:02:14.22
言葉の解釈にしかならないところがHiggs粒子の発見との違いか
473:１３２人目の素数さん
12/09/21 09:06:08.95
藤原正彦（笑）にでも解説してもらいたい
474:１３２人目の素数さん
12/09/21 09:51:09.11
>>473
彼がまことしやかに解説しても、それがデタラメなのかマトモなのか
判断する力が君にあるのかな
475:１３２人目の素数さん
12/09/21 10:32:12.51
望月教授ってどんな人なのかな？エピソードが全然出てこないのは京大関係者が実際は殆ど
この板にいないってことかな？
結婚してないって本当なのかしら？
476:１３２人目の素数さん
12/09/21 10:34:05.04
もう宇宙祭でいいじゃないか、理解できるであろう関係者も
ちょっとした祭になってるだろうし。
477:１３２人目の素数さん
12/09/21 10:39:31.82
京大教授 藤井聡がなんかの番組で京大数学者でもっと若ければフィールズ賞とれた人が
かなりいかれてて面白いといっていたが、望月教授の可能性が高いね
なんでも食堂だったかににたどり着くのに迷うだとかｗ
478:１３２人目の素数さん
12/09/21 10:42:16.54
食堂、正面出てすぐじゃねーかｗ
479:１３２人目の素数さん
12/09/21 10:57:38.63
それはシカゴ大学に移った加藤和也教授じゃねーの？
若い頃気づいたら裸で歩きながら数学考えていて警察に御用になったとか言っていたしｗ
480:１３２人目の素数さん
12/09/21 11:20:09.47
>>458
＞>>452
＞おまえもその一翼を担ってるがな
一翼を担う…はぁ…
一片の悪意もなく言うが、国語ももっと勉強した方がいい。
481:１３２人目の素数さん
12/09/21 11:23:04.44
文系君もみてるのか
482:１３２人目の素数さん
12/09/21 11:38:35.27
本題に突っ込めないから、他の点で騒いでるんだろ。
ブロンズ聖闘士を見下すような目で、軽蔑してやれや
483:１３２人目の素数さん
12/09/21 11:40:28.71
学歴やら名称やら単語やらで賑わう行為の一端を担おうというツンデレですね
484:１３２人目の素数さん
12/09/21 11:41:04.38
>>477
藤井聡(笑)
485:１３２人目の素数さん
12/09/21 11:43:07.46
>>478
理学部数学科からだとそうだが、RIMSからだと、50mくらいあるので、迷うかも知れない
486:１３２人目の素数さん
12/09/21 11:43:39.92
まあ仕方がないよ。
一般人はABC予想のstatementすら理解できないし、
理解しようとしない。
じっくり考えれば中学生でも分かる内容なのにね。
487:１３２人目の素数さん
12/09/21 11:47:16.01
まとめサイトでABCの簡単な中高レベルで理解できるような説明の部分にさえ
まとめブログでは「日本語でおｋ」「意味不明ｗｗｗ」といったレスが付いていた
そこから察するに、「天才パネエ」ノリになっていたこともあるだろうが、数式が出てきただけでフィルターかかってしまう人がいるのだろうね
488:１３２人目の素数さん
12/09/21 11:47:23.43
>>485
建物から一歩出たところから、食堂が見えているかどうかは、大きな違いだろうな
数学的なことに専心集中していると、RIMSから食堂に辿りつくのは難しいかもしれない
489:１３２人目の素数さん
12/09/21 11:53:55.76
腹が冷えるので裸で勉強をしたことはないが、もし裸で数学をしていれば、知らず知らずのうちに外に出ないとは断定できない
490:１３２人目の素数さん
12/09/21 11:55:39.60
>>485
いや、数理研も正面出て道まっすぐじゃん
491:１３２人目の素数さん
12/09/21 11:57:35.55
裸で外に出たいのを、数学のせいにすんなw
492:１３２人目の素数さん
12/09/21 11:58:29.40
加藤先生はかなり常人離れしているらしいが、望月先生は、少なくとも日常生活においては、常識人だろう
493:１３２人目の素数さん
12/09/21 12:00:49.57
玉川先生は？
494:１３２人目の素数さん
12/09/21 12:04:34.47
数学などを熱意を持って語る人間はすべて、一般人から見れば十分に変態である
495:１３２人目の素数さん
12/09/21 12:08:07.65
>>494
その議論は論点先取だ
つまり、あなたは「数学を熱意をもって語る人」と「一般人」との間に、あらかじめ線引きをしている
そして、その線引きに基づいて、あなたのいう「一般人」でない人を「変態」と言っているに過ぎない
496:１３２人目の素数さん
12/09/21 12:08:30.16
まとめブログにabc予想の内容が間違って説明している奴があった気がする
abc予想はc<rad(abc)^(1+ε) がεを固定したら有限個の例外以外は成立するでしょ？
c<rad(abc)^2 が例外なく成立するって説明してある奴があったけどこれはabc予想には含まれない
より強い命題
497:１３２人目の素数さん
12/09/21 12:11:46.33
abc予想を仮定すると、フェルマー・ワイルズの定理はどのように証明できるの？
498:１３２人目の素数さん
12/09/21 12:24:49.95
universal
[形]
1. 世界中の、万人の
2. 宇宙の、万物の ←
499:１３２人目の素数さん
12/09/21 12:31:07.05
>>497
たぶん
URLﾘﾝｸ(www.math.tohoku.ac.jp)
の１３頁のフェルマー予想の拡張.ってやつ．ただ
＞この定理は abc 予想を仮定しない証明が知られている
とか注釈がついているのでよくわからん
500:１３２人目の素数さん
12/09/21 12:32:11.59
>>497
c<(rad(abc))^2 …(*) が成り立つとする
x^n+y^n=z^nにおいてx,yの最大公約数をgとするとzもgの倍数
ゆえに両辺をg^nで割ることができ、X^n+Y^n=Z^n（X,Yは互いに素）とかける
a=X^n, b=Y^nとすると(*)から
c=Z^n<(rad(X^n*Y^n*Z^n))^2=(rad(XYZ))^2<Z^6
これよりX^n+Y^n=Z^n(n>2)を満たすX,Y,Z,nが存在するならばn=3,4,5に限られる
しかしn=3,4,5ではそのようなX,Y,Zは存在しないことが示されている
501:１３２人目の素数さん
12/09/21 12:37:52.40
c<rad(abc)^2 (a,b:互いに素, a+b=c) の方も解決されたの？
それなら、>>500の証明でいいけど
502:１３２人目の素数さん
12/09/21 12:38:49.54
>>477
食堂じゃなくて時計台って言ってたね。
RIMSの人は時計台の方まで普通行かない（道路渡らないといけない）から
別に知らなくてもそんなに不思議はない。
普通の学生相手の授業とかもないだろうし。
503:１３２人目の素数さん
12/09/21 12:39:22.49
>>500 だから，それは strong abc conjecture というより強い予想
今回証明されたのは weak abc conjectre ． strongが証明されたのなら
自動的にweakも証明されるけど，逆は成立しない
URLﾘﾝｸ(abcathome.com)
504:１３２人目の素数さん
12/09/21 12:42:09.74
例外は有限個なんだから、その有限個の(a,b,c)が自然数のべきのときに検証すればいいのではないか
505:１３２人目の素数さん
12/09/21 12:42:23.16
URLﾘﾝｸ(en.wikipedia.org)
ただしweak abc conjectreからもフェルマーの最終定理は指数が十分大きければ証明できるらしい
506:１３２人目の素数さん
12/09/21 12:43:50.67
>>503
strongを仮定してweekを証明するのはどうやるの？
507:１３２人目の素数さん
12/09/21 12:44:44.74
500ページでABC予想の証明書かいたんじゃないだろ？
理論を展開してその応用の1つとしてとして
ABC予想が解ける事がおまけで分かるってくらいな話だよな？
500ページで1つのことを証明なんてありえないからな。
508:１３２人目の素数さん
12/09/21 12:47:09.02
>>507
有限単純群の分類って８０００頁とかじゃなかったっけ？
509:１３２人目の素数さん
12/09/21 13:06:48.13
すでにみんな言ってるんだろうが、文系の俺は、ただ一言この人に言いたい。
「日本語でＯＫ」
510:１３２人目の素数さん
12/09/21 13:12:42.56
高校数学で止まっている私には、フェルマー予想が楕円曲線の問題に帰着される理屈が分からないのですが
楕円曲線は三次の多項式で表される曲線で、フェルマー予想の方程式は3次以上
高次の不定方程式を低次のものに還元する方法立てがあるのですか？
511:１３２人目の素数さん
12/09/21 13:20:37.12
>>509
和算の用語で説明されたらもっと分からんｗｗｗ
512:１３２人目の素数さん
12/09/21 13:22:19.30
>>510
まず、これ見てみれば。
Fermat's Last Theorem (Complete)
URLﾘﾝｸ(www.youtube.com)
513:１３２人目の素数さん
12/09/21 13:24:35.34
志村先生が自身の著書で、定理に証明者の名前を冠することは必ずしも適切ではない、という風なことを仰っていましたが、これは自身の予想が解決に大きく関与したフェルマー予想が、ワイルズの定理などと名前が付けられることに異を唱えているのでしょうか？
514:１３２人目の素数さん
12/09/21 13:34:14.56
数学は9割が根気だ
515:１３２人目の素数さん
12/09/21 13:47:38.15
目標は宇宙際タイヒミューラー理論の完成
ABC予想の証明は副産物に過ぎない
516:１３２人目の素数さん
12/09/21 13:48:00.25
>>510
もしもa^m+b^m=c^mを満たすようなa、b、cがあったとしたら、
A = a^m、B = b^mとして
y^2 = x(x-A)(x+B)という楕円曲線を作れる。
でもこの楕円曲線の性質を考えてみると……という議論
517:TTT
12/09/21 13:56:04.24
>>510
フェルマー予想の反例
a^n + b^n = c^n
から楕円曲線
y^2 = x(x - a^n)(x + b^n)
が導かれて、これはモジュラーではないが、
谷村志村予想よりすべての楕円曲線はモジュラーなので、
矛盾が生じフェルマー予想の反例は存在しない
518:TTT
12/09/21 13:58:43.33
>>513
定理の名称から定理の内容が想像できなくなるし、
いくつもの定理に同じ数学者の名称をつけて混乱する場合がある
オイラーとかが典型。
519:１３２人目の素数さん
12/09/21 14:18:41.19
正整数a<b<cが a+b=cかつGCD(abc)=1 ⇔ abc-triple とするのが
日本語版や英語版のウィキペディア
r(>1)をきめるごとに 高々有限組が c≧{rad(abc)}^(r) [weak]
(rad(abc))^r>(rad(abc))^1 なんだから、
つまり 高々有限組が c>rad(abc) と同値なのかな(？)
全組がc<rad(abc)^2であること [strong] からweakがいえるのは本当？
あと >>503のサイトの用語定義だと c>rad(abc)が
abc-tripleと呼べる必要条件に加わってる
520:１３２人目の素数さん
12/09/21 14:22:35.31
日本のwikipediaみたときrがいきなり出てきて
何かわからなかったから整数だと思ってたら違ってたよ。
521:１３２人目の素数さん
12/09/21 14:22:55.31
> URLﾘﾝｸ(abcathome.com)
のサイトのstrong abc conjecture っては
全組がc<rad(abc)^2 というのとは別な気がする。英語わからんから自信ないけど
522:１３２人目の素数さん
12/09/21 14:30:03.65
c< rad(abc)^κ の「有限個の例外を除いて」っていう条件がなくなる
κに上限が存在するってのがstrong ？
523:１３２人目の素数さん
12/09/21 14:30:51.54
強 弱といえよ。
インテリじゃあるまいし。
524:１３２人目の素数さん
12/09/21 14:31:29.02
クククABC予想が解明されたようだな…しかしあの証明は500Pも使う小物…
エレガントな証明の面汚しよ…
525:１３２人目の素数さん
12/09/21 14:39:34.63
エレガント証明と言えばゲーデルの不完全性定理
526:１３２人目の素数さん
12/09/21 14:47:54.99
素人の俺からも見て素数の分布と関係がありそうだが、リーマン予想とも関係があるんじゃないか？
527:１３２人目の素数さん
12/09/21 15:28:01.03
>>524
４人組のAAがないと、wktk感に欠ける
528:１３２人目の素数さん
12/09/21 15:34:40.43
>>469
数論幾何を理解するには前提となる道具立てが多すぎるので簡単には無理でしょう。
529:１３２人目の素数さん
12/09/21 15:44:54.78
彼の言う小さな家と大きな家を不変性を保ちながらつなぐ物質(演算？)ってなんだろうか
それがスゴーく気になる
多分、由緒の違う代数曲線の群をまとめあげる何かとかそんな感じだろうか
530:１３２人目の素数さん
12/09/21 15:49:24.93
数論的コホモロジー以前に
擬テータとかちょうむずかしくて手を出したくない分野だよな
531:１３２人目の素数さん
12/09/21 17:02:00.09
ABCはミレニアム懸賞問題の中に入っていないのですね。
ミレニアム懸賞問題で一番困難なのは何ですか？
532:１３２人目の素数さん
12/09/21 17:18:39.16
>>531
数論であるリーマン予想
そのほかは理論物理とか計算機科学とか
533:TTT
12/09/21 17:32:19.04
>>531
恐らくPvsNP問題だと思われます。
決定性チューリング機械で多項式時間に計算される命題群と
非決定性チューリング機械で多項式時間に計算される命題群が
一致するか否かを問う言明です。
恐らく現代数学史上最も重要な帰結をもたらすし
暗号理論など現実世界にも多大な影響をもたらします。
534:１３２人目の素数さん
12/09/21 18:31:40.67
FLTが1995年で応用や拡張が続くだろうとみて
ミレニアムではFLTの周辺は評価しづらかったんだろうな
535:TTT
12/09/21 18:50:20.81
>>531
ちなみに現在の複雑さの階層ってのは
URLﾘﾝｸ(www.math.ucdavis.edu)
ここまで発展している。
PとかNPってのは記述可能な文のクラス、つまり集合というか全体みたいなもので、
文系の方にも知られているチョムスキー階層なんかも入ってくるよ。
あと一階論理で記述可能な文の全体とかね。
ほとんど解決してなくて解決の糸口さえ想像がつかないって状況。
現代数学で最も壮大かつ広範な研究分野だね！
URLﾘﾝｸ(qwiki.stanford.edu)
なにしろクラスの種類は500近いからね、一体何世紀後に全てが解決するやら。
536:１３２人目の素数さん
12/09/21 19:00:05.30
どこかでP≠NPとマインスイーパーって関係あるの？
うちの数学の先生が言ってた。
537:１３２人目の素数さん
12/09/21 19:12:02.72
>>536
なんじゃそら。
終盤で運に頼らないと解けない場所ができないように
問題を作成するとかそんなんか？
538:１３２人目の素数さん
12/09/21 19:15:13.69
Ｐ≠ＮＰなんて予想通りでしたで終わるだけだろｗ
539:１３２人目の素数さん
12/09/21 19:56:48.09
jacob lurieなんかがやってるようなことも
ABC予想のような有名な予想を証明するための物なのかねえ
540:１３２人目の素数さん
12/09/21 19:59:35.97
Minesweeper is NP-complete
URLﾘﾝｸ(sed.free.fr)
「ゲームとパズルの計算量」なんていう本まであったりする
541:１３２人目の素数さん
12/09/21 20:00:24.06
>>538
P=NPは一応＝派と≠派の両方が居る
538みたいなこと言ったらRiemann予想とかのほうが酷いと思う
542:１３２人目の素数さん
12/09/21 20:04:15.01
数学は幻想である
全て妄想
何故なら大多数が理解すらできない、そんなものは実在しない ｷﾘｯ
543:１３２人目の素数さん
12/09/21 20:06:28.30
URLﾘﾝｸ(www.chugoku-np.co.jp)
2乗のほうを証明したのか？
教授本人が取材に答えたようだが誤報の可能性は？
544:１３２人目の素数さん
12/09/21 20:07:40.86
記者「良く分からないから俺にも分かるように教えてください」
もっちー「自分で勉強しろ、ほっといてくれ」
ってことだな
545:１３２人目の素数さん
12/09/21 20:51:46.10
とりあえず宇宙際タイヒミューラー理論の分かりやすい解説書を
英訳和訳で出版してくれ
546:１３２人目の素数さん
12/09/21 20:53:25.76
>>536
ブルーバックスの本に書いてあるね
以下引用
＞ 身近（？）なところでは、Windowsパソコンにならどれにでも入っている地雷探しゲームと、
＞NP完全問題との間に深い関係があることが知られている。英語の勉強と思って、
＞クレイ数学研究所のホームページで読める、イアン・スチュアートの解説で楽しんでほしい。
＞もっと詳しく知りたければ、そのページからこの事実を発見したリチャード・ケイエ(Kaye)の
＞ページへのリンクをたどってみればよい。
ということらしい
547:TTT
12/09/21 20:53:51.83
>>536
関係あるよ。
マインスイーパや数独やぷよぷよやテトリスはNP完全って問題に入ってる。
基本的に単純な組合せっぽい問題はすべて>>535のどこかの計算量を持ってる。
電子回路からルービックキューブや論理学の充足問題だとかもそう。
>>535は基本的に決定可能な命題のクラスだから。
まぁ数学全体になると複雑すぎて入らないけどね！
>>537
実際にプレイするのと最適なプレイの間には随分な違いがある。
>>538
というかそれが分かればいいにこしたことぁないわな
>>540
結構面白い本だね、
具体的な階層を扱ったのはシプサの計算の理論って本がいいね。
P、NP、PSPACE、EXPTIMEとか基本的な階層しか登場しないけどね
>>542
もーちっと巧いレスしてこーぜ
>>544
数論ってポアンカレ予想と違って素人にゃイメージさえつきにくいからね
548:１３２人目の素数さん
12/09/21 21:09:39.84
↑自分のレスに反応してるところからわかるように
TTTは精神異常者であり、数学板に住み着いている荒らしです
レスの内容も必ずどこかに嘘がありますのでレスを真に受けないようにお願いします
549:１３２人目の素数さん
12/09/21 21:38:21.11
うん
コテはキチガイしかいないからね
550:１３２人目の素数さん
12/09/21 21:47:14.34
結局、XYZ予想はまだですか？
551:１３２人目の素数さん
12/09/21 21:50:56.05
XXZは解けたんだがな・・・
552:１３２人目の素数さん
12/09/21 21:53:58.41
TTTのほうがずっとマシに見える
553:１３２人目の素数さん
12/09/21 21:58:39.79
猫だって、まともなことを書くことも多かったろ。
腐っても筑波大。元准教授だ。
ただの痴漢だがｗ もうネットにつなぐ金もないのかｗｗ
554:１３２人目の素数さん
12/09/21 22:05:41.06
最初の３つの論文の議論は４つ目の論文のディオファントス不等式の証明に
あまり利いてない感じがする
555:519
12/09/21 22:25:42.24
c>rad(abc) を無限個の組が満たすことは判明していたのか
(>>81や>>170。
>>81は間違いではないが、数学セミナーに載ってたのは>>170)
556:１３２人目の素数さん
12/09/21 22:27:15.87
>>553
猫って生物板で電波コピペしてるコテの猫？
筑波の准教授だったの？
驚いたわ
557:１３２人目の素数さん
12/09/21 23:04:49.33
現代数学の数論って喩えるなら星だよな。素人にも手が届きそうだが、実際は数学者でも
中々理解が難しい高級でマニアックな理論を駆使しないと近づくことすらできない。
まず、多様体とコホモロジーぐらいは余裕ってレベルの理解がないとな。
それでも飛行機ぐらいか。
558:１３２人目の素数さん
12/09/21 23:09:58.11
>>557
まず現代数学の数論と聞いて手が届きそうと感じる素人はいないだろうから、お前の認識は誤り。
また星を見て手が届きそうだと感じる人間は皆無だから、たとえとしてもピントはずれ。
559:１３２人目の素数さん
12/09/21 23:10:36.56
一般人が非愚図を理論的に理解するのは現実的に不可能だけど
望月の証明はその１００倍理解するのが難しいと言えばイメージできるか
560:１３２人目の素数さん
12/09/21 23:17:10.37
根気があれば一般人でも素人でも理解はできるよ
答えが出ているものをなぞるだけなら尚更
だけど一般の人にはそれだけの時間がない
561:１３２人目の素数さん
12/09/21 23:23:57.38
数学者同士でも専門が違えば理解できないんだからさ
562:１３２人目の素数さん
12/09/21 23:50:10.97
確率論にゴミを付け加えた経済学は現在崩壊中だから理解できなくても仕方がない
563:１３２人目の素数さん
12/09/21 23:54:07.38
>>562
ゴミに確率論を加えた、というのが正しいな
564:１３２人目の素数さん
12/09/21 23:54:24.32
タイヒミュラー空間から説明して
565:１３２人目の素数さん
12/09/21 23:55:08.22
>>563
経済学より確率論の方が長い歴史がある
566:１３２人目の素数さん
12/09/21 23:59:09.89
>>565
で？
567:１３２人目の素数さん
12/09/22 00:05:47.33
>>1
バカな・・・早すぎる・・・
568:１３２人目の素数さん
12/09/22 00:08:12.91
>>539
Jacob Lurieの高次カテゴリーや代数幾何は
代数幾何をやる上で必須になるかもね。
569:１３２人目の素数さん
12/09/22 00:51:19.75
確率論の上に立つ緒分野はゴミなんでしょうか？
570:１３２人目の素数さん
12/09/22 00:56:16.22
代数幾何とか数論幾何とか、数学の中でも超メインストリームだと思うけどな。
571:１３２人目の素数さん
12/09/22 01:02:56.94
タイヒミュラー理論、p進タイヒミュラー理論を理解した後に
更にIUタイヒミュラー理論が待ってるのか
572:１３２人目の素数さん
12/09/22 01:07:15.37
お前らいい加減イントロだけでもいいから読めよ
573:１３２人目の素数さん
12/09/22 01:08:17.27
>>570
代数幾何は世界的にはメインストリームと言い難い。
フィールズ賞も少ない。日本人のフィールズ賞が代数幾何という
ことで勘違いしやすい。
574:１３２人目の素数さん
12/09/22 01:29:00.35
幾何は日本人とか東洋が好きなイメージある
西洋は代数ばかりやっていそう
575:１３２人目の素数さん
12/09/22 01:31:11.87
>>573
あなたの印象だと、数論幾何と代数幾何のたどちらがよりメインストリーム？
576:１３２人目の素数さん
12/09/22 01:51:49.19
>>558
（初等整）数論ほど主に中高生並の素人が妄想を抱きやすい分野は無かろう
問題の意味は分かるという点でな
他の分野は数学をやっている人達には内容が簡単でも
素人には問題の意味から分からない
577:１３２人目の素数さん
12/09/22 01:52:41.33
>>572
おまえが俺のベッドで添い寝して読んでくれるのを待ってる
578:１３２人目の素数さん
12/09/22 01:59:51.34
>>573
代数幾何はかつてはメインストリームだったと思うよ。フィールズ賞もたくさん出た。
ここ最近は代数幾何の過渡期を越えた状態で大きな業績が出にくいだけだと思う。
とりあえずゴ（2010）、ボエボドスキー（2002）は代数幾何の人だし、
オコンコフ（2006）は代数幾何を多分に用いているよ。
579:１３２人目の素数さん
12/09/22 02:25:49.13
test
580:１３２人目の素数さん
12/09/22 02:31:11.03
この人って岡潔と雰囲気が似てる。
もちの宇宙際タイヒミュラー理論が岡の不定域イデアルにあたる。
581:１３２人目の素数さん
12/09/22 02:40:35.94
>>577
お前が女(※但し)ならこっちも望むところだ
582:１３２人目の素数さん
12/09/22 02:53:41.48
>>541
リーマン予想だって懐疑派はいるぞよ？
ガウスが予想し、リーマンが理由付きで支持した、Li(x)>π(x)予想は、リトルウッドによって反証された。
未証明予想の真偽は誰にもわからない。
583:１３２人目の素数さん
12/09/22 03:25:10.02
P=NPとリーマン予想って関連してたのね。
584:１３２人目の素数さん
12/09/22 04:14:54.33
P=NP研究者はともかく、P=NP厨は全問題に漏れなく寄生しているよ
585:１３２人目の素数さん
12/09/22 04:19:34.41
計算理論なんて馬鹿みたいに階層つくるだけでくだらねぇ
代数幾何のカケラほどの深みもないなんちゃって数学議論だよ
586:１３２人目の素数さん
12/09/22 05:51:46.17
「x以下の自然数について（不等式）が成り立つ」型の定理と違って
零点の実部が1/2という予想だし、最初の何億個かについては確かめられてるのだから
偽だった時の数学的不自然さが全然違うというふうに個人的には感じる
587:１３２人目の素数さん
12/09/22 06:15:51.77
日本人がノーベル賞をとったり、
オリンピックで快挙を成し遂げても、
何故かその喜びが長続きしない。
昔はお祭り（万博やオリンピック）があると、
それだけで随分と社会が活気づいた。
最近は嬉しいことはすぐに忘れ、嫌な事ばかりが
記憶に残っている。周りの人達をみても感じる。
588:１３２人目の素数さん
12/09/22 06:52:56.17
>>586
10^9/∞=0
よって、最初の何億個かについて正しいことは、予想の正しさに何の保証も与えない。
589:１３２人目の素数さん
12/09/22 07:02:13.31
これがアスペです
590:１３２人目の素数さん
12/09/22 07:17:23.76
>>587
スレチだが、かつてはスプートニク・ショックで
理学部を増設したり、教員数を増やして
社会に還元され皆が喜んだが、たとえABC予想が解けても
若手の雇用を増やそうとか数学研究所を作ろうなんて話にならない。
削ることばかり考えて、探査機はやぶさですら予算カット。
こんな事してたら更に衰退する。
591:１３２人目の素数さん
12/09/22 07:43:31.99
もう衰退しとるがな。
猫
592:TTT
12/09/22 08:18:10.25
>>584-585
理解できないか考えるのがめんどくさいからでしょ？
要は本腰入れてやりたくない、食わず嫌いっしょ。
実際計算量関連の議論や論法って代数幾何なんかと比較に
ならんほど複雑に入り組んでる。
階層化の裏にある複雑さを理解すべし
593:１３２人目の素数さん
12/09/22 08:32:54.88
>>587
回りの人がというより、マスコミがコントロールできてた
マスコミが祭りを作り、次のねたが来るまで引っ張ってた
ネット時代のマスコミにそんな力はないからな
594:１３２人目の素数さん
12/09/22 08:36:10.61
>>592
計算量関連の複雑さってあまり綺麗じゃないんだよな
代数幾何のような綺麗さがないというか、下品な人用というか
595:１３２人目の素数さん
12/09/22 08:39:02.58
代数幾何て綺麗なものしか相手しないの？
596:TTT
12/09/22 08:55:34.66
>>594
え？代数幾何のどの論法が綺麗なの？
計算機を扱うってところに俗っぽさを感じて
知りもしない批判をしているだけでは？
計算量の分類の論法、例えば対角線論法だとか
不動点定理を使ったものだとか鮮やかとしか言いようがないよ
597:１３２人目の素数さん
12/09/22 09:14:49.81
こんな記述を見つけたよ
URLﾘﾝｸ(www.math.columbia.edu)
> The Szpiro Conjecture is, in fact, equivalent to the strong ABC Conjecture.
> [cf. Bombieri-Gubler, Heights in Diophantine Geometry p. 431]
ということは、strongの方も今回の「証明」に入っているという理解でOK？
598:１３２人目の素数さん
12/09/22 09:19:16.22
ストロングて何？
599:１３２人目の素数さん
12/09/22 09:30:29.81
ごめん
>>500-506あたりの話
600:１３２人目の素数さん
12/09/22 09:35:36.49
へえ、そんなのがあるのか。
Wikiを見るとABCから出てくる
予想が沢山あるが、これだけでも凄い！！
601:１３２人目の素数さん
12/09/22 09:38:45.16
>>597
わからんけどpdfの論文眺めると１＋εとか出てくる式があるような．．
602:１３２人目の素数さん
12/09/22 09:42:02.72
そのstrongとやらと関係あるのか知らんけどウィキ英語にあるabc予想の改良と一般化ってやつの意味が
わからん．解説よろ
URLﾘﾝｸ(en.wikipedia.org)
603:１３２人目の素数さん
12/09/22 09:52:28.63
A＝キス
B＝フレンチキス
C＝ファック
604:１３２人目の素数さん
12/09/22 09:57:54.53
今世紀はすごかったな。リーマン予想もやっつけてくれろ。
605:１３２人目の素数さん
12/09/22 09:58:24.07
数学の素人なんだけど、wikiの記述に疑問があります。
wikiには３パターンのACB予想の定式化が書かれているけど、
２番目のやつは、
「任意の正数 ε > 0 に対して定数 K が存在し、全ての abc-triple な (a,b,c) について次が成立するという。」
ってのは、当たり前過ぎる気が・・・。
何か間違いなんじゃないの？
606:１３２人目の素数さん
12/09/22 10:04:27.27
cに依存しないKが定数として取れるという意味だから。
607:１３２人目の素数さん
12/09/22 10:06:54.07
有限個の例外についても不等式を成立させるためにはεに依存する定数Ｋ（ε）倍する必要がある
ってだけの話．
608:１３２人目の素数さん
12/09/22 10:47:00.89
>cに依存しないKが定数として取れるという意味だから。
そういう意味にとれる書き方にすべきじゃないのかなあ。
形式的に日本語を読むしかない一般人は、普通、
(a,b,c)の組ごとに式を満足するKを決めてもよいと読む。
609:１３２人目の素数さん
12/09/22 10:55:26.05
>>606,607
すみません、自分が勘違いしていただけで、意味が分かりました。
610:１３２人目の素数さん
12/09/22 12:22:51.71
general typeの代数曲面なんて、全然綺麗じゃないよね。
g>1の代数曲線も同じだけど、
リーマン面のモジュライ空間が上品と思わないと代数幾何はできません＞＜
611:１３２人目の素数さん
12/09/22 12:59:51.05
>>587
良くも悪しくもナショナリズムがなくなっているのだろう
>>593
なくはないよ
Googleやyahoo、ランキングやまとめサイトなどマス的なものは相変わらずある
612:１３２人目の素数さん
12/09/22 13:08:39.35
金メダルやノーベル賞による国威発揚に熱心なのは後進国の特徴だ
自尊心に不安があるから、国際的な評価に飢えている
社会が成熟して自尊心が満たされると、自国民が賞を獲得するより個人の幸福の方が重要になる
613:１３２人目の素数さん
12/09/22 14:02:17.41
>>612
後進国とは何ですか？その定義を厳密に述べてください。自尊心に対する不安とは何ですか？その定義を厳密に述べてください。
国際的な評価とは何ですか？その定義を厳密に述べてください。何に対する評価ですか？
なせ、自尊心に不安があると国際的な評価に飢えるのですか？
社会が成熟しているとはどういうことですか？その定義を厳密に述べてください。個人の幸福とは何ですか？その定義を厳密に述べてください。
比較するということは、自国民が賞を獲得することと個人の幸福が別物なのですか？そうならば別物であるのはなぜですか？
なぜ、社会が成熟して自尊心が満たされると、自国民が賞を獲得するより個人の幸福が重要になるのですか？
614:１３２人目の素数さん
12/09/22 14:40:45.50
c > rad(abc)^(1+ε)について、
ε=0 → abc-tripleの組の数は無限
ε>0 → abc-tripleの組の数は有限 → abc予想(weak)
ε=1 → abc-tripleの組の数が0 → abc予想(strong)
ε=0.6299... → 上式を満たすabc-tripleが存在する現在の上限
でいいのかな？
615:１３２人目の素数さん
12/09/22 15:16:52.51
>>592さんは代数幾何は一通り勉強したんですか？
広中の定理の証明とかは四重帰納法で電話帳みたいな感じなので
なかなか複雑だと思うんですが、計算量理論もそういう証明がごろごろしてるんでしょうか。
616:１３２人目の素数さん
12/09/22 15:18:58.84
代数幾何の知識なんか皆無なのに
>実際計算量関連の議論や論法って代数幾何なんかと比較に
>ならんほど複雑に入り組んでる。
こんなこと言える神経が分からないのですが
617:１３２人目の素数さん
12/09/22 16:38:02.15
>>535
素人なんだが、
複雑性の階層って人為的に定義されるもの？
だとしたら500でも1000でも
いくらでも複雑に階層を定義できそうな気がするのだが。。。
分類が分類を呼ぶだけであまり有意義でないような。
618:１３２人目の素数さん
12/09/22 16:45:53.15
>>604
黒川さんによれば、リーマン予想の難易度はタイムマシンレベルだそうだ。
本当なら今世紀どころか人類滅亡の方が早いだろうね。
619:１３２人目の素数さん
12/09/22 16:52:44.20
黒川さんは解く気ないそうだ、理論が構築できればいいそうだ
620:１３２人目の素数さん
12/09/22 17:01:32.29
コンヌでも歯が立たないのでは黒川先生も自分で解くのを諦めざるを得ない
621:１３２人目の素数さん
12/09/22 17:05:10.47
>>597
そこでstrongとよんでいるのは、このスレでweakとよんでいるもの。
そこでのweakはq値に上限ありっていう予想。
622:１３２人目の素数さん
12/09/22 17:05:10.92
>>597
今回証明されたのはweak version。
strongの方は証明されてないはず。
それにstrong⇒weakではないので、
weakが証明されただけでも化け物レベル。
623:１３２人目の素数さん
12/09/22 17:06:22.98
URLﾘﾝｸ(abcathome.com) を読み返したが強弱が逆だぞ
それと>>522を加味して>>613はこうなる
c > rad(abc)^(1+ε)について、
ε=0 → abc-tripleの組の数は無限
0<ε → abc-tripleの組の数は有限 → abc予想(strong)
gが存在して g<ε → abc-tripleの組の数が0 → abc予想(weak)
ε=0.6299... でabc-tripleが発見済。gは少なくともこれ以上。
strongがいえたらば、質には上限があるからweakがいえるけど
その最大の質が2未満かまでは判明しない
624:１３２人目の素数さん
12/09/22 17:07:31.61
なんかすごい偶然が起こったような
625:１３２人目の素数さん
12/09/22 17:10:07.92
>>613
＞自国民が賞を獲得することと個人の幸福が別物なのですか？そうならば別物であるのはなぜですか？
ここは質問が逆なんじゃないか。別物なのだから別物なのは自明だろう。
別物なのに同じ物だと錯覚する要因を調べる方が近道ではないか。
626:１３２人目の素数さん
12/09/22 17:16:40.72
(正しく訳せば)strong⇒weakなので、
strongを証明できてるなら疑いようなく化け物…？
627:622
12/09/22 19:00:47.04
>>626
623のstrong/weakの定義でいうとそうなるね。
ただstrongが証明されたとしても、
weakについてg<1であることは示されていないわけだから、
ABC予想についてやるべき仕事は残っていると思う。
628:１３２人目の素数さん
12/09/22 21:02:23.89
そもそもリーマン予想って現在の公理系じゃ証明不可能であることを証明しようとしてる人いなかったっけ？！
629:１３２人目の素数さん
12/09/22 21:04:40.06
>>628
ソレ面白そう
630:TTT
12/09/22 21:22:16.16
>>615
宮西正宜さんの代数幾何学をかなり昔にやったことがあります。
帰納法はあまり使いませんが、数学オリンピック的な難しさがあります。
>>616
そんなに深い話までは知りませんが、
入門と標準的な定理の証明においては通常の数学では考えられないほど長い証明が多いです。
ですから大抵のテキストは証明のアイデアしか述べられません。
>>617
1000どころか可算無限個はあります。
既にAC_iとかTC_iとか多項式時間階層の無限列が入ってますし。
基本的には、
（１）抽象機械、（２）領域の量、（３）空間の量、（４）オラクル
の4つを設定するのでこれらを掛けた量だけ少なくともあります。
抽象機械とはチューリング機械（これだけでも決定性や非決定性や確率や量子）なんかが代表例で、
他にもいくるも計算能力が異なる抽象機械があります。
さらには述語論理に何々の記号を加えただとか、何々のパターンを持つ回路だとかまで入ります。
同じ機械でも領域と時間を制限することで色々変わってきます。
時間や空間の制限は対数とか指数とか2重の冪とかの単位で考えることが多いです。
面倒なのは、計算機の強さが時間や空間の制限と綺麗に相関しないところですね。
ある時間以上ではほとんど計算能力が向上しない状況、その逆の状況とかがあります。
そしてこれにオラクルという計算に別のクラスの補助を使用することを考えます。
Pをオラクルに持つPをオラクルに持つ...と、ここでも可算無限個のクラスが発生します。
しかもほとんどのクラスが潰れない（一致しない）。
P≠NPもほぼ間違いないと考えられていますし。
ちなみに計算量理論の最上部の方にあるクラスRってのは
再帰的クラスでΔ^0_1とも書かれ、その上のREは再帰的可算クラスと言いΣ^0_1と書かれます。
こういった記述は再帰理論という分野で扱われ、
この上にさらに算術的階層や解析的階層やレヴィの階層というものが連なっています。
こちら側は全く別の手法で（計算機と言うより純粋数学的な手法）研究されます。