X
トップページ⇒数学
1002コメント315KB
Inter-universal geometry と ABC予想 26
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
垢版 |
2018/04/08(日) 09:56:06.24ID:EKQijD9c
IUT幾何やABC予想に関する会話のサロン
として使って下さい。


荒らしはご遠慮願います。



前スレ 
Inter-universal geometry と ABC予想 25

http://itest.5ch.net/rio2016/test/read.cgi/math/1520299291
0799１３２人目の素数さん
垢版 |
2018/04/30(月) 21:45:23.85ID:qNjTA0hU
きちんと書いてないから躓くのじゃないの？
取り巻きが当たり前と思っていることも、きちんと説明するのは自明でないんじゃないのかな。
本人も取り巻きもそういう認識だから、なかなか普及しないしアクセプトもされないんでしょ。
0800１３２人目の素数さん
垢版 |
2018/04/30(月) 21:45:25.35ID:+Mwz0OCs
高名な数学者でも分からないことをアマチュアがさらりと解くんだ！
ラマヌジャンみたいな人出てこないかなー
0802１３２人目の素数さん
垢版 |
2018/04/30(月) 21:50:11.98ID:Kl7TEq9d
編集部は何をちんたらしてるのか？
査読が通ったならさっさと掲載すればいいだろうに。まさか今更リジェクトとか？
0805１３２人目の素数さん
垢版 |
2018/04/30(月) 21:59:47.20ID:xuM7cyjf
必要な情報ってサーベイに書いてあると思うけどな
だが、あれはあれでわかりにくいのは確か。技術的すぎる
0806１３２人目の素数さん
垢版 |
2018/04/30(月) 22:08:20.96ID:qNjTA0hU
わかりにくいのは、書き手が整理できていないからじゃないの？
そういう状況、「わかっている」というのかな？
0807１３２人目の素数さん
垢版 |
2018/04/30(月) 22:12:47.42ID:hah48fFw
空海です
日本人最高の天才です
0808１３２人目の素数さん
垢版 |
2018/05/01(火) 01:53:21.16ID:mTKKOJcM
数理研さん、どうしてabc予想の証明にこだわり続けるんですか？
こんなことを続けたところで、批判や嘲笑を受けるだけであることは目に見えています。

これまでの論文とか、過去のやり取りなんかを見ても、
ゴーがリーマン予想の証明に向いた性格だとは思えないんです。
別のことに時間と労力を費やした方が、貴方にとっても有意義だと思うのですが…
0809１３２人目の素数さん
垢版 |
2018/05/01(火) 02:09:26.95ID:eCQMukAf
でも自称中の人は問題ないと言ってるわけだよね
何でこれ以上待つ必要があるのかよくわからないんだけど
慎重も糞も終わったら載せるだろ普通
0810１３２人目の素数さん
垢版 |
2018/05/01(火) 03:14:55.62ID:baxIlkWU
>>808 パクんなｗ
0811１３２人目の素数さん
垢版 |
2018/05/01(火) 04:31:20.81ID:7Io4//wg
>>808
>数理研さん、どうしてabc予想の証明にこだわり続けるんですか？

こだわり続けてなんか全然いねえだろアホ
むしろ些末の些末だけど些末の些末なりに処理をしてるだけ
0812１３２人目の素数さん
垢版 |
2018/05/01(火) 04:33:16.57ID:7Io4//wg
>>809
>何でこれ以上待つ必要があるのかよくわからないんだけど

「偉い人が何を言ったか」なんで数学の世界では一番どうでもいい
おまえ自身がしたい数学の【中身】の話をしろ
数学の中身に興味がないなら他板のゴシップスレで適当な寝言を垂れあっとけ
0813１３２人目の素数さん
垢版 |
2018/05/01(火) 04:34:50.63ID:7Io4//wg
>>784
>本質的に新しいことは理解されるのに時間がかかるのは当たり前

そうじゃない
IUTが数学の本道とのつながりが見出されてないから
誰も本気で興味を持って貰えないだけ
0814１３２人目の素数さん
垢版 |
2018/05/01(火) 05:05:51.94ID:iuzppsNl
>>809
IUTの場合は例外的に慎重を期して対応することに越したことはない
とはいえ20年や30年も検証中の看板を下さないのは如何なものなので
2012年から最長10年を目処とする、というのが望月氏本人の意向

