[過去ﾛｸﾞ] ABC予想が解かれたかもしれんぞ！ (1001ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(4): 2012/09/17(月)12:06 AAS
京大の望月教授によってABC予想が解かれたかもしれない
これから検証するんだろうけど、本当に解けてるならすごいぞ
これnatureの記事ね
外部ﾘﾝｸ:www.nature.com
982: 2012/09/28(金)01:02 AAS
abc予想の反例じゃなくて，別の楕円曲線の定理の話みたいだけど
証明に使っているのか？
983: 2012/09/28(金)01:14 AAS
>>977
正確には数学板に誘導されてきたＮ速板民
984: 2012/09/28(金)01:56 AAS
ん？望月先生の論文に誤りが指摘されたってことでいいの？
985: 2012/09/28(金)01:59 AAS
イエールの院生か。ロシア人みたいな名前だな。
986: 2012/09/28(金)02:00 AAS
Mathoverflowには日本の数学者は
少ないような気がする。
上の反例もElkiesの時と同じヤラセっぽい。。。
987: 2012/09/28(金)02:13 AAS
静かに詳細をチェックして
今はあまり大騒ぎしないことだな。
たとえ誤りがあっても、望月先生が
創造した数学がある。
988(1): 2012/09/28(金)02:18 AAS
そうね。誤りがあったとしても、今回の論文の価値は揺らがない。微動だにしない。
989: 2012/09/28(金)02:22 AAS
>>988
ABCの証明の信ぴょう性よりも
彼が創造した新しい数学の世界の
方が興味ある。
990(1): 2012/09/28(金)02:24 AAS
そういう盲信もどうかと思う
常に疑え
騒げ喚け
その審判の末に残ったモノがあれば
それがホンモノ
静かに通ったらそれこそ
誰も真偽のわからないまま
通り過ぎたようにも見えてしまう
991: 2012/09/28(金)02:25 AAS
どう思うかは個人の勝手。
992: 2012/09/28(金)02:28 AAS
>>990
盲信では無く、価値判断だ。審判に通らなかったとしても後世に引き継がれるものが
そこにはあるという意味でね。
君はステレオタイプの固定観念を披露してくれたようだがｗ
993: 2012/09/28(金)02:29 AAS
俺は論文審査の蚊帳の外にいる人間なので
心構えを説くような厚かましい真似はできません
994: 2012/09/28(金)03:11 AAS
そりゃそうだ。
995: 2012/09/28(金)03:37 AAS
これは近いうちにもっちーのHPに動きがありそうだ
996: 2012/09/28(金)03:44 AAS
近いうちに修正できれば良いけどね
997: 2012/09/28(金)05:38 AAS
ワイルズのときは彼の秘密主義により論文を発表していなかったから
テーラーの力も借りて必死でギャップ埋めれたからよかったが
今回は他人がギャップ埋めるようなことになったらモッチー苦しくなるよ
本人はそれでもOKって言うかもしれんが、フィールズにも執着ないような人だから
998: 2012/09/28(金)07:51 AAS
ＡＢＣ予想なんて宇宙祭タイミヒュラー理論の風圧で解決したようなものだから
999: ＴＴＴ 2012/09/28(金)08:12 AAS
論文の本編での直感的な論法に具体的な図式化を与えるために種の理論を考えている。
数学の議論を図式的に扱うことについて形式的な保証を与えている。
彼の議論はZFCに「任意集合ｘに対しｘ∊Vとなる宇宙Vが存在する」という
グロタンディークの存在公理（Grothendieck Schoolと呼ばれている）を付け足した
ZFCGを扱うことでグロタンディーク宇宙の構成を可能にするというもの。
このとき宇宙の上昇列が形成される。
この宇宙はそれぞれZFCモデルとなる。
集合を変数に持つ論理式の集まりを0-species、
その中でZFCモデルで充足するものを0-specimenと呼んでおり、
0-speciesの論理式の変数に入る集合2つとその間の関数を合わせた3つを
省6
1000: ＴＴＴ 2012/09/28(金)08:12 AAS
以下は別スレのレスと加筆修正したもの。
有益な情報のためこのスレに転載します。
計算量クラスの種類はいくつあるのかと問われて...
1000どころか可算無限個はあります。
既にAC_iとかTC_iとか多項式時間階層の無限列が入ってますし。
基本的には、
（１）抽象機械、（２）領域、（３）時間、（４）オラクル
の4つを設定するのでこれらを掛けた量だけ少なくともあります。
抽象機械とはチューリング機械（これだけでも決定性や非決定性や交替制や確率や量子）等が代表例で、他にも無数の抽象機械があります。
さらには述語論理に何々の記号を加えただとか、何々のパターンを持つ回路だとかまで入ります。
省17
1001: １００１ Over 1000 Thread AAS
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.150s*