[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
953: 03/26(木)11:57 ID:g77Jzd+G(3/3) AAS
>>952
ならばプログラマが
細かなところを確認しつつ
leanに乗る形にするわけですかね
結果が出るのが楽しみです
954(1): 03/26(木)20:24 ID:fiPPDDI6(1/2) AAS
どうせやるんなら
とりあえず定理3.11のステートメントを形式化して
そこから系3.12が出ることを検証してほしいけど
Multiradial Algorithmの形式化からして無理ぽの予感
955: 03/26(木)21:59 ID:XTPL032M(1/2) AAS
次スレ 60
2chｽﾚ:math
956: 03/26(木)22:04 ID:XTPL032M(2/2) AAS
このスレ59を使い終わりましたら
次スレ60へ移行願います
957: 03/26(木)23:17 ID:fiPPDDI6(2/2) AAS
ところで「LANA」って何の略？
958(1): 03/27(金)20:57 ID:AWHZAmr5(1/2) AAS
＞今回の記者会見は複数計画している中の1回目です。
出し惜しみする理由が分からん
観測気球を上げて様子見ってことかいな
それとも望月参加なしだけど次回に乞うご期待って話？
959: 03/27(金)21:33 ID:PT/HqQDa(1) AAS
>>958
ん？都度進捗を発表するんじゃ無いの？
まだ確定してないところも結構あるんでしょ
960: 03/27(金)21:45 ID:AWHZAmr5(2/2) AAS
進捗があったら発表するのは当たり前だから
「複数計画している中の1回目」なんて勿体つけんだろ
そんな例はあまり聞いたことねえしな
961: 03/28(土)07:11 ID:usfYrqNM(1/2) AAS
気温が下がる見込み
次の火曜日
962(2): 03/28(土)12:34 ID:GVxxtOuz(1) AAS
そもそも加藤は自分はIUTは理解してないってはっきり言っとる。
それであそこまでプレゼンできるのはまあある意味すごいけどさ
963: 03/28(土)22:38 ID:vkX1gmQg(1) AAS
記者会見3/31は第１回IUT Innovator Prizeの受賞者発表からちょうど２年だね
１０年間毎年出すと言ってたのはどうなったんだか誰か聞いてくれんかな
964: 03/28(土)22:40 ID:usfYrqNM(2/2) AAS
4?の雨
火曜日
965: 03/29(日)05:03 ID:3z293icX(1) AAS
>>962
カトブンがIUTを持ち上げるのは・・・一種の炎上商法
966: 03/29(日)08:14 ID:AigKJD+E(1) AAS
>>962
>そもそも加藤は自分はIUTは理解してないってはっきり言っとる。
いつどこで明言しました？
967: 03/29(日)08:18 ID:vezpcYQa(1) AAS
implicitには言ったことの中に含まれているが
明言したことはないのではなかろうか
968: 03/30(月)22:43 ID:kOhvBPtp(1) AAS
明日記者会見
形式化は望月陣営の責任で主導しない限り何も動かない
プロジェクトでiut理解者を雇ってleanを学ばせればいい
iutと違ってleanの方は理解不能って話は聞いたことないから
しかしもし、iutをlean化できる形で説明してやるから
実際の形式化はlean習熟者がそれを理解して行えって話なら
これまでと同様の茶番劇を繰り返すことになるだけだろーな
969: 03/31(火)14:32 ID:sCPWigvO(1/2) AAS
数学・ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ(朝日新聞）
www.asahi.com/articles/ASV3V3VPBV3VDIFI00NM.html
数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、
「1年半前から証明の検証を進めていた」と発表した。京都大の望月新一教授（57）の証明には
「現時点で解明できていないポイントがある」「ギャップ（論理的な飛躍）の可能性もある」として、
望月氏らと議論を続けているという。
970(1): 03/31(火)15:48 ID:2fcvYucV(1) AAS
ショルツの指摘が正しかったと認めるのにかかった時間
971: 03/31(火)15:58 ID:d63xSbvm(1) AAS
本当に8年前から何にも進んでないんだな
972: 03/31(火)16:13 ID:1Dkzf38l(1) AAS
理解者達もショルツと同レベルっぽいのでショルツも理解者に入れてやれ
万が一あっててもショルツ悪くねえだろコレ
973(2): 03/31(火)16:17 ID:/0ke9CXn(1) AAS
系3.12が完全に証明されてると思ってる人：望月1人
系3.12には現状ギャップがあるけど正しいだろうと思ってる人：理解者20人
系3.12は誤ってると思ってる人：？人
系3.12にギャップがある以上ABC予想の証明だと認めていない人：大多数の数学者
？の人数が知りたいね
974: 03/31(火)16:34 ID:xiueKiyK(1) AAS
ギャップがある時点で論理的には正しくないんだから正しいと主張する側がギャップを埋めないとダメなんだよ
それを8年間埋められてないのが現状
975: 03/31(火)16:41 ID:zsJJmk5L(1/3) AAS
>>973
>系3.12には現状ギャップがあるけど正しいだろうと思ってる人：理解者20人
その「理解」って数学的な意味での「理解」じゃないよね
「あなたの立場は認めよう」みたいな意味でないかな
976: 03/31(火)16:43 ID:zsJJmk5L(2/3) AAS
>>973
>系3.12にギャップがある以上ABC予想の証明だと認めていない人：大多数の数学者
「ギャップがある以上」でなくて「ギャップがあると指摘されている以上」でないかな
977: 03/31(火)16:43 ID:zsJJmk5L(3/3) AAS
ギャップがあるかどうか判定できるだけの知識が必要なので
ほとんどの数学者にはそれはできそうにない
978: 03/31(火)17:06 ID:k/sIZtir(1/5) AAS
動画ﾘﾝｸ[YouTube]
979: 03/31(火)17:35 ID:k/sIZtir(2/5) AAS
共同通信記者のケドレヤへ最後の質問は良かった。
980: 03/31(火)17:35 ID:k/sIZtir(3/5) AAS
共同通信記者のケドレヤへ最後の質問は良かった。
981(1): 03/31(火)17:42 ID:k/sIZtir(4/5) AAS
会見の質問から星裕一郎准教授
は逃げた
982: 03/31(火)18:07 ID:wJWuuQZQ(1/2) AAS
要するに界隈一同証明をチェックする能力もないくせに
できたことにしていたってことだろ
「数論幾何は高尚」というステロタイプに甘やかされていた
とんでもなくレベルの低い集団だったわけだな
983: 03/31(火)18:41 ID:AUUFhsw3(1) AAS
>>970
これは本当に恥ずかしいですね
Leanに対しても太字で罵倒するんでしょうか？
984(3): 03/31(火)18:48 ID:WtISkHRl(1/2) AAS
LANAプロジェクト、世界一のメンバーを集めたと豪語する割には
望月本人の参加なし（ついでに副所長の参加もなしかよ？！）
というか文元によれば本人がプロジェクトに好意的かどうかすら不明
これではプロジェクトが頓挫して
望月がお決まりの「自分の論文を理解できない方が悪い」を
繰り返す未来しか見えない
985: 03/31(火)19:13 ID:wJWuuQZQ(2/2) AAS
存在しない証明をLeanが通るわけないし
ギャップがありますよって言ったところで望月はまた
精神論で逃げるだけだろ
初めから無意味な小手先の時間稼ぎでしかないのは明らか
986(1): 03/31(火)20:21 ID:sCPWigvO(2/2) AAS
>>984
このプロジェクトが頓挫したら もういよいよ先は無いんじゃないか
987(1): 03/31(火)20:28 ID:WtISkHRl(2/2) AAS
>>986
ネット論争や予言失敗のカルト宗教と同様
本人が諦めない限りいつまでも続きます
988: 03/31(火)20:41 ID:6EhuCNie(1/3) AAS
>>984
>望月本人の参加なし（ついでに副所長の参加もなしかよ？！）
え？
それホント？？？意味あんのそのプロジェクト
989: 03/31(火)20:42 ID:6EhuCNie(2/3) AAS
>>984
>文元によれば本人がプロジェクトに好意的かどうかすら不明
前に
LEANで検証できることに期待してるみたいなことブログに書いてなかったケ？
990: 03/31(火)20:44 ID:6EhuCNie(3/3) AAS
>>981
秋の学会で遠アーベルの企画公演した先生は参加してる？
991: 03/31(火)23:34 ID:k/sIZtir(5/5) AAS
玉川安騎男京大数理研教授.
(PRIMS編集委員長)はプロジェクトへ参加していないと思う。
中核的と称するIUT理解者は
サイディ.山下.星の3名ながら
・内閣府の企画では
玉川教授
>最近望月新一さんが証明したABC予想など、いくつもの数論の大問題が数論幾何学を用いて解かれています。
特に望月さんのABC予想の証明では、遠アーベル幾何学の理論や考え方が重要な役割を果たしています、と発言している。
文中の写真は全て査読中の2017年
省1
992: 04/01(水)01:04 ID:1vy3d++o(1) AAS
ゴー:自分の博論も間違えてるポンコツ こいつが証明何度もチェックしたとか言っても小保方さんレベルの信ぴょう性しかないよ
いつまでも望月に引導渡せないの見るに、他の自称理解者も同レベルなんだろう
993(1): 04/01(水)01:22 ID:O4h0CXmH(1) AAS
そもそものアイデアの説明の所だけど
足し算と掛け算を分離して云々って
F1の言い様とすごく似てるのが気になってる
あるところではF1は集合としてはF2={0,1}と同じで
掛け算は定義されているが足し算は1+1を定義しない
みたいな説明が為されてたりする
何でそんなものが「体」のように扱えるか不明だけど
（二元あるのに）一元体と言い張る人がいるのも
IUTも似て無くも無い感じがする
994(1): 04/02(木)19:34 ID:P5oxOHky(1/5) AAS
>>993
というか、望月の理論はF1を遠アーベル幾何学風に捉えられないかというアイデアだから合ってる。ノートにも書いてある
あれは平たく言うとetale-crystallineの構造からF1のホッジ理論のようなこと
ができないかという理論と取れる
ただ、etale-crystallineではそんなものがないからRの位相群で代替すると
つまり、F1の遠アーベル幾何学を直接構築するアプローチではなかった
995: 04/02(木)19:38 ID:P5oxOHky(2/5) AAS
あと知り合いが、何故IUTが不十分か理由を特定したと言ってる
ショルツの指摘は半分くらい正しいらしい
角川の懸賞金より別証明をまず試みるんだと。三年前後でやると言ってるので
それを見守るつもり
996: 04/02(木)19:48 ID:P5oxOHky(3/5) AAS
>>994
自己レス
etale-crystallineのスキーム論にはそんなものはないから
フロベニオイドとアナベリオイドに両立する構造として位相群を使う話だった
これは圏論的に可換化するとナンセンスになるという指摘がロバーツから
出ていたわけだけど、ナンセンスになるというよりとにかく不等式にならない
それがショルツの主張なんだが、望月らはそもそもそれを認識していたので、ショルツの批判に同意しなかった
それでもああいう仕組みになった。結論から言うとそれはやはり無理筋らしい
997: 04/02(木)19:52 ID:P5oxOHky(4/5) AAS
認識していたとはつまり、ショルツが批判するレイヤーとは別のレベルで不等式になるんだと考えていた
だから望月らからすればあの批判は意味が無かった
これ自体は例の望月─SSペーパーに反映されてる通り
998(1): 04/02(木)20:09 ID:P5oxOHky(5/5) AAS
ともかくざっくりすぎでナンセンスに見えたら申し訳ないけど、数体のabcはそもそも足し算と
掛け算は分離しないと不等式が出ないタイプの問題なんで、IUTでも絶対ガロア群やlogを組み合わせて使ったりしてそれを攻略しようとしたわけね
それでレイヤーを巧妙に分けて掛け算の強い不変量が出たかというとやはり難しいのではないか、ということみたいです
999: 04/02(木)20:20 ID:WYszVHCf(1) AAS
>>998
> ID:P5oxOHky
詳しいですね
専門家ですか
IUTにアプローチできるのはスゴイ
1000: 04/02(木)21:06 ID:ODdc/oy1(1) AAS
>>954の期待通りになったけど
ご本人の参画なしだから決着しそうにない
3.11のステートメントを形式化しようにも
解釈の仕方が立場によって複数あって（それでも数学か？）
弱すぎたら3.12は出せないし（S-Sは大体この立場）
強すぎたら不都合が生じる（形式化不能 or 矛盾発生）
うまく形式化できないところがあるってLANA陣営からの
問い合わせの返事が新年のブログの内容
LEANが「一階述語理論としてのZFC」を扱えないのが悪いってこと
外部ﾘﾝｸ:aitpm.github.io
省2
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 141日 17時間 28分 27秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.053s*