>>812
話が噛み合ってないですよ
0815１３２人目の素数さん
垢版 |
2018/05/01(火) 05:07:55.02ID:RGwmwywQ
どんな遅くてもICMまでには何かしら動きはあるはずだろ。
0816１３２人目の素数さん
垢版 |
2018/05/01(火) 05:13:13.30ID:7Io4//wg
>>814
>話が噛み合ってないですよ

どう噛み合ってないか言えよ
0817１３２人目の素数さん
垢版 |
2018/05/01(火) 05:16:43.61ID:7Io4//wg
>>814
>とはいえ20年や30年も検証中の看板を下さないのは如何なものなので

>>811←参照

どうでもいい事をおまｗらが一人相撲で勝手に有難がって勝手に批判してるだけ
素人の門外漢ってだけでも本来図々しいのに
都合の悪い指摘はスルーして同じことをしつこく繰り返すなんて
素人の外野がどうこう以前に人間としてまともな会話能力がない
0818１３２人目の素数さん
垢版 |
2018/05/01(火) 05:57:39.93ID:fTcfRjzZ
>>812
その「えらい人がどう言ったか」をすごく気にしてるって状況だから、数理研も地に落ちたなっていってんだよ
0820１３２人目の素数さん
垢版 |
2018/05/01(火) 06:24:40.22ID:fTcfRjzZ
論文の作りがself evidentな定義の羅列だからか、いちいち関連論文に飛んで一から関連論文を読破する、って作業を延々と続けんといかんから、読みにくいうえに読みにくいわな。
で最後のステップが複雑怪奇だと。読みにくさ2000％の論文なら、読みやすいように編集部が著者に書き直させればいいのに。
0821１３２人目の素数さん
垢版 |
2018/05/01(火) 06:50:21.58ID:huknoxOq
掲載していない論文に関しては一切答えない=掲載してしまうとマスコミが殺到して大変になる
だからタイミング伺ってるな。
米朝会談辺りがベストか
0825１３２人目の素数さん
垢版 |
2018/05/01(火) 09:35:37.46ID:ecWQFirX
擁護派の弁護にはウンザリ。
理解されてないからではなく、間違っているから受け入れられていないんだよ。
0826１３２人目の素数さん
垢版 |
2018/05/01(火) 09:46:49.74ID:ecWQFirX
>>794
だからね。間違ってるんだよ。
本質的に正しければ、数学者だってバカではないさ。ペレルマンのときのように、大勢がたばになって
寄ってたかって行間を埋め合わせ、完全な論文にするさ。
翻ってIUTはどうか。人々は沈黙し、取り巻きが一方的に正しいと宣言して布教活動にいそしむ。
大方の数学者にとって「ジャーゴンの山の中にしれっとABC予想を導く命題を紛れ込ませている」としか見えない。
0827１３２人目の素数さん
垢版 |
2018/05/01(火) 10:15:31.80ID:H6iQEPJO
>>823
修正が 些細の評価は査読者ですか？
査読者は誰ですか？
0828１３２人目の素数さん
垢版 |
2018/05/01(火) 12:16:11.15ID:fTcfRjzZ
>>826
間違ってる理論の布教活動にいそしむ、ってバカだよね。
布教活動するからには正しいんでしょ？
0829１３２人目の素数さん
垢版 |
2018/05/01(火) 13:09:08.95ID:nV2u9WHv
もし宇宙際幾何学が間違ってる理論なのであれば
次世代幾何学研究準備センターをなんてものを創設した
RIMS自体が馬鹿だということになるな
0830１３２人目の素数さん
垢版 |
2018/05/01(火) 14:04:12.97ID:vpUom4ur
間違ってるかどうかの議論を数学的根拠のない論理で展開するのはどうかと思う
0834１３２人目の素数さん
垢版 |
2018/05/01(火) 16:20:30.34ID:7Io4//wg
だから間違ってるかどうかなんてどうでもいいと言ってるだろ
耳がついてないんか？？
人間界でもバカの数学素人野郎
会話のお勉強から始めろ２ちゃんからは消えろ
0835１３２人目の素数さん
垢版 |
2018/05/01(火) 17:30:39.04ID:74XOeWrV
絶対遠アーベル自体は間違えようがないからなあ。望月がただの馬鹿ってことになる
そういう設定でトポスを基盤にするのは俺も数学者として同感だしね
現にcategorical combinatoricsとしては星も含め絶対遠アーベルの論文は通ってるわけでね
理論はあくまで成り立ってると思うね
しかし、正しいかどうかによらず「異なる環同士の圏を絶対遠アーベル的アルゴリズム＝
宇宙際空間として構成する」というやり方はあまり好きになれない
間違いなくもっといいやり方があるから(しかし当然ながら極めて難しい道ではある)
0836１３２人目の素数さん
垢版 |
2018/05/01(火) 17:31:15.78ID:rns7yS6m
>>833
self evidentw
0837１３２人目の素数さん
垢版 |
2018/05/01(火) 17:33:10.96ID:74XOeWrV
この理論については真面目に考えるなら、正しいかどうかよりも
適切かどうか、好きか嫌いかのほうが妥当な議論になる
勿論ある程度以上の数学者同士の会話においてだが
0838１３２人目の素数さん
垢版 |
2018/05/01(火) 17:38:19.75ID:74XOeWrV
間違いだと言う人はScholze以前に、絶対遠アーベルが抽象的だが非常に単純な
構造的システムの理論で、計算対象が主に代数幾何学的量と抽象位相群という
これまた単純なものである点はどう考えるのかね？そこまで考えてないんだろうがw
0839１３２人目の素数さん
垢版 |
2018/05/01(火) 17:59:35.05ID:GZVdmVq8
キリストって、宇宙人ですか？
0840１３２人目の素数さん
垢版 |
2018/05/01(火) 18:24:41.75ID:mTKKOJcM
不完全性定理に対して答えは用意してるのかね
0842１３２人目の素数さん
垢版 |
2018/05/01(火) 18:46:06.62ID:GZVdmVq8
みなさんは人間ですか？
それとも、未来人が紛れ込んでますか？
0843１３２人目の素数さん
垢版 |
2018/05/01(火) 18:46:53.42ID:cdGd8YcH
望月は宇宙人
0844１３２人目の素数さん
垢版 |
2018/05/01(火) 19:13:43.80ID:GZVdmVq8
望月教授はなぜ宇宙人なのでしょうか？
0845１３２人目の素数さん
垢版 |
2018/05/01(火) 19:16:13.49ID:21rJWgQ2
耳栓をしたら世界が変わってワロタ
0846１３２人目の素数さん
垢版 |
2018/05/01(火) 19:31:08.64ID:nTcYYEf8
何だかなあ。
0847１３２人目の素数さん
垢版 |
2018/05/01(火) 19:57:39.72ID:NqG1N4RT
飛ばし朝日が早ければ今年１月って言ってたの、そろそろ半年経つんだが。
今年アクセプトされなかったら朝日新聞は土下座な。
0848１３２人目の素数さん
垢版 |
2018/05/01(火) 20:19:09.14ID:nTcYYEf8
土下座というより、どういう状況で飛ばし記事が出たかを検証すべき。
0849１３２人目の素数さん
垢版 |
2018/05/01(火) 20:40:17.16ID:+MWqL2oU
本当にもう嫌だ・・・・・。
無になってもう二度と有になりたくない・・・・・。
自殺しても無駄かな？
0850１３２人目の素数さん
垢版 |
2018/05/01(火) 21:02:56.91ID:R7fUcOUf
>>838
スレの流れを見れば、
0851１３２人目の素数さん
垢版 |
2018/05/01(火) 21:05:59.70ID:R7fUcOUf
pig
0852１３２人目の素数さん
垢版 |
2018/05/01(火) 21:16:36.97ID:74XOeWrV
え、俺が豚って罵倒されてんの？w
0853１３２人目の素数さん
垢版 |
2018/05/01(火) 21:23:30.94ID:R7fUcOUf
ぶたさんが、ブーブーで理解したのか、、w
0854１３２人目の素数さん
垢版 |
2018/05/01(火) 22:08:36.51ID:R7fUcOUf
>>795
self evident w
0855１３２人目の素数さん
垢版 |
2018/05/02(水) 03:35:52.05ID:79rhadkT
スレの流れで間違いかどうか判断
self evidentという言葉を一人歩きさせる
知能レベル中学生かな？
0857１３２人目の素数さん
垢版 |
2018/05/02(水) 07:06:38.47ID:4awZj6eq
このスレに居る連中は祭りとか炎上にしか興味ない
数学のスの字も興味のない下品素人の集まり
0858１３２人目の素数さん
垢版 |
2018/05/02(水) 07:34:56.37ID:s1QYBBl+
数学をぶち壊しているのはどちらかな、
0859１３２人目の素数さん
垢版 |
2018/05/02(水) 07:36:23.64ID:Z5LyuF/p
誰でもジャック・ハンマーになれますか？
0860１３２人目の素数さん
垢版 |
2018/05/02(水) 07:54:06.22ID:4awZj6eq
>>858
内容を言えない言葉（レスの内容に言及してない言葉）を垂れ流すな
コピペレスやめろ
0861１３２人目の素数さん
垢版 |
2018/05/02(水) 08:46:40.69ID:UZ7DukUm
虚偽数学は数学をぶちこわす。
self evident で押し通すのも、数学をぶちこわす。
0862１３２人目の素数さん
垢版 |
2018/05/02(水) 09:24:35.77ID:WCxXGddN
　　盗聴器時代

