[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(1): 2019/05/29(水)19:17 ID:O5hfrFeF(1) AAS
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 38
2chｽﾚ:math
983: 2019/07/05(金)23:37 ID:K9VxBE6D(3/3) AAS
上でロバーツの一文についての補足なんですが、もちろん、
「望月が圏論の概念を（部分的に）使っているからと言って、彼が圏論をやっているわけではない」という意味です
リテラルに読めばそうなります。しかし、ここでなぜcomputer scientistを例に持ち出したのかということですね
まあ、私の深読みだと思うのですが・・・
984: 2019/07/06(土)00:58 ID:yKHKprzS(1) AAS
>>979 kwsk
985: 2019/07/06(土)09:17 ID:+Ho8rao1(1) AAS
専門を考えたら、単遠アーベル的復元/構成から、
先に考えてたのじゃないの？
986(1): 2019/07/06(土)15:51 ID:SzxByl/K(1/2) AAS
結論ありきで辻褄合わせやってるうちにめちゃくちゃな議論でデタラメな結果になってしまうのはよくあること藁
987: 2019/07/06(土)16:01 ID:5dvSg4jK(1/2) AAS
>>986
査読してても長大な技術的な論文で結果が間違っていると直感しても
間違いを指摘できないことはありますからね
やっと間違いを指摘したら今度はまた長い修正論文を送ってきたりするし
（事情があって）さっさとrejectできない場合は辛い
988(1): 2019/07/06(土)16:56 ID:SzxByl/K(2/2) AAS
取り巻きとつるんで開き直って広告活動や政治工作打たれたりするとなおさらね。
もう痛みを伴う手荒な解決しか残されていないと自分はおもっています。
慎重に判断すべき、理解には時間がかかると煙に巻く癖に、予算や人事の権力闘争には勇み足、すべてこれが真実を物語っているのだと思います。
R*msがいつ引導を渡すのか、注目ですね。
2020に多額の税金をつぎ込んだ大規模プロジェクトがあるわけで、
当然その分の説明責任と成果に対する責任があるわけだから、そこが一つの転換期となるでしょう。
ここで詰め間違えたらR*msは数学界や日本国民からの信用を大きく失い失望させることになるでしょう。
989: 2019/07/06(土)17:02 ID:JQlwrsWC(1) AAS
>>988
多額wwんな規模じゃねーよww
990: 2019/07/06(土)17:09 ID:lQHJNu5p(1) AAS
方向やアイデアはある種自然で正しい(とも思える)
ただそれを今の数学の枠組みでやるには無理があるしギャップがうまれる
だから遠回りでも望月か周辺が基礎付けをやるしかない
991: 2019/07/06(土)17:47 ID:vf7Keayn(1) AAS
IUT論文を取り下げ 書き直して再提出するべき、と言われてきたのにさ。
「修正」の上書きを繰り返しているうちに
外堀が埋まった感じがする。
圏論のこの点を指摘されたら更にどうなんだろ？と何となくわかるようになったw
992: 2019/07/06(土)18:04 ID:5dvSg4jK(2/2) AAS
AA省
993: 2019/07/06(土)18:49 ID:EErN+KeY(1) AAS
この飛行機に
単遠アーベルを直せる客は、乗ってません orz
994: 2019/07/06(土)18:53 ID:1Jk9ck24(1) AAS
無限ループにありがちな自己同型矛盾の問題と可能性は●●だか教えてやらん
995: 2019/07/06(土)18:59 ID:Sde7L8On(1) AAS
ダメなの！
死にそうだから●●を教えて！ お・ね・が・い
996(1): 2019/07/06(土)21:00 ID:mexKV3lm(1) AAS
結局偉そうに批判している連中もショルツ様が言うまで自分では何も言えなかったモブ
997: 2019/07/06(土)21:35 ID:VjsFe2sY(1/3) AAS
>>981
実際には、宇宙際の関係は集合と要素という関係よりもラベルによる種の管理はHigherだから構わないと、
つまりZFCとは特に矛盾しないという言い方に落ち着きましたね。宇宙Uを各々「言語」と見なすと、
これは個人的には、存在論的には確かに面白い性質にはなっていると思います
ここで宇宙が言語であるといっても、一次言語は絶対遠アーベル幾何学的な共通語になっている
それを通じて任意の宇宙は別の宇宙を内部から解釈することができる
それについてラベルを導入するというのも含めて、要は計算機科学的というのはここでは構成的、
直観主義論理的な考えとして相性は良いのかもしれない。拝中律は直観主義では統制的な縛りではないが、
同じようにIUTでは圏論的な普遍性というのは階層性の見方次第で縛りではなくなるのかもしれない
ただ、スキーム論的な情報も実解析的な情報も下部構造である位相群の同型に依存しているはずなんですけどね
省5
998: 2019/07/06(土)21:37 ID:VjsFe2sY(2/3) AAS
↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です
つまり単なる印象で具体的なエビデンスの話ではない
999: 2019/07/06(土)22:23 ID:VjsFe2sY(3/3) AAS
SSがクンマー理論の自然同型云々と言っているのは、結局フロベニウス射とも密接な関係があるんだけども、
スキーム論的なデータを復元するための基本的な算法構造、一次言語が何なのかという事
おおざっぱに言えば結局「同じ素材」でできているものだが、そこで全域定義されているはずの写像が何故
精妙な非同型として区別された非自明な特異性を持ちうるのか？
フロベニウス射と遠アーベル幾何を無理やり使っても自明な全域写像しか成立しない
かといって、IU形式主義というのも実は必ずしもラベル云々の議論を必然的には導かない
色々無理をして何とかABC予想の証明に結び付く例の不等式が構成されたわけだ
1000: 2019/07/06(土)22:23 ID:vd7YBARF(1) AAS
>IUTでは圏論的な普遍性というのは階層性
の見方次第で縛りではなくなるのかもしれない
トンデモかも？
1001(1): 1001 Over 1000 Thread AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 38日 3時間 6分 0秒
1002(1): 1002 Over 1000 Thread AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.435s*