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:132人目の素数さん
12/09/20 23:37:05.38
PvsNP問題の方楽しみだよね。
こういう創造的なのもいいんだけど
エンジニアリング的にも身近な計算複雑さみたいのは
気持ち悪いと言うかもやもやするのでとっとと天才が出てきて解決してほしい
406:132人目の素数さん
12/09/20 23:38:29.80
数学分野の日本語だと、universalの訳は普遍
例えば、普遍被覆 universal cover
URLリンク(ja.wikipedia.org)
だから、共通普遍タイヒミュラー空間とかそんな名前が妥当な気がする
407:132人目の素数さん
12/09/20 23:41:37.02
宇宙際は訳語としてはダサすぎる
408:132人目の素数さん
12/09/20 23:43:13.81
ここでのuniversalは
グロタンディーク宇宙とかに使われる宇宙universeの形容詞形だろ
409:132人目の素数さん
12/09/20 23:44:36.55
宇宙際は、なんかダサい
明治時代の人は漢文の教養があったから、語感もよく意味も通じる訳語を作れた
410:132人目の素数さん
12/09/20 23:47:06.05
>>408
そもそもグロタンディーク宇宙が訳語なんだが
411:132人目の素数さん
12/09/20 23:47:33.40
>>406
論文を読んで、意味がわかってれば、君のは完全な誤訳。
そもそも、inter-universalじたいが、望月氏の造語なので、
「宇宙際」も訳語というより本人が同時に考えたはず。
412:132人目の素数さん
12/09/20 23:50:53.13
国際 international 国家(nation)をまたぐ
学際 interdisciplinary 学問(discipline)をまたぐ
宇宙際 inter-universal 宇宙(universe)をまたぐ
宇宙際は語感としては微妙だが
国際や学際に合わせてそうしたんでしょ
413:132人目の素数さん
12/09/20 23:52:07.98
繁宇宙間的あたりがいいのに。
>>403
うちゅうさい
414:132人目の素数さん
12/09/20 23:52:14.97
なんか一人トンチンカンな奴がいるな
415:132人目の素数さん
12/09/20 23:56:47.69
語感の問題なのに、誤訳とかいってるバカがいる件
そもそも数学の術語なんて象徴的にそう呼んでいるだけで、実態があるわけじゃないんだから、誤訳という発想自体がおかしい
じゃあ、matrixを行列と訳すのは誤訳なのかよ、と
416:132人目の素数さん
12/09/20 23:58:22.10
ICBMを大陸際弾道弾と書いたら、港でも破壊するのかと思っちゃうかもね。
417:132人目の素数さん
12/09/21 00:00:16.41
>>415
すでにある用語と混乱を生じる訳は良くないね。
「普遍」を使うと誤解されるからダメだろね。
提案されている(笑)「繁宇宙間的」「間宇宙」とかも
イマイチだしね・・・
よい用語を思いついたらもっちーに教えようw
418:132人目の素数さん
12/09/21 00:08:43.06
一時間ほど考えた結果、宇宙際がかなりしっくり来る気がしてきた
419:132人目の素数さん
12/09/21 00:09:28.91
望月先生はもっと考えたのだろうから、まあ、これが一番しっくり来るんだろう
420:132人目の素数さん
12/09/21 00:16:16.23
宇宙祭!に見える
いっそ祭って言葉を誰か数学用語にしてくれ
少しは数学が普通の人から見ても楽しげに見えるだろ
アーベル祭りとか
421:132人目の素数さん
12/09/21 00:16:34.54
>>403 まさかー…
国際(こくさい) 国と国との関わり合い
学際(がくさい) 複数の学問分野にまたがる研究
みたいに、うちゅうさいと読むんじゃないの
422:132人目の素数さん
12/09/21 00:16:51.57
manifoldおよびvarietyを共に多様体と訳すより遥かにまし
423:132人目の素数さん
12/09/21 00:21:50.05
>>386
雑魚に言われてもな
424:132人目の素数さん
12/09/21 00:42:51.38
宇宙際 幾何学
音だけで聞いたら
宇宙 催奇 科学
と思われかねない! とか教授が仰らないかな
425:132人目の素数さん
12/09/21 00:51:57.18
>>422
URLリンク(en.wikipedia.org)(universal_algebra)
で言うvarietyは何て訳せばいいかな、教えて。
426:132人目の素数さん
12/09/21 00:55:59.40
望月教授の経歴見たら漫画のような経歴でワロスwww
こいいう人って本当にいるんだね。
427:132人目の素数さん
12/09/21 00:56:02.55
>>422
塗装工のゲンさんなら熱く語ってくれそうw
428:132人目の素数さん
12/09/21 00:58:59.01
>>425
現状「代数多様体」としておけば、多分誤解無く通じると思う
429:132人目の素数さん
12/09/21 01:20:19.19
>>428
え、どっちかと言えば圏と似た構造ですよ?
例えば、全ての代数からなる代数多様体って言ったら誤解しか生まなくないですか?
表現可能関係代数の代数多様体とかも。
430:132人目の素数さん
12/09/21 01:32:51.42
つーか、用語の和訳なんて不要
431:132人目の素数さん
12/09/21 01:40:06.10
包茎関数:包茎率と童貞率は比例する!
432:132人目の素数さん
12/09/21 01:45:41.36
宇宙際って宇宙物理の理論関係してんの?
ペレルマンがポアンカレ予想解くのに物理用いたようにこの人も純粋数学
だけじゃなくて物理に関係した理論持ち込んでるの?
433:132人目の素数さん
12/09/21 01:46:24.13
「間宇宙幾何学」「間宇宙タイヒミューラー理論」
これでいいんじゃね?
434:132人目の素数さん
12/09/21 01:47:59.63
>>432
宇宙際の宇宙は、物理宇宙の宇宙ではありません。
望月先生の理論は極めて純粋数学的な理論です。
435:132人目の素数さん
12/09/21 01:50:58.22
ここは普通に裏を読んで
宇宙際(うそらきわ)
436:132人目の素数さん
12/09/21 01:51:40.57
将来的にはつながってくるかも知れんけどな.
素粒子理論とか超ひも理論とかと数論はつながっているらしいから
437:132人目の素数さん
12/09/21 01:52:37.55
>>434
ふーん
物理+数学 -> ボンカレー予想解決
物理学者と数学者が仲良くしたらもっと未解決問題解けるかもしれないのにね。
438:132人目の素数さん
12/09/21 01:54:48.26
いやね、御本人の造語とは言ってもね、日本語のセンスが数学のセンスほどは
良くないんじゃないかな。
「学際」が新しめの表現なのに違和感が無いのは、「国際」と同じく「際」の前が
漢字1文字だからでしょ? もっと言えば、「国」と「学」は音韻が同じ(入声)なんだ。
「際」の前が二文字以上の自然な表現って、あるかい? 金輪際、とか言うなよw
439:132人目の素数さん
12/09/21 02:00:45.73
>>438
つか、音の問題なら新嘗祭とかも全部駄目ってことじゃ?
440:438
12/09/21 02:04:11.84
だ、誰かレスしてあげて…
441:132人目の素数さん
12/09/21 02:04:26.57
イントネーションも発音も全然違うんだが、舌ついてんのか?
それとも、家に引きこもりすぎて、久しく喋ってないから、日本語の発音も忘れたのか?
442:132人目の素数さん
12/09/21 02:06:04.48
>>440
さすがにこの反応は予想しないから、狼狽えるのも分かる
443:132人目の素数さん
12/09/21 02:07:40.54
もっといえば、交際の交は入声じゃないんだ
444:132人目の素数さん
12/09/21 02:10:09.01
グロタンディークが使ってたUniverseと同じで
宇宙ってのは比喩としての宇宙だべ
日本語の場合別に宇宙を世界と変えても問題ないレベル
もっとも変えたら怒られるが
445:132人目の素数さん
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:132人目の素数さん
12/09/21 02:27:37.88
>>446
業は入声だぜ
449:132人目の素数さん
12/09/21 02:27:42.31
>>420
そっか、男祭り、みたいな。
450:132人目の素数さん
12/09/21 02:30:40.18
昔から全く変わらない、ホモの文化荒らし
451:132人目の素数さん
12/09/21 02:31:49.56
>>448
知ってる。業の音はゲフ。フクツキチだからね。
まあ現代日本人には、そこまで限定しなくても。
452:132人目の素数さん
12/09/21 02:41:04.11
論文自体に言及出来ないから、
学歴やら名称やらで賑わうスレってのもな
453:132人目の素数さん
12/09/21 02:45:02.46
>>374
anabelienなら84年からあるけど「遠アーベル」は日本人が考えたんだと思うよ。
乾坤とか六合って良いな
廻乾坤タイヒミュラ理論とか六合間タイヒミュラ理論とか、良い感じw
454:132人目の素数さん
12/09/21 02:46:12.96
明治時代、西洋の学術語を翻訳した学者達には、漢文の素養があったから、
そういった漢語のセンスは抜群だよな。
ちなみに、谷山・志村予想の志村先生は、実は漢文のプロでもある。
URLリンク(www.amazon.co.jp)
とか
URLリンク(www.amazon.co.jp)
の著者が、数学者の志村先生と同一人物であると知った時には、
本当にびっくりしたよ。
455:132人目の素数さん
12/09/21 02:55:39.90
プロ級というのなら…だいぶ成長してから(も?)自ら学んだんだろうな
単に幼い時は数学の教材に大したものがなくて暇で仕方なくとか
周囲が本人の意向とは関係なく漢文をやたら突っ込んだとか
だったらもったいなくて嘆かわしいが、そうではなさそうだ
456:443
12/09/21 02:59:09.97
仮に間宇宙にするなら宇宙間のほうがいいってならないか
でも、際の一文字にはふれあいという意味があるようだから、
間があいているっぽいよりは的確なのだろうね、そして>>419
(なお論文の内容を理解できていないので全て空想)
457:132人目の素数さん
12/09/21 03:01:04.53
inter-universalのuniverse(名詞)は、モデルとか構造とかと類似の概念であって、
ざっくり言って集合論のモデルという意味(だからこそZFCの話が出て来る)。
圏論とかでいう普遍性universalityとは関係無いので、「普遍」はおかしい
458:132人目の素数さん
12/09/21 03:30:47.90
>>452
おまえもその一翼を担ってるがな
459:132人目の素数さん
12/09/21 03:38:16.87
論文に言及できないって一体どんな論文なんだw
460:132人目の素数さん
12/09/21 03:43:44.07
数学の論文とはそういうもの
ワイルズの証明も世界で10数人しか分からないんだとか
461:132人目の素数さん
12/09/21 03:44:15.45
いつまで訳語の話題で盛り上がってんだ
462:132人目の素数さん
12/09/21 03:52:57.42
いっそ「輪廻幾何学」くらい言ってもいい気がするw
463:132人目の素数さん
12/09/21 05:03:40.99
圏論における普遍性とは関係ないので、「普遍」という訳語を当てるべきではない、という理屈が分からない
464:132人目の素数さん
12/09/21 06:04:25.77
それを言ったら英語の段階でinter-universalじゃなくてinter-universe Teichmuller theory
とすべきだろ
465:132人目の素数さん
12/09/21 06:59:31.13
この証明が正しいかどうか検証出来る人間って世界に何人くらいいるの?
466:132人目の素数さん
12/09/21 07:08:19.54
>>465
数十人
467:132人目の素数さん
12/09/21 07:17:17.41
彼のところの学生さんは理解してるんだろうか
468:132人目の素数さん
12/09/21 08:17:02.22
>>461
ほかに口を突っ込める部分がねぇ('A`)
469:132人目の素数さん
12/09/21 08:25:24.17
この証明を、数学科に進みたい高校3年生にわかるように、解説していただけないでしょうか?
470:132人目の素数さん
12/09/21 08:37:52.17
具体的にどんな圏を使うんだ
IU幾何では
471:132人目の素数さん
12/09/21 08:41:28.85
>>469
これを解説すると、
内容のあまりの難しさ、
勉強すべき基礎事項の多さにうんざりして、
その生徒は数学科に進むことを断念するのではないかと思われる。
472:132人目の素数さん
12/09/21 09:02:14.22
言葉の解釈にしかならないところがHiggs粒子の発見との違いか
473:132人目の素数さん
12/09/21 09:06:08.95
藤原正彦(笑)にでも解説してもらいたい
474:132人目の素数さん
12/09/21 09:51:09.11
>>473
彼がまことしやかに解説しても、それがデタラメなのかマトモなのか
判断する力が君にあるのかな
475:132人目の素数さん
12/09/21 10:32:12.51
望月教授ってどんな人なのかな?エピソードが全然出てこないのは京大関係者が実際は殆ど
この板にいないってことかな?
結婚してないって本当なのかしら?
476:132人目の素数さん
12/09/21 10:34:05.04
もう宇宙祭でいいじゃないか、理解できるであろう関係者も
ちょっとした祭になってるだろうし。
477:132人目の素数さん
12/09/21 10:39:31.82
京大教授 藤井聡がなんかの番組で京大数学者でもっと若ければフィールズ賞とれた人が
かなりいかれてて面白いといっていたが、望月教授の可能性が高いね
なんでも食堂だったかににたどり着くのに迷うだとかw
478:132人目の素数さん
12/09/21 10:42:16.54
食堂、正面出てすぐじゃねーかw
479:132人目の素数さん
12/09/21 10:57:38.63
それはシカゴ大学に移った加藤和也教授じゃねーの?
若い頃気づいたら裸で歩きながら数学考えていて警察に御用になったとか言っていたしw
480:132人目の素数さん
12/09/21 11:20:09.47
>>458
>>>452
>おまえもその一翼を担ってるがな
一翼を担う…はぁ…
一片の悪意もなく言うが、国語ももっと勉強した方がいい。
481:132人目の素数さん
12/09/21 11:23:04.44
文系君もみてるのか
482:132人目の素数さん
12/09/21 11:38:35.27
本題に突っ込めないから、他の点で騒いでるんだろ。
ブロンズ聖闘士を見下すような目で、軽蔑してやれや
483:132人目の素数さん
12/09/21 11:40:28.71
学歴やら名称やら単語やらで賑わう行為の一端を担おうというツンデレですね
484:132人目の素数さん
12/09/21 11:41:04.38
>>477
藤井聡(笑)
485:132人目の素数さん
12/09/21 11:43:07.46
>>478
理学部数学科からだとそうだが、RIMSからだと、50mくらいあるので、迷うかも知れない
486:132人目の素数さん
12/09/21 11:43:39.92
まあ仕方がないよ。
一般人はABC予想のstatementすら理解できないし、
理解しようとしない。
じっくり考えれば中学生でも分かる内容なのにね。
487:132人目の素数さん
12/09/21 11:47:16.01
まとめサイトでABCの簡単な中高レベルで理解できるような説明の部分にさえ
まとめブログでは「日本語でおk」「意味不明www」といったレスが付いていた
そこから察するに、「天才パネエ」ノリになっていたこともあるだろうが、数式が出てきただけでフィルターかかってしまう人がいるのだろうね
488:132人目の素数さん
12/09/21 11:47:23.43
>>485
建物から一歩出たところから、食堂が見えているかどうかは、大きな違いだろうな
数学的なことに専心集中していると、RIMSから食堂に辿りつくのは難しいかもしれない
489:132人目の素数さん
12/09/21 11:53:55.76
腹が冷えるので裸で勉強をしたことはないが、もし裸で数学をしていれば、知らず知らずのうちに外に出ないとは断定できない
490:132人目の素数さん
12/09/21 11:55:39.60
>>485
いや、数理研も正面出て道まっすぐじゃん
491:132人目の素数さん
12/09/21 11:57:35.55
裸で外に出たいのを、数学のせいにすんなw
492:132人目の素数さん
12/09/21 11:58:29.40
加藤先生はかなり常人離れしているらしいが、望月先生は、少なくとも日常生活においては、常識人だろう
493:132人目の素数さん
12/09/21 12:00:49.57
玉川先生は?
494:132人目の素数さん
12/09/21 12:04:34.47
数学などを熱意を持って語る人間はすべて、一般人から見れば十分に変態である
495:132人目の素数さん
12/09/21 12:08:07.65
>>494
その議論は論点先取だ
つまり、あなたは「数学を熱意をもって語る人」と「一般人」との間に、あらかじめ線引きをしている
そして、その線引きに基づいて、あなたのいう「一般人」でない人を「変態」と言っているに過ぎない
496:132人目の素数さん
12/09/21 12:08:30.16
まとめブログにabc予想の内容が間違って説明している奴があった気がする
abc予想はc<rad(abc)^(1+ε) がεを固定したら有限個の例外以外は成立するでしょ?
c<rad(abc)^2 が例外なく成立するって説明してある奴があったけどこれはabc予想には含まれない
より強い命題
497:132人目の素数さん
12/09/21 12:11:46.33
abc予想を仮定すると、フェルマー・ワイルズの定理はどのように証明できるの?
498:132人目の素数さん
12/09/21 12:24:49.95
universal
[形]
1. 世界中の、万人の
2. 宇宙の、万物の ←
499:132人目の素数さん
12/09/21 12:31:07.05
>>497
たぶん
URLリンク(www.math.tohoku.ac.jp)
の13頁のフェルマー予想の拡張.ってやつ.ただ
>この定理は abc 予想を仮定しない証明が知られている
とか注釈がついているのでよくわからん
500:132人目の素数さん
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:132人目の素数さん
12/09/21 12:37:52.40
c<rad(abc)^2 (a,b:互いに素, a+b=c) の方も解決されたの?
それなら、>>500の証明でいいけど
502:132人目の素数さん
12/09/21 12:38:49.54
>>477
食堂じゃなくて時計台って言ってたね。
RIMSの人は時計台の方まで普通行かない(道路渡らないといけない)から
別に知らなくてもそんなに不思議はない。
普通の学生相手の授業とかもないだろうし。
503:132人目の素数さん
12/09/21 12:39:22.49
>>500 だから,それは strong abc conjecture というより強い予想
今回証明されたのは weak abc conjectre . strongが証明されたのなら
自動的にweakも証明されるけど,逆は成立しない
URLリンク(abcathome.com)
504:132人目の素数さん
12/09/21 12:42:09.74
例外は有限個なんだから、その有限個の(a,b,c)が自然数のべきのときに検証すればいいのではないか
505:132人目の素数さん
12/09/21 12:42:23.16
URLリンク(en.wikipedia.org)
ただしweak abc conjectreからもフェルマーの最終定理は指数が十分大きければ証明できるらしい
506:132人目の素数さん
12/09/21 12:43:50.67
>>503
strongを仮定してweekを証明するのはどうやるの?
507:132人目の素数さん
12/09/21 12:44:44.74
500ページでABC予想の証明書かいたんじゃないだろ?
理論を展開してその応用の1つとしてとして
ABC予想が解ける事がおまけで分かるってくらいな話だよな?
500ページで1つのことを証明なんてありえないからな。
508:132人目の素数さん
12/09/21 12:47:09.02
>>507
有限単純群の分類って8000頁とかじゃなかったっけ?
509:132人目の素数さん
12/09/21 13:06:48.13
すでにみんな言ってるんだろうが、文系の俺は、ただ一言この人に言いたい。
「日本語でOK」
510:132人目の素数さん
12/09/21 13:12:42.56
高校数学で止まっている私には、フェルマー予想が楕円曲線の問題に帰着される理屈が分からないのですが
楕円曲線は三次の多項式で表される曲線で、フェルマー予想の方程式は3次以上
高次の不定方程式を低次のものに還元する方法立てがあるのですか?
511:132人目の素数さん
12/09/21 13:20:37.12
>>509
和算の用語で説明されたらもっと分からんwww
512:132人目の素数さん
12/09/21 13:22:19.30
>>510
まず、これ見てみれば。
Fermat's Last Theorem (Complete)
URLリンク(www.youtube.com)
513:132人目の素数さん
12/09/21 13:24:35.34
志村先生が自身の著書で、定理に証明者の名前を冠することは必ずしも適切ではない、という風なことを仰っていましたが、これは自身の予想が解決に大きく関与したフェルマー予想が、ワイルズの定理などと名前が付けられることに異を唱えているのでしょうか?
514:132人目の素数さん
12/09/21 13:34:14.56
数学は9割が根気だ
515:132人目の素数さん
12/09/21 13:47:38.15
目標は宇宙際タイヒミューラー理論の完成
ABC予想の証明は副産物に過ぎない
516:132人目の素数さん
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:132人目の素数さん
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:132人目の素数さん
12/09/21 14:22:35.31
日本のwikipediaみたときrがいきなり出てきて
何かわからなかったから整数だと思ってたら違ってたよ。
521:132人目の素数さん
12/09/21 14:22:55.31
> URLリンク(abcathome.com)
のサイトのstrong abc conjecture っては
全組がc<rad(abc)^2 というのとは別な気がする。英語わからんから自信ないけど
522:132人目の素数さん
12/09/21 14:30:03.65
c< rad(abc)^κ の「有限個の例外を除いて」っていう条件がなくなる
κに上限が存在するってのがstrong ?
523:132人目の素数さん
12/09/21 14:30:51.54
強 弱といえよ。
インテリじゃあるまいし。
524:132人目の素数さん
12/09/21 14:31:29.02
クククABC予想が解明されたようだな…しかしあの証明は500Pも使う小物…
エレガントな証明の面汚しよ…
525:132人目の素数さん
12/09/21 14:39:34.63
エレガント証明と言えばゲーデルの不完全性定理
526:132人目の素数さん
12/09/21 14:47:54.99
素人の俺からも見て素数の分布と関係がありそうだが、リーマン予想とも関係があるんじゃないか?
527:132人目の素数さん
12/09/21 15:28:01.03
>>524
4人組のAAがないと、wktk感に欠ける
528:132人目の素数さん
12/09/21 15:34:40.43
>>469
数論幾何を理解するには前提となる道具立てが多すぎるので簡単には無理でしょう。
529:132人目の素数さん
12/09/21 15:44:54.78
彼の言う小さな家と大きな家を不変性を保ちながらつなぐ物質(演算?)ってなんだろうか
それがスゴーく気になる
多分、由緒の違う代数曲線の群をまとめあげる何かとかそんな感じだろうか
530:132人目の素数さん
12/09/21 15:49:24.93
数論的コホモロジー以前に
擬テータとかちょうむずかしくて手を出したくない分野だよな
531:132人目の素数さん
12/09/21 17:02:00.09
ABCはミレニアム懸賞問題の中に入っていないのですね。
ミレニアム懸賞問題で一番困難なのは何ですか?
532:132人目の素数さん
12/09/21 17:18:39.16
>>531
数論であるリーマン予想
そのほかは理論物理とか計算機科学とか
533:TTT
12/09/21 17:32:19.04
>>531
恐らくPvsNP問題だと思われます。
決定性チューリング機械で多項式時間に計算される命題群と
非決定性チューリング機械で多項式時間に計算される命題群が
一致するか否かを問う言明です。
恐らく現代数学史上最も重要な帰結をもたらすし
暗号理論など現実世界にも多大な影響をもたらします。
534:132人目の素数さん
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:132人目の素数さん
12/09/21 19:00:05.30
どこかでP≠NPとマインスイーパーって関係あるの?
うちの数学の先生が言ってた。
537:132人目の素数さん
12/09/21 19:12:02.72
>>536
なんじゃそら。
終盤で運に頼らないと解けない場所ができないように
問題を作成するとかそんなんか?
538:132人目の素数さん
12/09/21 19:15:13.69
P≠NPなんて予想通りでしたで終わるだけだろw
539:132人目の素数さん
12/09/21 19:56:48.09
jacob lurieなんかがやってるようなことも
ABC予想のような有名な予想を証明するための物なのかねえ
540:132人目の素数さん
12/09/21 19:59:35.97
Minesweeper is NP-complete
URLリンク(sed.free.fr)
「ゲームとパズルの計算量」なんていう本まであったりする
541:132人目の素数さん
12/09/21 20:00:24.06
>>538
P=NPは一応=派と≠派の両方が居る
538みたいなこと言ったらRiemann予想とかのほうが酷いと思う
542:132人目の素数さん
12/09/21 20:04:15.01
数学は幻想である
全て妄想
何故なら大多数が理解すらできない、そんなものは実在しない キリッ
543:132人目の素数さん
12/09/21 20:06:28.30
URLリンク(www.chugoku-np.co.jp)
2乗のほうを証明したのか?
教授本人が取材に答えたようだが誤報の可能性は?
544:132人目の素数さん
12/09/21 20:07:40.86
記者「良く分からないから俺にも分かるように教えてください」
もっちー「自分で勉強しろ、ほっといてくれ」
ってことだな
545:132人目の素数さん
12/09/21 20:51:46.10
とりあえず宇宙際タイヒミューラー理論の分かりやすい解説書を
英訳和訳で出版してくれ
546:132人目の素数さん
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:132人目の素数さん
12/09/21 21:09:39.84
↑自分のレスに反応してるところからわかるように
TTTは精神異常者であり、数学板に住み着いている荒らしです
レスの内容も必ずどこかに嘘がありますのでレスを真に受けないようにお願いします
549:132人目の素数さん
12/09/21 21:38:21.11
うん
コテはキチガイしかいないからね
550:132人目の素数さん
12/09/21 21:47:14.34
結局、XYZ予想はまだですか?
551:132人目の素数さん
12/09/21 21:50:56.05
XXZは解けたんだがな・・・
552:132人目の素数さん
12/09/21 21:53:58.41
TTTのほうがずっとマシに見える
553:132人目の素数さん
12/09/21 21:58:39.79
猫だって、まともなことを書くことも多かったろ。
腐っても筑波大。元准教授だ。
ただの痴漢だがw もうネットにつなぐ金もないのかww
554:132人目の素数さん
12/09/21 22:05:41.06
最初の3つの論文の議論は4つ目の論文のディオファントス不等式の証明に
あまり利いてない感じがする
555:519
12/09/21 22:25:42.24
c>rad(abc) を無限個の組が満たすことは判明していたのか
(>>81や>>170。
>>81は間違いではないが、数学セミナーに載ってたのは>>170)
556:132人目の素数さん
12/09/21 22:27:15.87
>>553
猫って生物板で電波コピペしてるコテの猫?
筑波の准教授だったの?
驚いたわ
557:132人目の素数さん
12/09/21 23:04:49.33
現代数学の数論って喩えるなら星だよな。素人にも手が届きそうだが、実際は数学者でも
中々理解が難しい高級でマニアックな理論を駆使しないと近づくことすらできない。
まず、多様体とコホモロジーぐらいは余裕ってレベルの理解がないとな。
それでも飛行機ぐらいか。
558:132人目の素数さん
12/09/21 23:09:58.11
>>557
まず現代数学の数論と聞いて手が届きそうと感じる素人はいないだろうから、お前の認識は誤り。
また星を見て手が届きそうだと感じる人間は皆無だから、たとえとしてもピントはずれ。
559:132人目の素数さん
12/09/21 23:10:36.56
一般人が非愚図を理論的に理解するのは現実的に不可能だけど
望月の証明はその100倍理解するのが難しいと言えばイメージできるか
560:132人目の素数さん
12/09/21 23:17:10.37
根気があれば一般人でも素人でも理解はできるよ
答えが出ているものをなぞるだけなら尚更
だけど一般の人にはそれだけの時間がない
561:132人目の素数さん
12/09/21 23:23:57.38
数学者同士でも専門が違えば理解できないんだからさ
562:132人目の素数さん
12/09/21 23:50:10.97
確率論にゴミを付け加えた経済学は現在崩壊中だから理解できなくても仕方がない
563:132人目の素数さん
12/09/21 23:54:07.38
>>562
ゴミに確率論を加えた、というのが正しいな
564:132人目の素数さん
12/09/21 23:54:24.32
タイヒミュラー空間から説明して
565:132人目の素数さん
12/09/21 23:55:08.22
>>563
経済学より確率論の方が長い歴史がある
566:132人目の素数さん
12/09/21 23:59:09.89
>>565
で?
567:132人目の素数さん
12/09/22 00:05:47.33
>>1
バカな・・・早すぎる・・・
568:132人目の素数さん
12/09/22 00:08:12.91
>>539
Jacob Lurieの高次カテゴリーや代数幾何は
代数幾何をやる上で必須になるかもね。
569:132人目の素数さん
12/09/22 00:51:19.75
確率論の上に立つ緒分野はゴミなんでしょうか?
570:132人目の素数さん
12/09/22 00:56:16.22
代数幾何とか数論幾何とか、数学の中でも超メインストリームだと思うけどな。
571:132人目の素数さん
12/09/22 01:02:56.94
タイヒミュラー理論、p進タイヒミュラー理論を理解した後に
更にIUタイヒミュラー理論が待ってるのか
572:132人目の素数さん
12/09/22 01:07:15.37
お前らいい加減イントロだけでもいいから読めよ
573:132人目の素数さん
12/09/22 01:08:17.27
>>570
代数幾何は世界的にはメインストリームと言い難い。
フィールズ賞も少ない。日本人のフィールズ賞が代数幾何という
ことで勘違いしやすい。
574:132人目の素数さん
12/09/22 01:29:00.35
幾何は日本人とか東洋が好きなイメージある
西洋は代数ばかりやっていそう
575:132人目の素数さん
12/09/22 01:31:11.87
>>573
あなたの印象だと、数論幾何と代数幾何のたどちらがよりメインストリーム?
576:132人目の素数さん
12/09/22 01:51:49.19
>>558
(初等整)数論ほど主に中高生並の素人が妄想を抱きやすい分野は無かろう
問題の意味は分かるという点でな
他の分野は数学をやっている人達には内容が簡単でも
素人には問題の意味から分からない
577:132人目の素数さん
12/09/22 01:52:41.33
>>572
おまえが俺のベッドで添い寝して読んでくれるのを待ってる
578:132人目の素数さん
12/09/22 01:59:51.34
>>573
代数幾何はかつてはメインストリームだったと思うよ。フィールズ賞もたくさん出た。
ここ最近は代数幾何の過渡期を越えた状態で大きな業績が出にくいだけだと思う。
とりあえずゴ(2010)、ボエボドスキー(2002)は代数幾何の人だし、
オコンコフ(2006)は代数幾何を多分に用いているよ。
579:132人目の素数さん
12/09/22 02:25:49.13
test
580:132人目の素数さん
12/09/22 02:31:11.03
この人って岡潔と雰囲気が似てる。
もちの宇宙際タイヒミュラー理論が岡の不定域イデアルにあたる。
581:132人目の素数さん
12/09/22 02:40:35.94
>>577
お前が女(※但し)ならこっちも望むところだ
582:132人目の素数さん
12/09/22 02:53:41.48
>>541
リーマン予想だって懐疑派はいるぞよ?
ガウスが予想し、リーマンが理由付きで支持した、Li(x)>π(x)予想は、リトルウッドによって反証された。
未証明予想の真偽は誰にもわからない。
583:132人目の素数さん
12/09/22 03:25:10.02
P=NPとリーマン予想って関連してたのね。
584:132人目の素数さん
12/09/22 04:14:54.33
P=NP研究者はともかく、P=NP厨は全問題に漏れなく寄生しているよ
585:132人目の素数さん
12/09/22 04:19:34.41
計算理論なんて馬鹿みたいに階層つくるだけでくだらねぇ
代数幾何のカケラほどの深みもないなんちゃって数学議論だよ
586:132人目の素数さん
12/09/22 05:51:46.17
「x以下の自然数について(不等式)が成り立つ」型の定理と違って
零点の実部が1/2という予想だし、最初の何億個かについては確かめられてるのだから
偽だった時の数学的不自然さが全然違うというふうに個人的には感じる
587:132人目の素数さん
12/09/22 06:15:51.77
日本人がノーベル賞をとったり、
オリンピックで快挙を成し遂げても、
何故かその喜びが長続きしない。
昔はお祭り(万博やオリンピック)があると、
それだけで随分と社会が活気づいた。
最近は嬉しいことはすぐに忘れ、嫌な事ばかりが
記憶に残っている。周りの人達をみても感じる。
588:132人目の素数さん
12/09/22 06:52:56.17
>>586
10^9/∞=0
よって、最初の何億個かについて正しいことは、予想の正しさに何の保証も与えない。
589:132人目の素数さん
12/09/22 07:02:13.31
これがアスペです
590:132人目の素数さん
12/09/22 07:17:23.76
>>587
スレチだが、かつてはスプートニク・ショックで
理学部を増設したり、教員数を増やして
社会に還元され皆が喜んだが、たとえABC予想が解けても
若手の雇用を増やそうとか数学研究所を作ろうなんて話にならない。
削ることばかり考えて、探査機はやぶさですら予算カット。
こんな事してたら更に衰退する。
591:132人目の素数さん
12/09/22 07:43:31.99
もう衰退しとるがな。
猫
592:TTT
12/09/22 08:18:10.25
>>584-585
理解できないか考えるのがめんどくさいからでしょ?
要は本腰入れてやりたくない、食わず嫌いっしょ。
実際計算量関連の議論や論法って代数幾何なんかと比較に
ならんほど複雑に入り組んでる。
階層化の裏にある複雑さを理解すべし
593:132人目の素数さん
12/09/22 08:32:54.88
>>587
回りの人がというより、マスコミがコントロールできてた
マスコミが祭りを作り、次のねたが来るまで引っ張ってた
ネット時代のマスコミにそんな力はないからな
594:132人目の素数さん
12/09/22 08:36:10.61
>>592
計算量関連の複雑さってあまり綺麗じゃないんだよな
代数幾何のような綺麗さがないというか、下品な人用というか
595:132人目の素数さん
12/09/22 08:39:02.58
代数幾何て綺麗なものしか相手しないの?
596:TTT
12/09/22 08:55:34.66
>>594
え?代数幾何のどの論法が綺麗なの?
計算機を扱うってところに俗っぽさを感じて
知りもしない批判をしているだけでは?
計算量の分類の論法、例えば対角線論法だとか
不動点定理を使ったものだとか鮮やかとしか言いようがないよ
597:132人目の素数さん
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:132人目の素数さん
12/09/22 09:19:16.22
ストロングて何?
599:132人目の素数さん
12/09/22 09:30:29.81
ごめん
>>500-506あたりの話
600:132人目の素数さん
12/09/22 09:35:36.49
へえ、そんなのがあるのか。
Wikiを見るとABCから出てくる
予想が沢山あるが、これだけでも凄い!!
601:132人目の素数さん
12/09/22 09:38:45.16
>>597
わからんけどpdfの論文眺めると1+εとか出てくる式があるような..
602:132人目の素数さん
12/09/22 09:42:02.72
そのstrongとやらと関係あるのか知らんけどウィキ英語にあるabc予想の改良と一般化ってやつの意味が
わからん.解説よろ
URLリンク(en.wikipedia.org)
603:132人目の素数さん
12/09/22 09:52:28.63
A=キス
B=フレンチキス
C=ファック
604:132人目の素数さん
12/09/22 09:57:54.53
今世紀はすごかったな。リーマン予想もやっつけてくれろ。
605:132人目の素数さん
12/09/22 09:58:24.07
数学の素人なんだけど、wikiの記述に疑問があります。
wikiには3パターンのACB予想の定式化が書かれているけど、
2番目のやつは、
「任意の正数 ε > 0 に対して定数 K が存在し、全ての abc-triple な (a,b,c) について次が成立するという。」
ってのは、当たり前過ぎる気が・・・。
何か間違いなんじゃないの?
606:132人目の素数さん
12/09/22 10:04:27.27
cに依存しないKが定数として取れるという意味だから。
607:132人目の素数さん
12/09/22 10:06:54.07
有限個の例外についても不等式を成立させるためにはεに依存する定数K(ε)倍する必要がある
ってだけの話.
608:132人目の素数さん
12/09/22 10:47:00.89
>cに依存しないKが定数として取れるという意味だから。
そういう意味にとれる書き方にすべきじゃないのかなあ。
形式的に日本語を読むしかない一般人は、普通、
(a,b,c)の組ごとに式を満足するKを決めてもよいと読む。
609:132人目の素数さん
12/09/22 10:55:26.05
>>606,607
すみません、自分が勘違いしていただけで、意味が分かりました。
610:132人目の素数さん
12/09/22 12:22:51.71
general typeの代数曲面なんて、全然綺麗じゃないよね。
g>1の代数曲線も同じだけど、
リーマン面のモジュライ空間が上品と思わないと代数幾何はできません><
611:132人目の素数さん
12/09/22 12:59:51.05
>>587
良くも悪しくもナショナリズムがなくなっているのだろう
>>593
なくはないよ
Googleやyahoo、ランキングやまとめサイトなどマス的なものは相変わらずある
612:132人目の素数さん
12/09/22 13:08:39.35
金メダルやノーベル賞による国威発揚に熱心なのは後進国の特徴だ
自尊心に不安があるから、国際的な評価に飢えている
社会が成熟して自尊心が満たされると、自国民が賞を獲得するより個人の幸福の方が重要になる
613:132人目の素数さん
12/09/22 14:02:17.41
>>612
後進国とは何ですか?その定義を厳密に述べてください。自尊心に対する不安とは何ですか?その定義を厳密に述べてください。
国際的な評価とは何ですか?その定義を厳密に述べてください。何に対する評価ですか?
なせ、自尊心に不安があると国際的な評価に飢えるのですか?
社会が成熟しているとはどういうことですか?その定義を厳密に述べてください。個人の幸福とは何ですか?その定義を厳密に述べてください。
比較するということは、自国民が賞を獲得することと個人の幸福が別物なのですか?そうならば別物であるのはなぜですか?
なぜ、社会が成熟して自尊心が満たされると、自国民が賞を獲得するより個人の幸福が重要になるのですか?
614:132人目の素数さん
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:132人目の素数さん
12/09/22 15:16:52.51
>>592さんは代数幾何は一通り勉強したんですか?
広中の定理の証明とかは四重帰納法で電話帳みたいな感じなので
なかなか複雑だと思うんですが、計算量理論もそういう証明がごろごろしてるんでしょうか。
616:132人目の素数さん
12/09/22 15:18:58.84
代数幾何の知識なんか皆無なのに
>実際計算量関連の議論や論法って代数幾何なんかと比較に
>ならんほど複雑に入り組んでる。
こんなこと言える神経が分からないのですが
617:132人目の素数さん
12/09/22 16:38:02.15
>>535
素人なんだが、
複雑性の階層って人為的に定義されるもの?
だとしたら500でも1000でも
いくらでも複雑に階層を定義できそうな気がするのだが。。。
分類が分類を呼ぶだけであまり有意義でないような。
618:132人目の素数さん
12/09/22 16:45:53.15
>>604
黒川さんによれば、リーマン予想の難易度はタイムマシンレベルだそうだ。
本当なら今世紀どころか人類滅亡の方が早いだろうね。
619:132人目の素数さん
12/09/22 16:52:44.20
黒川さんは解く気ないそうだ、理論が構築できればいいそうだ
620:132人目の素数さん
12/09/22 17:01:32.29
コンヌでも歯が立たないのでは黒川先生も自分で解くのを諦めざるを得ない
621:132人目の素数さん
12/09/22 17:05:10.47
>>597
そこでstrongとよんでいるのは、このスレでweakとよんでいるもの。
そこでのweakはq値に上限ありっていう予想。
622:132人目の素数さん
12/09/22 17:05:10.92
>>597
今回証明されたのはweak version。
strongの方は証明されてないはず。
それにstrong⇒weakではないので、
weakが証明されただけでも化け物レベル。
623:132人目の素数さん
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:132人目の素数さん
12/09/22 17:07:31.61
なんかすごい偶然が起こったような
625:132人目の素数さん
12/09/22 17:10:07.92
>>613
>自国民が賞を獲得することと個人の幸福が別物なのですか?そうならば別物であるのはなぜですか?
ここは質問が逆なんじゃないか。別物なのだから別物なのは自明だろう。
別物なのに同じ物だと錯覚する要因を調べる方が近道ではないか。
626:132人目の素数さん
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:132人目の素数さん
12/09/22 21:02:23.89
そもそもリーマン予想って現在の公理系じゃ証明不可能であることを証明しようとしてる人いなかったっけ?!
629:132人目の素数さん
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とか多項式時間階層の無限列が入ってますし。
基本的には、
(1)抽象機械、(2)領域の量、(3)空間の量、(4)オラクル
の4つを設定するのでこれらを掛けた量だけ少なくともあります。
抽象機械とはチューリング機械(これだけでも決定性や非決定性や確率や量子)なんかが代表例で、
他にもいくるも計算能力が異なる抽象機械があります。
さらには述語論理に何々の記号を加えただとか、何々のパターンを持つ回路だとかまで入ります。
同じ機械でも領域と時間を制限することで色々変わってきます。
時間や空間の制限は対数とか指数とか2重の冪とかの単位で考えることが多いです。
面倒なのは、計算機の強さが時間や空間の制限と綺麗に相関しないところですね。
ある時間以上ではほとんど計算能力が向上しない状況、その逆の状況とかがあります。
そしてこれにオラクルという計算に別のクラスの補助を使用することを考えます。
Pをオラクルに持つPをオラクルに持つ...と、ここでも可算無限個のクラスが発生します。
しかもほとんどのクラスが潰れない(一致しない)。
P≠NPもほぼ間違いないと考えられていますし。
ちなみに計算量理論の最上部の方にあるクラスRってのは
再帰的クラスでΔ^0_1とも書かれ、その上のREは再帰的可算クラスと言いΣ^0_1と書かれます。
こういった記述は再帰理論という分野で扱われ、
この上にさらに算術的階層や解析的階層やレヴィの階層というものが連なっています。
こちら側は全く別の手法で(計算機と言うより純粋数学的な手法)研究されます。
631:132人目の素数さん
12/09/22 22:01:59.22
>>615
広中の定理は、さすがに今はかなり簡略化されているので、証明は
3分の1から半分くらいの長さになってる。
いまだに電話帳みたい~って言ってるのは化石過ぎ
632:132人目の素数さん
12/09/22 22:41:39.52
もっちーがいる分野は研究している人があまりいないらしいけれど、もし証明が正しかったら
研究者が次々に参入して賑わうだろうな
633:132人目の素数さん
12/09/22 22:44:55.40
グロタンも驚いて山から降りてこねーかな
634:132人目の素数さん
12/09/22 22:48:51.18
グロともっちーの対談とかやってくれよ。
グロが生きてるならば。
635:132人目の素数さん
12/09/22 23:44:20.91
グロタンディークとか望月とかってもう別格の世界の中で別格の世界って感じで
フィクションとしか思えない存在だ
636:132人目の素数さん
12/09/22 23:44:51.26
スレと関係ないけど文字の数学ってあります?
論理学かもしれないけど、文字そのものを扱う数学です
集合論でいいのかな
637:132人目の素数さん
12/09/22 23:50:32.67
「文字」という言葉で何を言いたいのかわからないけど
形式言語とかオートマトンのことかしら
638:132人目の素数さん
12/09/22 23:52:43.57
宇宙際タイヒミューラー理論ってどれだけ有用なの?
639:132人目の素数さん
12/09/23 00:03:06.23
数学の博士号ないやつは語るな
勉強の邪魔
640:132人目の素数さん
12/09/23 00:16:22.23
>>637
単純化すると、
ある数量を一文字で示す場合と二文字で示す場合の違い、みたいな感じです
十と10
十一と11
二十一と21 の違いみたいなのです
疑問に思った理由は、xが∞だった場合に、このxを一文字で記す場合は
無限に文字が必要になるのかなと思いまして
641:132人目の素数さん
12/09/23 00:18:56.60
おまえ自身は
ただのトンマなわけか
642:132人目の素数さん
12/09/23 00:19:13.63
ある数を表すのに最低何文字必要か、みたいなことを考えてるのかな?
643:132人目の素数さん
12/09/23 00:26:48.69
>>640
「∞」の一文字で表されてるものは何?
644:132人目の素数さん
12/09/23 00:28:57.64
しょーもな…
645:132人目の素数さん
12/09/23 00:29:46.32
付いてこれない議論があると他人を見下すクセはやめた方がいい
646:132人目の素数さん
12/09/23 00:31:37.88
深淵過ぎて着いていけないわ…
647:132人目の素数さん
12/09/23 00:34:12.33
みんな意地悪くないか?
648:132人目の素数さん
12/09/23 00:34:52.54
むしろ親切すぎるような気がw
649:648
12/09/23 00:38:02.26
√64=8
650:651
12/09/23 00:38:58.28
6=5+1
651:132人目の素数さん
12/09/23 00:39:41.58
コルモゴロフ複雑性が近いかな?
もちろん、漢字のような自然言語の文字を使って記述するわけないけど
652:TTT
12/09/23 00:39:55.40
>>640
アルゴリズム的複雑性とか周辺だと思う。
ある有限列(大抵はバイナリ―(2進)列とかだけど)を
別の表記で圧縮できるかどうか、どれだけ圧縮可能か考える。
大抵は10進数と2進数の変換位しか考えない。
だから漢数字を直接扱った理論はないんだけど、
通常漢数字とかは定数記号が特定の規則を持って増減しているものだから
パターンを取り出せば扱えると思う。
どっちかというと圧縮不可能な列の方が研究対象になっている(様々なランダム性をもつため)。
653:132人目の素数さん
12/09/23 00:41:30.55
>>642
数なのか位置なのかよくわからないけど、そんな感じかな
654:132人目の素数さん
12/09/23 00:42:45.87
>>652
ありがとうございました
655:649, 651
12/09/23 00:42:55.59
いわゆる シンコペーション ともいえる技 です。
結構むつかしいよん。
って、うそ。
656:132人目の素数さん
12/09/23 00:44:16.13
>>654
その人の言うこと聞いちゃダメーー
657:132人目の素数さん
12/09/23 00:46:46.10
TTTは精神異常者であり、数学板に住み着いている荒らしです
レスの内容も必ずどこかに嘘がありますのでレスを真に受けないようにお願いします
658:132人目の素数さん
12/09/23 00:48:19.95
ここにいる人たちは全員院卒ですか?
659:TTT
12/09/23 00:48:59.49
>>654
いずれにしろ数学科っていうより
計算機科学に属する問題だね、
記号列そのものの性質に着目するのは。
PvsNPも計算機科学だし。
660:TTT
12/09/23 00:49:54.49
計算量理論と述語論理等の記述(計算)能力をまとめたの貼っとくわ。
URLリンク(people.cs.umass.edu)
661:661
12/09/23 00:50:08.36
6/6=1
662:132人目の素数さん
12/09/23 00:51:39.85
他にも 1/2,1/3,1/4,1/5 みたいな分数表記を
一文字で表したらどうなるのかなと思ったんだ
整数と同じになるのかなと、
有理数と整数は違うらしいけど、無限の濃度は同じらしいので
それならば一文字で数字を書いたら区別が付かなくなるのかなーって
>>659
やっぱり数学とはちょっと違うのかな
663:132人目の素数さん
12/09/23 01:00:32.39
>>639
なさけねー白紙
とつられてみた
664:132人目の素数さん
12/09/23 01:20:52.82
東大で物理の博士をとって
インチキ脳科学の伝道師やってる人もいる
665:132人目の素数さん
12/09/23 01:39:12.19
>>662
置換でつかう添え字記法じゃ駄目なんか?
∞進数ならすべての整数に番号振れるじゃないか。意味があるかどうかわからんが。
666:132人目の素数さん
12/09/23 01:45:51.60
東大で経済学を学んでも小学生レベルの発言しかできない経済評論家もいる
667:132人目の素数さん
12/09/23 01:47:48.96
学問が大衆化すると陳腐になる。
668:132人目の素数さん
12/09/23 01:50:51.46
ほとんど同語反復だね>陳腐
669:132人目の素数さん
12/09/23 01:53:40.43
テレビに出てくる学者なんて信用出来ない。
670:132人目の素数さん
12/09/23 02:15:53.65
テレビに出てる東大教授とか新書で儲けてる東大教授なんて、ほとんどが戦後のマルクス主義全盛のころに左翼言論で成り上がっただけの連中だからな
671:132人目の素数さん
12/09/23 02:16:27.02
専門性の民主化と、民主制の専門化が求めらている
日本では前者ばかり熱心で情報を撒くのには勤しむが
情報を正しく使える団体や組織を育むのは足腰が弱いようである
672:132人目の素数さん
12/09/23 02:25:45.05
>>671
専門性の民主化とはなんですか?
民主制の専門化とはなんですか?
日本では前者ばかりが熱心だという根拠はなんですか?
情報を撒くとは、何の情報を撒いているのですか?
情報を撒くことと、専門性の民主化はどう関係があるのですか?
情報を正しく使うとはどういうことですか?
情報を正しく使える団体や組織を育むのが弱いという根拠はなんですか?
673:132人目の素数さん
12/09/23 02:40:51.59
ABC ABC Ahhh E気持ち♪
674:132人目の素数さん
12/09/23 03:11:31.61
検証にどのくらい掛かると思う?
675:622
12/09/23 03:20:15.21
>>632
そもそも数論幾何は難しすぎるから
入ろうと思ってそうそう入れるものではない。
というかびびってみんな踏み入れようとしない。
676:132人目の素数さん
12/09/23 03:23:03.10
>>675
勇者が足を踏み入れなていない訳ではない
ただ、勇者が到達できていないだけだ
677:132人目の素数さん
12/09/23 03:25:57.17
数論幾何をビジュアル化してください
678:132人目の素数さん
12/09/23 03:38:02.96
ビビりすぎな気もするがな
679:132人目の素数さん
12/09/23 03:40:23.85
絵心ないからビジュアル化は難しいけど
100回行動のドレアム相手に何ターン耐えられるか?な感じ
680:132人目の素数さん
12/09/23 04:05:09.23
>>664
ああいうのがのさばって、ベラベラいい加減なことばっかり偉そうに言ってるから
日本の科学者なんてみんな御用学者でインチキばっかり言ってるんだ…と
一般大衆は思っている
「テレビ…?取材…?研究のじゃまだからあっち行け
内容知りたきゃ論文PDFで全部公開してるんだからそれ読め」
という態度の方が誠実だ
681:132人目の素数さん
12/09/23 04:26:04.43
数論幾何が衰退し始めるのは何年後?
682:132人目の素数さん
12/09/23 04:48:54.90
>>681
衰退の定義は? 確立された業績は永遠に残るし関係ないね。
683:132人目の素数さん
12/09/23 04:59:01.64
どんな分野でも衰退するだろ。
やることがなくなるしな。
684:132人目の素数さん
12/09/23 05:02:57.41
大したことではないのだが、これの証明がいまひとつうまくできないんだ。
f:X→Y を局所Noetherスキームの間の固有射であるとし、
X , Y の構造層 ? , ? の間には f*(?)=? が成り立つと仮定する。
このとき、任意の y∈Y に対し、 f^-1(y) は、空でなく、連結である。
685:132人目の素数さん
12/09/23 05:59:41.05
コピペすらもまともにできないチンカスが増えたのう
686:132人目の素数さん
12/09/23 06:00:43.75
言ってることが意味不明。
687:132人目の素数さん
12/09/23 06:07:00.50
>>664
誰?
物理の博士持ってる人だよね?
688:132人目の素数さん
12/09/23 06:11:46.45
>>672
そんな逐語的な疑問符を並べるだけで本当に数学的といえるのか
もうすこし概念的な置き換えをしたらどうだろう
689:132人目の素数さん
12/09/23 06:15:35.00
ふと疑問に思ったんだが、HPに論文pdfを載せるって先取権的に大丈夫なの?
690:132人目の素数さん
12/09/23 06:19:36.87
問題が超おっきな未解決問題で載せてる人が既に相当の業績を
挙げてる数学者なら問題なし
691:132人目の素数さん
12/09/23 06:32:20.42
ハッキングされて改竄されたりしないのかな
692:132人目の素数さん
12/09/23 08:17:51.50
見てください
望月教授と比べてここまでレスしている奴のなんとゴミなことでしょう
ここにレスした奴は自分がゴミであることを恥じながら
うだつのあがらない凡人としての生涯を全うしましょう
693:132人目の素数さん
12/09/23 08:57:01.18
変な人が問題を作成する
↓
暇人が問題を証明する
↓
趣味の人が問題を理解するために簡素化して文書化する ←このスレにいる人たち
↓
商売で番組制作をしている人が分かりやすく解説する
↓
大衆化されたものをイラストや歌詞に使われる
694:132人目の素数さん
12/09/23 09:02:59.20
>>689-691
それ思った。
仮に素人だったら危険?
695:132人目の素数さん
12/09/23 09:10:52.99
>>694
珍妙な理論をHPで発表しまくってる素人なんぞ山ほどいるなw。
まあ、たいていは無視されるのが落ちじゃね?
696:132人目の素数さん
12/09/23 11:03:02.85
望月教授も実績がなければ単なるトンデモ扱いされて相手にされなかったのは間違いない
697:132人目の素数さん
12/09/23 11:26:20.12
文化勲章とか国民栄誉賞かなんかが貰えるのか?
その前に園遊会か。
698:132人目の素数さん
12/09/23 11:26:55.31
>>551
> XXZは解けたんだがな・・・
西銀座駅前
歌:フランク永井 作詞:佐伯 孝夫 作曲:吉田正
ABC・XYZ これは俺らの 口癖さ
今夜も刺激が 欲しくって
メトロを降りて 階段昇りゃ
霧にうず巻く まぶしいネオン
いかすじゃないか 西銀座駅前
699:132人目の素数さん
12/09/23 11:30:26.37
ゴミが増えればこの国は滅びる。
700:132人目の素数さん
12/09/23 11:37:58.12
↓ここで宇宙際童貞が一言
701:132人目の素数さん
12/09/23 11:40:15.25
フェルマーの最終定理のように証明に穴が見つかる可能性はどれくらいだろ?
702:132人目の素数さん
12/09/23 11:40:22.50
この国で数学者が育つなんてもう夢物語でしかない
子供のうちからアメリカに出荷しないと
920 名前:超ゆとりニュース[] 投稿日:2012/09/20(木) 11:55:36.63
URLリンク(www.yomiuri.co.jp)
小数のかけ算・割り算、小6の半数近く理解せず
.
文部科学省の国立教育政策研究所が、全国学力テスト4回分の傾向を分析した結果、
小学6年生の半数近くが、小5までに学ぶ「小数のかけ算・割り算」の意味を理解していない
とみられることが分かった。
703:132人目の素数さん
12/09/23 11:58:32.73
チベットに自由を!
ウイグルに自由を!
内モンゴルに自由を!
侵略者中共に呪いを!
中国人は天安門の虐殺を忘れるな。
圧政者中共に呪いを!
704:132人目の素数さん
12/09/23 12:10:19.19
DEF予想も
705:132人目の素数さん
12/09/23 12:15:49.56
>>702
天才なんて放っといても出現するというけど、
今の状況じゃそれを生み出す全体数が減少傾向
で、質の低下があるから難しいね。
数学オリンピックは所詮はゲームだという意見も
多いけれど、順位が下がってるのは事実。
最近じゃ法科大学院の入学生の質が問題視されて、
大学院生の確保もこれから難しくなる。
言い出しっぺの国のやり方は実に汚い。
戦後の頭脳流出の時でも国内に優秀な
人が残ったけど、今はとにかく息苦しくて仕方がないな。
706:132人目の素数さん
12/09/23 12:26:12.90
数学板って自分のことを棚に上げて語りたがる人が多いけど
自虐か何か?
707:132人目の素数さん
12/09/23 12:31:21.35
ゆとり世代じゃなくてヨカッタ(^^)
708:132人目の素数さん
12/09/23 12:35:44.72
>>702
まず、同種の問題をアメリカの小学生のどれだけが解けるのかがわからない
次に、仮に分かったとして、このことと最上位の人間が能力を伸ばすこととの関係がわからない
結論については当否を判断できるとは思わないけど、この書き込みには説得力はないね
709:132人目の素数さん
12/09/23 12:42:04.81
アメリカは優秀な移民がいくらでも
来るから彼らが学問・教育を支えている。
日本にわざわざ来てくれる優秀な人材は居ない。
710:132人目の素数さん
12/09/23 12:42:47.41
小数の計算が難しいからと
桁数を減らして、円周率は3なんて話まで飛び出すほどやることを削ったのに
やることが減ってゆとりができるほど、学力は落ちていく
711:132人目の素数さん
12/09/23 12:45:19.62
ここまでできればいいという最低ラインを下げると
その下げた最低ラインもクリアできない子供が増えるという教へ
みんな頑張って競い合ってた時代の方がいい結果出てたね。
712:132人目の素数さん
12/09/23 12:50:16.52
>>710
しかしゆとり教育の目標って学力の強化ではないでしょう。
従来の教育が受験地獄だの詰め込み教育だのという批判を受けて、、学力が低下しても構わないから学習事項を限定して生活にゆとりをもたせましょうということではないの。
だとしたら、学力ではなく、児童にゆとりができたかどうかが成果の判断基準となるべき。
713:132人目の素数さん
12/09/23 12:59:58.06
>>712
学習事項を限定したのに
その内容も達成できないんじゃ
学校なんて意味無いじゃん。
そんなにゆとりつくりたければ
学校自体無くしたら。
714:132人目の素数さん
12/09/23 13:08:19.53
>>670
そうそう、藤原正彦とかなw
715:132人目の素数さん
12/09/23 13:12:03.90
藤原正彦の数学の業績なんて
聞いたことがない。
716:132人目の素数さん
12/09/23 13:13:07.17
スレ違いはそろそろ自重しよう
717:132人目の素数さん
12/09/23 13:16:04.74
猫は?
718:132人目の素数さん
12/09/23 13:19:09.42
>>712
教育リソースを上層に集めて、中下位が受ける公教育は
適当に切り捨てましょう…という意味もあったことは、
中曽根時代の臨教審でわかってる(会長だった岡本道雄は
先日死んだが)。
で、実際は東大も学力低下に苦しむようになったとさ。
底辺切って、上が上がるわけないのにね。
719:132人目の素数さん
12/09/23 13:21:12.91
>>705
天才が量産されるのは世界観が変わるときですよ
というか世界観が変わるときに変えた人を天才ということが多いんで
数学オリンピックは直接の関係はないですね
720:132人目の素数さん
12/09/23 13:24:28.88
ドンドンオリンピックで柔道が全然金メダル取れなかったときに
柔道の関係者達が競技人口を増やさないととしきりに言っていたけれど
どんな世界も同じだね、
頂上だけ頑張ればいいという考えでいると
頂上自体がいなくなっちゃうんだね
721:132人目の素数さん
12/09/23 13:25:03.39
もうこの国の教育なんてどうでもいいわ。
何も期待してないし面白くない。
722:132人目の素数さん
12/09/23 13:25:35.19
ゆとり教育の目的は
みんなで仲よく手をつないでゴールしましょう
以外にはありませんよ
723:132人目の素数さん
12/09/23 13:28:52.45
アキレスと亀
先を進んでいる亀がアキレスを少し待ってやろうと
スピードを落とすと、アキレスは楽になったと喜んで
アキレス自身がスピードを落とし
困った亀はさらにスピードを落とすと
アキレスもまた一緒になってスピードを落とし
いつまでもアキレスが亀に追いつくことはないどころか
亀も全然進まなくなりましたとさ
というのがゆとり教育の帰結
724:132人目の素数さん
12/09/23 13:29:23.62
>>720
誰かが作為的に目標や
ゴールを下げていないか?
出来ない人間を無理やり褒めるのも気持ち悪い。
725:132人目の素数さん
12/09/23 13:30:16.12
少なくとも小中高のいづれかからゆとり教育を経験した人たちをゆとり世代とするならば
完全に外れるのは今30歳前後の人以上か?
726:132人目の素数さん
12/09/23 13:31:37.85
ゆとりでもわかるABC予想入門を書けよ。
727:132人目の素数さん
12/09/23 13:32:37.31
中高一貫私立やエリート塾に通える
中上流層の子弟が楽に上位大学
に入れるようになったから、目的は達しただろw
728:132人目の素数さん
12/09/23 13:33:23.53
>>726
数学ガールシリーズ(笑)の結城ナントカさんに頼んでみてね!!
729:132人目の素数さん
12/09/23 13:53:21.37
ルネサンスが起きたのは
アラビアに残ってたキリスト教以前のヨーロッパ文明がヨーロッパに回帰したことに始まる
それで違う世界観を持った天才の時代がやって来た
20世紀後半の素粒子物理の研究者たちの中には東洋思想を熱心に学ぶ人たちが居た
キリスト教圏で生まれ育った人たちが発想の限界を感じてアイデアの源泉を東洋思想に求めたらしい
そんな中で異才を見せたのが南部陽一郎で
相当多くのアイデアは南部が発信源だと見られている
望月教授がやっている領域はこれまでも多くの業績を日本人が残してきたのも
こうしたことと無関係じゃない可能性が高い
天才が生まれるってそういうことではないのかな
730:132人目の素数さん
12/09/23 14:40:36.96
>>724
ゆとり教育を推し進めた教育学者は、小中のカリキュラムの中で
生徒が落ちこぼれやすいポイントを分析した。
そして、落ちこぼれやすいポイントを指導要領からどんどん
はずして、落ちこぼれにくくしたw
まあ、全く習わないということは全員が落ちこぼれたのと
同じ結果なんですが、それは目をつぶってる。
731:132人目の素数さん
12/09/23 14:42:42.69
>>729
望月さんはアメリカ育ちだから違う
これだから数学に精神論を持ち込むネット右翼は‥‥‥w
732:132人目の素数さん
12/09/23 14:47:02.74
でもね、本当の天才にとっては、ゆとり教育の方が好都合なんだよ。
学校教育の時間なんか、できるだけ少ない方が良い。いや無い方が良いのだから。
学校を必要とする秀才クンには、ゆとり教育は迷惑な制度だと思うけどね。
733:132人目の素数さん
12/09/23 14:53:24.49
ABC予想スレからゆとり教育スレになってる…
734:132人目の素数さん
12/09/23 14:54:02.68
PDF読んでみたけど、チンプンカンプンなんだもん
735:132人目の素数さん
12/09/23 14:59:13.21
じゃあ静かな環境(スレ終了)にしよ?
736:132人目の素数さん
12/09/23 15:01:43.75
数理研か……
737:132人目の素数さん
12/09/23 15:01:54.35
君がここに来なければいいんじゃね?
738:132人目の素数さん
12/09/23 15:19:06.23
暗い話ばっかり。
739:132人目の素数さん
12/09/23 15:25:05.94
ところで皆さんABC予想のことを初めて知ったのっていつ頃ですか?
自分の場合は、何年か前の「大学への数学」の数学オリンピックセミナーの報告記事あたりです
その後、springerあたりの数論の教科書にはよく紹介されていることを知りました
多分、日本では「知る人ぞ知る」予想で、そんなに有名じゃなかったと思うのですがどうでしょう?
740:132人目の素数さん
12/09/23 15:25:39.64
たとえば10という数は、足算のみを使うと、10=1+1+1+1+1+1+1+1+1+1と表せ、掛算のみを使うと10=2*5と表せる。
この意味で、足算の"原子"は1で、掛算の原子は素数2,3,5,…であると言える。
足算から掛算への発展は直感的なのにもかかわらず、その原子たる素数の降る舞いは、足算のときとは比較にならないほど複雑性を増す。
この性質を調べるには大きく分けてふたつの方法があると思う。
(1) 考える対象を整数や有理数から、より一般的な数学的対象にする。
(2) 考える演算を+と×から、より一般的な代数的操作にする。
741:132人目の素数さん
12/09/23 15:31:25.83
2011年夏に詳しい人からの伝聞で。
742:132人目の素数さん
12/09/23 15:32:19.42
もっちーが数年前から挑戦してるって噂は、けっこう
広まっていたけどな。
743:132人目の素数さん
12/09/23 15:42:15.39
>>702
マトモな初等教育が無かったインドから優秀な数学者が何人も出ている。
初等教育の現状と数学者が育つか否かはまったくの別問題だ。
744:132人目の素数さん
12/09/23 15:53:50.44
>>732
横並びにさせるってのは
先に進もうとする人の足止めも行うんだよ
早く終わった子は次に進みたくても
全員が終わるまで待たないといけない
こういうのはゆとり教育前から行われてきたが
寺脇改悪の後にさらに酷くなった
745:132人目の素数さん
12/09/23 15:56:00.34
>>743
学校に縛ること無く自由にさせていれば
出ることもあるかもな
日本の初等教育の現状は
教育を受けるから人も受けない人からも
そういう人は出ようが無い
746:132人目の素数さん
12/09/23 15:59:00.71
というか他国との比較よりも
現状だけで判断しろよ。
あの国よりマシとか酷いとか
言っても何にも役に立たんだろ?
747:132人目の素数さん
12/09/23 16:00:01.23
数論の予想って数値計算で反例が見つかるのってかなりまれなことだよね?
2,3例くらいしか聞いたことがない
748:132人目の素数さん
12/09/23 16:00:06.65
>>739
数学やる人には結構知られてたけれど
一般人はFLTとかゴールドバッハとか双子素数とかでその辺りしか知らなかった
そんな感じ
749:132人目の素数さん
12/09/23 16:00:52.20
凡人が天才がどうたらとか
笑えるw
750:132人目の素数さん
12/09/23 16:04:35.15
>>745
この国は同質性が強くて
出る杭は打たれるだから、
能力ある人には窮屈だろうね。
751:132人目の素数さん
12/09/23 16:06:24.38
ABC予想が解かれたことで
ABCの海岸はどうなるんだ・・・
752:132人目の素数さん
12/09/23 16:09:10.60
>>747
Elkiesによる反例、
Hardy-Littelwood予想?の反例とか
あったような。
753:132人目の素数さん
12/09/23 16:09:18.87
ソーセージを挟むカニが絶滅の虞
754:132人目の素数さん
12/09/23 16:09:23.36
>>750
少し良い仕事していても
「お前、フィールズ賞とってないだろww」
とか煽る奴が多いのも、2ちゃんには多いしな。
755:132人目の素数さん
12/09/23 16:10:57.80
x^p+y^q+z^r=w^s とか項を増やしていったら解は同じように存在しなくなるの?
756:132人目の素数さん
12/09/23 16:13:12.31
>>752
そこらへんだと
計算機が無い時代の予想だったから
みたいな所があるのかな。
結局、小さい所は全部計算機が真偽判定してくれるから
ほぼ正しいのしか予想として出てこないのでは
757:132人目の素数さん
12/09/23 16:14:48.89
計算機でチェックしてから予想しないと
今の時代はそもそも「予想」としてダメでしょうw
758:132人目の素数さん
12/09/23 16:16:08.81
>>755
Henri Darmon and Andrew Granville
On the equations xp+yq=zr and zm=f(x,y)
という論文で高々有限個しかない
などの結果がのってる。
759:132人目の素数さん
12/09/23 16:26:34.44
rad(abc)っていう根基ってイデアル論で出てくるやつと同じだよね?
この予想は理論から自然に出てきた予想なのか,偶然数値実験かなんかで予想されたのかどっち?
760:132人目の素数さん
12/09/23 16:29:00.00
そういや数学セミナーの記事でも
ABC予想関連のは見たことがないな。
761:132人目の素数さん
12/09/23 16:29:01.83
>>739
> ところで皆さんABC予想のことを初めて知ったのっていつ頃ですか?
数学セミナーのこの号。
URLリンク(nippyo.co.jp)
762:132人目の素数さん
12/09/23 16:34:10.77
そんなとこにあったのか。
763:132人目の素数さん
12/09/23 16:35:28.72
スレチだけど、Maninのreal multiplication
で最近はどうなんだろ?
764:132人目の素数さん
12/09/23 16:36:53.15
数学セミナーだとディオファントス近似の特集のときに京大の伊藤哲史准教授が
abc予想の記事を書いていた
765:622
12/09/23 16:50:26.83
今回の成果の一つがVojta予想の証明らしいけど、
論文見ると for hyperbolic curve とある。
高次元版はまだ攻略できてない?
766:132人目の素数さん
12/09/23 17:55:28.45
>そんなに有名じゃなかった
数論の研究してる人ならみんな知ってる
それだけで良くて別に津々浦々の一般人が知る必要はない
767:132人目の素数さん
12/09/23 18:01:14.33
俺がABC予想からリーマン予想を解いて1億円ゲットするかな
768:132人目の素数さん
12/09/23 18:34:31.74
読めない&綴りが思い浮かばない人の名前が付いた予想とちがって
一度聞いたらそういう予想があるということは頭に残る名前だな、内容はともかく
769:132人目の素数さん
12/09/23 18:38:02.83
Langの本でabc予想のことを知ったな
770:132人目の素数さん
12/09/23 19:33:56.20
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
771:132人目の素数さん
12/09/23 20:07:25.29
ハーディ・ライトから読もうぜ
772:132人目の素数さん
12/09/23 20:08:48.23
男はガウスから読む
773:132人目の素数さん
12/09/23 20:12:54.35
おれの方が先に進めそうだな
774:132人目の素数さん
12/09/23 20:32:34.68
証明って地味だよね
高校生でもわかる
新しい方程式の発見とかないのかな
775:TTT
12/09/23 21:10:55.70
>>774
アイデアを思いついて定義するよりも
それを証明する方がはるかに難しいので
証明ばかりが難問として残るんですよ。
776:132人目の素数さん
12/09/23 21:37:13.63
>>670
大して地頭のよくない連中が苦労して東大入っちゃうから、そこで学んだことは絶対視しちゃうんだよね
777:132人目の素数さん
12/09/23 21:40:27.29
ウィキの解説すら難解だわw
778:132人目の素数さん
12/09/23 21:57:25.02
>>750
某大学とか数学者のコミュニティに居るとそれは確かに感じるな
それ以外のコミュニティに関しては知らんが
779:132人目の素数さん
12/09/23 22:02:06.01
>>776
馬鹿は人から教えてもらうと鵜呑みにするし、自分で学ぶとかならず間違う
しかもその間違った知識や信念をますます強固にしていき、ついにおさまりがつかなくなる
だから、馬鹿は本来死滅すべきなのだが、誰が馬鹿かは誰が天才かと同様に、何かを成すまで分からないので、
人為的に削減しようとすると、誤った判断により、多くの有益な人材まで葬り去ってしまう
だからベストなのは、馬鹿は自分を馬鹿だと真摯に認め、謙虚につつましく行動することなのだ
780:132人目の素数さん
12/09/23 22:10:51.94
つつましい馬鹿は、もはや馬鹿との謗りを受ける筋合いはない
馬鹿は表に出るから問題なのであって、しかも自己批判ができないので、馬鹿と判明した時点で自由権を剥奪するしかない
781:132人目の素数さん
12/09/23 22:16:35.62
>>779
おまえ、表に出ないでつつましく行動しろよw
782:132人目の素数さん
12/09/23 22:25:51.07
日本は出る杭は打たれる社会云々なんて言ってる奴は、まず間違いなく一部の天才に身分不相応なシンパシーを感じただけの馬鹿であるから、相手をする価値はない
783:132人目の素数さん
12/09/23 22:41:27.99
そこまでにゃんこ先生召喚しなくてもw
784:132人目の素数さん
12/09/23 23:25:11.81
新産業も生み出せない国で
出る杭は打たれないという方が無理があるわ。
785:132人目の素数さん
12/09/23 23:41:53.12
今までのことを自分なりにまとめてみた。誤りがあったら指摘よろ
===準備===
・abc-triple; a+b=cを満たす、互いに素(最大公約数が1)な自然数の組(a,b,c)
・rad(n); nの素因数をすべて掛け合わせた積 例)rad(16)=rad(2^4)=2, rad(17)=17, rad(18)=rad(2*3^2)=2*3=6
===目的===
「abc-tripleの組(a,b,c)について、c < rad(abc)^(1+ε)が成り立つか?」(ε:0以上の実数)
===事実===
・ε=0 → 無限個の反例がある 例)(1, 64^n - 1, 64^n)、(1, 3^(2^n) -1, 3^(2^n))
・ 0<ε → これまでに有限個の反例が見つかっている (その中で最大のものはε=0.6299...で、それより上の反例は見つかっていない)
===予想===
・ 0<ε → 反例は有限個しか存在しない 【abc予想(strong)】 ★今回、望月教授が証明したもの★
・(a,b,cによらない)ある実数gが存在して g<ε → 反例は存在しない 【abc予想(weak)】
・ε=1 → 反例は存在しない 【abc予想(wiki版)】 ※一般的に知られている形※
※strongが言えればweakが言えるが、weakが言えてもwiki版は言えない
===応用===
もし、【abc予想(wiki版)】が証明されたら「フェルマーの最終定理」の別証明が与えられる
x^n + y^n = z^n (2<n) を満たす、互いに素な自然数の組(x,y,z)が存在したとする(もし(x,y,z)が互いに素でなかったら、最大公約数dで割ればよい)
a=x^n, b=y^n, c=z^n とおくと、(a,b,c)は互いに素でa+b=cを満たすのでabc-tripleである
【abc予想(wiki版)】より、z^n=c <rad(x^n y^n z^n)^2 =rad(xyz)^2 < (xyz)^2 < (z^3)^2 =z^6、よって n<6 である
n=3,4,5のときは証明済みだからフェルマーの定理が成り立つ
786:132人目の素数さん
12/09/24 00:21:24.03
>>705
数学オリンピックの順位は上がってるんじゃないのか。
00年代と90年代の順位を平均すると前者の方が高かったはず。
数オリのメダリストで数学の道に進んで成功した日本人は殆どいないからねー。
近年のメダリストが今後どうなるかは分からないけど、
日本に三人しかいない満点メダリストのうち一人はコンピュータ科学に進んじゃったからねえ。
787:132人目の素数さん
12/09/24 00:30:16.81
>>786
2009年 - 2位 (金5, 銅1) のあと、
2010年 - 7位 (金2, 銀3)
2011年 - 12位 (金2, 銀2, 銅2)
2012年 - 17位 (銀4, 銅1)
と下がっているのを、単なるブレと思うかどうかでしょうね。
今年、金がなかったのは、たまたまだと思います。
日本の例年の成績は、6位~15位あたりかと。
2003~2007と5年連続で一桁順位だったのが、一つの黄金期かも。
1990年に初参加して最初の数年は経験不足が理由だったでしょう
から、あまり参考にならないです。
788:132人目の素数さん
12/09/24 00:47:05.37
>>786
>満点メダリスト
K林君は数学をやっている
K岡君は数学寄りの計算機科学
S島君はまだ学部生
理学部に進むような子が増えてきたのは最近の話だろ
まだまだこれからだよ
789:132人目の素数さん
12/09/24 00:50:38.31
国籍は関係ないと思いつつも
日本人が成功を手にすると嬉しいもんだな
790:132人目の素数さん
12/09/24 00:55:42.80
「受験戦争」って日教組とマスゴミのステマだよね。今思うと。
うちの親父は高卒だけど、立派に家も建てて3人の子供を育て上げたぞ。
そりゃ大卒だともっと給料高かったろうけどさ、大学落ちても別に不幸ではないよね。
受験戦争をやめる必要なんて無かったのでは?
791:132人目の素数さん
12/09/24 00:55:48.73
>>787
2009年の面子は異常だったからな。
S島君(1位)を筆頭にK川君(4位)H坂君(8位)T聞君(12位)I村君(27位)と逸材が揃っていた。
まあ、こんな快挙は二度と無いだろう。
792:132人目の素数さん
12/09/24 00:57:13.15
>>790
ニュース板に帰りなさい
793:132人目の素数さん
12/09/24 01:26:17.46
>>785
>【abc予想(wiki版)】より、z^n=c <rad(x^n y^n z^n)^2 =rad(xyz)^2 < (xyz)^2 < (z^3)^2 =z^6、よって n<6 である
の
rad(xyz)^2 < (xyz)^2
ここは等号が入る。
rad(xyz)^2 ≦ (xyz)^2
【abc予想(weak)】からは同様にして 3(1+g)より大きい次数でFermatの定理が成り立つことが分かる。
つまり、十分大きな次数でFermatの定理が成り立つ。
794:132人目の素数さん
12/09/24 01:37:33.86
>>759 多項式についてのabc定理 rad(f)は合異なる根の数
URLリンク(ja.wikipedia.org)
795:132人目の素数さん
12/09/24 02:32:58.83
数学オリンピックなんてたまたま
ああいうのが得意な中高生が一人二人居るだけで
かなり成績良くなるんだから、あまり5位と10位の違いに意味はないと思うよ
796:132人目の素数さん
12/09/24 03:02:54.74
数オリメダリストが
計算機科学をやってるのなら
ぜひP≠NP問題を解決してもらいたい
797:132人目の素数さん
12/09/24 03:55:34.19
P≠NP問題て難問過ぎね?
少なくとも既存の枠組みの中じゃ解けない気がする
798:132人目の素数さん
12/09/24 07:57:11.33
なんかIU幾何が作られた目的がABC予想の証明であるかのような言説があるけど
IU幾何はディオファントス幾何全般への応用を考えてて
ABC予想が解けたってのは応用の一つじゃないのか
799:132人目の素数さん
12/09/24 09:08:58.05
馬鹿みたいな質問で申し訳ないんだがrad(abc)のradって何て読むの?
800:132人目の素数さん
12/09/24 09:10:46.25
wikipediaくらい見たら?
801:132人目の素数さん
12/09/24 09:34:13.63
ラジアンだろうjk
802:132人目の素数さん
12/09/24 10:07:23.37
おそらくABC予想から導けそうな範囲よりずっと広い範囲のディオファントス方程式の解が
宇宙際幾何学によってこれから分かっていくだろう
803:TTT
12/09/24 10:50:58.72
>>796-797
以下は別スレのレスと加筆修正したもの。
有益な情報のためこのスレに転載します。
計算量クラスの種類はいくつあるのかと問われて...
1000どころか可算無限個はあります。
既にAC_iとかTC_iとか多項式時間階層の無限列が入ってますし。
基本的には、
(1)抽象機械、(2)領域、(3)時間、(4)オラクル
の4つを設定するのでこれらを掛けた量だけ少なくともあります。
抽象機械とはチューリング機械(これだけでも決定性や非決定性や交替制や確率や量子)等が代表例で、他にも無数の抽象機械があります。
さらには述語論理に何々の記号を加えただとか、何々のパターンを持つ回路だとかまで入ります。
同じ機械でも領域と時間を制限することで色々変わってきます。
時間や領域の制限は対数とか指数とか2重の冪とかの単位で考えることが多いです。
面倒なのは、計算機の強さが時間や領域の制限と綺麗に相関しないところですね。
ある時間以上ではほとんど計算能力が向上しない状況、その逆の状況とかがあります。
また時間を自然数で区別すればはたまた自然数個の時間によるクラス分割が発生します。
そしてこれにオラクルという計算に別のクラスの補助を使用することを考えます。
Pをオラクルに持つPをオラクルに持つ...と、ここでも可算無限個のクラスが発生します。
しかもほとんどのクラスが潰れない(一致しない)。
P≠NPもほぼ間違いないと考えられていますし。
こう考えると計算量クラスの定義は<M、t、s、O>といった
抽象機械M、時間t、領域s、オラクルOの対として定義したほうがいいですよね。
計算量理論と述語論理等の記述(計算)能力まとめ。
URLリンク(people.cs.umass.edu)
現在の複雑さの階層マッピング
URLリンク(www.math.ucdavis.edu)
名称付きのクラスのリスト
URLリンク(qwiki.stanford.edu)
804:132人目の素数さん
12/09/24 11:46:01.75
P≠NP厨はスルーでよろ
805:132人目の素数さん
12/09/24 11:54:50.06
>>802
もっちーも、宇宙際幾何学とか大きな枠を作ろうとしてるが
実際に証明する段になると細かい個別の計算をやってるので
本当に「宇宙際幾何学」が有効かどうかはまだ疑問だけどね。
Weil予想もそうだが、大予想の証明のために大理論を作る!と
ぶち上げても、実際の証明は別の手法でできたり。
逆に、広中の特異点解消の中にグレブナー基底(独立に複数の
人が考案)が出てきていたり、と大問題解決の中の技巧的な
計算の中に、将来の理論の種が眠っていたりもする。
806:132人目の素数さん
12/09/24 13:14:27.51
>>788
その日本人満点メダリストが初めて誕生したのは2005年だからな。
まだ結論を出すには時期尚早だ。
メダリストの大半が数学とは無縁の道に進んでいた時代は参考にならんよ。
昔は文科に進む子もいたからね。
807:132人目の素数さん
12/09/24 13:54:36.15
むしろ、数オリに出る暇があったらプリンストンに進学した方がw
タオみたいに小さいときに数オリに出て、 プリンストンで学位取る
方法もあるけどな。
日本の飛び級だと、せいぜい高校2年→大学3年→大学院3年で学位
だから、23歳で博士号が最短かな。
808:132人目の素数さん
12/09/24 14:04:49.62
十代でいきなり論文博士とかいう猛者はいないのかw?
809:132人目の素数さん
12/09/24 15:56:03.24
これからのトレンドは、数オリよりも高校時代に論文出版だよ。
Ann. Math やInventに、NADA Junior and Senior High Schoolとか
The Kaisei Academyとかの所属の論文が出るようになるよ。
東大入るよりずっと意義があるしさ
810:132人目の素数さん
12/09/24 16:02:18.28
これからは明らかに、良い仕事はどんどん晩年化していくだろ
811:132人目の素数さん
12/09/24 16:04:27.48
日本の教育制度だとかなり歳いくまで基礎論すら教えないカスだからな
数学を極めようと思ったら幼い頃から自習するしか無いとかもうね
812:132人目の素数さん
12/09/24 16:05:51.46
基礎論やってるやつもカス
813:132人目の素数さん
12/09/24 16:09:11.84
生粋の日本人が日本語の文法を改めて勉強するようなもの
本来は勉強しなくても一向に困らない
814:132人目の素数さん
12/09/24 16:50:52.17
東大に数学だけで入れる
飛び級の一芸入試を
導入すればよい
ある程度のレベルの
英語の試験も課すべきかな
英語だけは研究のために必須だが
それ以外の化学古文日本史などは
何の意味もない、足かせにしかならない
物理などは研究領域によって
必要かもしれないが、
あくまでだいじなことは
「関係あること」だけを学ぶことだ
日本の受験制度は何もかもやらせすぎる
815:132人目の素数さん
12/09/24 16:59:32.77
>>814
要約すると
・俺、数学得意つか天才
・英語はまあ出来る、つか分かんねー奴池沼だろwwwww
・化学古文日本史うぜえ
・物理は割とどうでも良い
リアル厨二にしても恥ずかしいな
816:132人目の素数さん
12/09/24 17:12:09.05
偏差値云々の負の側面をもろに受けるのが数学科
医学なんかに何の興味もないむしろ数学に興味のある高校生がステータスのために
理科三類に入り、数学とは無縁、研究とは無縁の人生を送ることになる…
そんな人が何人もいる
817:132人目の素数さん
12/09/24 17:20:19.27
>>815
俺は現役で理一に入り
数学科を出て今は
とある業種で自営している
いたって中立的な観点から
提案してるだけだが、
おまえがいったい何と戦って
そういう反応をするのか理解できない
(さして深く考えて書いたわけでは
ないのは確かだが)
818:132人目の素数さん
12/09/24 17:38:38.16
>>817
>いたって中立的な観点
だってよwwwww
>そういう反応をするのか理解できない
お前が鈍いのか秀才なのか、アスぺか池沼かkyか…なんて知らんってw
819:132人目の素数さん
12/09/24 17:52:47.93
で、三部からなるPDFの論文をとりあえず
読んでみたいますか?
820:132人目の素数さん
12/09/24 17:54:09.02
有理整数では 3≠4
821:132人目の素数さん
12/09/24 18:04:18.96
>>814
数学科って東大の中では入るの難しい方なの?
822:132人目の素数さん
12/09/24 18:06:58.96
>>818
世の中、なんでこんなにひねくれてるのか
不思議に思えるような人間は少なくないが
数学板は比較的そういうのが
少ないと思っていた。残念
まあたまたまその少ないのに
当たったと思うことにしよう
823:132人目の素数さん
12/09/24 18:08:47.47
「分数計算すら出来ないなんて…」
の頃はそこそこ難関、今はゴミ捨て場
824:132人目の素数さん
12/09/24 18:13:55.80
ε=0のときに無限個の例外がある説明ででてくるこの式はどうやって証明するの?
2^(p(p-1))≡ 1 (mod p^2)
825:132人目の素数さん
12/09/24 18:18:37.17
>>821
簡単
よっぽどサボるとだめだが
そういう人はそもそも
数学科を志望しない
二段階目では数学の成績に
重みがかかるし
普通にやってれば大丈夫
ただし今は制度変わってるかも
826:132人目の素数さん
12/09/24 18:37:16.07
理Iからだと、底割れはしてない年が多いが、
60点くらいだろ。
よほどじゃないと第二段階では入れる。
827:132人目の素数さん
12/09/24 18:39:42.27
URLリンク(www.math.tohoku.ac.jp)
の12ページの例外リストの定義の 「c < rad(abc)^ε」 って 「c > rad(abc)^ε」
の間違いか?
828:132人目の素数さん
12/09/24 18:41:39.48
そんなもんが疑問なら、もうやめとけ
829:TTT
12/09/24 18:42:49.59
>>811
NewMath運動で失敗したからだよ。
830:132人目の素数さん
12/09/24 18:52:25.45
>>785
日本語ウィキペディア版は全部翻訳のに書き換えられてるよ
831:132人目の素数さん
12/09/24 18:54:38.12
>>814
そういうのは東大以外の大学がやればいい。
数学だけなら東工大のAO入試とかある。
東大を頂点とする序列化が日本の大学制度の癌。
東大は、全人型の教育を目指してるわけで、それが
大学のポリシーだから現状でよい。
832:132人目の素数さん
12/09/24 18:56:38.89
ABC予想の説明に失敗する報道機関たち
833:132人目の素数さん
12/09/24 19:02:13.56
ゆとり世代のほうが不況で恵まれない
せいか打たれ強いと思う。
団塊ジュニア世代のメンタル面は弱い。
834:132人目の素数さん
12/09/24 19:03:53.47
>>826
情報科学科と数学科どっちの方が難しい?
835:132人目の素数さん
12/09/24 19:05:09.91
>>831
東大でも、国際教養大学みたいな、就職に特化するような学科を作ろうとしているようですが…。
836:132人目の素数さん
12/09/24 19:13:18.43
>>833
ああ・・・それはとってもわかる気がするorz
837:132人目の素数さん
12/09/24 19:19:47.10
>>835
東大も最終的には何がやりたいのか。
838:132人目の素数さん
12/09/24 19:38:20.85
>>830
本当だ
「質」という概念も新しく記述されてる…
また書き直さなきゃ
839:132人目の素数さん
12/09/24 19:43:04.57
>>787
URLリンク(www.imo-official.org)
Relative rankingを見ると2003~2011は90%前後を推移してるね
2011年も相対的に見ると決して悪くはない
今年は調子が悪かったとしか言えないな
840:132人目の素数さん
12/09/24 19:54:37.19
>>835
PEAKや教養学部の改組なら、全然方向が違うけど?
841:132人目の素数さん
12/09/24 20:19:19.99
>>839
あまり意味があるとは思えないが、一応上から順に並べるとこうなる
2009 99.03%
2007 94.57%
2010 93.75%
2006 93.26%
2005 92.22%
2004 91.67%
2003 90.12%
2008 89.58%
2011 89.00%
1995 88.89%
1992 87.27%
1994 86.76%
1996 86.49%
1997 86.42%
2001 85.37%
1999 85.00%
2012 83.84%
2000 82.72%
1998 82.67%
2002 81.93%
1991 80.00%
1993 73.61%
1990 64.15%
ついでにこれが満点を獲った日本の学生
2005 Toshiki Kataoka
2005 Tsukasa Kuribayashi
2009 Makoto Soejima
842:132人目の素数さん
12/09/24 20:33:18.11
>>836
スレチだが、若い世代は長期の不況に加え就活に苦労し、
放射能は浴びせられ、親が借金で
夜逃げも当たりの時代だからな。
その上ゆとりだと散々馬鹿にもされる。
保険が払えなくて病院にも行けない。
嫌な時代だ。