ぼくの生まれた時代は、盗聴器が普通に売ってて、賢いやつらはみんな盗聴器を買ってどんどん近所にしかけていた。
美女の家に仕かけるやつ、重要人物の家に仕かけるやつ、洗脳されてる家に仕かけるやつ、重役会議に仕かけるやつ。
そんなやつらが人生ずっと勝ってたのが、おれたちの時代だった。
盗聴器だけで、ずっとおれは美女を近所から奪われつづけた。
おれの生きていた時代は、盗聴器を手に入れて仕かけるというのが人生の成功への初めの一歩だったのだ。
それがないだけで、どんなにがんばってもすべてを奪われる。
0863１３２人目の素数さん
垢版 |
2018/05/02(水) 14:21:51.38ID:Z5LyuF/p
思考盗聴なら、現実にありますよ
0864King
垢版 |
2018/05/02(水) 14:56:06.84ID:/y4P1j9V
talk: >>863 人の脳を読む能力を悪用する奴を潰せ。
0865１３２人目の素数さん
垢版 |
2018/05/02(水) 15:35:47.35ID:CmzqfK+2
人の尿を飲む能力が身についた
そしたらハッピーになったよ
0866１３２人目の素数さん
垢版 |
2018/05/02(水) 17:58:56.96ID:Z5LyuF/p
高次元生命体は実在しますよ、ガチで
0867１３２人目の素数さん
垢版 |
2018/05/02(水) 18:38:47.60ID:1tlEMDgY
キチガイは極論に走るな
IUTTは意味論的には不可能ではない。特に当初問題になったのはZFCとの整合性だけだったし
その論点自体は合っている
一番の論点は絶対遠アーベル幾何学と宇宙際性が矛盾しないかどうか
Scholzeは正直に難しい、不明な点があると言っただけで間違いだとは断言していない

