Inter-universal geometry と ABC予想
レス数が1000を超えています。これ以上書き込みはできません。
0001１３２人目の素数さん
2012/09/24(月) 19:31:11.61数学の中身に関する話をしよう
0002１３２人目の素数さん
2012/09/24(月) 19:53:41.590003１３２人目の素数さん
2012/09/24(月) 20:15:47.78, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0004１３２人目の素数さん
2012/09/24(月) 20:17:54.57, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0005１３２人目の素数さん
2012/09/24(月) 20:38:15.58》|||《数学オリンピック 24》|||《
http://uni.2ch.net/test/read.cgi/math/1330837212/
雑談はここに書け！【４５】
http://uni.2ch.net/test/read.cgi/math/1338595264/
【院生】統合失調症のスレ2【非常勤】
http://uni.2ch.net/test/read.cgi/math/1288851564/
0006１３２人目の素数さん
2012/09/24(月) 21:28:23.960007１３２人目の素数さん
2012/09/24(月) 23:10:41.17トポロジーの手法が使われていなかった
自分には証明がまったくわからなかった
誰か助けてくれ
0008１３２人目の素数さん
2012/09/25(火) 01:39:57.060009１３２人目の素数さん
2012/09/25(火) 03:05:09.04今までのことを自分なりにまとめてみた。誤りがあったら指摘よろ
===準備===
・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のときは証明済みだからフェルマーの定理が成り立つ
0010１３２人目の素数さん
2012/09/25(火) 03:05:47.96>>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の定理が成り立つ。
0011１３２人目の素数さん
2012/09/25(火) 05:27:17.67任意に小さい k > 0 に対して無限個ある例だと (1, 3^(2^n) -1, 3^(2^n)) があって後者の証明は
http://www.math.tohoku.ac.jp/~ytakao/papers/abc.pdf
の11ページと
http://www.noncommutative.org/index.php/the-abc-conjecture-and-some-generalities.html
のRemark4
前者は英語版・日本語版のwikipediaでなら見つかる
64^n - 1 ≡ 1-1 ≡ 0 mod 9 だから
rad(b)=rad(64^n-1) ≦ b/9 と rad(c)=2 より rad(abc) ≦ (2/9)*b < (2/9)*c
>824 名前：１３２人目の素数さん[sage] 投稿日：2012/09/24(月) 18:13:55.80
>ε＝０のときに無限個の例外がある説明ででてくるこの式はどうやって証明するの？
>2＾（p(p-1)）≡ 1 (mod p＾2)
これは 2^(p-1) ≡ 1 mod p より 2^(p-1) = ap+1 とおけば
2^(p(p-1)) = (ap+1)^p を二項展開すると最後の二項以外はp^2で割り切れるから
2^(p(p-1)) ≡ p * ap*1^(p-1) + 1 ≡ 1 mod p^2
上記の例使うと (1, 2^(p(p-1)n) -1, 2^(p(p-1)n)) の p を大きくすれば k を小さく出来ると
0012１３２人目の素数さん
2012/09/25(火) 11:01:26.98圏論の一般的な事が書かれてあって別にこれはABC予想の証明とは関係ないの？
0013１３２人目の素数さん
2012/09/28(金) 15:21:55.44反例が提出された模様。詳細不明。
http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/#comment-10863
http://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture/107279#107279
0014１３２人目の素数さん
2012/09/28(金) 20:48:40.430015１３２人目の素数さん
2012/09/28(金) 21:55:41.29, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0016１３２人目の素数さん
2012/09/28(金) 23:08:14.96WIRED.jp 9月26日(水)23時38分配信
http://zasshi.news.yahoo.co.jp/article?a=20120926-00000303-wired-sci
0017１３２人目の素数さん
2012/09/29(土) 00:44:38.700018１３２人目の素数さん
2012/09/29(土) 04:03:43.090019１３２人目の素数さん
2012/09/29(土) 08:23:56.910020１３２人目の素数さん
2012/09/29(土) 10:42:53.48ノウハウに転用されそうだな。
0021１３２人目の素数さん
2012/09/29(土) 10:56:14.51帰ってきた時は30点だったという中学高校生が如何に多い事か
0022１３２人目の素数さん
2012/09/29(土) 13:15:16.22数オリとか大学とかそういう話題は他の場所でやって
数学の中身に関する話をしよう
0023１３２人目の素数さん
2012/09/29(土) 13:29:07.920024１３２人目の素数さん
2012/09/29(土) 16:47:44.280025１３２人目の素数さん
2012/09/29(土) 19:48:31.71880 名前：１３２人目の素数さん[sage] 投稿日：2012/09/27(木) 17:38:54.11
3^a + 4^b = 5^c をみたす自然数の組 (a, b, c) をすべて求めよん
0026１３２人目の素数さん
2012/09/30(日) 16:21:42.190027１３２人目の素数さん
2012/09/30(日) 17:30:28.37, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
0028１３２人目の素数さん
2012/09/30(日) 18:37:42.830029１３２人目の素数さん
2012/10/01(月) 12:15:59.800030１３２人目の素数さん
2012/10/01(月) 21:35:12.970031１３２人目の素数さん
2012/10/01(月) 21:38:07.34奢って
0032１３２人目の素数さん
2012/10/01(月) 22:01:25.360033１３２人目の素数さん
2012/10/01(月) 22:15:22.62伊勢物語か…。
0034１３２人目の素数さん
2012/10/14(日) 10:03:19.42職場仲間での宴会の二次会などで、カラオケボックスに行くと、
毎回私達女性に見せてきます。私達も面白がって、
長さを測ったことがありますが、普通の状態でも、１７～８ｃｍあって、
勃起すると２５ｃｍ位ありました。
確かに「凄いナァ」とは思いますけれど、何て言うんでしょう、
見てる分には「珍品」として面白いですけれど、
それ以上は何とも思いませんね。
別に「巨根」だから、それだけでモテルということは無いでしょう。
でもまあ、その位の巨根だと滅多に見る機会はありませんから、
私達女性も好奇心と言うか面白半分で見てみたいとは思いますから、
ゲーム感覚で仲良くなるきっかけにはなりますよね。
こういう特別な珍品でもなければ、カレシでもない男性が
女性に性器を見せるなんてあり得ないですものね。
コレが普通サイズだったら、何の興味も無いし変態男としか思いませんけれど、
このくらいの珍品になると「面白さ」が先に来て、
その人の個性と言う感じであまり抵抗無く見せてもらいますね。
その意味では、モテル可能性も無いではないですが、
お付き合いしたいと言うのとは違いますよね。
むしろ逆で、もし私のカレシがそんなだったら、私の体が壊されそうで怖いですよ。
0035１３２人目の素数さん
2012/10/14(日) 10:36:24.53各階層の宇宙が、ロシア人形みたいに中に入っているってこと？
(宇宙A)⊂(宇宙B)⊂(宇宙C)⊂……
のように
0036１３２人目の素数さん
2012/11/13(火) 19:09:20.01／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
0037令嬢
2012/12/22(土) 21:36:47.97, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ | このスレには馬と鹿と豚さんしかいないのね。
| ` -'＼ ｰ' 人
| /(l ＿＿／ ヽ、
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0038１３２人目の素数さん
2013/01/20(日) 23:29:14.70, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ | このスレは馬と鹿と豚さんばかりね。
| ` -'＼ ｰ' 人
| /(l ＿＿／ ヽ、
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0039１３２人目の素数さん
2013/02/14(木) 20:38:55.32, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ | このスレは馬と鹿と豚さんばかりね。
| ` -'＼ ｰ' 人
| /(l ＿＿／ ヽ、
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0040１３２人目の素数さん
2013/02/15(金) 02:20:29.680041１３２人目の素数さん
2013/05/17(金) 20:53:48.17, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0042１３２人目の素数さん
2013/05/21(火) 18:27:48.830043あのこうちやんは始皇帝だった
2013/05/21(火) 18:58:57.58憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
0044１３２人目の素数さん
2013/05/21(火) 19:03:34.39, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ | このスレ 馬と鹿と豚ばかりね。
| ` -'＼ ｰ' 人
| /(l ＿＿／ ヽ、
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0045１３２人目の素数さん
2013/06/04(火) 21:15:36.26がFrobenioidの勉強にとりかかった模様。
https://plus.google.com/115831511988650789490/posts
http://www.neverendingbooks.org/content/minutemochizuki-1
http://www.neverendingbooks.org/content/minutemochizuki-2
or
http://matrix.cmi.ua.ac.be/content/minutemochizuki-1
http://matrix.cmi.ua.ac.be/content/minutemochizuki-2
IUTTに到達するのだろうか？
(だとしても時間がかかりそうだが、)
0046１３２人目の素数さん
2013/06/27(木) 05:14:34.52間主観がintersubjectなんだから
「宇宙際」より「間宇宙」の方がカッコいい
0047１３２人目の素数さん
2013/07/03(水) NY:AN:NY.AN0048１３２人目の素数さん
2013/07/08(月) NY:AN:NY.AN一時停滞していたみたいだけど、望月さんからのメールで復活するの
かな
https://plus.google.com/115831511988650789490/posts/NZFgWee2Hi3
0049１３２人目の素数さん
2013/07/11(木) NY:AN:NY.AN0051１３２人目の素数さん
2013/07/13(土) NY:AN:NY.ANそれらを用いて定義する論理式とその真偽も含まれてるのか
universeって集合族もしくはある種のクラスとしてしか与えられてないと誤解してた
複数の宇宙を考えるのは超準解析で複数のモデルを考えるような物かね
といっても望月氏は可算個の宇宙を考えて
各宇宙に一つの点を対応させるような空間Xを用意して
空間X上でガウス積分みたいな物考えてる…のかな？そんな感じだから凄いが
0052１３２人目の素数さん
2013/07/13(土) NY:AN:NY.AN望月氏もABC予想証明が最後の業績になるだろうな。
0053１３２人目の素数さん
2013/07/13(土) NY:AN:NY.AN0054１３２人目の素数さん
2013/07/13(土) NY:AN:NY.AN点の存在しない空間って何なの？
0055１３２人目の素数さん
2013/07/13(土) NY:AN:NY.ANhttp://note.chiebukuro.yahoo.co.jp/detail/n15792
0056１３２人目の素数さん
2013/07/13(土) NY:AN:NY.AN既にGrothendieck予想解決という快挙を
成し遂げている上に、そのレベルに
及ばない凡庸な数学者が大半だと思うけど。
0057１３２人目の素数さん
2013/07/14(日) NY:AN:NY.AN0058１３２人目の素数さん
2013/07/14(日) NY:AN:NY.ANこの直線が2点B(-5,2),
C(6,-1)を結ぶ線分(両端を含む)と共有点をもつとき、mの取り得る範囲を求めなさい。
0059１３２人目の素数さん
2013/07/22(月) NY:AN:NY.AN強制法の説明見たら宇宙とモデルが同じ意味で使われてるっぽいな
「宇宙」＝「モデル」なのか
Inter-model geometryでもいいのか
0060１３２人目の素数さん
2013/07/24(水) NY:AN:NY.ANMMRの「教授どうなんですか！！」の教授のモデルなのですか？？
0061１３２人目の素数さん
2013/07/25(木) NY:AN:NY.AN0062１３２人目の素数さん
2013/07/28(日) NY:AN:NY.ANみたいな使い方するのか
universe と model は一応違うと
0063１３２人目の素数さん
2013/07/31(水) NY:AN:NY.AN7/31更新
Kentaro Satoって？
0064１３２人目の素数さん
2013/08/01(木) NY:AN:NY.AN0065１３２人目の素数さん
2013/08/01(木) NY:AN:NY.AN望月さんの論文ってTEXとか画像作るの大変そうだなぁ
普通使わない記号とか図式だらけだし
0066１３２人目の素数さん
2013/08/01(木) NY:AN:NY.ANモッチーのもとで勉強したい
0067１３２人目の素数さん
2013/08/02(金) NY:AN:NY.ANしょっぱなに定義しとけばええやん
0068１３２人目の素数さん
2013/08/03(土) NY:AN:NY.ANI would like to thank Fumiharu Kato, Akio Tamagawa, Go Yamashita, and
Mohamed Sa¨.di for many helpful discussions concerning the material presented in
this paper. Also, I feel deeply indebted to Go Yamashita and Mohamed Sa¨.di for
their meticulous reading of and numerous comments concerning the present paper.
In addition, I would like to thank Kentaro Sato for useful comments concerning
the set-theoretic and foundational aspects of the present paper, as well as Vesselin
Dimitrov and Akshay Venkatesh for useful comments concerning the analytic
number theory aspects of the present paper.
一般人に啓蒙するというより。、こういう進め方を道月新一は望んでんでいるのだろうね。。
006968
2013/08/03(土) NY:AN:NY.ANお詫びに 既出だけど、玉川先生のおはなし
12/12放送分Kyoto University Academic Talk（前半）
https://www.facebook.com/photo.php?v=4402553096655&;set=vb.227068950685153&type=3&permPage=1
12/12放送分Kyoto University Academic Talk（前半）
https://www.facebook.com/photo.php?v=4402594137681&;set=vb.227068950685153&type=3&permPage=1
後半の9:25ぐらいに望月先生の仕事ぶりが・・・
昨日酒飲んで数学の話になったら、相手が酢学は科学じゃなくて文学に近いと言われているんですよと言ってきた。
同じようなものがふたつあるから1＋1＝2 そんなの感情にすぎないとかなんとか、よく理解できなかったけど、
望月先生の仕事ぶりは昔の前衛芸術家みたい。逆に今の芸術家や文学者はPC使いまくりだろう。
0070１３２人目の素数さん
2013/08/06(火) NY:AN:NY.AN0071１３２人目の素数さん
2013/08/06(火) NY:AN:NY.AN0072１３２人目の素数さん
2013/08/06(火) NY:AN:NY.AN0073１３２人目の素数さん
2013/08/06(火) NY:AN:NY.AN0074１３２人目の素数さん
2013/08/06(火) NY:AN:NY.ANhttp://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20ni%20tsuite%20no%20FAQ.pdf
0075１３２人目の素数さん
2013/08/06(火) NY:AN:NY.AN0076１３２人目の素数さん
2013/08/06(火) NY:AN:NY.AN0077１３２人目の素数さん
2013/08/06(火) NY:AN:NY.AN0078１３２人目の素数さん
2013/08/06(火) NY:AN:NY.ANさんく
0079１３２人目の素数さん
2013/08/07(水) NY:AN:NY.AN基礎論の研究してるけど数論や代数幾何にも明るい人って他にもいるかもしれんが
0080１３２人目の素数さん
2013/08/07(水) NY:AN:NY.AN008168
2013/08/07(水) NY:AN:NY.AN初版はいまはどこをみればあるんだろう。
知っている人、教えてください。
0082１３２人目の素数さん
2013/08/07(水) NY:AN:NY.ANその本の対談相手のブログでフェルマー予想の別証明は得られないと書いてあるけど、
ニュースソースなんかはみなフェルマー予想の別証明になると報じてるがどっちが正しいんだ？
http://d.hatena.ne.jp/hiroyukikojima/20130424/1366809361
初期のエラーを見つけて第4紙の謝辞にも登場するディミトロフも
フェルマー予想の別証明になると明確に書いてたように記憶しているが・・・。
0083１３２人目の素数さん
2013/08/08(木) NY:AN:NY.AN0084１３２人目の素数さん
2013/08/09(金) NY:AN:NY.AN::::::::: へ( ^q^')ﾉ ＡＢＣ予想の査読完了まじかですか。
::::::::: (┐ノ とりあえず、証明は正しいとみていいんですね？
:::::::::: ／
::::::::::::::::::::::::::::::::::
0086１３２人目の素数さん
2013/08/09(金) NY:AN:NY.ANεの方でもフェルマーは解ける。初等的ではないが。
0087１３２人目の素数さん
2013/08/10(土) NY:AN:NY.ANその後講演して、査読完了の狼煙があがる
0088１３２人目の素数さん
2013/08/10(土) NY:AN:NY.AN0089１３２人目の素数さん
2013/08/10(土) NY:AN:NY.ANマジですか
εの方から2の方も出たりして
0090１３２人目の素数さん
2013/08/10(土) NY:AN:NY.AN0091１３２人目の素数さん
2013/08/10(土) NY:AN:NY.AN0092１３２人目の素数さん
2013/08/10(土) NY:AN:NY.ANRiemann zeta function is closely related to the theta function, i.e., by means
of the Mellin transform. In light of the central role played by theta functions
in the theory of the present series of papers, it is tempting to hope, especially
in the context of the observations of (i), (ii), that perhaps some extension of the
theory of the present series of papers . i.e., some sort of “inter-universal Mellin
transform” . may be obtained that allows one to relate the theory of the present
series of papers to the Riemann zeta function.
(iv) In the context of the discussion of (iii), it is of interest to recall that, relative
to the analogy between number fields and one-dimensional function fields over
finite fields, the theory of the present series of papers may be thought of as being
analogous to the theory surrounding the derivative of a lifting of the Frobenius
morphism [cf. the discussion of [IUTchI], §I4; [IUTchIII], Remark 3.12.4]. On the
other hand, the analogue of the Riemann hypothesis for one-dimensional function
fields over finite fields may be proven by considering the elementary geometry
of the [graph of the] Frobenius morphism. This state of affairs suggests that
perhaps some sort of “integral” of the theory of the present series of papers could
shed light on the Riemann hypothesis in the case of number fields.
なんかよくわからんけど、もうリーマン予想解決が近いような文章じゃない
0093１３２人目の素数さん
2013/08/10(土) NY:AN:NY.ANいつ？
0094１３２人目の素数さん
2013/08/10(土) NY:AN:NY.AN１年やそこらでしかも日本人数学者だけで査読って完了するもんなの？
0095１３２人目の素数さん
2013/08/10(土) NY:AN:NY.ANするもんだよ
0096１３２人目の素数さん
2013/08/11(日) NY:AN:NY.AN主要な学術誌に論文を投稿する前段階ってところじゃなかろうか？
私は専門家でもなんでもないが、本来はまず同僚たちと内々に査読を行い、
その後主要な学術誌に投稿して最終的な判断を仰ぐんだろ？
今回はそれをすっ飛ばしていきなりネット上に論文を投稿したもんだから問題になってるんだろう。
0097１３２人目の素数さん
2013/08/11(日) NY:AN:NY.AN数理研のprims？それとも海外の？
IUTTがああいう形でホームページ発表して、一年の間で更新更新されてて、一年前とはかなり違う内容？になってる訳だから、同時にどっかの学術誌に投稿してることは有り得ないよね？査読者と投稿者は接触しないわけだから
つことはまだ投稿さえしてないんだろう
うえー、それじゃあ査読完了なんてまだまだ先じゃねえの？
0098１３２人目の素数さん
2013/08/12(月) NY:AN:NY.AN0099１３２人目の素数さん
2013/08/12(月) NY:AN:NY.AN数学の世界と言えども人間がやってることですし。
0100１３２人目の素数さん
2013/08/12(月) NY:AN:NY.ANIUTTでもモハメド・サイディがかなりかんでる
0101１３２人目の素数さん
2013/08/12(月) NY:AN:NY.ANhttp://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1759.pdf
Ⅳの初出
リーマンゼータ関数という言葉は出てくるが、リーマン予想、Riemann Hypothesisは初出では
出てこない。
ページ数も最新版より８p少ない。この論文自体が進化、深化しているとしたら面白い。
0102１３２人目の素数さん
2013/08/12(月) NY:AN:NY.ANだからこそ、どこの時点で学術誌に正式に投稿するのかが気になるな
0103１３２人目の素数さん
2013/08/13(火) NY:AN:NY.AN世界の数学コミュニティの数学者たちが自分の推論についてこれる時期を
見計らっているのかも。
0104１３２人目の素数さん
2013/08/14(水) NY:AN:NY.AN板の住人に小馬鹿にされてたようなｗ
0105１３２人目の素数さん
2013/08/15(木) NY:AN:NY.AN0106１３２人目の素数さん
2013/08/16(金) NY:AN:NY.AN0107１３２人目の素数さん
2013/08/16(金) NY:AN:NY.AN得たということか。
0108１３２人目の素数さん
2013/08/16(金) NY:AN:NY.AN望月教授の着想も、誰か高名な数学者が溝に落ちるくらいであって欲しいねｗ
0109１３２人目の素数さん
2013/08/16(金) NY:AN:NY.AN0110１３２人目の素数さん
2013/08/16(金) NY:AN:NY.AN0111１３２人目の素数さん
2013/08/16(金) NY:AN:NY.AN0112１３２人目の素数さん
2013/08/16(金) NY:AN:NY.AN0113靖国参拝、皇族、国旗国歌、神社神道を異常に嫌うカルト教団
2013/08/16(金) NY:AN:NY.AN・沢山の人が偏った意見を一貫して支持する
偏った意見でも、集団の中でその意見が信じられていれば、自分の考え方は間違っているのか、等と思わせる手法
・不利な質問をさせなくしたり、不利な質問には答えない、スルーする
誰にも質問や反論をさせないことにより、誰もが皆、疑いなど無いんだと信じ込ませる手法
↑マスコミや、カルトのネット工作員がやっていること
TVなどが、偏った思想や考え方に染まっているフリや常識が通じないフリをする人間をよく出演させるのは、
カルトよりキチガイに見える人たちを作ることで批判の矛先をカルトから逸らすことが目的。
リアルでもネットでも、偽装左翼は自分たちの主張に理がないことをわかっているのでまともに議論をしようとしないのが特徴。
0114１３２人目の素数さん
2013/08/16(金) NY:AN:NY.AN望月先生の修正版をみてるなら判るでしょ
単なるmisprintですよ
0115１３２人目の素数さん
2013/08/17(土) NY:AN:NY.AN>代数的なアプローチ
みたいに代数だの幾何だのと言ってる(言えてる)うちはダメな気もする
0116１３２人目の素数さん
2013/08/17(土) NY:AN:NY.AN0117１３２人目の素数さん
2013/08/17(土) NY:AN:NY.AN簡単にいうと足し算も掛け算も同じものとして扱える
手法を編み出したということ？同じように点も空間も同じ
ものとして扱えるとか。
0118１３２人目の素数さん
2013/08/17(土) NY:AN:NY.AN>the Riemann hypothesis for one-dimensional function fields over finite fields
の中に本家のリーマン予想は入ってないの？
0119１３２人目の素数さん
2013/08/18(日) NY:AN:NY.ANメラン変換によってテータ関数とリーマンゼータ関数に親和性が認められる。この理論の発展によりリーマンゼータ関数の理論についての新たな進展が望める。
意訳したらこんなかんじ？
0120１３２人目の素数さん
2013/08/18(日) NY:AN:NY.AN0121１３２人目の素数さん
2013/08/18(日) NY:AN:NY.AN0122１３２人目の素数さん
2013/08/18(日) NY:AN:NY.AN0123１３２人目の素数さん
2013/08/19(月) NY:AN:NY.AN未征服の最高峰「リーマン予想」 裾野を歩く
http://globe.asahi.com/feature/100201/04_1.html
http://globe.asahi.com/feature/100201/04_2.html
http://globe.asahi.com/feature/100201/04_3.html
0124１３２人目の素数さん
2013/08/20(火) NY:AN:NY.ANこれだけで凄い数学的成果ではないの？
0125１３２人目の素数さん
2013/08/20(火) NY:AN:NY.AN0126１３２人目の素数さん
2013/08/20(火) NY:AN:NY.AN0127１３２人目の素数さん
2013/08/22(木) NY:AN:NY.ANhttp://www.math.upenn.edu/~pop/Research/files-Res/LondonON_talk.pdf
Using p-adic anabelian ideas: The right p-adic uniformization would imply the
ABC Conjecture!
http://www.mathi.uni-heidelberg.de/~stix/SoSe13abc.html
加藤和也スレにあった
http://uni.2ch.net/test/read.cgi/math/1293513119/249
講義ノートが更新されていて
http://math.uchicago.edu/~chonoles/expository-notes/
Lecture 26で望月さんに少し触れていた
0128１３２人目の素数さん
2013/08/22(木) NY:AN:NY.ANIf you look at Mochizuki's homepage, you can see that his picture is somewhat strange, it is like
*makes face*. But 10 years ago he was normal, and also I still understood his work then. In most
pictures of Mochizuki, he looks normal, but for some reason he has chosen a strange picture.
確かにＨＰにある今年の桜の延々たる動画を見ると長さはともかく、そんなに美的センスがないとは思えないものな・・・
0129１３２人目の素数さん
2013/08/23(金) NY:AN:NY.ANhttp://www.math.columbia.edu/~woit/wordpress/?p=5104
見つけてきてやったぞ。
望月は（証明が正しければ）確かに強いABC予想を証明してるそうだ。
つまりFLTの別証明になる！
0130１３２人目の素数さん
2013/08/25(日) NY:AN:NY.AN意外と関係者は書き込んでないのか
0131１３２人目の素数さん
2013/08/26(月) NY:AN:NY.AN11月にいよいよ海外遠征すのかにゃ？
0132１３２人目の素数さん
2013/08/26(月) NY:AN:NY.ANε=1 and K（ε）=１ってこと？
0133１３２人目の素数さん
2013/08/26(月) NY:AN:NY.ANキムさんがダメモトで誘ったら意外にもって感じかな
11月に何がハップンするのかキムさんにも判らないって
本当に心騒ぐよ
0134１３２人目の素数さん
2013/08/27(火) NY:AN:NY.AN凄いな高次元圏。
もっちーの数論幾何とかが超具体的に思えてくる
0135１３２人目の素数さん
2013/08/27(火) NY:AN:NY.AN具体的対象ばかり扱ってる数論幾何は
数論の難問と関連付けられて花形あつかいされてるけど
ｎ圏のほうがはるかに難解
数学ってのは通常の圏（１圏）しか問題にできない
なぜなら２圏、３圏とあがってくに連れて
内部の演算構造が複雑になっていくから
いってみれば論理学でいうメタ構造に近いね
ただし最近は場の理論みたいな物理学方面からむしろ
高次元圏が注目されていて
例えば２群みたいな群構造のひとつ上位の演算構造が
使われたりしてる
いずれにしろABC予想とか具体性をもった数論の問題など
雑学に過ぎず、もっちーの理論自体が平面幾何みたいな位置づけになってる
これを理解してるやつは多くないね
ちなみに計算機科学でも４圏あたりは出てくるよ
人に計算できるのはこのあたりで５圏になると
どのような演算構造がはいるのか未知の領域になってくるよ
実際には圏を定義するための台が難しいんだけどね
0136１３２人目の素数さん
2013/08/27(火) NY:AN:NY.AN0137１３２人目の素数さん
2013/08/27(火) NY:AN:NY.AN２ちゃんねるは危険だ！
続きはおーぷんで話そう！
0138１３２人目の素数さん
2013/08/27(火) NY:AN:NY.AN0139１３２人目の素数さん
2013/08/27(火) NY:AN:NY.AN見通せてシンプルでエレガントに記述できるようになるのか、それとも逆に迂遠で煩雑で
どうにもならないものになるのかどっちなんでしょうか。それとも一部がすっきり
整理出来るようになるとか、、
0140１３２人目の素数さん
2013/08/27(火) NY:AN:NY.ANしかしそれが人間の直感にやさしいかは別
ただ最終的に証明の保証を与えるものとして必要だよ圏は
数理論理学さえ内包しちゃう世界の原理
0141１３２人目の素数さん
2013/08/27(火) NY:AN:NY.AN0142１３２人目の素数さん
2013/08/28(水) NY:AN:NY.AN部分が全体より簡明であるとは限らない。
0143１３２人目の素数さん
2013/08/30(金) NY:AN:NY.AN0144１３２人目の素数さん
2013/08/30(金) NY:AN:NY.AN0145１３２人目の素数さん
2013/08/30(金) NY:AN:NY.ANそんなことして意味あるか知らんが
0146１３２人目の素数さん
2013/08/30(金) NY:AN:NY.AN0147１３２人目の素数さん
2013/08/30(金) NY:AN:NY.AN数学以外の応用が豊富だから大丈夫
例えばパワポでプレゼンやる人なんかが作る図も実は簡単な圏とかになってたりするし
ｎ圏とかｎ亜群って演算で閉じていることだけが要求される代数構造（集合論的じゃない）だから
最近はオブジェクトではなくcellって呼ばれるようになってて
マクレーンの数学労働者用圏論とは異なってきてる
（最近の版じゃ２圏が追加されたけどマクレーンの本は視点が古い）
従来のカテゴリーは対象から対象の射が一つだけだったけど
複数の射がとれるような対象が高次元ホモトピー論とか計算機から
要求されるようになってマルチカテゴリーって圏論が再構築されて
operad理論と合流して研究が進行してる
TQFTなんかは高次元圏の有名な例
結び目理論のブライド圏なんかは３圏で研究されている
(とはいっても３圏は構造がやっかいで２圏と比べると使いにくい)
高次元圏のcellの表示法は今ではopetopeが主流かな
http://sma.epfl.ch/~finster/opetope/opetope.html
ここで自由に図式が作れるよ
とはいえ現在人類が具体的な構造を与えられているのは４圏の
Tetracategoryあたりが限界でそれ以上の次元では
演算が（圏論って結局演算とか操作に関する理論）複雑すぎて何がおこってるのかよくわからない
ちなみに線形代数を圏化してそれを参考に２圏において高次の線形代数を再構築するという
いかれたプロジェクトも進行中（行列計算が複雑化してゆく）
もちろんグロタンディークの∞亜群の研究も発展している
例えば通常の圏論は２次元（つまり紙の上のような平面上）で
表記可能だが、高次元の圏や亜群ではそれを記述するのに必要な場の
次元や定義さえも重要になってくる（これが台というもの）
だから結局高次元圏の厳密な定義とか形式化はユニークじゃなくていくつかの流派にわかれているんだよ
0148１３２人目の素数さん
2013/08/31(土) NY:AN:NY.ANIU幾何を圏論の枠組みにいれるなら高次元圏とかの前に
まずmorphismの定義とかを少し変えた方がいいと思う
0149１３２人目の素数さん
2013/08/31(土) NY:AN:NY.ANもしかして望月さん？
0150１３２人目の素数さん
2013/08/31(土) NY:AN:NY.AN0151１３２人目の素数さん
2013/08/31(土) NY:AN:NY.ANどこらへんに書いてあるの？11月のこと
0152１３２人目の素数さん
2013/08/31(土) NY:AN:NY.ANp.93の左下から右上
「あなたは望月と今年の11月に会議を開催して、いったい何が成し遂げられたのかを見極めようしています。
あなたの今の展望を教えてください」
「まず言わなければならないことは、11月に何が起こるかとても見通せないことです。
とにかく望月自身が参加してくれるなんて思ってませんでした」
0153１３２人目の素数さん
2013/08/31(土) NY:AN:NY.ANありがとう！アメリカのどっかの大学だっけ？山下剛さんもいくとか行かないとか？
0154sage
2013/08/31(土) NY:AN:NY.AN酷い英文読解力！
0155１３２人目の素数さん
2013/08/31(土) NY:AN:NY.AN素晴らしい注意力ｗｗｗｗｗ
0156１３２人目の素数さん
2013/08/31(土) NY:AN:NY.AN>結び目理論のブライド圏なんかは３圏で研究されている
0157１３２人目の素数さん
2013/09/01(日) 00:35:27.41もともと９０年代の理論物理学関連からはじまってる
２群（群論のｐ群じゃなくて群を２圏での構成）とか２ベクトル空間とか
２群の定義の具体例は下のを参考に
http://arxiv.org/pdf/math/0307200v3.pdf
２群の定義や演算だけでもかなり複雑で
記法も工夫しなければならないことがわかる
0158１３２人目の素数さん
2013/09/01(日) 16:09:19.18ただのラベルの付け替えじゃないのか？
0159１３２人目の素数さん
2013/09/01(日) 18:12:47.66集合論から出てこないような数学を作り出すこともできる
圏論から生まれた新しい数学もあるし
ファインマンダイアグラムも圏論使わないと定式化できない
0160１３２人目の素数さん
2013/09/01(日) 18:15:03.280161１３２人目の素数さん
2013/09/01(日) 18:17:29.720162１３２人目の素数さん
2013/09/01(日) 20:24:37.94ルーリーはものすごい広大な世界をつくっていて
もっちーが多少規模を狭めて深く掘り進んでるってかんじかな
ヒルベルト→グロタンディーク→ルーリー
２１世紀の数学はルーリーが支配する可能性もある
もっちーはワイルズと同じで割と堅実な路線
Higher topos theoryを読んでるともっちーのUI幾何との類似がいくつもでてくる
0163１３２人目の素数さん
2013/09/01(日) 23:11:03.41にまでいくかどうかわからないけど、
おそらく行くと思う。まあ、それは別として
圏をつくってスキーム論的でない射
--F_1上の自己同型--を構成する的なアイデアが
面白そう。向井茂のアーベル多様体へのSL_2作用
--導来圏をとおす--にも通じるところがある。
0164１３２人目の素数さん
2013/09/02(月) 08:21:33.780165１３２人目の素数さん
2013/09/02(月) 17:24:38.710166１３２人目の素数さん
2013/09/03(火) 03:43:28.17当然複雑であればあるほど優れているということも無い
0167１３２人目の素数さん
2013/09/03(火) 07:12:46.74ガロア群にあたるものを遠アーベル幾何で解くというアイデア
圏論は補助的役割で
例えばZ/2Zは整数を２で割った余りの集合で｛0,1｝になるけど
単なる｛0,1｝には２で割るとかの情報はないため
これらをことなったグロタンディーク宇宙で議論して
それをΘlinkでつなぐ部分で使う
0168１３２人目の素数さん
2013/09/03(火) 13:14:16.100169１３２人目の素数さん
2013/09/03(火) 14:13:32.660170１３２人目の素数さん
2013/09/03(火) 15:57:36.740171１３２人目の素数さん
2013/09/03(火) 16:43:46.560172１３２人目の素数さん
2013/09/03(火) 20:08:56.16２群から自然にでてくんだよね
高次圏は理論物理の基本的な言葉になってる
0173１３２人目の素数さん
2013/09/03(火) 20:10:52.660174１３２人目の素数さん
2013/09/03(火) 20:58:33.520175１３２人目の素数さん
2013/09/03(火) 21:04:49.440176１３２人目の素数さん
2013/09/04(水) 00:54:57.39そもそもΘlinkの議論の場はおそらく２圏で形式化されるから。
もっちーのアイデアでは複数個のグロタンディーク宇宙全体を同時に扱う必要があるけど、
グロタンディーク宇宙の集合間の関手として定義される(2,1)-stackと呼ばれる２層が必要。
ZFCでやるなら到達不能基数は最低でも加えないとダメ。
ちなみにstack projectで定義してるのはArtin stackで
亜群のファイバーをグロタンディーク位相に絞って具現化したものだから汎用性が低い数論幾何特化型。
これじゃもっちーの論証の複雑さに耐えられない。
http://math.berkeley.edu/~anton/written/Stacks/Stacks.pdf
これの２４章の方の定義のスタックじゃないと厳しい。
ファインマンダイアグラム＜－－＞２群
スタック＜ーー＞２層
0177１３２人目の素数さん
2013/09/04(水) 01:22:56.580178１３２人目の素数さん
2013/09/04(水) 20:07:44.56これを
ガロア群にあたるものを高次圏で解く
とかできないの？ すいません。わけも分からずｗ
0179１３２人目の素数さん
2013/09/04(水) 20:09:56.120180１３２人目の素数さん
2013/09/04(水) 20:55:34.52＞ZFCでやるなら到達不能基数は最低でも加えないとダメ。
おかしいな、IU幾何は基礎論的には何もアヤシイことは無いっていう話だったはずだが。
それとも、この程度のことはアヤシイと見なさないってことか。
0181１３２人目の素数さん
2013/09/04(水) 21:07:16.29巨大基数の存在を仮定するのは別に何も怪しくない
0182１３２人目の素数さん
2013/09/04(水) 22:19:01.21しかし山下君のプレゼンテーション技術がアレだからなあ
0183１３２人目の素数さん
2013/09/04(水) 23:09:20.39∞＾∞＾∞＾・・・（無限に続く）圏
0184１３２人目の素数さん
2013/09/04(水) 23:36:49.540185１３２人目の素数さん
2013/09/05(木) 00:04:34.61ガロア群と同型な群を探し当てること
もっちーの場合はスキーム上の表現行列として扱ってる
>>180
もっちーが間違ってるなんていってないよ
もっちーの例の論文は全体的に非公式な記述をふんだんに使ってて
それが論法として許されることを説明してるのが宇宙際の4つ目の論文
ZFCは集合しか扱えないので圏を扱うにはグロタンディーク宇宙存在公理が必要だってこと
このグロタンディーク宇宙存在公理のかわりにZFCに到達不能基数存在公理を加えてもいいってこと
0186sage
2013/09/05(木) 22:11:04.08やっぱりナ
0187１３２人目の素数さん
2013/09/06(金) 20:20:40.830188１３２人目の素数さん
2013/09/06(金) 21:11:35.310189１３２人目の素数さん
2013/09/06(金) 22:18:44.18>いかれたプロジェクトも進行中（’行列’計算が複雑化してゆく）
>ガロア群にあたるものを遠アーベル幾何で解くため
>もっちーの場合はスキーム上の表現’行列’として扱ってる
あとは分かるな？ おれはもちろんわかんらん
>もっちーのアイデアでは複数個のグロタンディーク宇宙全体を同時に扱う必要がある
それには
>グロタンディーク宇宙の集合間の関手として定義される(2,1)-stackと呼ばれる２層が必要
つまり、グロタンディーク宇宙全体を同時に扱うということは、(2,1)-stackと呼ばれる２層の
高次圏同士の関手を扱うということと同等ということだろう。
わかるひとにはわかるはずだ。おれはもちろんわかんらん
そして、将来は数学書も物理学書も矢印だらけの記号で埋め尽くされることに
なるはずだｗ
0190１３２人目の素数さん
2013/09/06(金) 22:33:30.250191１３２人目の素数さん
2013/09/06(金) 23:31:38.96ソーカルなんて初めて知った 勉強になった
0192１３２人目の素数さん
2013/09/07(土) 01:13:36.530193１３２人目の素数さん
2013/09/07(土) 03:24:20.860194１３２人目の素数さん
2013/09/07(土) 09:48:06.16( Time + flies ) -> 始対象（ initial object ） ->言語論でいえば 特別な対象 主語（主体）
( like ) -> 射 ( arrow ) ->言語論でいえば 動詞 終対象（ terminal object ） があれば他動詞なければ自動詞
( an + arrow ) -> 終対象（ terminal object ) ->言語論でいえば 特別な対象 目的語(客体)
分析２：( Time + flies ) <- ( like ) <- ( an + arrow )
みたいなことか？
0195１３２人目の素数さん
2013/09/07(土) 11:27:21.210196１３２人目の素数さん
2013/09/07(土) 12:18:43.22人が読んでわかりやすく書くというのも重要
0197１３２人目の素数さん
2013/09/07(土) 13:24:42.69今や基礎的なガウス理論だって当時は無視されてたし
0198１３２人目の素数さん
2013/09/07(土) 14:56:17.320199１３２人目の素数さん
2013/09/07(土) 15:17:21.30いまリーマンよそーとけそうだからそんな時間ねーちょっとまってってんなら
仕方ないかと。ＲＩＭＳ内で査読始まってるみたいだし。
0200１３２人目の素数さん
2013/09/07(土) 16:38:37.47解けるまで頑張ってそれから発表すればいい
0201１３２人目の素数さん
2013/09/07(土) 18:42:02.12「abc予想が解けたと確信したからそれを正当化する宇宙際幾何学を発表した」
と受け取ってよいということか？
宇宙際幾何学も「ひとりよがりの数学」に見えるけど。
私はそういう「ひとりよがりの数学」みたいなものをしこしこやる人間も
数学の進歩には必要だと思うけどね。
0202１３２人目の素数さん
2013/09/07(土) 18:53:10.680203１３２人目の素数さん
2013/09/07(土) 19:05:04.460204１３２人目の素数さん
2013/09/07(土) 21:26:25.100205１３２人目の素数さん
2013/09/07(土) 21:46:16.700206１３２人目の素数さん
2013/09/07(土) 21:47:09.110207１３２人目の素数さん
2013/09/07(土) 21:48:28.840208１３２人目の素数さん
2013/09/07(土) 21:48:51.71今の望月は逃げ回るペレルマン並にひどくないか？
0209１３２人目の素数さん
2013/09/07(土) 21:50:23.67もちろんその道を整備するタイプも重要だけど。
両方兼ね備えた人がベストだろうが。
0210１３２人目の素数さん
2013/09/07(土) 21:54:32.060211１３２人目の素数さん
2013/09/07(土) 22:16:05.31数理研でも講演したし、東大でも講義したよね
あと海外で講演するんだっけかな
0212１３２人目の素数さん
2013/09/07(土) 22:44:26.410213１３２人目の素数さん
2013/09/07(土) 23:20:44.540214１３２人目の素数さん
2013/09/07(土) 23:24:06.73わけのわからん独自の記号や矢印は定義して使えよ
0215１３２人目の素数さん
2013/09/07(土) 23:40:54.170216１３２人目の素数さん
2013/09/07(土) 23:45:35.70論文読んでから、いえば
0217１３２人目の素数さん
2013/09/07(土) 23:59:54.86話の長い奴は頭が悪いと相場が決まってるわけだ
取り巻き連中含めママゴト遊びもいい加減にしろ
0218よってるから
2013/09/08(日) 00:07:05.42自分の代数の理解が浅いんじゃん
？
0219１３２人目の素数さん
2013/09/08(日) 00:10:05.92くたびれ儲けの骨折り損おまえらガンバ
0220１３２人目の素数さん
2013/09/08(日) 01:15:38.80じゃあ広中の電話帳もワイルズの電話帳も
20ページくらいに収めてくれ。
おまえ頭いいんだろう？
0221１３２人目の素数さん
2013/09/08(日) 02:51:21.14自由に返答してもらって、数学セミナーに掲載したら、売り上げ少しは上がるかな。
もっちーに、広中、グロタンディーク、ペレルマンについてのそのような質問をして、自由な返答を聞いてみたいです。
0222よってるから
2013/09/08(日) 04:01:05.31はじめてマンフォーどのレッドブックよんだときみたいな別世界体験をえられた
あ上の圏論の書き込みぜんぶわしのもんね
圏論なんて「～～の集合の集合」を使いたくないから導入してるだけ
実際安藤さんの本なんか位相空間だけで圏論ほとんど使ってないし
0223１３２人目の素数さん
2013/09/08(日) 05:50:25.98>圏論なんて「～～の集合の集合」を使いたくないから導入してるだけ
>圏論なんて「～～の集合の集合」を使いたくないから導入してるだけ
0224１３２人目の素数さん
2013/09/08(日) 06:30:34.560225よいさめてきた
2013/09/08(日) 07:24:15.38S1からの連続関数の像だけど
これをSｎに引き上げればｎ次ホモトピー論がでてくる
高次元の多様体は分割の仕方が特殊で
連続写像を射とするなら射の射まで考えないとならないから
ｎ次ホモトピー論を圏論で展開するならｎ圏が必要なことがわかる
しかしこの定義はまだ行われていない（ｎ圏の演算がよくわかってないから
いくつか候補みたいのはarxivにおちてるけど
この高次ホモトピー論によって現代数学を拡張するってアイデアは既にある
つまりZFCを抜け出そうとしてるわけさ
0226１３２人目の素数さん
2013/09/08(日) 08:18:32.22それでその階層性はもっち理論の
そっくりハウスの例えにつながるってわけか
0227１３２人目の素数さん
2013/09/08(日) 08:40:17.20数学者は矢のように時を飛ぶ蝿を好む。
ということか
0228１３２人目の素数さん
2013/09/08(日) 18:34:30.24カーソルってもう数学用語になってそうだけどなってないのかな
0229１３２人目の素数さん
2013/09/08(日) 19:20:26.060230１３２人目の素数さん
2013/09/08(日) 19:20:34.450231１３２人目の素数さん
2013/09/08(日) 19:23:18.630232１３２人目の素数さん
2013/09/08(日) 21:07:39.960233１３２人目の素数さん
2013/09/08(日) 21:10:14.90IU幾何は圏論をその一例として含む広い枠組みとあるぞ
（ΘΘ）<-やはり宇宙人の数学？
0234１３２人目の素数さん
2013/09/08(日) 21:37:47.53ZFCプラスアルファ程度の圏論もしかり
0235１３２人目の素数さん
2013/09/09(月) 12:17:55.880236１３２人目の素数さん
2013/09/09(月) 15:26:28.390237あのこうちやんは始皇帝だった
2013/09/09(月) 19:19:14.53コイツら、２０代と３０代の、無職の、ゴミ・クズ・カスのクソガキども！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0238１３２人目の素数さん
2013/09/09(月) 20:24:31.86無理数判定、超越数判定、無理数度計測もIU幾何からでてくることになるだろうね
0239１３２人目の素数さん
2013/09/10(火) 03:23:49.56【緊急特別報道】
カセットコンロでコーヒー沸かしてドカン!!!
(京都市上京区のマンションにて)
【コラム】
あぁ、素晴らしきかな豚丼
0240１３２人目の素数さん
2013/09/10(火) 07:30:59.32http://www.math.uni-hamburg.de/home/schreiber/scat.pdf
まぁルーリーなんかは高次代数で楽園つくろうとしてるかつてのグロタンだから
www.math.harvard.edu/~lurie/papers/higheralgebra.pdf
http://en.wikipedia.org/wiki/Higher-dimensional_algebra
いずれにしろ数学の高次化は避けられないでしょ
http://en.wikipedia.org/wiki/Double_groupoid
双亜群なんかのレベルでもこの演算の複雑さ、ひとつ高次化するだけでこれだよ？
しかもその定義の仕方が無数にあると・・・・
もっちーでもこの世界では赤子にすぎないからね
0241１３２人目の素数さん
2013/09/10(火) 07:40:56.650242１３２人目の素数さん
2013/09/10(火) 07:45:23.99すごくジレッタント臭がする
0243１３２人目の素数さん
2013/09/10(火) 09:08:22.34高次元圏論ってうさんくさそうなのを昔聞いたことあるなぁ．．
0244１３２人目の素数さん
2013/09/10(火) 13:36:33.40超弦理論やM理論と同じで一種の妄想・オカルトの類いやね
0245１３２人目の素数さん
2013/09/10(火) 14:17:06.000246１３２人目の素数さん
2013/09/10(火) 20:15:02.01「演算が複雑だからエライ」
みたいなアホなことは言ってないと思うけどね。
>>240のプレゼン能力が無いだけで。
科研費とかNSFとかに応募して
「これまでこんなに複雑な演算を定義した。
今後はより複雑な演算を定義するつもりである。」
とか書いたら研究費おりないだろｊｋ
0247１３２人目の素数さん
2013/09/10(火) 20:44:16.010248１３２人目の素数さん
2013/09/10(火) 22:10:00.39間違いなく内部観測がどうとかいって哲学者がのりこんできたからだね
超弦理論やM理論みたいな信仰とちがって矛盾なく定義された厳格な枠組みだけどね
ルーリーはホモトピー数学とか高次数学のように今の数学をもっと拡張したがってる
高次元圏が将来役に立つか不明だけど今のところTQFTがある
0249１３２人目の素数さん
2013/09/10(火) 22:27:14.76訳分からずにリンクを貼り付け回っていて怪しい
0250１３２人目の素数さん
2013/09/10(火) 22:34:24.55見かけた覚えがあるが．．自信ないけど
0251１３２人目の素数さん
2013/09/10(火) 22:44:51.320252１３２人目の素数さん
2013/09/10(火) 22:46:15.410253１３２人目の素数さん
2013/09/10(火) 22:56:45.10このプロジェクトのメンバーもMochizukiの論文は理解不能だとコメントしてたね
0254１３２人目の素数さん
2013/09/10(火) 23:17:09.250255１３２人目の素数さん
2013/09/11(水) 13:46:17.83高エネがどんどん実現できてるからね
理論（仮説）とよく一致する例があるからじきに・・・・
0256１３２人目の素数さん
2013/09/11(水) 14:59:41.99そのTQFT自体が胡散臭いんだが
0257１３２人目の素数さん
2013/09/11(水) 16:31:42.93>もっちーのアイデアでは複数個のグロタンディーク宇宙全体を同時に扱う必要があるけど、
>グロタンディーク宇宙の集合間の関手として定義される(2,1)-stackと呼ばれる２層が必要。
>ZFCでやるなら到達不能基数は最低でも加えないとダメ。
巨大基数公理とかを加えないとダメってのは否定しないけど
弱2圏の枠組み内でΘ-linkを記述出来るのか？
Θ-linkは緩めた結合律も満たさないように見える
高次圏論の世界ではIU幾何も赤子、みたいな意見もあるようだが
今考えられている高次圏論のままではまだIU幾何には足りないのではないかな
0258１３２人目の素数さん
2013/09/11(水) 17:18:33.500259１３２人目の素数さん
2013/09/11(水) 18:47:23.01ｎ圏がもし形式化されたとしてもｎ到達不能基数
とかｎハイパー到達不能基数くらいしかいかなそうな気がする
そう考えると高次圏論とかホモトピー数学も巨大基数の階層からみると
ほんの下の方のことでむしろ高次元圏こそΘ-linkの枠組みでは赤子ということなのか・・・
0260あのこうちやんは始皇帝だった
2013/09/11(水) 18:50:05.55コイツ、２０代の、無職の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0261１３２人目の素数さん
2013/09/11(水) 19:17:02.68【緊急特別報道】
カセットコンロでコーヒー沸かしてドカン!!!
(京都市上京区のマンションにて)
【コラム】
あぁ、素晴らしきかな豚丼
0262１３２人目の素数さん
2013/09/11(水) 19:57:50.190263１３２人目の素数さん
2013/09/11(水) 20:38:03.630264１３２人目の素数さん
2013/09/11(水) 21:41:02.17国際的な数学社会からは無視されてるね。もう誰も彼の論文読んでない
んじゃないか
0265１３２人目の素数さん
2013/09/11(水) 21:51:05.520266１３２人目の素数さん
2013/09/11(水) 22:19:55.800267１３２人目の素数さん
2013/09/11(水) 22:31:32.88そこで証明を宣言する
0268１３２人目の素数さん
2013/09/11(水) 22:34:32.95平行数学宇宙の存在を示してると思われるな。
0269１３２人目の素数さん
2013/09/11(水) 23:08:15.69>もう誰も彼の論文読んでないんじゃないか
んなこたぁないw
0270１３２人目の素数さん
2013/09/12(木) 00:45:25.910271１３２人目の素数さん
2013/09/12(木) 06:23:06.880272１３２人目の素数さん
2013/09/12(木) 12:09:38.510273１３２人目の素数さん
2013/09/12(木) 12:48:43.680274１３２人目の素数さん
2013/09/12(木) 12:49:16.7693→クミ→カミ
0275１３２人目の素数さん
2013/09/12(木) 13:15:09.620276１３２人目の素数さん
2013/09/12(木) 14:04:43.220277１３２人目の素数さん
2013/09/12(木) 14:19:39.450278１３２人目の素数さん
2013/09/12(木) 19:50:10.32/ /
‐-､＿ / ./
￣"''ー-､＿ / /
＿＿ ￣`ー 、 / /
＿＿`―----､＿━ ￣"'ー- 、＿_＿＿＿＿＿＿＿＿＿＿＿_/ ./
[二］￣゛￣`―‐ﾆﾆﾆﾆ==―--､＿━ `ー‐ ┌―――――――┐||||/＿＿
(ﾆ) (ﾆ)￣￣ ￣|￣llll||||｜ Hodge劇場 ｜||||||| |
｢ Ｔ~| | |||||||｜ ｜||||||| |
| | |＿_|＿|||||||└―――――――┘|||||||＿__|_
――――― '"￣￣￣￣￣~| |,-|～～～ﾆ二二二二二二二二二二二ｌ､ |
-､,-､ ,Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒ヽ
| Y⌒Y⌒`Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒ヽ
,-―､,―-､,-―､,―-､,-―､,―-､,-―､,―-､,-―､,―-､,-―､,―-､,-―､,―-､,-―､
| ｌ | ｌ | ｌ | ｌ | ｌ | ｌ | ｌ | ｌ
Y'"⌒`Y'"⌒`Y'"⌒`Y'"⌒`Y'"⌒`Y'"⌒`Y'"⌒`Y'"⌒`Y'"⌒`Y'"⌒`Y'"⌒`Y'"⌒`i
.| | | .| | .| | | .| | | | |
/￣⌒￣ヽ/￣⌒￣ヽ/￣⌒￣ヽ、/￣⌒￣ヽ、/￣⌒￣ヽ、/￣⌒￣ヽ、/￣⌒￣゛ヽ
0279１３２人目の素数さん
2013/09/12(木) 21:56:58.480280１３２人目の素数さん
2013/09/13(金) 06:36:33.260281１３２人目の素数さん
2013/09/13(金) 06:58:12.51必要な知識を補いながら読んでるから
発表から今までずっと読んでるけど
0282１３２人目の素数さん
2013/09/13(金) 12:35:53.770283１３２人目の素数さん
2013/09/13(金) 14:14:00.270284１３２人目の素数さん
2013/09/13(金) 15:39:25.300285１３２人目の素数さん
2013/09/13(金) 15:43:27.740286あのこうちやんは始皇帝だった
2013/09/13(金) 19:28:41.39コイツ、３０代の、無職の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0287１３２人目の素数さん
2013/09/14(土) 06:55:40.27入れ子宇宙って何処に書いてあるのか教えてくれんか
0288１３２人目の素数さん
2013/09/14(土) 07:56:55.840289１３２人目の素数さん
2013/09/14(土) 09:51:54.22pを＞5の素数、TEをEの原点での余接束、qをFの素元が入るパラメーターとする。
このときFで、
｛q^(1^2／2p), q^(2^2／2p), q^(3^2／2p), ... q^(((p-1)/2)^2／2p)｝→ q^(1/2p)
のような自己同型が成り立つと、
deg(TE)＜定数
のような不等式が成り立つ。
しかしこの自己同型は普通のFには存在しないので、
→の左と右を異なる宇宙（集合論のモデル）のスキーム上で成り立つとした場合、
このスキーム論の違いによって先の不等式は
deg(TE)＜ε＋定数
に修正され、Szpiro予想（ABC予想）と一致する。
このとき異なったスキーム論からεを計算するアルゴリズムがIUタイミヒュラー理論。
0290１３２人目の素数さん
2013/09/14(土) 11:33:06.28ライプニッツすげぇ
>論証の算術化という構想を実現
ゲーデルすげぇ
一方で我らの望月氏の場合
(ガロア圏 add フロベニウス構造) -> フロベニオイドという概念を導入し
異なる数学モデル宇宙間をつなぐ計算アルゴリズム（数の計算に還元するということ？？）を証明？
つうか、日本人数学者でフロベニオイドが理解できるのは何人くらいいるんだろう
0291１３２人目の素数さん
2013/09/14(土) 12:02:13.79::::::::: へ( ^q^')ﾉ 日本人のほとんどが朝鮮半島から来た弥生人の子孫であることは、
::::::::: (┐ノ 日本の古代王朝が、朝鮮半島に最も近い島根県の出雲にあること、
:::::::::: ／ また、出雲族を征服した天孫族の天孫降臨の地が宮城県という朝鮮半島に近い位置にあることが、
::::::::::::::::::::::::::::::::: みごとに、裏付けていると思う。
我々、日本人は朝鮮半島から来たのである。これは古人類学が証明しつつある。
0293１３２人目の素数さん
2013/09/14(土) 13:17:24.17A： フロベニオイド理論（Frobenioids I, II） -> 「エタール型物質」 / エタール・テータ関数の様々な剛性性質
B: モノ遠アーベル理論(Topics III) -> 「足し算と掛け算の回転」
AとBが対応関係にあるとかの表現で、物質だとか剛性だとかまるで数学的対象を物質のようにいってるあたりだな
つうか、モノ遠アーベル理論ってなんだよ？
モノ？ 物？
0294１３２人目の素数さん
2013/09/14(土) 15:15:16.550295１３２人目の素数さん
2013/09/14(土) 16:03:20.17人間が代わりに説明すればいいのに何やってんだよ
0296１３２人目の素数さん
2013/09/14(土) 16:58:13.01すなわちホモトピー数学である。
１９世紀は今と違い数学者たちは具体的な対象を研究していた。
双曲幾何などでは鞍形面、ホイットニーの傘、ケーリーのカスプ、
ピンチ点、
今ではモデル圏の研究となった
0297１３２人目の素数さん
2013/09/14(土) 17:47:42.30Some mathematicians call Mochizuki's latest papers gibberish in sharp contrast to his earlier excellent work on the Grothendieck conjecture.
But how can we quantify this assumed shift from established terminology to apparent nonsense?
Here are the wordle-clouds of the content of some of his papers,
starting with his work on the Grothendieck conjecture and leading up to the 4 papers on inter-universal Teichmuller theory, claiming to contain a proof of the abc-conjecture.
Decide for yourself!
http://www.youtube.com/watch?v=-uDLAuEloZg
0298１３２人目の素数さん
2013/09/14(土) 19:10:59.27がFrobenioidの勉強にとりかかった模様。
https://plus.google.com/115831511988650789490/posts
http://www.neverendingbooks.org/content/minutemochizuki-1
http://www.neverendingbooks.org/content/minutemochizuki-2
or
http://matrix.cmi.ua.ac.be/content/minutemochizuki-1
http://matrix.cmi.ua.ac.be/content/minutemochizuki-2
IUTTに到達するのだろうか？
(だとしても時間がかかりそうだが、)
↓勉強した結果・・
http://www.youtube.com/watch?v=-uDLAuEloZg
これかｗ
0299１３２人目の素数さん
2013/09/14(土) 19:19:54.78そうか。で、20世紀21世紀は？
0301１３２人目の素数さん
2013/09/14(土) 19:31:20.57いえない範囲なのでしょうか。
望月新一さんの性格若しくは性質又は人格が、社会一般と比較して「個性的」である範囲又は病理的な程度若しくは範囲とまではいえない範囲に、
確かに入っているのでしょうか。
0302あのこうちやんは始皇帝だった
2013/09/14(土) 19:53:09.22コイツ、２０代の、無職の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0303１３２人目の素数さん
2013/09/14(土) 20:39:43.25そのあたり必然性がまったく見えてこんでしょ大風呂敷広げるだけで
0304１３２人目の素数さん
2013/09/14(土) 20:46:19.63高校数学だけで証明できるわ
0305１３２人目の素数さん
2013/09/14(土) 20:50:19.33じゃあ303がモデル圏使わないで証明してくれ
0306１３２人目の素数さん
2013/09/14(土) 21:25:33.150307１３２人目の素数さん
2013/09/14(土) 21:27:50.65又はその証明をすることができる可能性が比較的高いと推定される準備及び手法ないし道具の例として、
そのモデル圏以外の例として、何が必要である、又は、単なる論理的な可能性の範囲でなく、当該範囲から出た例が、
有り得ると思いますか。
必要である、又は有り得るとすれば、どのような手法、道具の例があると思いますか。
0308１３２人目の素数さん
2013/09/14(土) 21:35:36.25逆に、不等式の評価にモデル圏使った例ってこれまである？
0309１３２人目の素数さん
2013/09/14(土) 21:55:38.59どのような対象若しくは枠組みに関わるのか、何を意味しているのかなどを探索、検討していくと、
ある特定の観点から見ると、モデル圏が有り得るのかもしれないですね。
もっとも、ａｂｃ予想を証明するために必要な例として、モデル圏が必然的な例である、
そうでなければならない例とまではいえないのかもしれないです。
他方、望月新一氏が構成した特定の理論を適用し得る、知られている未解決な特定の問題の例として、
ａｂｃ予想があるということかもしれません。
0310１３２人目の素数さん
2013/09/14(土) 22:06:45.45不等式の評価にモデル圏使った例がこれまで明確な例としてあることが、
ａｂｃ予想を解決するためにモデル圏という大風呂敷を広げること又は大げさなものが必要ではないという意見が、
説得的であるとまではいえないようにも思えます。
0311１３２人目の素数さん
2013/09/14(土) 22:16:00.13どうでもいいけど、なんで本人が出てきて明快に解説せんの？
0312１３２人目の素数さん
2013/09/14(土) 22:31:18.26それか、教授室に伺って、端的に聞いてみたら。
あとは、授業とか、セミナーとんかで、聞いてみるとか。
0313１３２人目の素数さん
2013/09/14(土) 22:41:57.49こんなひとりよがりの人間にかかわりたくないんだ
0314１３２人目の素数さん
2013/09/14(土) 22:48:11.510315１３２人目の素数さん
2013/09/14(土) 22:53:04.430316１３２人目の素数さん
2013/09/14(土) 23:02:11.770317１３２人目の素数さん
2013/09/14(土) 23:02:44.470318１３２人目の素数さん
2013/09/14(土) 23:03:51.940319１３２人目の素数さん
2013/09/14(土) 23:13:47.86who
0320１３２人目の素数さん
2013/09/15(日) 04:57:11.34IU幾何の論文の何処でホモトピーなんて言葉出て来たんだ
0321１３２人目の素数さん
2013/09/15(日) 08:15:48.880322１３２人目の素数さん
2013/09/15(日) 11:06:29.110323１３２人目の素数さん
2013/09/15(日) 13:56:27.730324１３２人目の素数さん
2013/09/15(日) 20:14:44.05する必要がないのだと思う。もっとも、そのようなコメントをされるぼくにも、不備又は問題があると思いました。
0325１３２人目の素数さん
2013/09/15(日) 20:16:49.070326１３２人目の素数さん
2013/09/15(日) 20:22:53.250327１３２人目の素数さん
2013/09/15(日) 20:27:14.22反論されたら、それは本題とは関係ないと突っぱねればいい（自分から話を逸らしたにもかかわらず）
>>326のように
本題で舌戦することから逃げた者の末路
0328１３２人目の素数さん
2013/09/15(日) 20:32:07.30質問
Ｇ・ペレルマンがａｒＸｉＶで三つのプレプリントを投稿等してポアンカレ予想を肯定的に証明したことを示したように、
望月新一教授は、宇宙際Teichmuller理論に係る四つの論文「Inter-universal Teichmuller Theory」「Ｉ－ＩＶ」をａｒＸｉＶに投稿等しなかったことには、
理由があるのでしょうか。当該理由があるとしたら、具体的には、どのような理由が挙げられますでしょうか。
0329１３２人目の素数さん
2013/09/15(日) 20:45:17.99また、３２７欄に示されたより具体的な事柄までを、３２４欄は指摘されていませんし、論点として取り上げることも意図していません
３２７さん自分自身の中に、例えば「自分自身が十分に充実していない人は、そのようなコメントはしないと思う。」というコメントに該当する例が
思い当たる、又は該当すると、３２７さん自身が認識する部分がないとまではいえないこと。
0330１３２人目の素数さん
2013/09/15(日) 21:43:30.180331１３２人目の素数さん
2013/09/15(日) 22:52:56.670332１３２人目の素数さん
2013/09/15(日) 23:21:54.89付けたとしても喩えの方が難しい
わかりやすくしようとしてるそっくりハウスの下りがあるだけで安心感が違う
0333１３２人目の素数さん
2013/09/15(日) 23:32:30.41わしが高次元圏の話をしたのがいかんかったか？
ふむファイブレーション、コファイブレーション、ホモトピーを
統合してモデル圏が出現し、これを高次化して天国へってか。
0334１３２人目の素数さん
2013/09/15(日) 23:39:29.360335１３２人目の素数さん
2013/09/16(月) 00:34:06.62その上で、もっと専門的なことを、具体的かつ正確にコメント、説明してください。
0336１３２人目の素数さん
2013/09/16(月) 01:09:11.870337１３２人目の素数さん
2013/09/16(月) 01:09:42.02なぜこんなクソスレに専門的なことを正確にコメントできる
奴が降臨すると思うのか。このスレに来るのはせいぜいそれ
っぽい言葉を並べたてる程度の連中だけである。
0338１３２人目の素数さん
2013/09/16(月) 01:26:49.85自分自身が十分に充実している人は、他者に対してそのようなコメントしないから。
建設的に、かつ健全に、また、他者をディすることなく、そして、
もっと専門的なことを、具体的かつ正確にコメント、説明してください。
0339１３２人目の素数さん
2013/09/16(月) 01:30:49.070340１３２人目の素数さん
2013/09/16(月) 01:30:51.34命題又は文：３３７さんのコメントは、事実である、又は、当該事実のうち、ある部分を示している。」。
0341１３２人目の素数さん
2013/09/16(月) 01:35:05.10そして、その意見をする理由を具体的かつ正確に示していただけると幸いです。
0342１３２人目の素数さん
2013/09/16(月) 01:45:01.69肯定的に証明し得たとした場合、二以上の論理操作及び論理の構成に基づいていることは確かだとします。
そうとすれば、当該所定の形式を肯定的に証明する二以上の論理操作及び論理の構成のうち、
最後の論理操作及び論理の構成と、その直前の論理操作及び論理の構成との間には、
最小の単位と評価し得る論理操作及び論理の構成が存在し得る、定義し得ると思います。
３３７さん、その部分を説明することができる方は、このスレッドには存在し得ないのでしょうか。
0343１３２人目の素数さん
2013/09/16(月) 01:47:05.480344１３２人目の素数さん
2013/09/16(月) 02:03:29.300345１３２人目の素数さん
2013/09/16(月) 02:21:23.36３－４年くらいかかるらしい。やたらグロタンあがめてるこのスレ界隈の連中
や三流数学者はおそらく読んだことさえないのにしたり顔でグロタンを
語っているだけと思われる。
0346１３２人目の素数さん
2013/09/16(月) 09:12:22.800347１３２人目の素数さん
2013/09/16(月) 10:07:07.830348１３２人目の素数さん
2013/09/16(月) 10:17:20.56読む気はせんな。単純に言うと重要な事ってそういう事でしょ？
0349１３２人目の素数さん
2013/09/16(月) 10:43:06.310350１３２人目の素数さん
2013/09/16(月) 12:48:52.630351１３２人目の素数さん
2013/09/16(月) 14:54:37.15素人に解説することに何のメリットがあるんだよバカが
0352１３２人目の素数さん
2013/09/16(月) 15:18:59.29きれいな絵を描いて用語をちりばめておけばいいのか？ｗ
0353１３２人目の素数さん
2013/09/16(月) 17:30:57.66無関係ではない旨の記載が、「顔をなくした数学者――数学つれづれ」（小林 昭七（著））にあった気がします。
0354１３２人目の素数さん
2013/09/16(月) 18:37:34.81馬鹿だな。
そういう誠意を示すことが巡り巡って自分に帰ってくるんだよ。
「素人」の中には専門の違う同業者だって含まれるのが分からん？
0355１３２人目の素数さん
2013/09/16(月) 19:30:28.32＞そういう誠意を示すことが巡り巡って自分に帰ってくるんだよ。
抽象的すぎワロタｗ
何の反論にもなってないｗ
何のメリットがあるのか はっきり言えよｗ
＞「素人」の中には専門の違う同業者だって含まれるのが分からん？
だから、何のメリットがあるのか はっきり言えよｗ
0356１３２人目の素数さん
2013/09/16(月) 21:42:02.430357１３２人目の素数さん
2013/09/16(月) 22:37:59.64数学に係る特定の命題に関する証明をしたと、一定の手段又は手続きに基づいて、
研究者、数学者その他社会一般第三者に公表した者は、
当該公表をした目的又は趣旨の範囲に、
当該証明に誤りがあるか否かの判定ないし判断を、
部分的に又は全面的に他者に求める、又は委ねる部分が含まれるていることを否定できない場合には、
0358１３２人目の素数さん
2013/09/16(月) 22:41:31.37当該公表をした時点で一般的に及び通常使用している言語若しくは記号及び用語又は用法に基づいた形式又は形態で、
当該他者に対し、通常の観点から見て殊更に本来不必要な負担、困難、労力等を及ぼすことがない形式、形態及び記載を採用すべきであって、
0359１３２人目の素数さん
2013/09/16(月) 22:43:21.10当該検証をする者に対し、殊更に本来不必要な負担、困難、労力等を招来させるような、当該証明を示す記載は、
当該証明が有する、当該分野、領域及び対象に係る事柄、概念、意味内容などが
本来的に及び根源的に有する困難、難しさなどに起因する範囲の範囲はその限りではないが、
当該範囲を超えた部分の記載は、少なからず自分本位といわれてもいた仕方ない余地がないとはいえない。
0360１３２人目の素数さん
2013/09/17(火) 01:43:29.83「本来的に及び根源的に有する困難、難しさなどに起因する範囲の範囲はその限りではないが、」の記載を
「本来的に及び根源的に有する困難、難しさなどに起因する範囲の『記載』はその限りではないが、」の記載に変更します。
0361１３２人目の素数さん
2013/09/17(火) 12:23:27.94学問や芸術、特に実学に含まれない分野は世間というパトロンのおかげて成り立っているということ。
「専門家」は誰のおかげで飯が食えているのかということ。
ただでさえ研究費は削減傾向にあるんだし、「素人」をなめきった「専門家」とやらは
自分で自分の首を絞めていることに気づくべきだと思うよ。
0362１３２人目の素数さん
2013/09/17(火) 13:06:13.69またもやバカ発見。
「研究費」の話と「素人に分かりやすく解説するメリット」の話に
何の関係があるのだね？
「私は世間一般にも分かりやすいように啓蒙書を書いたので、研究費ください」
と言えば研究費が下りるのかね？だったらメリット満載だね。
でも実際はそうじゃない。
結局、素人に解説するメリットなんぞ存在しないｗ
0363１３２人目の素数さん
2013/09/17(火) 13:10:02.64研究に寄付してくれるの？
0364１３２人目の素数さん
2013/09/17(火) 15:40:26.890365１３２人目の素数さん
2013/09/17(火) 16:19:24.58現実的には10万人ぐらいの署名をあつめるとかすれば影響がでるかな
0366１３２人目の素数さん
2013/09/17(火) 16:45:29.09・望月本人が時間を割いて一般向けの解説を即やるべきだというならそれは無理な強要だ
・周囲の、啓蒙の才のある教師的数学者が（あるいは科学ライターと組んだりしつつ）一般向けの解説を頑張ってやろうとするのも無駄だ無駄だ 最先端は素人に説明できんし無用だ
どっちを言っているんだよ はっきりさせとかないと紛糾するぞ
前者ならそれで当然だな
万一後者を言っているならそれがバカ丸出しだわな あらゆる科学の知識を自分はすべて原著論文で得てきたのか
量子テレポもiPSもナノチューブも、自分は常に原本の論文に直接あたってのみ知識を得ています 解説や啓蒙本など不要で見たことありません そんなやつが世界のどこにいるボケ
文学は高度なものであり、ド素人さんにラテンアメリカ文学の何かを解説するのは無駄で、文学部教授の誰一人そんなことはしません →文学部なぞもともとムダムダと言われているし廃止でいいなあ文科省
0367１３２人目の素数さん
2013/09/17(火) 17:21:29.93演奏までする必要ない
0368１３２人目の素数さん
2013/09/17(火) 18:22:28.93専門化向けのセミナーは必要だと思うけど、
グロタンディークと比較されているけど、EGAを実際に文書化したのはデュドネだし、
SGAもブルバキのメンバーが書いているものが多い。
望月先生がセミナーをして、周りが文書化して啓蒙するという形がグロタンディーク的であるし、実際に良いと思う。
今だと山下君なんだろうけど、山下君も分かりやすく説明する能力が皆無だから、
やはり玉川先生がベストか。斉藤毅先生も良いと思うけど東京だから遠い。
0369１３２人目の素数さん
2013/09/17(火) 18:37:17.00どの音符が過不足か、教えてください
ＮＨＫ番組参照
0370１３２人目の素数さん
2013/09/17(火) 19:11:50.44(2)その研究が重要な研究だと思って貰うのは大事。
黒川さんとかが書いてるものも含めて、通常、
啓蒙書が果たしてる役割は、(2)のアピールであって、
(1)の研究内容の解説じゃないし、それは数学と物理では大抵は不可能。
(1)ができるのは論文の内容、正しさが研究者たちの共通了解となってから。
数学の長い論文が、理解されるのに時間掛かるのは仕方ない。
最先端の研究者が理解してないような内容を啓蒙書に書いて
解説しろというのはさすがに無茶。
0371あのこうちやんは始皇帝だった
2013/09/17(火) 19:15:05.47コイツ、３０代の、無職の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0372１３２人目の素数さん
2013/09/17(火) 21:36:36.29どうやってそれらを使って証明しようというのか？
0373１３２人目の素数さん
2013/09/17(火) 22:01:59.20予算、科研費を策定する人の立場を考えれば、対外的に説明する場面を想定して、
自分が対外的に説明できるストーリーのある理論に割り当てするのが普通。
後々予算割当に疑義が出て、策定やり直しが一番怖いだろうから。
0374１３２人目の素数さん
2013/09/17(火) 22:13:17.060375１３２人目の素数さん
2013/09/17(火) 22:16:55.35説明しなくてはならなくなる。
なんで、いままで説明しなくてもよかったかというと、その研究で（経済に対しても影響を与えるような）
すごい役に立つ技術がでてくる（かもしれない）という期待が高かったから。
もう最近、役に立つ必要はないと公言しだして、周りもそれを冗談で言っている訳ではないと
認識し始めたから、それに合った対応をし始めると思う。
0376１３２人目の素数さん
2013/09/17(火) 22:30:22.36なにか新しいものを生み出して自分たちに還元してくれるはずだという期待だったから、
それをどうでもいいって言い出したら、もう声上げてくれなくなっても仕方ないぜ。
何事もその素人さんが一番大声で力強く擁護してくれるもんだぜ。
0377１３２人目の素数さん
2013/09/17(火) 22:35:24.99そもそもの研究動機のわかりやすい説明から入んないと大変
しかしトポロジーを研究してるっていって
ドーナツコーヒーカップの例を出したら詐欺みたいなもんだし
しかし問題になるのは研究内容でなく研究動機なんだよ
0378１３２人目の素数さん
2013/09/17(火) 22:37:53.46おいどんは黙って高次圏について語ってろってか？ぷっはー笑い
0379１３２人目の素数さん
2013/09/17(火) 22:45:43.90それに、研究動機になったような問題を解決することは素人の人にとっても関心ごとであることが多いから。
研究動機になった題材も示さずに数式の変形だけ示されても特殊な興味を持った変わった人しか集まらない。
0380１３２人目の素数さん
2013/09/17(火) 22:48:36.93実際に動くものをセットで申請しないとみとめられないんだぜ。主観としてアイディアとして
重要だから大事なんですって無い。
0381１３２人目の素数さん
2013/09/17(火) 22:50:53.97ほな低次元トポロジーって大分証明があやしいの多いん
ホワイトヘッド多様体ってほんと存在すんのん？＞
0382１３２人目の素数さん
2013/09/17(火) 23:21:02.71あとは最低限の生活費ぐらい。 予算なんてたいして必要ない。それより
一番必要なのはそのような生活を容認し、社会の騒々しさを彼等の世界から
遠ざけてあげること。 それがその社会の文化程度でしょう。
２チャンネルなどというゴミはきれいに過去スレに掃き捨てて彼等の目に
入らないようにするのが我々にもできる精一杯のことと心得たほうがいい。
しかし理想とは異なり文化程度の低い人間が騒々しく騒ぐのは世の習いで
止められるものではないというのも真理である。
0383１３２人目の素数さん
2013/09/17(火) 23:26:07.07ネット上にほかの数学コミュがないから２ちゃんねるばかりに集まってるだけで
0384１３２人目の素数さん
2013/09/18(水) 00:08:47.97そう思ってやってみて４０、５０になって「俺は今まで一体何をやっていたんだー」って
ならない自信ある？ふっと夢から醒めるようにそういう価値観が抜けたとき怖いぞ。
0385１３２人目の素数さん
2013/09/18(水) 00:56:11.29とはいえ数学は普遍性＋壮大さにおいて
他の趣味を圧倒している、いや人生観そのものだからね
ぷーワインさんはいめやで今は本間の幾何トポロジーって本たのしんでる難しい
0386１３２人目の素数さん
2013/09/18(水) 02:16:54.550387１３２人目の素数さん
2013/09/18(水) 02:53:28.860388１３２人目の素数さん
2013/09/18(水) 03:14:29.61ガウスとかニュートンとか、或いはもうユークリッドとかの時代から
数学は興味を持った一部の人間のみが研究するものだったし
誰も説明責任がどうだ、なんて言わなかったぞ
現代美術の人に、何がすごいのか説明しろ、説明責任だ、とか言わないのと同じ
0389１３２人目の素数さん
2013/09/18(水) 03:31:34.01真に理解もできないし感動もできない。聞きかじった言葉をここを並べて
満足する素人は、その聞きかじった最先端の「複雑な言葉」をここに並べて自尊心
を満たしておきなさい。
0390１３２人目の素数さん
2013/09/18(水) 04:30:25.63肯定的に証明され得た場合、二以上の論理操作及び論理の構成に基づいていることは確かだとします。
そうとすれば、当該所定の形式を肯定的に証明する二以上の論理操作及び論理の構成のうち、
最後の論理操作及び論理の構成と、その直前の論理操作及び論理の構成との間には、
最小の単位と評価し得る論理操作及び論理の構成が存在し得る、定義し得ると思います。
その部分を説明することができる方は、このスレッドには存在し得ないのでしょうか。
0391１３２人目の素数さん
2013/09/18(水) 05:27:30.75Inter-universal geometryってタイヒミュラー理論の数論幾何版なの？
0392１３２人目の素数さん
2013/09/18(水) 15:20:23.81シンプルでキレイな数学の世界は技術からデザインに至るまで
あらゆるところで現代をどんどん洗練してる
俗世に数学が広まり、産業が効率化して美しい世の中になれば
数学者は更に余計なことにかかわらずに数学に専念できる
正のフィードバックを働かせる重要な役割がある
0393１３２人目の素数さん
2013/09/18(水) 18:31:52.70角の三等分程度のことですら未だに研究してる素人は世界中にいるわけで
中途半端に知っちゃって、そこから先は全く解らないけれども
変な方向に頑張り続ける人って沢山いるんだよね。
他の分野ではそれなりに評価されて世界史に出てくるトマス・ホッブズみたいな人でも
数学の話になると理解力が著しく低い強烈な電波にしかならなかったわけで。
啓蒙が光を与えることもあるけど、数学の啓蒙だと何故か黒歴史が沢山あるよね。
0394１３２人目の素数さん
2013/09/18(水) 18:33:36.440395あのこうちやんは始皇帝だった
2013/09/18(水) 19:14:14.13コイツ、３０代の、無職の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0396１３２人目の素数さん
2013/09/18(水) 21:48:55.560397１３２人目の素数さん
2013/09/18(水) 22:13:23.38Inter-universal geometryはp進タイヒミュラー理論を部分的に含むの？
0398１３２人目の素数さん
2013/09/18(水) 22:21:34.040399１３２人目の素数さん
2013/09/18(水) 22:44:29.43いまでも説明しなくても理解してくれるようなパトロンの元で研究していれば当然説明はしなくていいよ。
問題は、今の研究は概ね公費で出ているということだ。つまり税金なので、その使用方法について
国民に説明しないといけないってこと。説明したくないなら、パトロン見つけろってことになる。
勘違いしているが、そもそも数学は芸術じゃなくて技術扱いだぜ。
0400１３２人目の素数さん
2013/09/18(水) 22:49:35.25とうしろうか
0401１３２人目の素数さん
2013/09/18(水) 22:54:33.09多分もう、根本的になんで素数研究する必要あるんですか？とかそういうレベルから説明しないといけない。
俺個人としても聞きたいんだけど、素数研究するのってなんか意味あるの？
0402１３２人目の素数さん
2013/09/18(水) 22:58:07.530403１３２人目の素数さん
2013/09/18(水) 23:00:14.04まず、401が401の存在意義について説明責任を果たせ
0404１３２人目の素数さん
2013/09/18(水) 23:02:07.94レンホーみたいな馬鹿では理解とか無理だから
二位じゃだめなんですか？なんてこと言っちゃうんだよ。
民主党勢力なんて10位くらいでもいいと思うが。
0405１３２人目の素数さん
2013/09/18(水) 23:07:21.33だから一番大声でいままで擁護してくれていたのは素人さん、国民だって。
0406１３２人目の素数さん
2013/09/18(水) 23:12:57.56レンホーの馬鹿に反対してくれた素人の国民の皆さんは
個々の科学の競争についてほとんど解っていないだろうし
解りたいとも思っていないだろうよ。
0407１３２人目の素数さん
2013/09/18(水) 23:13:42.12だから一番大声でいままで擁護してくれていたのは素人さん、国民だって。
大間違い！
0408１３２人目の素数さん
2013/09/18(水) 23:17:46.79よくわかってないけど重要な事をやってくれているだろう（信用ベースで）と思ったから
総体として反論してくれた、ということだって。
逆になにやってるかわからないし別にどうでもいい事をやってるんじゃないか、って思われたら
反対に潰されるということになると思わない？
0409１３２人目の素数さん
2013/09/18(水) 23:39:24.43技術立国日本を終わらせたいならそうだろうな。
けれどもそういう段になっても大多数の国民は知りたいとは思わないだろう。
難しいものを自分から勉強しに行く気は無いからな。
学校である程度勉強してからなら教えますと言われたら
したくないからな。
日本の学会とか、機関を挟んで信用したり反対意見を述べたりする。
真面目に勉強している人達の中でそういう反乱が起きないことには
国民自身は信用するしかない。
0410１３２人目の素数さん
2013/09/18(水) 23:40:19.41大衆から声は上がらない
0411１３２人目の素数さん
2013/09/18(水) 23:42:47.65勉強してから言えばいい
勉強した後で無駄かどうか判断すればいい
それだけの事
0412１３２人目の素数さん
2013/09/18(水) 23:51:35.66わりと評価してくれるだろうよ。
女子サッカーなんてほんとしょうもない
ちんたらスローモーションサッカーでさえ
世界一になれば大喜びwww
0413１３２人目の素数さん
2013/09/18(水) 23:57:10.03へーへー
0414１３２人目の素数さん
2013/09/19(木) 02:38:41.94この研究が止まったら通信の安全性も脅かされる、でもう説明なんて十分だろう。
いまどき数論が机上の空論とか言ってる奴は物を知らな過ぎる。
0415１３２人目の素数さん
2013/09/19(木) 08:15:55.32そうとすれば、当該所定の形式を肯定的に証明する二以上の論理操作及び論理の構成のうち、 最後の論理操作及び論理の構成と、その直前の論理操作及び論理の構成との間には、 最小の単位と評価し得る論理操作及び論理の構成に係る部分が存在し得る、定義し得ると思います。
当該部分を説明することができる方は、当該部分を説明していただけると幸いです。
0416１３２人目の素数さん
2013/09/19(木) 08:41:36.110417１３２人目の素数さん
2013/09/19(木) 08:42:22.780418１３２人目の素数さん
2013/09/19(木) 09:39:15.880419１３２人目の素数さん
2013/09/20(金) 09:42:56.74マジか
0420１３２人目の素数さん
2013/09/20(金) 10:25:46.070421１３２人目の素数さん
2013/09/20(金) 17:49:17.070422１３２人目の素数さん
2013/09/20(金) 19:19:12.870423１３２人目の素数さん
2013/09/20(金) 19:21:35.690424１３２人目の素数さん
2013/09/20(金) 20:34:02.77October - dates to be confirmed
Instructional Workshop on Anabelian Geometry, University of Oxford, Oxford, U.K.
Minhyong Kimのやつは11月にOxfordでと考えているみたいだけど何か関係があるのかな？
Kimは以前にPopやSaidiとAnabelian GeometryのWorkshopのOrganiserをしていたようだし
http://www.newton.ac.uk/programmes/NAG/nagw02.html
0425１３２人目の素数さん
2013/09/20(金) 23:13:50.9115:20～ 記念講演「数論幾何の風景 ― 数の加減乗除から対称性の幾何まで」
京都大学数理解析研究所・教授 望月 新一
平成25年11月15日（金）13：00 ～ 16:00
場所 : 京都大学百周年時計台記念館２階国際交流ホール
0426１３２人目の素数さん
2013/09/21(土) 06:14:33.77数学だって流れってものがあるんだから奇抜なのはよくない
0427１３２人目の素数さん
2013/09/21(土) 07:13:35.01splitting monoids of theta/Gaussian monoidsとかブツブツ言いながら歩いてるイメージがあるな。
0428１３２人目の素数さん
2013/09/21(土) 08:31:48.02だったらおまえが望月先生の研究を整理して昇華させて
自分の好きな名前をつけたらよろしいがな。
0429１３２人目の素数さん
2013/09/21(土) 08:47:22.63複数の国家に関係していること。世界的であること。多く他の語の上に付けて用いる。
◆国際法の漢訳「万国公法」の中で使用された「各国交際」という語をもとに造語された和製漢語。
本来、diplomatic intercourse（＝国家間の交際）の訳語であったが、
明治30年代からinternationalの訳語として用いられるようになった。
別に宇宙際でも何ら問題はない
0430１３２人目の素数さん
2013/09/21(土) 09:22:19.17国際だったら各々の国の人が相互にやりとりすればいい。
宇宙際だったら人はいないからそれに対応するのはなんじゃろな。うーん。
0431１３２人目の素数さん
2013/09/21(土) 09:25:52.38なんで地球政府を作る事はできないんだろう。政治的理由？やっぱり発想しても技術が難しい？
0432１３２人目の素数さん
2013/09/21(土) 09:31:00.82お不潔ハリーて訳されていたな、スレと関係ないけど。
0433１３２人目の素数さん
2013/09/21(土) 11:23:01.450434１３２人目の素数さん
2013/09/21(土) 11:30:59.22まさに正論だ。
ところで、貴君の見解は？
0435１３２人目の素数さん
2013/09/21(土) 12:17:46.35もしそうなら
アインシュタインの相対性理論への対抗意識かも （^_^）;
0436１３２人目の素数さん
2013/09/21(土) 12:37:44.84Change of universe が古典論だと Change of coordinates にあたるらしい
古典論の方だと座標を極座標に変えている
そういうの考えるとuniverseはlatticeの各点では無いっぽいし
一体universeってこの場合何が該当してんだい
0437１３２人目の素数さん
2013/09/21(土) 12:40:48.870438１３２人目の素数さん
2013/09/21(土) 15:12:41.17論文読んで理解できたという人の解説とか全くないのは変だ
0439１３２人目の素数さん
2013/09/21(土) 16:53:09.85は数学センスないでしょ
ほんとの数学ってのは生の体でのぶつかり合い
つまり低次元トポロジーとかなんだよね
スミスの定理とかモランの球面裏返しとかハンドル分解とか
代数使った一般論作って偉ぶってないで
具体的な低次元の幾何学的対象に向き合えって
0440１３２人目の素数さん
2013/09/21(土) 16:56:31.600441１３２人目の素数さん
2013/09/21(土) 16:58:27.95難しいな
解答ｐｌｚ
0442１３２人目の素数さん
2013/09/21(土) 17:07:25.15クロネッカー青春とか類体論みたいに迫って来ないんだ
0443１３２人目の素数さん
2013/09/21(土) 17:14:49.80今回の大論文では本質的なステップで組み合わせ論が使われている。
具体的なものに取り組んでないわけではない。
0444４４４
2013/09/21(土) 17:17:47.13４４４ゲット！
0445１３２人目の素数さん
2013/09/21(土) 17:19:46.590446１３２人目の素数さん
2013/09/21(土) 17:37:32.170447１３２人目の素数さん
2013/09/21(土) 17:50:25.24http://www.nhk.or.jp/special/
0448１３２人目の素数さん
2013/09/21(土) 18:05:04.22例えば未知のホワイトヘッド多様体みつけるとか
新しい球面返しを発見するとかそーゆーのがほしいね
ふぁっ金！彼らじゃ無理かただのがり勉数学だから
グラハムとかモーザーとかフランクルとか秋山仁にひれ伏屋
0449あのこうちやんは始皇帝だった
2013/09/21(土) 18:37:08.54コイツ、２０代の、無職の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0450１３２人目の素数さん
2013/09/21(土) 18:46:04.150451狢 ◆yEy4lYsULH68
2013/09/21(土) 20:13:05.64狢
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
0452１３２人目の素数さん
2013/09/21(土) 21:13:06.59なんか三人目までは頭がいいけど
四人目に数学苦手な馬鹿を選んだのは何か理由でも？
0453１３２人目の素数さん
2013/09/21(土) 22:00:58.730454１３２人目の素数さん
2013/09/21(土) 22:25:09.510455１３２人目の素数さん
2013/09/21(土) 23:03:26.18論文が人に分かるように書けてないってことで大きな問題だと思う。
0456１３２人目の素数さん
2013/09/22(日) 02:59:12.46It is the Quote from " the Blue Book "which was written by Ludwig Josef Johann Wittgenstein.
Because…or it means….
0457１３２人目の素数さん
2013/09/22(日) 08:30:42.700458１３２人目の素数さん
2013/09/22(日) 09:04:15.36圏論が数学を堕落させた？
0459狢 ◆yEy4lYsULH68
2013/09/22(日) 09:12:44.63ケケケ狢
0460１３２人目の素数さん
2013/09/22(日) 09:13:50.77堕落したから痴漢したわけですか。
0461狢 ◆yEy4lYsULH68
2013/09/22(日) 10:05:46.29「その理由」は永遠の秘密にしとくさかい、そやしアンタ等で勝手に想像
したらエエやろ。どっちにせよや、この馬鹿板みたいな堕落した存在は無
意味やさかい、撲滅せえへんかったらアカンわ。そもそも馬鹿の遊び場な
んて無意味やさかいナ。馬鹿と同じでや、存在する意味なんてアラヘンさ
かいナ。
ケケケ狢
0462１３２人目の素数さん
2013/09/22(日) 10:24:32.54痴漢するほど堕落してないしな
0463１３２人目の素数さん
2013/09/22(日) 10:29:46.520464狢 ◆yEy4lYsULH68
2013/09/22(日) 10:51:26.79でも脳が足らない無駄な存在である事は全く同じや。そやから徹底的に
撲滅せえへんかったらアカンやろ。チャウかァ。
ケケケ狢
0465１３２人目の素数さん
2013/09/22(日) 10:59:43.02最底辺の性犯罪者マスダと違って有害ではないから
撲滅される謂われはないな
性犯罪者マスダは悪質な犯罪者であって
他人に害を及ぼす存在だから
真っ先に消滅すべきだろう
0466狢 ◆yEy4lYsULH68
2013/09/22(日) 11:55:40.25なるほどナ。ほんならソレでエエさかい、その「悪質な性犯罪者マスダ」
っちゅうんを撲滅してミロや。ワシがココで高みの見物をしてるさかい、
安生頑張って撲滅せえや。有害なんやそうやしナ。
ケケケ狢ァ～ん
0467狢 ◆yEy4lYsULH68
2013/09/22(日) 12:48:02.57アゲといたるさかい、性犯罪者マスダの撲滅に精を出せや。ほんでや、
アンタ等は今後も徹底して嫌がらせがこの馬鹿板に対して続行されるっ
ちゅう厳しい現実から決して逃れられへん事を自覚するべきなんやワ。
もはやアンタ等に出来る事なんて何もアラヘンのや。そやし唯単に耐え
忍ぶだけっちゅう事や。判るわナ。そやし今後も徹底的に苦しめやナ。
こんな下らん馬鹿板なんて、ワシは絶対に許さへんさかいナ。
ケケケ狢
0468狢 ◆yEy4lYsULH68
2013/09/22(日) 13:06:11.49コラ、低脳め。何してんのや、早よシロや。
狢
>465 名前：１３２人目の素数さん ：2013/09/22(日) 10:59:43.02
> 同じと思いたいのはわからんでもないが
> 最底辺の性犯罪者マスダと違って有害ではないから
> 撲滅される謂われはないな
>
> 性犯罪者マスダは悪質な犯罪者であって
> 他人に害を及ぼす存在だから
> 真っ先に消滅すべきだろう
>
0469１３２人目の素数さん
2013/09/22(日) 13:42:48.52現在の宇宙際幾何の現状についてどうお感じですか？
これの解明を誰も推進せぬのはどうなんでしょう
0470１３２人目の素数さん
2013/09/22(日) 14:14:20.750471狢 ◆yEy4lYsULH68
2013/09/22(日) 15:01:36.49私は宇宙際幾何学をきちんと勉強していません。従って私の見解として
ご説明できるものは何もありません。但し問題のABC予想ですか、その
方向でFLTの別証明が可能であったりと、今後も各種様々な発展の方向
性が含まれているのは極めて重要だと考えます。そもそもFLTの様な大
命題は、その結果の正しさそのものよりも、その結果に到達するルート
の多様性が、ひいては関係する研究領域の今後の豊かさを決定付ける場
合が生じると思われます。だから各種様々なアプローチがなされる事が
極めて重要だと思われます。
実際には、そういう方向性で有意な結果を出すのは非常に難しいとは思
われますが、でも多くの研究者が興味を持って今後の推移を見守るのが
大切だと思いますね。
狢
0472１３２人目の素数さん
2013/09/22(日) 17:54:51.08ありがとうございます
これからも一緒に頑張っていきましょう
0473１３２人目の素数さん
2013/09/22(日) 20:17:17.400474１３２人目の素数さん
2013/09/22(日) 21:41:35.99他の人が重要っていってたもん！みたいな
0475１３２人目の素数さん
2013/09/23(月) 08:59:27.90効率よくPDF文書なりHTML文書に起こすにはどういう編集ソフトを
つかってどういう手順でやればいいの？
0476１３２人目の素数さん
2013/09/23(月) 17:25:03.430477１３２人目の素数さん
2013/09/23(月) 17:27:59.040478１３２人目の素数さん
2013/09/23(月) 18:08:34.630479１３２人目の素数さん
2013/09/23(月) 18:40:57.08この分野だとプリンストンの大学院に入れない時点で詰んでる。
0480あのこうちやんは始皇帝だった
2013/09/23(月) 18:59:02.85コイツ、３０代の、無職の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0481うるさい狢 ◆yEy4lYsULH68
2013/09/23(月) 19:14:37.30狢
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
0482狢 ◆yEy4lYsULH68
2013/09/24(火) 09:34:34.020483１３２人目の素数さん
2013/09/24(火) 09:35:47.92どういうことなんだろうか。
未解決の難問とかも予想した人が一番凄いんじゃねかい。
0484１３２人目の素数さん
2013/09/25(水) 00:24:26.66俺だけ？
0485１３２人目の素数さん
2013/09/25(水) 01:03:17.11オレはパイロットの方が
0486１３２人目の素数さん
2013/09/25(水) 10:58:14.71違ったのね
0487１３２人目の素数さん
2013/09/25(水) 12:19:39.590488１３２人目の素数さん
2013/09/25(水) 13:18:59.63小学生の頃は女性の裸（≒宇宙際）を見放題だが
その価値は分からない
分からないから勃起もしない
後からじわじわもしない
そういうことじゃないか？
0489狢 ◆yEy4lYsULH68
2013/09/25(水) 14:49:31.70■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
0490１３２人目の素数さん
2013/09/25(水) 23:00:36.1421世紀数学はこれより
微分トポロジーへ移行する
代数は抽象化されすぎfuhaibututonattakarada
0491１３２人目の素数さん
2013/09/26(木) 00:34:19.49代数は秀才しか理解できまへんからバカはバカの数学やってら
0492１３２人目の素数さん
2013/09/26(木) 07:07:29.14ある種の数学センスを必要とする、天才向き
代数
ある種のアスぺ秀才向け、がり勉すれば誰でもできる
こんな感じかね？
0493１３２人目の素数さん
2013/09/26(木) 08:37:16.570494狢はアホ ◆yEy4lYsULH68
2013/09/26(木) 08:51:34.20ケケケ狢
0495１３２人目の素数さん
2013/09/26(木) 08:55:37.760496狢はアホ ◆yEy4lYsULH68
2013/09/26(木) 09:07:08.89ソレはどっちの母を言うてるのや。一人目はもはや音信不通や。ほんで二人目はもう老人性
の痴呆が進行してや、何を言うても意味が判らへんそうやさかい、糞父が介護とか通訳とか
をしてるらしいのや。まあ糞父は哀れな人生の閉め括りを送ってるっちゅう訳やろナ。まあ
そやけど糞父の野郎は、『自分が老後に看取って貰う積もりが、その再婚相手が自分の目の
前で朽ち果てるのを見る羽目になった』っちゅう罰を受けてるんやからナ。自業自得やわサ。
狢
0497１３２人目の素数さん
2013/09/27(金) 20:19:39.220498１３２人目の素数さん
2013/09/29(日) 05:34:21.410499１３２人目の素数さん
2013/09/29(日) 20:04:08.120500１３２人目の素数さん
2013/09/29(日) 20:09:20.00新論文きたけど高次元圏がごく普通に使われてたり再帰理論のクラスを圏として使ってたりカオス化してる
宇宙際はどこまでいってしまうのだろう
0501１３２人目の素数さん
2013/09/30(月) 09:11:33.830502１３２人目の素数さん
2013/09/30(月) 09:34:07.44ありえんくらいに
0503１３２人目の素数さん
2013/09/30(月) 09:46:57.200504１３２人目の素数さん
2013/09/30(月) 11:48:34.45ついて行ける人達がいるということ？
0505１３２人目の素数さん
2013/09/30(月) 12:00:12.770506１３２人目の素数さん
2013/09/30(月) 15:04:01.08○>>503には理解できない
どうせ他の数論幾何学者の論文なら理解できるという訳でもないんだろ
0507１３２人目の素数さん
2013/09/30(月) 16:20:10.17しかしその論文はもうABC予想とは離れて宇宙際理論の拡張のための拡張工事ですか？
モッチー先生の脳内に存在する空中庭園のｗ しかもその庭園に上る梯子を上れる
者は地上世界には未だほとんどいないという有様だが、星さんだけがその宇宙に
存在することを許されてるのかな
0508１３２人目の素数さん
2013/09/30(月) 19:15:49.380509あのこうちやんは始皇帝だった
2013/09/30(月) 19:39:10.96無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0510狢 ◆yEy4lYsULH68
2013/09/30(月) 20:11:10.80狢
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
0511１３２人目の素数さん
2013/09/30(月) 20:26:15.39グロタンディーク予想を解決したらしい
その際に素数の部分集合Σを元にPSC型の遠アーベル半グラフGとかいう
わけのわからんものを構成してΣに対応する算術的階層Π_Gいくつも作り出して
可換図式を描いて幾何学を行おうということが書かれているようだけど・・・
あとはお馴染みの誰もついてけない数論幾何の証明が続いてる
あとセントラル｛1,2,3｝トライポッドとかいう新しい概念が提唱されてる
このやり方だと有理数の算術的階層もつくれるらしい画期的な研究だと思う
というか大した引用文献も書かないで２圏とかｎ圏を導入してるのがえげつない
知ってて当たり前ってことか
0512１３２人目の素数さん
2013/09/30(月) 22:25:18.100513１３２人目の素数さん
2013/09/30(月) 22:26:31.48こんだけの速さで論文量産されてついていけるのだろうか
もし星さんがモッチーの理論をものにしてるならおそらく今の日本で一番フィールズ賞に近いのではないか
しかし世界でもっちーの理論を理解できるひとがほとんどいないいので評価されるのに十何年もかかるのではないか
0514１３２人目の素数さん
2013/09/30(月) 22:53:45.88去年の論文だから以前から使われてたみたい
我々が考え付くことくらいすでに知ってると、
あとセントラル｛1,2,3｝トライポッドもこのころからあるらしい
よくわからんがグラフ理論とホモロジーの計算を
延々続けてるような感じだが離散遠アーベルって何やってんだろ
0515１３２人目の素数さん
2013/09/30(月) 22:54:25.360516１３２人目の素数さん
2013/09/30(月) 23:10:35.390517１３２人目の素数さん
2013/09/30(月) 23:21:12.39一体どのあたりに書いてあるんですかね？
0518１３２人目の素数さん
2013/10/01(火) 01:06:03.21http://arxiv.org/pdf/1308.0729.pdf
２圏のロジックによる基礎付け完成おめでとうございます
http://arxiv.org/pdf/1308.5409.pdf
計算可能カラテオドリの定理ｗ
http://arxiv.org/pdf/1209.6096.pdf
0519１３２人目の素数さん
2013/10/01(火) 01:25:27.52どうしたんだい、いきなり
0520１３２人目の素数さん
2013/10/01(火) 01:32:08.64ＣｏｏｐｅｒのＣｏｍｐｕｒａｂｉｌｉｔｙ Ｔｈｅｏｒｙのプレプリント版が
http://www1.maths.leeds.ac.uk/~pmt6sbc/preprints/sbc1.pdf
本人のサイトで公開されてた
本物と変わらん
0521１３２人目の素数さん
2013/10/01(火) 01:40:27.30まぁランダムネスとか複雑性のとこは
http://www-2.dc.uba.ar/materias/azar/bibliografia/Downey2010AlgorithmicRandomness.pdf
http://www-2.dc.uba.ar/materias/azar/bibliografia/NiesBookWithErrata.pdf
で公開されてるしな
あとはWIkipediaで用語調べながらPDFググってけば補完OKかな基礎論の部分は
これでもっちー論文の基礎論的側面はいける
0522１３２人目の素数さん
2013/10/01(火) 05:13:43.750523１３２人目の素数さん
2013/10/01(火) 09:45:32.98どうせ>>503は斎藤先生の集合位相の教科書とかも理解できず
挙句「誰にも読んでもらえない独りよがりの教科書」とか難癖つけるタイプw
0524１３２人目の素数さん
2013/10/01(火) 21:28:51.23激しく同意。数学には、野球のルールだけ詳しい、万年補欠が
いるからね
0525１３２人目の素数さん
2013/10/01(火) 21:40:32.32比喩なのかそうでないのか判断しかねるレスだ
0526１３２人目の素数さん
2013/10/01(火) 21:44:40.640527１３２人目の素数さん
2013/10/01(火) 21:45:26.46報道で興味をもった方も多いんですよね？
もしよければ
http://www.math.psu.edu/simpson/courses/math557/logic.pdf
をよんで基礎から数学を勉強しなよ
0528１３２人目の素数さん
2013/10/01(火) 21:46:32.32野球の話ばっかするコテでもいるのかなって
0529１３２人目の素数さん
2013/10/01(火) 21:47:30.45フェルマー予想のAmazonレビューを思い出したw
0530１３２人目の素数さん
2013/10/01(火) 21:55:33.81数学を知らないのに数学の形式化を先に勉強してどうすんのよ
0531１３２人目の素数さん
2013/10/01(火) 22:18:08.54そこで数理論理の講義ノートを進める意味が不明
上の方でも再帰理論がどうとか言ってたりする人居るけど
論文をチラ見した限りでは再帰理論に言及しているようなところは見つからなかったんだけど
何を持って計算可能性理論と関連があると言ってるの？
0532１３２人目の素数さん
2013/10/01(火) 22:22:40.42数学の基礎に関する議論が後々避けられなくなるだろうことは
loglinkやΘlinkの使い方を見れば自明なわけなんですわな
0533１３２人目の素数さん
2013/10/01(火) 22:33:44.72なぜ？
0534１３２人目の素数さん
2013/10/01(火) 22:34:15.43http://arxiv.org/pdf/1301.0083.pdf
これのもともとのアイデアは計算機でよく使われる再帰スキーム
http://arxiv.org/pdf/1101.4929v3.pdf
に基づくもので、スキーム幾何と再帰論は不可分なんだな
0535１３２人目の素数さん
2013/10/01(火) 22:40:49.85名無しなのにコテっていうあたりが意味不明過ぎる
0536１３２人目の素数さん
2013/10/01(火) 22:56:40.51名無しでも「あ、こいつあのコテかな」ってときがあるだろ？
そういうたぐいの話かなって……
違ったから納得してもらうこと自体が不毛だけどさ
0537１３２人目の素数さん
2013/10/01(火) 22:58:14.70数論幾何の研究やってるみたいだけど。
（別にそれが悪いと言いたい訳ではないので悪しからず）
数論やる上で再帰理論の勉強が有益であることは充分ありうるだろうけど、
「望月先生の論文を読む上では」あまり必要そうには見えない
0538１３２人目の素数さん
2013/10/01(火) 23:26:20.61ある分野からアイデアを得たらその分野と不可分になる、という論理はおかしい。
0539１３２人目の素数さん
2013/10/01(火) 23:29:03.280540１３２人目の素数さん
2013/10/01(火) 23:32:01.240541１３２人目の素数さん
2013/10/02(水) 00:40:22.990542狢 ◆yEy4lYsULH68
2013/10/02(水) 03:21:27.76も弱いヤツに対してだけは、超エラそうやったさかいナ。滅茶苦茶みっともなかったわサ。
ケケケ狢
0543１３２人目の素数さん
2013/10/02(水) 05:51:45.50仲悪そうな感じ
0544１３２人目の素数さん
2013/10/02(水) 07:38:48.09でもお父さんはちゃんと高い評価を受けていた。
駄目な息子の方が、評価低い割に偉そうだし、超ブーメラン。
0545狢 ◆yEy4lYsULH68
2013/10/02(水) 07:55:36.49そうですか。でも私は人の評価はカウントには入れません。あくまでも『糞父は生涯の敵』
という立場を崩す考えはありませんので。だから糞父に対する攻撃は今後も続きます。
狢
0546１３２人目の素数さん
2013/10/02(水) 11:02:06.86最後はいつも「お父さん早くちんちん挿れて」と芳雄にせがんでいた哲也
0547狢 ◆yEy4lYsULH68
2013/10/02(水) 14:45:28.260548狢 ◆yEy4lYsULH68
2013/10/02(水) 15:50:46.790549１３２人目の素数さん
2013/10/02(水) 16:18:48.81＼::: ＼
＼::: ＼
ノ´⌒`）: ）
γ⌒´ ／::: ／
／哲也⌒〈:: ／ ）
ｉ / ⌒ 〈／ ヽ ）
!ﾞ (･ ）｀┃( ･）ｉ/
| （__人_） |
＼ ｀ー'┃／
馬鹿なくせに自分よりも弱いヤツに対してだけは、
超エラそうやったさかいナ。
滅茶苦茶みっともなかったわサ。馬鹿なくせに
0550狢 ◆yEy4lYsULH68
2013/10/02(水) 18:14:03.65コココ狢
0551あのこうちやんは始皇帝だった
2013/10/02(水) 18:40:00.34コイツ、２０代の、無職の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0552狢 ◆yEy4lYsULH68
2013/10/02(水) 18:41:39.48狢
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
0553１３２人目の素数さん
2013/10/02(水) 19:41:42.01というより数学界と仲悪そうなイメージ
0554１３２人目の素数さん
2013/10/02(水) 20:17:48.410555１３２人目の素数さん
2013/10/02(水) 20:40:49.67旅費も出すから来てくれよって頼んだのに無視されたというね
0556１３２人目の素数さん
2013/10/02(水) 20:49:52.110557１３２人目の素数さん
2013/10/02(水) 20:52:08.56まだちゃんと頭回るのだろうか
0558１３２人目の素数さん
2013/10/02(水) 20:52:09.510559１３２人目の素数さん
2013/10/03(木) 00:14:11.15望月氏のABC予想証明で、ぼちぼち引用されてきているようだな。
正しいと踏んでどんどん先の研究をしてしまおうという魂胆だろうか？
0560１３２人目の素数さん
2013/10/05(土) 22:34:53.710561１３２人目の素数さん
2013/10/06(日) 11:36:28.64高次元圏の行き着いた具体例がこれω-亜群の使い方がわかる
そしてリーｎ-代数の超圏やGフロー、R-亜代数、ホモトピー数学で天国へってか
0562１３２人目の素数さん
2013/10/06(日) 16:50:23.86ちゃんと全部がつながって一つの数学になってる証拠だよな
0563１３２人目の素数さん
2013/10/06(日) 17:39:29.74ルーリーみたいにｎ圏で高次の数学を作り出すのは
無意味な仕事なんじゃないのって言うのもいるだろうけど
もしかしたら高次圏での定理が１次の数学に使えるかもしれんしね
現実に２圏はそこそこ具体例が構築されてるし（未解決問題の役に立ってるわけではないけど
0564１３２人目の素数さん
2013/10/06(日) 18:03:20.56何を研究しようと数学だからどこかで繋がってるかもしれないし、今世界で行われている数学の研究だけが数学とも限らない
0565１３２人目の素数さん
2013/10/06(日) 18:15:38.82(0,0)-圏は集合論、(0,1)-圏が通常の圏論、(0,ｎ)-圏がｎ圏、
って拡張されてるけど
逆に
(1,0)-圏がモノイド(圏論の意味で)、(2,0)-圏が可換モノイドってな方向にも拡張可能っても覚えとかないと
結び目とかホモトピーのホモトピーに関するTQFTとかも理解できないってことよ
ｍが２以上なら
(2,ｍ)-圏にはすべてホモトピー理論、(3,ｍ)-圏にはすべて結び目理論の具体例が存在することが示されてるし
(3,1)-圏、(4,2)-圏、(5,3)-圏にはきれいな対称性が存在することがわかってる
高次圏のすごいところは複素ベクトル空間と３次元のユークリッド空間の結び目など
直感的には全く接点がないような異なった数学の間に、同じ構造が存在することが示されることなんだよね
まさに数学際数学とでもいうのかな圏論は
まぁ具体例が発見されているのはまだほんの少しだけだけど
0566１３２人目の素数さん
2013/10/06(日) 20:20:23.170567１３２人目の素数さん
2013/10/06(日) 20:24:02.39本人や周辺の人達が何度も言ってるのに
0568１３２人目の素数さん
2013/10/06(日) 20:50:25.210569１３２人目の素数さん
2013/10/06(日) 21:04:14.49一つのセッティングでしか記述できない数学など貧弱な内容しかなかろう
圏の深い内容を知らなきゃ理解できない豊富な内容の数学があるのかなあ。
0570１３２人目の素数さん
2013/10/06(日) 21:19:12.000571１３２人目の素数さん
2013/10/06(日) 21:35:49.22まさかとは思うけど、それって面白いと思って書いたの？
0572１３２人目の素数さん
2013/10/06(日) 22:39:02.28もっちーはHrushovskiの幾何をどこまで圏論の性質だけにもってけるかという研究に注目してる
ただ数論幾何全般で幾何学的モデル理論が注目されているので別にもっちー固有の興味ではないが
https://www.jstage.jst.go.jp/article/sugaku1947/53/1/53_1_76/_pdf
>>569
圏論とかコホモロジーってのは一種の手法全般なんだよ、例えば関数に匹敵する手法
0573１３２人目の素数さん
2013/10/06(日) 23:00:25.64手法だから他の様々な手法と絡まりあって初めて有用となる
0574１３２人目の素数さん
2013/10/06(日) 23:10:21.320575狢 ◆yEy4lYsULH68
2013/10/06(日) 23:11:58.350576１３２人目の素数さん
2013/10/07(月) 17:33:31.12おいそのリンク幾何的モデル理論の解説じゃねえか
そういう普通に知られてる話のリンクなんか示されても
IU幾何の何処で高次圏論の一般論以外の部分が必要になるかは示せんぞ
0577１３２人目の素数さん
2013/10/07(月) 19:11:30.19本当は広いんだろうが、この板のクソ院生を筆頭に、超狭義のピュアマス（数論、幾何周辺）しか
認めない連中も多い
0578１３２人目の素数さん
2013/10/07(月) 20:01:46.040579１３２人目の素数さん
2013/10/07(月) 20:20:17.300580１３２人目の素数さん
2013/10/07(月) 20:25:28.080581１３２人目の素数さん
2013/10/07(月) 20:35:42.10それは「代数」を「幾何」や「解析」に置き換えても成り立つのではないか？
0582１３２人目の素数さん
2013/10/08(火) 07:31:14.230583１３２人目の素数さん
2013/10/08(火) 10:10:40.900584１３２人目の素数さん
2013/10/08(火) 12:52:27.33その話面白そう (m,n)-圏に関するソースありませんか
(1,0)-圏がモノイド、(2,0)-圏で可換になるってどういうことですか
0585１３２人目の素数さん
2013/10/10(木) 07:01:23.32もっちーが解決したグロタンディーク予想は２圏の性質からきてる
ＩＵ幾何でも宇宙際でスキーム連鎖をおこす議論は厳密には高次圏で書かれるだろうと主張している
>>581
数学的議論の中心は代数、幾何や解析は直感的な表現にすぎない
例えば基礎論ってのは数学を制限することで数学の特性を明らかにしようとしてる
しかしすべての数学が集合論の中でつくられるという無意味な制限をする人もいる
一方で高次圏や高次トポロジーは逆に数学を拡張しようとしている
例えば基礎論でＺＦＣに連続体仮説を加えたら・・・、逆にその否定を加えたら・・・
といった議論があるが、これら両者が成り立つという議論の場と議論の対象をすべて含めた上での
数学的構造を明るみに出すのが高次圏なわけ、つまり思考可能なことが片っ端から数学化される
>>583
実は低い階層の圏では弱圏と強圏が同値になるけど
トポロジーの低次元での同相と微分同相の一致の由来かもしれない
>>584
http://arxiv.org/pdf/math/0305049v1.pdf
(m,n)-圏ｍはモノイダルｎ圏のことね
0587１３２人目の素数さん
2013/10/10(木) 09:21:53.040588狢 ◆yEy4lYsULH68
2013/10/10(木) 09:27:01.95そうですかね。私は>>585氏とほぼ同意見ですけどね。数学というのは所詮は『基本的な
構造を取り出して定式化する事』だと思いますが。厳密でないものは数学とは言わないので。
狢
0590狢 ◆yEy4lYsULH68
2013/10/10(木) 11:34:35.55確かにそうかも知れません。まあ『>>579の主張』をもし「そういう突き詰め方も存在する」
と読むのであればいいんですが、でももし「そういう突き詰め方しか存在しない」と読めば、
それは学問としては間違い（少なくとも危険である）という事になります。
ですが『>>581の主張』はいささか不明瞭で、例えば「突き詰めた幾何」或は「突き詰めた
解析」が何であるのかは当然に問題になります。その理由は（通常の認識では）例えば代数
の、或は解析の概念を使う事無く成立する幾何であるとか、或は他の概念を一切排除してい
る（単なる道具としての）解析というものが、その『突き詰めた数学の形態』かどうかの問
題があるからです。
尤も何が代数で何が幾何で何が解析かは、当然に人によって認識が違うので、従ってこうい
う議論は多分に『好き嫌いという趣味の問題』だとは思いますが。
狢
0591１３２人目の素数さん
2013/10/10(木) 12:55:04.39ドロンボー達が解散して別々の未来を選んで、別れて歩き出すんだけど
三人の選んだ三本の道は先の方でまた一本の道にまとまるんだぜ
0592１３２人目の素数さん
2013/10/10(木) 13:02:19.930593１３２人目の素数さん
2013/10/10(木) 15:37:57.22厳密さという概念を数学的に表現するとどうなるの？
0594１３２人目の素数さん
2013/10/10(木) 15:44:08.310595１３２人目の素数さん
2013/10/10(木) 15:54:44.22厳密性とは時間に依存する函数だと
0596１３２人目の素数さん
2013/10/10(木) 20:04:28.67, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ | このスレは馬と鹿と豚さんばかりね。
| ` -'＼ ｰ' 人
| /(l ＿＿／ ヽ、
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
0597１３２人目の素数さん
2013/10/10(木) 20:27:06.00でもそれは単調増加関数だから
当然、旧時代の非厳密な証明で済ませるのではなくて
時代遅れでない最も厳密な証明をしないといけない
0598１３２人目の素数さん
2013/10/10(木) 20:33:40.83連続体仮説などの独立命題が高次圏に止揚される、
みたいなことを言ってるようにしか見えないけど
普通に考えて集合論的な独立性の話と高次圏は
どっちが根本的ということもなく、あまり関係のない話
正直なところ滅茶苦茶を言っているようにしか見えない
0599１３２人目の素数さん
2013/10/10(木) 21:10:21.75同感。 ５８５のようなトンデモが基礎論を怪しい
印象にしてしまうんだろうね。
0600狢 ◆yEy4lYsULH68
2013/10/10(木) 22:19:28.70そうですか。でも、もし集合論をはみ出した部分でも全体の議論を拡張
して考えようとした場合には、代数という見方をするのが取り敢えずは
（完全な厳密性の確保という意味で）安全だろうとは思います。但し、
代数以外の可能性を最初から排除して考えるのは確かに良くないです。
でもそういう可能性を考えるのは猛烈に難しいとは思いますけど。
違いますかね。
狢
0601１３２人目の素数さん
2013/10/10(木) 22:39:54.62Kripke-Joyal Semanticsで圏論スタイルで独立性証明しますよって話というよりは、
トポスで連続体仮説を偽にする直観論理がつくれるのは有名だけど
これに対して連続体仮説を正しく解釈するトポスをつくりあげて２圏で両者を連動させれば
連続体仮説と集合論との全体像を明らかにする高次圏が出現するだろうことは明らか
とはいえ最初にあった想定は(0,-1)-圏が真理値になるとか(0,-2)-圏が恒真になるとか
負のｎ圏が論理と密接につながってるという話だけどね
0603１３２人目の素数さん
2013/10/11(金) 03:17:13.03・・・今の時代では銀行員がかけそばを夕食にする、普通に。
0604１３２人目の素数さん
2013/10/11(金) 04:23:32.07君は文献紹介に徹してくれ
それなら私を含めたみんなから歓迎される
0605１３２人目の素数さん
2013/10/11(金) 04:33:58.48これだから抽象カブレのアホは
0606１３２人目の素数さん
2013/10/11(金) 07:24:32.91君、基礎論スレにいた例のコテじゃないのか？
0607１３２人目の素数さん
2013/10/11(金) 12:52:39.61IU幾何もこんな奴引き寄せるからもっちーが宣伝したがらないんだろ
0608１３２人目の素数さん
2013/10/12(土) 08:04:18.26だからといって各理論が集合論と密接に繋がってる訳は無いし
集合論の基礎的でない結果を色々知ってないと証明が出来ない訳も無いし
また集合論を色々知ってるだけで出来る事なんて限られてる
上記の集合論の事情は圏論でも変わらんのにね
0609１３２人目の素数さん
2013/10/12(土) 10:04:40.950610壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 10:27:43.75ケケケ狢
0611１３２人目の素数さん
2013/10/12(土) 10:41:49.370612壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 10:51:19.14どや、そないスルかァ。
ケケケ狢ァ～ん
0613１３２人目の素数さん
2013/10/12(土) 11:00:10.20計算機とか哲学の人が数学をすべて書ける普遍言語に興味をもつのは普通だと思う
それで高次圏くらいならなんでもできるだろうという主張だろうけど
それはすべての数学理論は紙にペンでかけるとかTeXで書けるとかと同じ主張では
圏のほうが集合よりより多くを扱えるのは間違いないけど
0614壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 11:20:00.40狢
0615１３２人目の素数さん
2013/10/12(土) 12:02:54.77あたらしい圏を作って
来来圏と名付けてくれ
やくそくだ
0616壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 12:08:00.04ちゃんと勉強をして
壊れた国を建て直してくれ
やくそくだ
狢
0617１３２人目の素数さん
2013/10/12(土) 12:27:20.79極大イデアルの存在は選択公理をつかってるし、
複素数体の自己同型で非自明なものを考えようとしたら非構成的手法を使わざるを得ない。
0618１３２人目の素数さん
2013/10/12(土) 13:09:28.530619１３２人目の素数さん
2013/10/12(土) 14:56:43.200620１３２人目の素数さん
2013/10/12(土) 16:11:11.75その程度ならどうでもいいよな。
ほとんどの分野において大事なのはそこから先だし。
0621壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 16:25:02.96なるほどナ。ほんでアンタが言う『大事なその先』っちゅうんはどんな
話なんや。ちゃんと言うてや。何せ「殆どの分野」でそうやったらや、
きっとナンボでもアルんやろ。
そやしちゃんと教えてや。頼んどくワ。カキコせえへなんだら催促スル
さかいナ。
ケケケ狢
0622１３２人目の素数さん
2013/10/12(土) 16:29:47.510623壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 17:15:11.42ワシはソレも知らんワ。単なる可能性を言うてるだけや。そやしアンタ
がソレを教えてや。頼むワ。ワシはアホやさかい、何も知らんのんでナ。
狢
0624１３２人目の素数さん
2013/10/12(土) 17:46:51.020626１３２人目の素数さん
2013/10/12(土) 18:28:39.80一般に非構成的な存在定理あるところ数理論理学が絡んでくる
0627１３２人目の素数さん
2013/10/12(土) 18:33:57.700628１３２人目の素数さん
2013/10/12(土) 18:39:28.92位相空間や測度論のマニアックな定理とか？
0629１３２人目の素数さん
2013/10/12(土) 18:40:17.49あからさまにツォルンの補題を使う場所だけやたらと選択公理の使用を気にする、というパターン
0630１３２人目の素数さん
2013/10/12(土) 19:02:51.18位相が入んなくなる
選択公理が他のZFCと独立の公理と矛盾する場合があるので奇妙な感じがする
しかしこう考えるとよい。
この集合論の議論はそれよりももっと規模の大きな数学的体系において、
選択公理と同値な命題Ｘと決定公理と同値な命題Ｙがあって、
「ＡのときはＸ、ＢのときはＹ」という形の命題があると想定すれば解決する。
つまり今の集合論で選択公理と決定性公理が矛盾するのは
ＸとＹの矛盾が条件ＡやＢに依存しないで証明できるってだけで、
実際まだ発見してないＸとＹの条件を含む数学体系があるはず。
そう考えると直感的に選択公理とかツォルンとか使っても特に問題はでてこない。
（基礎論特有の命題を扱うのでなければ）
また不完全性定理も無矛盾と再帰と算術が同時に成り立たないだけで、再帰をすてれば問題ない。
というか再帰を考慮したら計算機科学に出てくるような数学しかできなくなる。
そっちのが明らかに数学の破たん。
つまり集合論はこわくないってこと。
0631あのこうちやんは始皇帝だった
2013/10/12(土) 19:11:43.72コイツ、２０代の、無職の、女性恐怖症の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
無職のクソガキども！ 大変なコトになるな！
憲法改正だ！ ９６条を改正してから、９条を改正する。 そして、何条を改正するか？
１８条だ！ そうして、国家総動員法ができて、オマエたち、無職のクソガキどもは、真っ先に徴兵だ！
オマエたちは、頭デッカチの虚弱児・ひ弱だから、最下等兵！ すぐ戦死だ！
アハハハハハハハハハハ！！！！！！！！！！！！！！！！！！！！
死にゆく、クソガキどもに、大伴家持の詩を贈ってやろう！
海行かば 水浸く屍 山行かば 草むす屍 大君の 辺にこそ死なめ かえりみはせじ！
0633１３２人目の素数さん
2013/10/12(土) 19:12:40.95反応するな
0635壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 19:18:29.56そやから、まあ『諦めて耐える』んだろうナ。ソレがアンタ達がしてる
事やからや。
コココ狢
0636１３２人目の素数さん
2013/10/12(土) 19:20:37.780637壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 19:22:06.02狢
0638壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 19:26:46.06あのな、もし今後アンタ等が貼り付いて来たら、その時は『反応するな』
っちゅうてカキコして返したるワ。そんでエエかァ。どうや、鬱陶しい
やろ。
ケケケ狢
0639壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 19:32:26.25そやし『反応するな』っちゅうて何時でも反応してエエんやゾ。ワシか
てアンタ等に徹底して貼り付いたるさかいナ。今後も継続的に貼り付く
さかいナ。
コココ狢
0640１３２人目の素数さん
2013/10/12(土) 19:47:28.150641１３２人目の素数さん
2013/10/12(土) 19:59:10.88さいたま県民だろ？
0643１３２人目の素数さん
2013/10/12(土) 20:19:49.320644１３２人目の素数さん
2013/10/12(土) 20:48:25.32>というか再帰を考慮したら計算機科学に出てくるような数学しかできなくなる。
>そっちのが明らかに数学の破たん。
公理の集合が再帰的可算という条件は、
ある命題が公理かどうかを判断するアルゴリズムが存在する、
ということ。この条件を落とすと、
（たとえば連続体仮説とかリーマン仮説とかのような）
ある命題が公理であって証明が必要かどうかは
ケースバイケースで頭の良い学者が判断する、機械的には決められない、
みたいな事になる。
それで良いなら良いけど、それはユークリッド以来の論証的学問ではないよね。
0645１３２人目の素数さん
2013/10/12(土) 21:06:56.96ん？
勃起した？
0646壊の国の狢 ◆yEy4lYsULH68
2013/10/12(土) 22:42:14.57今日の戦闘もそろそろ終わりやろ。そやし明日かて先頭を走りたいさかい、
ぼちぼち銭湯に行って来るかいな。珈琲牛乳の栓等にも注意せんと、うま
く飲めへんさかい、用心せんとナ。
ケケケ狢
0647１３２人目の素数さん
2013/10/12(土) 23:01:48.87実際ケースバイケースでは？
普通ははじめにアイデアがあってそれを説明するために定義定理証明がおこるわけで
ＺＦＣみたいな再帰的な公理集合から全部の数学がでてくるなんて考えて数学をやってる人間はいないと思う
ワイルズやもっちーの論文も最終的なＡＢＣ予想やフェルマー予想はＺＦＣの定理だとしても
その論証中の補題とか定理が全部ＺＦＣの中に入るかはわからない（たぶん無理
0648１３２人目の素数さん
2013/10/12(土) 23:58:30.35アイディアがどうこういうというのは全然関係ない。
＞ＺＦＣみたいな再帰的な公理集合から全部の数学がでてくるなんて考えて数学をやってる人間はいない
公理の集まりが非再帰的だと思って数学をやってるわけでもなくて気にしてないだけ。
常識的な数学者は、公理かどうかは万人に対して明確に定まる、
というふうには考えていて、これは公理の集合が再帰的と言ってるのとほぼ同じこと。
なんか公理の集まりが再帰的なのは基礎論とか計算機科学に特有の話だと思ってるみたいだけど
全然そんなことはなくて圏論だろうがトポス理論だろうがホモロジー代数だろうが微分位相幾何だろうが、
偏微分方程式論だろうが、その理論の公理の集合は再帰的。
人間が読んで分かるような書き方で明示的に書かれてれば必ず再帰的になる。
0649１３２人目の素数さん
2013/10/13(日) 00:13:46.20珈琲牛乳ってアレだろ
肛門内に射精したときに
白いのと茶色いのが混ざって…
アンタそれを飲むのが趣味か（＠o＠；
0650１３２人目の素数さん
2013/10/13(日) 01:05:44.20＞というふうには考えていて、これは公理の集合が再帰的と言ってるのとほぼ同じこと。
＞なんか公理の集まりが再帰的なのは基礎論とか計算機科学に特有の話だと思ってるみたいだけど
＞全然そんなことはなくて圏論だろうがトポス理論だろうがホモロジー代数だろうが微分位相幾何だろうが、
＞偏微分方程式論だろうが、その理論の公理の集合は再帰的。
＞人間が読んで分かるような書き方で明示的に書かれてれば必ず再帰的になる。
公理の集合が再帰的ってのはΔとかΣってことでもっと厳密に定義されてることでしょ。
例えば数学では、真の算術のような間接的に作られた理論も作れるわけだから。
そういう話ではなくて、例えばどの理論の公理がどうとか再帰的だとかっていう
議論そのものも数学なわけで、それ自体は決まった公理からでてくるわけじゃない。
あくまで基礎論でやってるのは勝手に制限した枠組みでどれだけ表現できるかって話。
実際は定義も各々の本でぶれたり導出が煩雑だから公理化したりしているし、
圏論なんかは再帰的どころかほんとに形式的につくれるのかも怪しい。
実際のところ矛盾しないように継ぎ足してってるのが数学で
それが完璧に形式化されてしかも再帰的な公理の集まりからでてくるなんて根拠がどこにもない
0651壊の国の狢 ◆yEy4lYsULH68
2013/10/13(日) 07:59:45.42がありますよね。あのFLTはそういう意味では現代数学をココまで導い
てくれた素晴らしいきっかけだったとも言える訳です。そして350年後
ですか、あのWilesが最終決着をするに当たっては谷山・志村とかを含
めて色んな超越性を含んだ数学を結果的に通過した訳です。でも元々は
『ああいう代数の顔をした問題』ですから、従ってFLTが正しいと主張
する為にはどんな土俵を準備すればソレで充分なのかは当然に考え直さ
なければならない問題な訳です。
ですからもしABCを経由してその正当性が保障されるのであれば、その
仕組みというか『正しい場所』に関する認識は格段に精密になり、数学
は更に確固とした存在になる訳です。だからこそ、こういう試みは非常
に重要だと思われます。
狢
0652１３２人目の素数さん
2013/10/13(日) 08:16:20.620653１３２人目の素数さん
2013/10/13(日) 08:52:38.55有史以来有限人しか生まれていないんだから
その時点までの再帰的な数学の総体を、やはり再帰的なようにしか拡張できない。
この宇宙に知的生命体が居なくなる時までずっと再帰的なそのまま。
>>650の言ってるのは、日本の法律は国会議員が議論して
ケースバイケースで決めていくからきちんと決まってない、
つまり何かが法律で許されてるのか禁じられてるのかが
法律で決まってないようなアヤフヤな国だ、って言ってるようなものだよ。
実際は或る時点で定められている法律は厳格に定まっているし、これからもそう。
>勝手に制限した枠組み
証明なしに認めて良い命題を制限するのはユークリッドの原論からそうで、
別に基礎論の学者が勝手にそういうルールを作ってる訳じゃない
>それ自体は決まった公理からでてくるわけじゃない。
それ自体、ある決まった範囲の、証明なしに正しいと見なされる命題群から導出される。
0654１３２人目の素数さん
2013/10/13(日) 10:42:13.24ユークリッドの原論の公理的論証は勝手な制限ではないぞ
平行線の公理みたいな歯切れの悪い公理を採用せざるをえなかった。
0655１３２人目の素数さん
2013/10/13(日) 11:02:15.01双方、自分に有利な立場から一旦抜け出して歩み寄らないと平行線のままだよ
0656１３２人目の素数さん
2013/10/13(日) 11:10:16.790657１３２人目の素数さん
2013/10/13(日) 11:43:19.720658壊の国の狢 ◆yEy4lYsULH68
2013/10/13(日) 14:05:24.61○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●
●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○
○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●
●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○
○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●
●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○
○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●
●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○
○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●
●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○
○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●
●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○●○
0659１３２人目の素数さん
2013/10/13(日) 18:44:49.94＞有史以来有限人しか生まれていないんだから
＞その時点までの再帰的な数学の総体を、やはり再帰的なようにしか拡張できない。
＞この宇宙に知的生命体が居なくなる時までずっと再帰的なそのまま。
この大雑把な再帰性への理解は、集合論で「熱いもの」とか「大きいもの」みたいな
あやふやなものを集合として考えているようなもの。
再帰性ってのはもっと厳密な形式体系に関する定義だから、日常のぽんぽんと適用できるものじゃない。
＞証明なしに認めて良い命題を制限するのはユークリッドの原論からそうで、
＞別に基礎論の学者が勝手にそういうルールを作ってる訳じゃない
定義、定理、証明って形式自体が単に近代以降の数学の主流なだけ。
＞それ自体、ある決まった範囲の、証明なしに正しいと見なされる命題群から導出される。
ここもおかしくて何が基本的な命題なのかはよくわからない。
ジョルダンの曲線定理みたいに当たり前すぎて他の原理から証明されるべきなのかよくわからなかいこともあった。
つまり何が基本原理なのかよくわからないからはじめにいくつかの命題群から木みたいに数学がでてくるようなことはない。
0660１３２人目の素数さん
2013/10/13(日) 19:57:13.35https://www.coursera.org/courses?orderby=upcoming&;cats=math
0661１３２人目の素数さん
2013/10/13(日) 20:00:53.81出発点の公理とメタ数学のベースを同じにしないと
話が噛み合わない
0662１３２人目の素数さん
2013/10/13(日) 20:13:32.37数理論理学-超準解析なんたらってオレンジ色の本で読んだことある
0663１３２人目の素数さん
2013/10/13(日) 20:26:14.45単に、私が数学とは公理から定理を証明する学問だと考えているのに対して
>>659が、定式化される前の頭の中のボンヤリした数理的イメージのことを数学と呼んでいるだけ。
>>630では、不完全性定理の「公理の集まりが無矛盾、算術を含む、再帰的」、
という三つの条件のうち再帰性を落とせば良い、と言っている。
読むほうは当然、公理が無矛盾かつ算術を含むという条件は残されるんだな、と理解する。
それなのにいきなり、数学は公理から定理を導く学問ではない、
みたいなことを言い出したら暗黙の前提がいつの間にかひっくり返されてるからついていけない。
また、>>630では、不完全性定理が成り立ってしまっては困るから
我々の算術の知識の総体が再帰的であるという条件を捨てよう、とか言ってるけど、
これは自分で勝手に選ぶ条件ではなくて、「人間は皆不死ではありえない」みたいに
もともと決まってしまっているものだから、我々にはどうにもできない。
人類の算術に関する知識は再帰的かもしれないし、実際に私はそう信ずる。
その根拠が「有限時間に～～」で書いた部分。
不完全性定理は実質的に算術についての定理だから自然数に関する命題に限って話すが、
>>630の言うように、我々の算術に関する知識が実は再帰的でなく、完全である為には、
ZFCから導出不能であるような算術の命題が、実は自明で証明の要らない基本的命題だった、
ということが起きていないといけない。でもの可能性はほとんど考え難い。
0664壊の国の狢 ◆yEy4lYsULH68
2013/10/13(日) 20:35:47.90>689 名前：１３２人目の素数さん ：2013/10/13(日) 19:59:50.55
> 客観的に芳雄が正しいだろ
> 京大数学科に入れない学力だった癖に偉そうに批判するな
>
0665１３２人目の素数さん
2013/10/13(日) 20:41:16.55或る理論が再帰的、というのは、
或る理論の命題が公理かどうかが機械的に判定できること。
>>662
その本は今近くにないけど、ZFCでは明らかに学部で習う代数学は扱えるので、
たぶん、ZFCでは無理、じゃなくて一階述語論理上の理論などでは
集合論上の理論として解釈するのでない限りは無理、ということだと思う。
ある環の部分集合が極大イデアルとなっていることを示したりするときに無理が生じる。
二階や三階の理論だと可能だし、実際に二階算術では
極大イデアルとか代数閉包の存在とかが（適当な公理系から）証明できる。
0666１３２人目の素数さん
2013/10/13(日) 21:19:52.13数理論理学―使い方と考え方:超準解析の入口まで
江田 勝哉
なら、アマゾンレビューで色々間違いが指摘されてるね
0667１３２人目の素数さん
2013/10/13(日) 21:23:48.44以下が分かりにくいので書き直して
…………………………………………
不完全性定理は実質的に算術についての定理だから自然数に関する命題に限って話すが、
>>630の言うように、我々の算術に関する知識が実は再帰的でなく、完全である為には、
ZFCから導出不能であるような算術の命題が、実は自明で証明の要らない基本的命題だった、
ということが起きていないといけない。でもの可能性はほとんど考え難い。
0668１３２人目の素数さん
2013/10/13(日) 21:59:50.640669１３２人目の素数さん
2013/10/13(日) 22:22:35.48これはないわ
数学できない科学哲学学生とか趣味でブルーバックス読んでるおっさんの発想
それから再帰と現実の計算の間にチャーチの提唱とかいう単なる信念が入ってたの忘れたの？
0670１３２人目の素数さん
2013/10/13(日) 23:16:12.81＞ これはないわ
＞数学できない科学哲学学生とか趣味でブルーバックス読んでるおっさんの発想
通りすがりの基礎論屋ではない数学の研究社ですけど、
数学の証明は、公理から定理を導いているものと思ってました。
すべての証明を形式証明の推論列では書かないけれども、
省略をマクロとしてみれば公理から論理式で結論されることでは
なかったのでしょうか............
0671１３２人目の素数さん
2013/10/13(日) 23:25:16.20通りすがりならそのまま何も言わずに通り過ぎてってくれ。
0672壊の国の狢 ◆ghclfYsc82
2013/10/13(日) 23:28:22.41でもそうは行かないのが、この馬鹿板というもの。だから貼り付かれても
文句は言えない。一度祟られたら、もう終わりですから。
狢
0673通りすがりｗ
2013/10/13(日) 23:36:03.290674壊の国の狢 ◆ghclfYsc82
2013/10/14(月) 00:12:46.74狢
0675１３２人目の素数さん
2013/10/14(月) 00:16:47.30ZFCは（おそらく）無矛盾、再帰的、かつ算術を含む理論だから
不完全性定理から、ZFCから導出できない算術の命題が存在する。
もし、再帰的なのは計算機科学で出て来るような形式体系に限ったことで、
本物の数学は再帰的でないから不完全ではないのだ、と>>630のようなことを
言う為には、少なくともZFCを超えた範囲に、算術の自明な真理がないといけない、ということ。
0676１３２人目の素数さん
2013/10/14(月) 00:19:26.24そういうことは、現実的な意味で計算可能なのに再帰的でないような関数を
具体的に与えてみてから言ってくれ。
これまで誰もそういう関数を見つけられなかったからそのテーゼが受け入れられてるわけで。
あと、数学では証明を要する命題と、議論の前提となる証明不要の命題の間に
明確な区別がある、というのは明らかで、歴史的にはどうというのは昔の話。
今では、原理的には、定理の証明の正誤を計算機で判定できるレベルまで
形式的に書けるレベルの厳密さは担保されてる。
>>666
そのレビューについて言えば、レビュアーが難癖付けてるだけ
0677１３２人目の素数さん
2013/10/14(月) 00:45:19.170680１３２人目の素数さん
2013/10/14(月) 07:01:58.660681１３２人目の素数さん
2013/10/14(月) 07:40:13.260682壊の国の狢 ◆ghclfYsc82
2013/10/14(月) 09:03:41.87ケケケ狢
0683１３２人目の素数さん
2013/10/14(月) 15:15:47.63>言う為には、少なくともZFCを超えた範囲に、算術の自明な真理がないといけない、ということ。
さすがに連続体仮説のような人の直感がからむような定理が証明できないような理論が
すべての数学的命題を出せるとは思えない。
他にも未完結問題がいくつも証明できないことになってるわけだし。
Ｗｏｏｄｉｎとかはそう考えて究極もモデルを作り出そうとしてるんだと思うよ。
>>676
>あと、数学では証明を要する命題と、議論の前提となる証明不要の命題の間に
>明確な区別がある、というのは明らかで、歴史的にはどうというのは昔の話。
公理と証明は決めれば区別できるけど、そもそも何が公理かってのが問題で。
逆数学もそれが分かってたら流行らないと思う。
0684１３２人目の素数さん
2013/10/15(火) 17:22:14.020685１３２人目の素数さん
2013/10/16(水) 13:52:14.730686１３２人目の素数さん
2013/10/16(水) 21:38:50.08そんなの人間が勝手に決めてるだけで、本源的にどちらが公理であるべきである、
とかそういうことは全く決まってないと思う
0687１３２人目の素数さん
2013/10/16(水) 23:37:33.05基礎論スレで何回も繰り返してる話題だから過去ログでも読んで
0688１３２人目の素数さん
2013/10/19(土) 05:19:46.19IU幾何ではまず何をオブジェクトにとって何を射に取るのか言ってみて欲しい
高次圏ならば何をn-cellに取るのか言ってみて欲しい
とりあえずIU幾何では圏論を使うだろうってのは
「フェルマー予想のワイルズによる証明にはとりあえず集合を使うだろう」
ってのと大して変わらない
0689１３２人目の素数さん
2013/10/19(土) 15:01:21.92もっと奥が深くて美しい数学がいくらでもあるだろうにｗ
0690１３２人目の素数さん
2013/10/20(日) 17:19:46.73人生は短い 数学なんかやってんとすぐ年食っちまうぞw
0691１３２人目の素数さん
2013/10/20(日) 21:39:40.370692１３２人目の素数さん
2013/10/21(月) 02:43:33.11http://www.nicovideo.jp/watch/sm22046979
http://www.nicovideo.jp/watch/sm22046963
http://www.nicovideo.jp/watch/sm14923866
http://www.nicovideo.jp/watch/sm14923835
0693１３２人目の素数さん
2013/10/21(月) 08:12:58.270694１３２人目の素数さん
2013/10/21(月) 12:44:00.35でもおまえの人生は明日までしかないよ？
0695１３２人目の素数さん
2013/10/21(月) 14:04:32.32／ ＼ ／＼ ｷﾘｯ
. ／ （ー） （ー）＼
／ ⌒（__人__）⌒ ＼ でもおまえの人生は明日までしかないよ？
| |r┬-| |
＼ `ー'´ ／
ノ ＼
／´ ヽ
＿＿＿
／ ＼
／ノ ＼ u. ＼ ！？
／ （●） （●） ＼
| （__人__） u. | ｸｽｸｽ>
＼ u.｀ ⌒´ ／
ノ ＼
／´ ヽ
＿＿＿_
<ｸｽｸｽ ／ ＼！？？
／ u ノ ＼
／ u （●） ＼
| （__人__）|
＼ u .｀ ⌒／
ノ ＼
／´ ヽ
0696１３２人目の素数さん
2013/10/24(木) 19:27:21.530697１３２人目の素数さん
2013/10/25(金) 20:38:13.520698１３２人目の素数さん
2013/10/27(日) 01:20:29.820699１３２人目の素数さん
2013/10/27(日) 01:38:29.91コンベンショナルな経路、すなわち一流の数学雑誌に投稿することを
していないから査読は現在なされていない。
0700１３２人目の素数さん
2013/10/27(日) 02:10:28.220701１３２人目の素数さん
2013/10/27(日) 02:22:08.460702１３２人目の素数さん
2013/10/27(日) 06:43:27.430703１３２人目の素数さん
2013/10/27(日) 07:12:06.35今はプレプリントを元に査読前検証の段階ってこと？で、完全な版が出来た暁にはどっかの雑誌に投稿と？
どっかでRIMSの雑誌に投稿したって書いてあったような
0704１３２人目の素数さん
2013/10/27(日) 07:45:53.18それとも雑誌って考究録の事？
このクラスの大理論だとPubl.RIMS程度のジャーナルに
アクセプトされても信頼は得られないだろうね
0705１３２人目の素数さん
2013/10/27(日) 08:00:54.750706１３２人目の素数さん
2013/10/27(日) 08:19:51.59このレベルの理論だとどんな雑誌でも
形式的掲載以上の意味は持たせられない
複数の覆面では無い実名の査読者がレポートしたり
議論するものかと
0707１３２人目の素数さん
2013/10/27(日) 08:56:15.58きちんとした査読に耐えたかどうかは重要だろうが、もうどこに載るか
とかは全く意味ない話。annalsがどうとかゆうに超えてる話だし。
査読プロセスがついた本って形で出版もありえるだろうし、ペレルマン
みたいに査読ついたってだけでプレプリントのままで終わるかもしれないし。
問題は本当にRIMSの他のanabelianが動いているかどうか。
0708１３２人目の素数さん
2013/10/27(日) 10:06:37.51そもそも仕事のスケールからして京大とか日本とかにとらわれる意味もないでしょ
0709１３２人目の素数さん
2013/10/27(日) 12:15:18.66趣味が悪いが
0710１３２人目の素数さん
2013/10/27(日) 15:31:48.260711１３２人目の素数さん
2013/10/27(日) 15:59:36.660712１３２人目の素数さん
2013/10/27(日) 16:31:50.58数学科にはよくいる後輩に馬鹿にされるタイプ
0713１３２人目の素数さん
2013/10/27(日) 19:34:06.830714１３２人目の素数さん
2013/10/27(日) 19:47:43.62理論の全体像を掴むまでには至っていない。みたいな記事が前に出てたな。
0715１３２人目の素数さん
2013/10/27(日) 19:54:00.48星さんがいる
0716１３２人目の素数さん
2013/10/27(日) 20:32:44.37発表から関係するような分野のテキスト勉強しまくってるけど
まったく読めない
0717１３２人目の素数さん
2013/10/27(日) 22:35:03.380718１３２人目の素数さん
2013/10/27(日) 22:42:37.940719１３２人目の素数さん
2013/10/27(日) 22:47:05.53ヴォイニッチ手稿とどっちが上？
0720１３２人目の素数さん
2013/10/28(月) 21:56:57.91講演しづらいね。
0721１３２人目の素数さん
2013/10/28(月) 22:54:12.970722１３２人目の素数さん
2013/10/28(月) 23:53:33.51乗り越えられない壁て
存在するのかな？
難しくなりすぎたとか。
0723１３２人目の素数さん
2013/10/28(月) 23:58:59.380724１３２人目の素数さん
2013/10/29(火) 00:52:33.68http://www.youtube.com/watch?v=xAJjBMNQm2o
0725１３２人目の素数さん
2013/10/29(火) 01:18:24.150726１３２人目の素数さん
2013/10/29(火) 01:47:49.260727１３２人目の素数さん
2013/10/29(火) 10:22:52.310728１３２人目の素数さん
2013/10/29(火) 11:54:41.310729１３２人目の素数さん
2013/10/29(火) 13:53:54.93地道に頑張ってみるよ
0730１３２人目の素数さん
2013/10/29(火) 14:25:24.360731１３２人目の素数さん
2013/10/29(火) 15:06:36.55自分の明日さえわかんないのに
だから人間がんばるんじゃないのぐらいしか
0732１３２人目の素数さん
2013/10/29(火) 15:11:35.570733１３２人目の素数さん
2013/10/29(火) 16:23:03.04本職でもまわりは金の偏執者
なんだかなぁ・・って感じ
0734１３２人目の素数さん
2013/10/29(火) 17:33:49.38情報幾何なんかやっとくといいんじゃないか
0735１３２人目の素数さん
2013/10/29(火) 17:40:27.02おまえ小幾何？
なんかやっとくといいんじゃないか
0736１３２人目の素数さん
2013/10/29(火) 18:44:14.87スマフォのアプリぐらい作れるようになっとくと
いいんじゃないぐらい来るかと思ったぜw
0737１３２人目の素数さん
2013/10/30(水) 05:05:05.91で、査読の方はどうなってる？
0738１３２人目の素数さん
2013/10/30(水) 18:16:46.390739１３２人目の素数さん
2013/10/30(水) 19:45:50.52んな事言ったら凡人数学者の８割以上は天才数学者の後追いの論文ばかりで
人生が無駄になるって事になるわなｗ
0740１３２人目の素数さん
2013/10/30(水) 19:54:15.560741１３２人目の素数さん
2013/10/30(水) 20:08:32.41数学でそんなこと出来るのはほんの一握り。 うらやましいわ
0742１３２人目の素数さん
2013/10/31(木) 01:35:28.83人間ばかりになり、結果、大多数の意見として
数学なんて不必要という方向になる。
実際、教育審議委員会でも数学嫌いが
多数を占めていて数学の学習を減らそうとロビー活動している連中もいる。
天才のみが理解できて貢献出来る学問（実際そうなのだが）
なんて世間的にはどうでもいいし困った世の中だ。
先日もそういう政治家・評論家がコメントしてた。
数学者でさえもABC予想の証明は理解できないだろうし
これだけの結果を出して「ああ、そうですか」では寂しい。
でも査読の方は大丈夫なんだろう。
0743１３２人目の素数さん
2013/10/31(木) 01:41:16.320744１３２人目の素数さん
2013/10/31(木) 01:57:27.60数学者は天才を崇拝する傾向が強いと
他学科、化学とか生物からも文句が出るらしい。
つまり人材育成を無視した発言をするから
予算配分にも支障をきたすのが問題だと。
逆に化学や生物、物理でさえも体力勝負、
根性論を推奨するから、人材育成していると
世間的にも映りが良い。
数理研だって予算を減らされる一方だし、
数年前にも「忘れられた数学」とかいう
報告書が出た位だから。
仮に日本人がフィールズ賞を貰っても
余り良い効果は期待できないだろうな。
0745１３２人目の素数さん
2013/10/31(木) 02:11:15.64自分はちゃんと研究しているんだから後進なんか育てなくてもいいんだ、的な
0746１３２人目の素数さん
2013/10/31(木) 02:32:41.10定理：選民思想、天才崇拝、教育軽視が進むと
その国の数学は衰退する。
0747１３２人目の素数さん
2013/10/31(木) 02:46:20.66その命題には明らかな反例がある。フランス
0748１３２人目の素数さん
2013/10/31(木) 02:48:26.72こんなので現実から目を逸らしてられるんだもんな…
0749１３２人目の素数さん
2013/10/31(木) 02:57:39.74世間は数学者の言うことなんて聞いていないし、
宗教と言われる「超弦理論」の本がバカみたいに
売れる時代だ。数学者はもっと現実を見るべき。
0750１３２人目の素数さん
2013/10/31(木) 03:12:16.08そのステレオタイプを信じる世間を、俺らは小馬鹿にしながらも秘かに優越感を抱いて、フィクションと同じように横暴に振る舞ってもいいのだと思い込む
0751１３２人目の素数さん
2013/10/31(木) 03:15:24.76思われ始めてる？
0752１３２人目の素数さん
2013/10/31(木) 03:26:08.32に対するアウトリーチ活動にも励んでいる人がいるのに数学にはそういう
人はいない。数学の場合はそういうことをやると自分の研究活動に支障が
でるのが明確だからじゃないか？決して公衆を馬鹿にしてるとかではない
と思ふ。
0753１３２人目の素数さん
2013/10/31(木) 03:36:04.78こいつうざいわｗ
こいつの存在こそ無意味。
0754１３２人目の素数さん
2013/10/31(木) 03:43:56.280755１３２人目の素数さん
2013/10/31(木) 10:12:55.57どんな現実？
0756１３２人目の素数さん
2013/10/31(木) 12:13:02.44高木貞治とか岡潔とか超一流の研究者でありながら
大衆に対しても発信してきた人はそれなりにいたと思うが。
0757１３２人目の素数さん
2013/10/31(木) 13:25:37.27ちょっと前の山下純一みたいなこと言ってるね
0758１３２人目の素数さん
2013/10/31(木) 16:06:45.000759１３２人目の素数さん
2013/10/31(木) 18:06:06.56物理は最先端分野でも
まだ一般の人にもイメージを駆使してで語れる部分があるけど、
現代数学では無理っぽい…
0760１３２人目の素数さん
2013/10/31(木) 23:15:42.58フランスは教育軽視の国なんですか？
>>752
黒川信重とか
加藤和也とかもそれなりに啓蒙書を書いてる
0761１３２人目の素数さん
2013/11/01(金) 00:03:08.49自分は人の為になる仕事をしたいから数学をするんだ！という人にとっては
そうかもしれないけど、まあ俺は数学が好きだからやってるだけなんで……
「どうしてもガウスになれるんでなければ嫌だ、さもなければ数学なんか
やってもしょうがないといわれる方には、 こう申し上げます
：あなたは数学が好きなのではない、何か別のものが好きなのです。」
という有名な言葉もあるしね
ヴェイユも「まずガウスのように始めたまえ。すぐに自分がガウスでないことが分かるだろう。
それでも良い。まずガウスのように始めたまえ。」と言っているけど、
似たようなことが言いたかったんだと思う。
0762１３２人目の素数さん
2013/11/01(金) 00:07:36.55oさんもこの板の京大厨に言わせれば海外に逃亡した負け犬らしいよ
0763１３２人目の素数さん
2013/11/01(金) 00:10:54.870764１３２人目の素数さん
2013/11/01(金) 00:25:56.63自分のやりたい仕事が続けられるサイクルさえ作ってしまえばいいんじゃない？周りがその仕事をどう評価しようが関係なく満足
みたいなことを言っていて、同じだなあと思った
0765１３２人目の素数さん
2013/11/01(金) 02:28:41.28天才は最先端をやればいいし
凡才であっても数学が好きなら
土地の整備（定理のわずかな簡潔化とか）、道の整備（学びやすいルートの確立）、開墾（よりよい記号の定義）などやることはいっぱいあるでしょ
0766１３２人目の素数さん
2013/11/01(金) 05:11:49.73久賀道郎さんの言葉だね。
山下純一や小島寛之は「そうです。別のものが好きです」と答えそう。
0767１３２人目の素数さん
2013/11/01(金) 14:29:20.09名誉欲に興味があるとか
0768１３２人目の素数さん
2013/11/01(金) 14:32:53.290769１３２人目の素数さん
2013/11/01(金) 15:43:41.72カルテクやシカゴに来てくれと言われたら、ふつう行くわな
そいつあほ過ぎだろ
0770１３２人目の素数さん
2013/11/01(金) 15:46:32.220771１３２人目の素数さん
2013/11/01(金) 16:29:54.34さすがに一番下の行にあることだけじゃ数学界で生き残れないだろ
もう准教授とかになってんならともかく
クソ定理でもいいから新しいもの出していかないと
0772１３２人目の素数さん
2013/11/01(金) 16:59:10.850773１３２人目の素数さん
2013/11/01(金) 17:32:49.80べんきょうせずにけんきゅうはできないからな
ひとのべんきょうをたすけるひともすうがくのはってんにはひつよう
0774１３２人目の素数さん
2013/11/01(金) 17:45:56.64評価もできないだろう。
0775１３２人目の素数さん
2013/11/01(金) 22:12:00.26でもそういう名誉欲というか、社会的に承認されたいという欲求は
大なり小なり全ての数学者にあるものだよ。
ガウスやエルデシュのような仙人みたいな数学者でさえ、
自分の発見が社会的に正当に評価されないとか、
定理に自分のcreditが正当に反映されていないと思ったときには
それなりの不満を表明している
（ボヤイ-ロバチェフスキー(-ガウス)の非ユークリッド幾何とかシュワルツ-エルデシュの素数定理とか）
個人的には>>768に同意だけど、こういうことはそれなりの社会経験を積まないと分からないとは思う
数学を専門にするとそういう能力を身につけにくい
0776１３２人目の素数さん
2013/11/01(金) 22:37:25.44それは数学者コミュニティーの中での承認の話で、世俗的な栄誉とは種類が違うと思う。
志村五郎みたいなゾッとするぐらいの我の強さと仙人っぽさを同居させてる人もいる。
0777１３２人目の素数さん
2013/11/01(金) 22:39:48.28うむ
もともとの杜子春の話の仙人はそんな感じ
0778１３２人目の素数さん
2013/11/01(金) 22:43:03.440779１３２人目の素数さん
2013/11/01(金) 23:37:53.72事を言うのか
0780１３２人目の素数さん
2013/11/02(土) 00:33:00.85暴力という言葉にまつわる負のニュアンスを利用した印象操作。
0781１３２人目の素数さん
2013/11/02(土) 00:35:07.160782１３２人目の素数さん
2013/11/02(土) 00:36:20.35ジャイアンのような人物の事をいうのか
0783１３２人目の素数さん
2013/11/02(土) 00:50:11.580784１３２人目の素数さん
2013/11/02(土) 00:53:30.48数学は違う
0785１３２人目の素数さん
2013/11/02(土) 00:59:08.48不満も何もカウスさんは
ホヤイのパパさんから非ユークリッドについて聞いた時
「発表しなくてよかった」と言って笑ってたじゃないですか
それでホヤイのムスコはグレたわけだけど
0786１３２人目の素数さん
2013/11/02(土) 01:04:48.88いいじゃないか
すうがくしゃだって
にんげんだもの
みつを
0787１３２人目の素数さん
2013/11/02(土) 01:14:06.73なぜなら20年前の私自身の業績を褒めることになってしまうからです。
世間の誤解を恐れて発表しませんでしたが。」
みたいなことも言ってなかったっけ？
個人的には、世間の誤解を恐れて発表する勇気がなかったのなら
後から「実は似たようなことは俺も気付いてたんだぜ」とか言って先取権主張すんなよ、という気はする。
双曲幾何の上半平面モデルにかなり近いところには到達してたみたいだけど、
「似たようなことは俺も気付いてた」というのは、実際は最後の詰めを出来なかった人が
嫉妬を込めて言っているような場合も結構ある気がする。
0788１３２人目の素数さん
2013/11/02(土) 01:16:24.23名誉とか嫉妬に変わっとる
0789１３２人目の素数さん
2013/11/02(土) 01:39:57.29詐欺を擁護する理屈なので容認できない
0790１３２人目の素数さん
2013/11/02(土) 01:47:03.76その人間に責任がある。
0791１３２人目の素数さん
2013/11/02(土) 01:47:34.560792１３２人目の素数さん
2013/11/02(土) 02:03:12.34「にもある」ならわかる
「にある」はおかしい
0793１３２人目の素数さん
2013/11/02(土) 03:44:49.780794１３２人目の素数さん
2013/11/02(土) 06:51:27.81真面目に査読やってる人いるの？
0795１３２人目の素数さん
2013/11/02(土) 08:55:23.690796１３２人目の素数さん
2013/11/02(土) 10:20:37.57みんな生徒なんだ
0797１３２人目の素数さん
2013/11/02(土) 14:22:52.24１．論文を査読雑誌に投稿→雑誌が査読者を依頼→査読者が正しいことを確認
→雑誌に論文が掲載
２．論文をインターネットで発表→数学者としてある程度のレベルの数学者が
自発的に論文を査読→差読者が正しいことを確認したと発表
→その発表の報告を読んだ数学者が賛意を表明
（１）がフェルマー予想、（２）がポアンカレー予想。
ＡＢＣ予想は（２）のケースだが査読している人っているの？
0798１３２人目の素数さん
2013/11/02(土) 14:37:43.510799１３２人目の素数さん
2013/11/02(土) 14:58:51.700800１３２人目の素数さん
2013/11/02(土) 17:57:28.450801１３２人目の素数さん
2013/11/02(土) 18:33:21.99そもそも査読してる人たちは内容を理解できてる？
0802１３２人目の素数さん
2013/11/02(土) 19:05:30.17なんでおまえそんな上から目線なの
0803１３２人目の素数さん
2013/11/02(土) 21:46:38.790804１３２人目の素数さん
2013/11/02(土) 22:02:17.010805１３２人目の素数さん
2013/11/02(土) 22:13:48.760806１３２人目の素数さん
2013/11/02(土) 22:32:25.16しらんがな
でも結果が事実かは早く知りたいそういうもんだ
誰かがやるべきことをやるべきだと言う自由はある
0807１３２人目の素数さん
2013/11/02(土) 23:43:01.16てことは今回その役目を担うのはRIMSの方もしくは山下剛と？山下剛は宇宙際のサーベイ出すって昨年末公式に宣言しちゃってるからなあ
で、それに賛同者があらわれて、証明成立、と？
0808１３２人目の素数さん
2013/11/02(土) 23:43:56.65海外からセミナー等で発表してくれるよう招待されたのをすべて
断って感じが悪くなって事実上放置されてるんだよ。
日本人贔屓なのは良いけど事実は事実として認めましょう。
0809１３２人目の素数さん
2013/11/02(土) 23:56:30.81それ、どっかの記事の受け売りじゃんw
ほんとのこと知らないのどっちだよw
0810１３２人目の素数さん
2013/11/02(土) 23:57:37.900811１３２人目の素数さん
2013/11/03(日) 00:11:09.910812１３２人目の素数さん
2013/11/03(日) 00:17:28.670813１３２人目の素数さん
2013/11/03(日) 00:35:29.630814１３２人目の素数さん
2013/11/03(日) 00:42:14.660815１３２人目の素数さん
2013/11/03(日) 00:51:05.580816１３２人目の素数さん
2013/11/03(日) 01:01:32.54昨年末に宣言して未だに出てないなんて遅すぎじゃないか？
もっと中間報告みたいなこともやるべき 自信がないのか？
0817１３２人目の素数さん
2013/11/03(日) 01:13:07.93直接連絡取ってるでしょ.
0818１３２人目の素数さん
2013/11/03(日) 01:18:41.560819１３２人目の素数さん
2013/11/03(日) 01:22:44.97数学者といったっていろんな分野の研究があるんだし
0820１３２人目の素数さん
2013/11/03(日) 01:36:13.840821１３２人目の素数さん
2013/11/03(日) 01:51:51.680822１３２人目の素数さん
2013/11/03(日) 05:38:02.440823１３２人目の素数さん
2013/11/03(日) 06:38:19.60山下剛
0824１３２人目の素数さん
2013/11/03(日) 07:34:25.510825１３２人目の素数さん
2013/11/03(日) 09:00:30.520826１３２人目の素数さん
2013/11/03(日) 13:01:08.820827１３２人目の素数さん
2013/11/03(日) 13:56:10.15コナン＝新一
0828１３２人目の素数さん
2013/11/03(日) 17:25:36.03聴いたことがある人間だったら、彼に分かりやすいサーベイを期待しないと思うけど
玉川先生やサイディさんだったら期待出来るかもしれないけれど
0829１３２人目の素数さん
2013/11/03(日) 22:39:15.210830１３２人目の素数さん
2013/11/03(日) 22:45:38.050831１３２人目の素数さん
2013/11/03(日) 23:04:51.97部外者しか居ないと言われてもそらそうだろとしか
0832１３２人目の素数さん
2013/11/03(日) 23:05:23.370833１３２人目の素数さん
2013/11/04(月) 00:34:26.55論文の全体像を理解できるまでの勉強は可能なのでチャレンジ！
0834１３２人目の素数さん
2013/11/04(月) 00:40:31.170835１３２人目の素数さん
2013/11/04(月) 01:31:43.810836１３２人目の素数さん
2013/11/04(月) 09:13:52.940837１３２人目の素数さん
2013/11/04(月) 09:22:18.91ファカルティだけだな
いまどきのＲＩＭＳのごみ院生を五流と考えればもう少し人数増える
かもしれんが、といってもやっぱり部外者だからアウトだな
0838１３２人目の素数さん
2013/11/04(月) 09:27:15.86でも、使い方がおかしいです。
0839１３２人目の素数さん
2013/11/04(月) 12:08:15.300840１３２人目の素数さん
2013/11/05(火) 13:36:37.71他の数学者が望月と違う証明方法でabc予想を証明した論文を
査読雑誌に投稿してその論文が正しいと確定したら、
abc予想を証明した栄誉を獲得するのは誰なの？
望月じゃないよね？
0841１３２人目の素数さん
2013/11/05(火) 14:56:42.13全く違うアプローチか、望月の論文をヒントにしているかで違ってくる。
後者ならペレルマンの論文とヤウの弟子の論文の関係に準じるであろう。
0842１３２人目の素数さん
2013/11/05(火) 15:14:48.91これに異論がありますか？
0843１３２人目の素数さん
2013/11/05(火) 15:28:47.950844１３２人目の素数さん
2013/11/05(火) 16:13:04.28その時点では後者が確定するかもしれないが
後から入れ替わる可能性はある。
実はこっちの人の方が早かったとか
影響を与えていたという話は歴史的にも結構ある。
五次方程式のアーベル・ルフィニの定理とかな。
最初はルフィニの証明が正しいとコーシーが絶賛
→田舎者過ぎてルフィニの証明の存在を知らずにアーベルが再証明
→アーベルはルフィニの証明を読んで穴を発見し自分が最初と言い張る
→アーベルの定理になった
しかしそもそも
ルフィニの証明に感激したコーシーが
その簡略化に努めて、置換論の本を書いて
その本をアーベルが読んでいて、ばりばり影響を受けまくってたという。
完成させたアーベルさんも偉いけれど、
それだけじゃないよってことは後々検証されまくるから
心配しなくていいよ。
0845１３２人目の素数さん
2013/11/05(火) 19:26:41.53論文を読めるのは世界で数人
評価が確定するのは２～５年と専門家らはみる
数論幾何専門の斎藤毅教授「見慣れない単語が次々と出てきてすぐには読めない」
0846１３２人目の素数さん
2013/11/05(火) 20:57:27.820847１３２人目の素数さん
2013/11/05(火) 22:12:34.36その為だけでも必要
>>840
誰も証明が正しいかどうかチェックしない、ということは無いと思う
かなり話題性のある論文だし
もっと見向きもされない長大な論文だとそういうこともあり得るけど
ライバルが複数居るような予想だとそういうことは普通ないと思う。
0848１３２人目の素数さん
2013/11/06(水) 00:35:50.100849１３２人目の素数さん
2013/11/06(水) 00:45:10.470850１３２人目の素数さん
2013/11/06(水) 01:53:21.660851１３２人目の素数さん
2013/11/06(水) 02:20:10.410852１３２人目の素数さん
2013/11/06(水) 02:23:38.07いても今のやり取りにむやみやたらに入る気にならんだろうな
0853１３２人目の素数さん
2013/11/06(水) 04:43:31.51念頭におけよ
0854１３２人目の素数さん
2013/11/06(水) 07:31:15.80それは読む「能力」が足りないのではなく、読むための準備をする
「時間」がないという意味だと思うが。
ここにいる無職童貞は能力はともかく時間はいくらでもあるはずだ。
0855１３２人目の素数さん
2013/11/06(水) 07:41:20.64その博識に舌をまくと言われていた加藤先生が
準備をしなければならないというだけでもなんだな。
0856１３２人目の素数さん
2013/11/06(水) 15:25:34.870857１３２人目の素数さん
2013/11/06(水) 17:51:36.04ほい
http://www.amazon.co.jp/gp/product/4062181703
0858１３２人目の素数さん
2013/11/06(水) 18:20:41.670859１３２人目の素数さん
2013/11/06(水) 18:37:04.19ありがとうございます。
歳のため衰えはありますが、紙と鉛筆を手にじっくりやってみようと思います。
0860１３２人目の素数さん
2013/11/06(水) 20:35:57.94そこまで時間かける気がしないから読めないといってるだけじゃね
0862１３２人目の素数さん
2013/11/07(木) 01:31:55.14査読されてないそれ以前の自身の論文からも頻繁に引用されてるからな。
合計すると1000ページを軽く超える。
0863１３２人目の素数さん
2013/11/07(木) 03:30:04.61１０００ページとか５００ページとか素人には無理
定理や補題の証明なんか不要 大まかな流れお願い
0864１３２人目の素数さん
2013/11/07(木) 06:38:06.22Ellenbergとか普通に一流越えの連中がチャレンジして読むの諦めた
つってんのに
0865１３２人目の素数さん
2013/11/07(木) 07:01:23.30If you look at Mochizuki's homepage, you can see that his picture is somewhat strange, it is like
*makes face*. But 10 years ago he was normal, and also I still understood his work then. In most
pictures of Mochizuki, he looks normal, but for some reason he has chosen a strange picture.
http://math.uchicago.edu/~chonoles/expository-notes/courses/2013/326/math326notes.pdf
0866１３２人目の素数さん
2013/11/07(木) 07:58:36.900867１３２人目の素数さん
2013/11/07(木) 10:08:59.17なんか笑った
0868１３２人目の素数さん
2013/11/07(木) 10:19:07.25何故か今は男が好きになっていた
みたいなもんか
0869１３２人目の素数さん
2013/11/07(木) 11:13:24.830870１３２人目の素数さん
2013/11/07(木) 19:50:39.02超一流とは、その引用文献の大部分が自分自身のものである論文である
と昔一流の人が言っていた。
演習問題：例を挙げよ（かなり沢山あるよ，１８世紀位までさかのぼってね）
はて加藤先生は？
0871１３２人目の素数さん
2013/11/07(木) 20:25:06.71たぶんこの論文が数学の転換点になると思う
0872１３２人目の素数さん
2013/11/07(木) 21:09:54.00ただそれだけ
0873１３２人目の素数さん
2013/11/07(木) 21:24:06.350874１３２人目の素数さん
2013/11/07(木) 22:08:46.120875１３２人目の素数さん
2013/11/07(木) 22:45:26.84最後には、「ABCの解決など元々、無かったのだ」
とかで闇に葬られそうじゃない？
幾ら凄くても、結局理解するのは人だし。
ある偉い先生が「大抵の数学者は自分の数学で忙しいから、わざわざ
時間を割いて他人の長い論文を読もうという気が無いのが問題だ」
とか言ってたけど。
0876１３２人目の素数さん
2013/11/07(木) 23:02:28.24それは無いな。
○○予想を解けたと思ってアメリカの偉い先生の所に送ったけど
やっぱり間違っててすぐ取り下げたという逸話のある先生もいるし
この手の話は合ってても間違ってても長く残る。
0877１３２人目の素数さん
2013/11/07(木) 23:21:13.86肝心の望月が論文の内容を説明する努力を放棄してる事だな。
http://projectwordsworth.com/the-paradox-of-the-proof/
0878１３２人目の素数さん
2013/11/07(木) 23:32:48.710879１３２人目の素数さん
2013/11/07(木) 23:47:25.830880１３２人目の素数さん
2013/11/07(木) 23:48:40.34IUメリン変換だとかなんとか
これで、リーマン予想の解明に近づくん？
0881１３２人目の素数さん
2013/11/07(木) 23:53:16.17コラ哲也！隣の女の子の胸触るな！
0882１３２人目の素数さん
2013/11/07(木) 23:58:51.67複素代数幾何での定理のｐ進整数版を作ろうとしているようなことは書いてあるけど
0883１３２人目の素数さん
2013/11/08(金) 03:18:51.94アメリカまでわざわざ来てセミナーして当然
アメリカの雑誌に投稿して当然
ゴミみたいなレフリーの指摘に対応して当然
みたいのうぜー、みたいな感じだから
最近日本の紀要にばっかりのせてんじゃないの
0884１３２人目の素数さん
2013/11/08(金) 03:33:56.88言ってみろ！！
0885１３２人目の素数さん
2013/11/08(金) 05:23:04.37ペレルマン気取り
だろ
間違いない
0886１３２人目の素数さん
2013/11/08(金) 07:58:13.500887１３２人目の素数さん
2013/11/08(金) 10:41:47.07アメリカ育ちなのにそれはねーだろ
むしろ、頑張って日本に慣れようとされてる部分はあると思うけど
0888１３２人目の素数さん
2013/11/08(金) 11:26:39.330889１３２人目の素数さん
2013/11/08(金) 11:33:14.120890１３２人目の素数さん
2013/11/08(金) 13:55:39.36ここにいる人てネトウヨ？
0891１３２人目の素数さん
2013/11/08(金) 16:30:15.23日本を潰すために日夜努力している反日で有名な
朝(鮮)日(報)新聞の関係者？
0892１３２人目の素数さん
2013/11/08(金) 16:32:53.49過剰反応してるのはどっちなんだか
0893１３２人目の素数さん
2013/11/08(金) 16:33:59.890894１３２人目の素数さん
2013/11/08(金) 16:35:01.85じゃ、日本人が日本を愛して活動しているという話の何が悪いんだ？
そこに右翼だのなんだのは全く関係ないだろう
朝(鮮)日(報)新聞か南トンスルランド人かはしらんが
0895１３２人目の素数さん
2013/11/08(金) 16:37:55.61過剰反応どころではなさそうですね
0896１３２人目の素数さん
2013/11/08(金) 16:37:56.64どうやって日本からパクるか
タカるかだよなー
特に100年遡ると本当に何の文明も無かった無能な朝鮮民族が生き残るためには
それしかない
0897１３２人目の素数さん
2013/11/08(金) 16:39:54.850898１３２人目の素数さん
2013/11/08(金) 16:40:55.15すり替わるという表現は基本的にネガティブなニュアンスを伴うと思うけど
すり替えるという言葉の意味をすり替えたがってるのか？
ネトウヨ？と聞くのと、朝日新聞関係者？と聞くのと大して変わらないだろうしな。
どっちがイメージとしていいかといったらネトウヨではあるけどな。
0899１３２人目の素数さん
2013/11/08(金) 16:41:18.71誰も悪いなんて言ってないのに、あなたの中ではそういうことにすり替わってたんですか
過剰反応どころではなさそうですね
無視するんですか？
0900１３２人目の素数さん
2013/11/08(金) 16:44:22.15読解力がないね
ここでもまたすり替えた
（日本人が日本を愛して活動していることが）悪いなんて言ってないのに、あなたの中ではそういうことにすり替わってたんですか
数学の問題が愛国にすり替えるなんて、ここにいる人って見境なくなったネトウヨ？
非難されているのは「日本人が日本を愛して活動していること」ではない
見境をなくしたネトウヨである
0901１３２人目の素数さん
2013/11/08(金) 16:48:31.33そこにすり替わるとか、なんかおかしい気はするよな。
ニュートンだって支援してくれてきた英国のために公務員として頑張ってたし
国のために働いていた数学者は結構いる。
高木貞治はできないこと引き受けて間違っちゃったけど
国立大学なら、給料が税金である以上は、要請があれば国のために頑張るのは
当然ではあると思う。
昔、野口潤次郎先生がどこかでそんな論説を書いてたのを読んだ気もする。
0902１３２人目の素数さん
2013/11/08(金) 16:50:42.04そもそも数学の問題が愛国にすり替わってはいないよな。
そんなに日本の話が関わることが嫌いなら
朝鮮半島に帰れよん
0903１３２人目の素数さん
2013/11/08(金) 16:52:29.340904１３２人目の素数さん
2013/11/08(金) 16:53:47.17朝鮮半島では人糞も大事な大事な食料品
うんこを粗末にしてはいけない
0905１３２人目の素数さん
2013/11/08(金) 16:56:21.64ほとんどが密入国の犯罪者なのに
強引に日本に居座っているという在日なのかな？
0906１３２人目の素数さん
2013/11/08(金) 17:55:32.31いつのまにか「国」際の話にもならない罵りあい
狢か猫だかが馬鹿（以下だよー）ばっかり、と言っていた訳が分かる
数学はまあまあの人だが、政治向きの話をふると岡明神が降臨するのか
潤次郎さんの名前まで出てきてびっくりだよー、ヤメてー
0907１３２人目の素数さん
2013/11/08(金) 18:50:40.310908１３２人目の素数さん
2013/11/08(金) 19:08:01.21どこに「背伸び」の様子があるんだい
0909１３２人目の素数さん
2013/11/08(金) 19:29:29.920910１３２人目の素数さん
2013/11/08(金) 19:55:00.590911１３２人目の素数さん
2013/11/08(金) 20:29:04.510912１３２人目の素数さん
2013/11/08(金) 22:12:18.92どう思うんだろうなってのはあるがな
0913１３２人目の素数さん
2013/11/08(金) 23:22:25.520914１３２人目の素数さん
2013/11/08(金) 23:40:58.490915１３２人目の素数さん
2013/11/09(土) 00:16:18.92世界で最も無能な民族の一つが朝鮮民族であることは確かだと思う
0916１３２人目の素数さん
2013/11/09(土) 00:42:55.730917１３２人目の素数さん
2013/11/09(土) 01:37:03.110918１３２人目の素数さん
2013/11/09(土) 01:55:23.91愛国者の敵の仲間は偽善者？
大和民族よ、覚醒せよ
0919１３２人目の素数さん
2013/11/09(土) 06:11:58.91朝鮮がどうとかいう話は嫌韓だろうが新韓だろうが輪をかけて板違い
（IU幾何や望月やabc予想と全然関係ない）
どっか他所のスレで勝手にやってほしい
0920１３２人目の素数さん
2013/11/09(土) 06:36:14.59数学の話に徹していたらわけわからないの入る隙なかったんだし
元々その程度のスレだったってことでしょ
0921１３２人目の素数さん
2013/11/09(土) 07:44:03.700922１３２人目の素数さん
2013/11/09(土) 09:04:57.760923１３２人目の素数さん
2013/11/09(土) 11:20:51.24グロたん「しょーがないなー、そろそろオレの出番か」
0924１３２人目の素数さん
2013/11/09(土) 11:55:33.40どうやらグロタンやペレルマンが下界におりてきてるらしい
どうやら今回の騒動が伝わったとかで
0925１３２人目の素数さん
2013/11/09(土) 12:53:50.90何故ペレルマンが顔出してくるの？
0926１３２人目の素数さん
2013/11/09(土) 13:01:14.750927１３２人目の素数さん
2013/11/09(土) 13:08:41.750928１３２人目の素数さん
2013/11/09(土) 15:30:22.190929１３２人目の素数さん
2013/11/09(土) 16:55:34.940930１３２人目の素数さん
2013/11/09(土) 17:07:00.010931１３２人目の素数さん
2013/11/09(土) 17:13:32.46すげ～～反応早い
0932１３２人目の素数さん
2013/11/09(土) 17:21:24.540933１３２人目の素数さん
2013/11/09(土) 18:13:20.930934１３２人目の素数さん
2013/11/09(土) 20:05:05.61韓国まんせー！じゃっぷ沈没！
0935１３２人目の素数さん
2013/11/09(土) 20:07:17.360936１３２人目の素数さん
2013/11/09(土) 20:29:11.74間違ってたら、日本に謝罪を要求するﾆﾀﾞ
0937１３２人目の素数さん
2013/11/09(土) 22:10:39.48Ｐ大とかＨ大とかＹ大とかの
0938１３２人目の素数さん
2013/11/09(土) 22:56:36.26ABC予想は韓国人が解いたんですよ？
0939１３２人目の素数さん
2013/11/09(土) 22:56:37.290940１３２人目の素数さん
2013/11/09(土) 23:09:25.32理解者なのに、まだ査読の結果を出せていないのか？
というか理解者というより弟子として真似してるだけっぽいが
0941１３２人目の素数さん
2013/11/09(土) 23:12:27.060942１３２人目の素数さん
2013/11/10(日) 01:47:33.01大体理解したので資料作成に取り掛かる
0943１３２人目の素数さん
2013/11/10(日) 03:02:07.86グロタンディークにとって、数学とは何だったのでしょうか。それは、望月新一氏にとっての数学と同じでしょうか。
0944１３２人目の素数さん
2013/11/10(日) 03:39:03.220945１３２人目の素数さん
2013/11/10(日) 03:43:22.04具体的な計算上の不等式の間違いを指摘したものだけど
0946１３２人目の素数さん
2013/11/10(日) 04:36:11.730947１３２人目の素数さん
2013/11/10(日) 11:14:02.73本書で、是非、皆さんに知っていただきたいことが２つある。
第一は、今回望月氏が解決したのは、「強い」abc予想ではなく、「弱い」abc予想のほうだ、という点である。
（以下略）
第二は、こちらのほうが声を大にしてお伝えしたいことなのだが、今回の望月氏のアプローチの方法は、
フライ→リベット→ワイルズ＋テーラーのフェルマー予想攻略のアプローチと同じもの、という点である。
（以下略）
0948１３２人目の素数さん
2013/11/10(日) 14:13:20.050949１３２人目の素数さん
2013/11/10(日) 14:24:16.920950１３２人目の素数さん
2013/11/10(日) 18:30:04.83グロタンディークにとって、数学とは何だったのでしょうか。それは、望月新一氏にとっての数学と同じでしょうか。
0951１３２人目の素数さん
2013/11/10(日) 18:46:11.48どうでもいいじゃん。そんなこと。
0952１３２人目の素数さん
2013/11/10(日) 19:18:13.36ガロアの死後40年後の1870年、カミ－ユ・ジョルダン（1838－1922）の
『置換と代数方程式の概論』を待たなければならなかった
0953１３２人目の素数さん
2013/11/10(日) 19:48:04.94なかなか良書だったよ
もっちの理論自体には入っていかないけど
フェルマー予想とかＡＢＣ予想とかシュピロ予想については結構わかった
整数と多項式のバージョンがあんだね
0954１３２人目の素数さん
2013/11/10(日) 20:02:02.280955１３２人目の素数さん
2013/11/10(日) 20:04:29.46面白そうだから自分も生協で立ち読みしよっと
0956１３２人目の素数さん
2013/11/10(日) 20:57:54.590957１３２人目の素数さん
2013/11/10(日) 21:10:10.850958１３２人目の素数さん
2013/11/10(日) 21:40:08.21個人的にはABC予想以外の話題が多いのは冗長に感じた
なんでフェルマー予想の話題や関係する楕円曲線・保型形式の話題とかいらないと思う
まあリーマン予想の話題をいれるのはお約束だからもう諦めている
0959１３２人目の素数さん
2013/11/10(日) 22:18:21.770960１３２人目の素数さん
2013/11/10(日) 23:02:53.55abc予想の弱い奴か強い奴かばっか強調されてもな
あとペレルマンが下界に降りてきてるって話は
Galina Perelmanみたいな同じくG.Perelmanになるような人を
Grigori Perelman?と勘違いしてんじゃないか
0961１３２人目の素数さん
2013/11/10(日) 23:05:48.120962１３２人目の素数さん
2013/11/10(日) 23:26:46.89山に籠ってるのはグロタンだよ
下界で引きこもってるのはペレルマンで山で引きこもってるのがグロタン
0963１３２人目の素数さん
2013/11/11(月) 08:57:00.80集団ストーカーから逃げてるのがペレルマン
0964１３２人目の素数さん
2013/11/11(月) 20:42:30.33海外での噂話
「I’ve heard rumors some of them have been submitted for publication, haven’t heard what happened.」
0965１３２人目の素数さん
2013/11/12(火) 02:08:10.490966１３２人目の素数さん
2013/11/12(火) 02:26:43.85ケーラーアインシュタイン計量のこと
詳細不明だけど
0967１３２人目の素数さん
2013/11/12(火) 02:34:05.91彼がポアンカレ予想を証明した、又はそれに相当すると評価された後で、彼がcrazyになったのではないことがうかがえたことは、彼のファンの一人として、安心しました。
0968１３２人目の素数さん
2013/11/12(火) 02:58:07.98プリンストンからの招聘でフル・テニュア
のオファーでなかったとかで数学界に
幻滅したと聞いたけれど。
0969１３２人目の素数さん
2013/11/12(火) 12:40:06.610971１３２人目の素数さん
2013/11/12(火) 16:55:55.270972狢 ◆ghclfYsc82
2013/11/12(火) 17:51:24.37>633 名前：１３２人目の素数さん ：2013/11/12(火) 13:08:18.87
> 好みの女性を見たときのムラムラしたキモチを一番大事にしてほしいという事だな
>
0973１３２人目の素数さん
2013/11/12(火) 18:16:04.79それ以上の遠アーベル幾何を使って計算する部分はいいとして
0974１３２人目の素数さん
2013/11/12(火) 21:29:52.82ここでいう収入というのは
最低限衣食住に困らず、病気になったら医療機関を受診できるという
レベルの事を言ってるのだと思いますが。
貧乏暇無しという言葉が当てはまるような人間は
数学などやるな、というのならそれもまた一意見だとは思いますが。
0975狢 ◆ghclfYsc82
2013/11/12(火) 22:26:59.27人並みの給料を期待したり、ましてや世間で偉そうにするのが目的でな
るのが数学者ではない、という事を言ってるだけです。高額な給料や高
い社会的な地位が欲しい俗物は、何も数学なんかしなくても、医者とか
弁護士とか悪徳政治家とか、他に幾らでも学問の害にはならない選択肢
があるという話をしてるだけです。
そもそも他人の給料や社会的な地位を云々する輩には数学なんかには拘
わって欲しくないので。
狢
0976１３２人目の素数さん
2013/11/12(火) 23:00:47.98ペレルマンの母親が病気になったときに
ロシア政府が治療費をだしたことがある
0977１３２人目の素数さん
2013/11/12(火) 23:22:21.37俺もそう思う。
性犯罪者に数学を語って欲しくない。
0978狢 ◆ghclfYsc82
2013/11/12(火) 23:35:43.48そうなんですよ。でもこの馬鹿板では：
★★★『誰が何を語るかは、その書き込む人物の勝手であり、その自由が保障されてる』★★★
という深刻な事実が厳然として存在しています。
だからもし貴方がこの書き込みに対して不満だというのであれば、これ
はもう戦うしかアリマセン。なので頑張って私を阻止してみなさいまし。
ケケケ狢
0980１３２人目の素数さん
2013/11/13(水) 00:08:03.520981１３２人目の素数さん
2013/11/13(水) 00:47:29.21ブーメランやな。
>>975
>云々する輩には数学なんかには拘わって欲しくないので。
自由が保障されてるから性犯罪者マスダの希望は叶えられへんってことだ。
残念だったな。所詮、何の力も無い数学と無関係な性犯罪者マスダが何言っても無駄だしな。
0982狢 ◆ghclfYsc82
2013/11/13(水) 01:07:00.65何を言うても無駄や。ワシは他人からのメッセージは全部無視するんや
さかいナ。ワシは他だ単にこの馬鹿板を焼却する作業をしてるだけや。
粗野からココでのワシのカキコはその全部が単なる嫌がらせや。そやし
アンタ等が阻止しようと思っても無駄なんや。
ケケケ狢
0983１３２人目の素数さん
2013/11/13(水) 08:42:04.42>他人からのメッセージは全部無視するんや
でもレス付けて思いっきり反応してるよな。
>ワシは他だ単にこの馬鹿板を焼却する作業をしてるだけや。
何年もかけて何かしてると主張しているが
結局、焼却とは何のことだったのか・・・・
毎日痴漢から帰ってきて2chを楽しく読むこと＝焼却？
0985１３２人目の素数さん
2013/11/13(水) 19:32:28.12凄い
0986１３２人目の素数さん
2013/11/13(水) 20:49:40.740987１３２人目の素数さん
2013/11/13(水) 22:21:45.660988狢 ◆ghclfYsc82
2013/11/13(水) 22:55:49.32■■■第一の項目群■■■
もし『馬鹿さ加減を緩和する事だけがその目的』であれば、では：
１．将来に数学が必要かどうか未定の人にまで何故数学を学ばせるのか。
２．ブロイラー生産工場と判ってて何故そんな場所に送り込むのか。
３．必要以上に忍耐を求め、ソレを修得させるのは何故なのか。
といった極めて自然な疑問が、そのコメントには従います。
なので、先ずはこれ等の点に関してご返答を願います。
■■■第二の項目■■■
『馬鹿さ加減を緩和する事』と、そして『自主性を奪って教師に屈服さ
せる事』とは全く別だと私は考えますが、ソコは如何でしょうか。そも
そも『不必要な忍耐を強いる事が何故「馬鹿の緩和」になる』のでしょ
うか。
ご返答をお待ちしています。
狢
>671 名前：１３２人目の素数さん ：2013/11/13(水) 20:18:36.56
> >>670
> それは当然、馬鹿さ加減を緩和することでなければなりません。
>
0989１３２人目の素数さん
2013/11/14(木) 19:31:11.500990１３２人目の素数さん
2013/11/14(木) 19:50:39.630991１３２人目の素数さん
2013/11/14(木) 20:23:51.310992狢 ◆ghclfYsc82
2013/11/14(木) 20:26:36.49ケケケ狢
0993狢 ◆ghclfYsc82
2013/11/14(木) 20:34:13.52ココは寒いさかい、猫用に安モンのコタツ位は買うてやりたいんやけん
どナ。そやけどワシは貧乏やさかいコタツなんか買えへんのや。貧乏暮
らしは大変やゾ。
コココ狢
0994狢 ◆ghclfYsc82
2013/11/14(木) 20:36:31.72>>991
ココは寒いさかい、猫用に安モンのコタツ位は買うてやりたいんやけん
どナ。そやけどワシは貧乏やさかいコタツなんか買えへんのや。貧乏暮
らしは大変やゾ。
コココ狢
0995１３２人目の素数さん
2013/11/14(木) 21:55:18.22パソコンも買えるし猫も飼える
0996狸 ◆2VB8wsVUoo
2013/11/15(金) 02:49:28.80狸
0997１３２人目の素数さん
2013/11/15(金) 03:50:40.610998１３２人目の素数さん
2013/11/15(金) 05:37:05.820999１３２人目の素数さん
2013/11/15(金) 08:37:07.271000１３２人目の素数さん
2013/11/15(金) 11:17:57.731001１００１
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。