[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
271: 呑んだ暮れ 2021/02/07(日)20:37 ID:FyZVNXYF(2/2) AAS
本棚の肥やしどころか売却不能タンスのカビゴミ化して資源ゴミにもならない可燃ゴミになる可能性が高い瀬田氏の本棚
死死死…
272(1): 2021/02/07(日)20:38 ID:71c6H3EJ(3/3) AAS
>>270
導けないではなくuseless(役に立たない)だが、圏論をやったことがあるなら普通に納得できる意見だと思うが
圏論をやったことがなく信じる信じないであれば、一つのファクターとしてピーター・サルナックはオストロフスキー賞(2001)、コール賞数論部門(2005)、ウルフ賞数学部門(2014)、シルヴェスターメダル(2019)受賞者だ
273(2): 2021/02/07(日)23:21 ID:1q1vuYYo(6/7) AAS
>>272
簡単な話よ
カテゴリー論と普通の数学を組み合わせて使えば良い
もともと、IUTだとて、楕円曲線、テータ関数がベースだろ？
カテゴリー論は、楕円曲線（の集合かも）の構造を見える化する、あるいは、圏論的構造を構築するために使って
それと、従来の解析的手法（もともと、タイヒミューラー使うと謳っているけど）を組み合わせる
その何かの組み合わせから、不等式が出てもなんの不思議もあるまいｗｗｗ
274(2): 2021/02/07(日)23:27 ID:1q1vuYYo(7/7) AAS
補足
大体がさ
圏論つーてもよ
IUTでやっていることは、圏論使えば見通しがよくなるわけで
圏論で理論ができあがれば、それを普通の集合論に書き直すのは、不可能ではないよね、きっとね
ZFCの範囲かどうは問題としても
その議論は、IUTのIVの付録で望月自身が論じていたろｗ
275: 2021/02/08(月)07:37 ID:PIZF5OS0(1/6) AAS
>>274
>IUTでやっていることは、圏論使えば見通しがよくなるわけで
>圏論で理論ができあがれば、それを普通の集合論に書き直すのは、不可能ではないよね、きっとね
>ZFCの範囲かどうは問題としても
補足
1．一つは、IUTで使う圏の大きさの問題だよね
2．真に大きな圏になっているかどうか？
3．もし、smallなら、普通の集合論に置き換えられる。この程度じゃないの？
4．局所smallとしても、では、どの程度集合論を拡張する必要があるのか？ ってこと
5．その議論は、IUTのIVの付録で望月自身が論じていたろ
省6
276(1): 2021/02/08(月)07:45 ID:/J0ptLTU(1/17) AAS
>>260-262
一般論だけど、楕円関数どころか複素関数論もわかってない人が
ロードマップをいくら眺めても残念ながら意味ないですね
そういう人はまず複素関数論の初歩から勉強したほうがいいでしょう
>>268
楕円関数・テータ関数・モジュラー関数を知るにはいいですが
楕円曲線の幾何については書かれてないので別の本をよみましょう
>>273
>カテゴリー論と普通の数学を組み合わせて使えば良い
>その何かの組み合わせから、不等式が出てもなんの不思議もあるまい
省13
277: 2021/02/08(月)07:46 ID:PIZF5OS0(2/6) AAS
>>273
>簡単な話よ
>カテゴリー論と普通の数学を組み合わせて使えば良い
「カテゴリー論を使ったら、不等式は導けない」って、そんな単純な話なら
それ、多くの数学者が、もっと早くに指摘するはずじゃんかｗｗｗ
アクシェイ・ヴェンカテシュとか、デミトロフとかが、IUT VIの誤りを指摘して、望月氏は訂正した
だけど、アクシェイ・ヴェンカテシュは「カテゴリー論を使ったら、不等式は導けない」とは言わなかったぞｗｗｗ
簡単な話よ
カテゴリー論と普通の数学を組み合わせて使えば良いんだｗｗｗ
278(1): 2021/02/08(月)08:00 ID:/J0ptLTU(2/17) AAS
>>270の英文翻訳
「ピーター・サルナックは、望月が間違っていると確信した理由を
説明してくれたことがあります：
空想的な圏論の機構は、物事が等しいことを証明するのには優れていますが、
本当に深い数学（ＡＢＣ予想のような）は、*不等式*についてのものであり、
そこでは抽象的なナンセンスは役に立たない...」
望月氏は、IUTで圏論以外の「機構」を提示したつもりだと思いますが
残念ながら、他の人が理解できるほど整理されてはいないようです
お弟子さんも説明できないくらいですからね
肝心なところがブラックボックスという点では、
省2
279(1): 2021/02/08(月)08:11 ID:PIZF5OS0(3/6) AAS
>>276
>楕円関数・テータ関数・モジュラー関数を知るにはいいですが
>楕円曲線の幾何については書かれてないので別の本をよみましょう
高さの話とか、Belyi's theorem 、Dessin d'enfant
とかね
そこらは、梅村の本には、書かれていないね
下記など、ご参照ｗ
(参考)
IUTを読むための用語集資料スレ2
2chｽﾚ:math
280: 2021/02/08(月)09:01 ID:/J0ptLTU(3/17) AAS
>>279
そもそも
複素関数論知ってますか？
整数論知ってますか？
どっちも知らないんじゃ
数論幾何は分からないですよ
281(1): 2021/02/08(月)11:52 ID:jlYkQT/R(1/5) AAS
>>265
補足
ほんと、権威に弱いお方ですなぁ〜！（>>278）
１）ピーター・サルナックが言ったから
「圏論では、不当式は導けない。だから、IUTは圏論を使っていて不等式を導いているから、ダメだ」と
でも、圏論と従来の数学とを併用すれば良い。というか、それが普通。既存の数学で足りないところに、圏論を使う
既存の数学で足りているのに、全文圏論で書き直すのは、美学の趣味としてはありかも。だが、普通はやらないよね
明らかに、望月IUTは、既存の数学の土台の上に、独自の圏論的数学を加えたものじゃん。それが見えないかね？ｗｗ
２）ショルツェ氏が言ったから
「IUTのCor3.12は不成立」だと
省7
282(1): 2021/02/08(月)12:50 ID:DX9t6j91(1/3) AAS
そうそう
このアンチはピーター・サルナックやショルツの受賞肩書だけを強調し、引用する
普通は代表的業績を引用するものだ
いかに権威主義者かがよく分かる
ここまで権威に目が眩むやつの言うことには説得力が無い
283(1): 2021/02/08(月)13:09 ID:P1ytHHuA(1/2) AAS
サヨクは権威主義だからな
矛盾してて面白い
284: 2021/02/08(月)13:21 ID:/J0ptLTU(4/17) AAS
>>281
何を向きになっているのでしょうか？
まず
「ピーター・サルナックが言ったからIUTは間違ってる」
「ペーター・ショルツェが言ったから系3.12は間違ってる」
とはいってませんよ
勝手に被害妄想を抱かれては困りますね
次にIUTは単に圏論と従来の数学を併用したものではないでしょう
それならいまだに理解されないということはありませんから
明らかに「新しいアイデア」があるが、
省11
285(1): 2021/02/08(月)13:28 ID:/J0ptLTU(5/17) AAS
１．望月氏にとって最悪の事態
Cor3.12から矛盾が導かれる
２．望月氏にとって次に悪い事態
Cor3.12のIUTによる証明の推論で妥当でないものが発見された一方
Cor3.12がIUTとは全く異なる方法で証明される
３．望月氏にとって良い事態
Cor3.12がIUTで証明されていたと認められる
１の可能性もないとはいえません
２は大いにあるでしょう
３はここまで誰も理解しないのでは望み薄かと思われます
286: 2021/02/08(月)13:32 ID:/J0ptLTU(6/17) AAS
>>283
ウヨクの方ですか？
ウヨクの方って自己中心主義ですよね
自分はつねに正しく間違ってるのはつねに他人
精神的に幼稚ですよね すぐ向きになるし
笑うのは他人をあざけるときだけだし
そういう人とはお友達になりたくないですよね
287: 2021/02/08(月)13:43 ID:/J0ptLTU(7/17) AAS
ウヨクの方は「人権・平等・環境」といった理念がお嫌いのようです
・他人の権利は認めない
・他人が自分と同等なのも認めない
・環境なんて自分の生活には全く関係ない
でもそれは自分の首を絞めますよ
他人が働いてくれることで成立してる社会で
他人がどんどん死んでいったら
自分がいくら金持ってても意味なくなりますよ
環境だって悪くなれば自分の生活に跳ね返りますよ
いい加減自分にとって都合の悪いことは
省3
288: 2021/02/08(月)13:53 ID:/J0ptLTU(8/17) AAS
ウヨクの思想
・自国民>他国民
・男性＞女性
・金持ち＞貧乏人
・健常者＞障害者
・異性愛者＞ホモセクシュアル・レズビアン・バイセクシュアル・トランスジェンダー
とにかく自分だけが人間で、異物はとにかく下に見たがる
他者はみな敵であり、他者との関係は根本的には戦争で勝者と敗者しかないと思ってる
実数的な全順序的思想ってどうなんですかね？
私は複素数的な無順序的思想の持主です
省2
289: 2021/02/08(月)13:59 ID:/J0ptLTU(9/17) AAS
平等の観点からいえば、ソ連も中共も立派なウヨクだと思いますよ、ええ
ウヨクが
「皆が皆、とにかく自分が一番になろうとする思想」
だとしたら、サヨクはその真逆の
「皆が平等であろうとする思想」
でしょうね
ウヨクは互いに矛盾するし、結局自分の思い通りになるのはたった一人です
サヨクは全体的に無矛盾だし、理念を同じくするならみな思い通りになります
他人に優越しようって発想自体、悪というか病んでますよね
290(1): 2021/02/08(月)14:25 ID:P1ytHHuA(2/2) AAS
>>皆が平等であろうとする思想
「あろうとする」ことはもちろん悪くないよ。
でも歴史的にそうなってない。共産主義は地球上で1億5千万人殺したよね
願望と現実をいつまでも混同しているところが絶望的に頭悪すぎる
ウヨの頭の悪さなんて可愛いもんさ
上下前次1-新書関写板覧索設栞歴
あと 712 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s