でも、今の怪しい空気感は面白いからどうでもいいや
0868１３２人目の素数さん
垢版 |
2018/05/02(水) 18:43:22.39ID:1tlEMDgY
望月の立場は「絶対遠アーベル幾何学で行けるところまで行ったらZFC的に宇宙際幾何学に
なってしまった」というもので、彼は元々そこだけが気になっていたはず
多分100%自信があったわけでもない
ところが、自分の思惑より更に手前の所で他の数学者が立ち止まっているという感じだな
0869１３２人目の素数さん
垢版 |
2018/05/02(水) 19:42:16.67ID:f/uzGEUx
>>867-868
＞IUTTは意味論的には不可能ではない
＞絶対遠アーベル幾何学と宇宙際性が矛盾しないかどうか
＞絶対遠アーベル幾何学はで行けるところまで行ったらZFC的に宇宙際幾何学になってしまった

もう少し解読可能な日本語で頼む
0870１３２人目の素数さん
垢版 |
2018/05/02(水) 19:54:05.56ID:1tlEMDgY
後で書きますけど、やや適当に答えますよ
誰にとっても(私にとっても)難しい話だし、疲れてるし、責任も取れませんし
0871１３２人目の素数さん
垢版 |
2018/05/02(水) 20:08:35.27ID:f/uzGEUx
責任なんて取らなくて構わないが、最低限数学的に意味がきちんと伝わるように書いてくれよな
0872１３２人目の素数さん
垢版 |
2018/05/02(水) 20:08:38.31ID:1tlEMDgY
余談だが、IUTTが数学の流れに影響を及ぼすかどうか、というのは問い方が不十分
「IUTTは数学史的な観点で無視できない出来事か？」という意味なら確実にyesに賭ける
それは内容的な関連性を踏まえたらわかることで、ラングランズに限った話ではない
つまり直接影響を及ぼすかは何とも言えないが、極めて重要な流れに位置する理論になる
0873１３２人目の素数さん
垢版 |
2018/05/02(水) 20:09:49.65ID:1tlEMDgY
>>871
意味はな。形式的な厳密さは保証しない。とりあえずIUTTにどんなイメージがある？
0875１３２人目の素数さん
垢版 |
2018/05/02(水) 20:12:55.38ID:PbipJMOS
全宇宙帝国皇帝とプリンストン大学数学科で断然トップの人はどっちの方が凄いですか？
0878１３２人目の素数さん
垢版 |
2018/05/02(水) 20:28:29.94ID:1tlEMDgY
>>876
違う、もっと内容的なイメージ
それによっては俺はんなこと聞いてねーよみたいになると嫌だし
0879１３２人目の素数さん
垢版 |
2018/05/02(水) 20:29:11.75ID:f/uzGEUx
scholzeの指摘の数学的な意味を理解して原論文やサーベイと照らし合わせて
どの部分のどういう議論のどのようなステップが問題となっているのか
自分の目で確かめてみたが別に悪い印象は持てなかったな。
0880１３２人目の素数さん
垢版 |
2018/05/02(水) 20:45:46.95ID:1tlEMDgY
そこまでやってるなら>>869の問題は大体わかっているのでは？
IUTTが意味論的に可能かどうかは「特定の環論での対象を抽象化できるか」どうかによる
FrobenioidとAnabelioidでは既にその設定を行っているし
モデル理論的な意味での意味論つまり構造的な条件は問題がない
分解対象としてはスキームがある
更にモノイドがあり、絶対ガロア群かつトポス対象としての基本群があり、抽象位相群がある
全てはその素材で構成されるのだから、理論自体が不可能ということはない
0881１３２人目の素数さん
垢版 |
2018/05/02(水) 20:54:42.00ID:1tlEMDgY
強いて言えばトポスのガロア圏が通常のスキームのガロア群を圏論的に一般化しているように
基本群の扱いも同じようにしているわけだ
発想はstackと同じで、点集合値より圏値を先に考えている
つまり一番抽象的なガロア圏にあわせて遠アーベル幾何学を抽象化している
その際に基礎体としてF_1を想定しているから環論を越えても成り立つ
だから構造的には問題ない
0882１３２人目の素数さん
垢版 |
2018/05/02(水) 20:56:07.70ID:f/uzGEUx
あ、いくら言っても数学的に意味がきちんと伝わる文章書いてくれないとわかったんで
もういいです
0883１３２人目の素数さん
垢版 |
2018/05/02(水) 21:02:34.05ID:PbipJMOS
西田幾多郎とアレクサンドリアのディオファントスはどっちの方が天才ですか？
0884１３２人目の素数さん
垢版 |
2018/05/02(水) 21:06:12.46ID:1tlEMDgY
整合性というのは簡単に言えば、そこまで環論を越えて抽象化した設定であっても、
いやむしろ越えているからこそ、ZFCで考えるなら本来は一緒に考えないような
宇宙スケールの形式系(環)を認識しなければならない
統一できるかわからないものを統一したかのように書くわけにはいかないから
ラベル替えできるできないだのの宇宙際問題は要するに、様々なuniversalな異質な環の間で
Inter-universalな真理を書けるのかどうかという問題に尽きる
0885１３２人目の素数さん
垢版 |
2018/05/02(水) 21:08:11.55ID:1tlEMDgY
>>882
ああ、言いがかりのあんたか
読んだってのは嘘では？だってそこまで読んだなら「数学的に」十分読んだはずだよね
0886１３２人目の素数さん
垢版 |
2018/05/02(水) 21:11:05.29ID:1tlEMDgY
で、具体的にどういう書き方を求めてるの？
俺のさっきの質問をはぐらかしたのは明らかだから、はなから論文など読んでない
あんたが冷やかしたんだと理解するよ
0887１３２人目の素数さん
垢版 |
2018/05/02(水) 21:18:18.24ID:1tlEMDgY
「数学的に」自分がどの程度理解してるのか言わずに逃げるとか酷いなw
どうせ読んでないんだから当たり前だが
0888１３２人目の素数さん
垢版 |
2018/05/02(水) 21:18:46.21ID:SefKlSZR
連想ゲーム乙w
癇癪乙w
誰でも言いがかりのあんた認定乙w
0889１３２人目の素数さん
垢版 |
2018/05/02(水) 21:22:28.96ID:1tlEMDgY
>>888
ID変えていつもそれやってるよなお前。馬鹿じゃないの？
連想ゲームでも何でもないんだが
0890１３２人目の素数さん
垢版 |
2018/05/02(水) 21:23:30.29ID:frKFXPgF
宇宙際幾何と宇宙際タイヒミュラー理論の違いが解りません。
この二つってイコールじゃないよね？
明らかに望月は宇宙際幾何の延長線上にそのタイヒミュラー理論を構築してるように見える。

じゃあ宇宙際幾何の論文は何処にあるんだ？
0891１３２人目の素数さん
垢版 |
2018/05/02(水) 21:25:29.73ID:f/uzGEUx
あの、それ別人なんですけど。
882で言った通りもういいです。すみません。
0892１３２人目の素数さん
垢版 |
2018/05/02(水) 21:26:32.05ID:1tlEMDgY
要するに俺が調子に乗ってるように見えて気にくわないから言いがかりつけて
鼻をへし折ってやりたいだけって感じだな
0893１３２人目の素数さん
垢版 |
2018/05/02(水) 21:28:54.03ID:1tlEMDgY
>>891
何で誠実さを装うんだ？仮にあんたの話を信じるとして、
具体的に何が疑問なわけ？多分答えられないだろう
あと、端末使って複数IDなんて誰でもできるよ？
0895１３２人目の素数さん
垢版 |
2018/05/02(水) 21:33:15.45ID:1tlEMDgY
>>869と>>879は明らかに矛盾してるのわからないの？
しかも自分は全く「数学」の話なんかしてないじゃん
したいなら逃げないでしてみなよ
0896１３２人目の素数さん
垢版 |
2018/05/02(水) 21:36:14.89ID:1tlEMDgY
「IUTTは何の問題もない」と感じたのに、「意味論的には問題ない」という点に
疑問を感じるはずがない。完全に数学なんか読んでない奴の冷やかし
0897１３２人目の素数さん
垢版 |
2018/05/02(水) 21:42:09.77ID:1tlEMDgY
数学が形式的であることを悪用する奴って本当にタチが悪いな
「〜ってどういう意味？」みたいな質問攻めしたら最終的に自然言語を使うか定義見ろ、としか言えない
それを利用して、質問に解答できないお前は言葉遊びだとレッテルを貼る

こんなことしてたら誰も寄りつかねーよ
0898１３２人目の素数さん
垢版 |
2018/05/02(水) 21:58:32.08ID:1tlEMDgY
>>891
仮に言い分を信じるなら数学的かどうかより、あなたの直観力の問題ですよ
特に「特定の環論より抽象的な対象」という表現から引っ掛かるなら尚更の話
別に色々言ってるが怒ってはいない。やっぱ5chだなあって感じ
0899１３２人目の素数さん
垢版 |
2018/05/02(水) 22:04:21.93ID:R5oyLJex
五月決戦だわ
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況