[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
670(1): 2021/02/18(木)10:20 ID:NzeyxT1l(1/7) AAS
>>636
確かに1000p以上あるが、ショルツはそれを読み、Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく、ABC予想の証明などはCor3.12がクリティカルに働いてる)と指摘してる
その上で、Cor3.12のProofを読み、途中からついていけなくなったと述べている
分からない相手が悪いんだという風潮が(数学に限らず)一般的にあるが、証明というのはよほど細分化しない限り絶対に詳述できる
だから相手が勘違いしてようが見落としてようが理解者はCor3.12の証明をより詳しく書けばいいだけ
もちろんショルツが掲げた「Cor 3.12は成り立たないだろう」という予想自体は思い込みに過ぎない可能性があるが、
別にショルツの予想が疑わしいからといってIUTが成立することにはならず、依然としてこのレスの第一段落の問題が残る
673(1): 2021/02/18(木)11:23 ID:NzeyxT1l(2/7) AAS
>>672
>その話、どっかのインタビュー記事だったよね
「2018年3月、数理研で行なわれたIUTeichに関する議論」以前の話だったよね
それだけの時間をかけても、誰もCor 3.12の証明を追記できなかったということだな
そして証明が変わってないのだから、理解できないことも変わらない
>ボタンの掛け違いだと思うぜ
自明か否かの掛け違いは論点ではない
省1
677(1): 2021/02/18(木)14:55 ID:NzeyxT1l(3/7) AAS
>>675
言い方が悪かった、ごめん
確かにショルツが初めてCor 3.12の証明を指摘してからは若干追記されてるが、査読が終わりブログで取り上げられた2020年4月ごろにショルツがまだ証明されたと思っていないと明言してから追記されていない
>ショルツ氏の指摘は、「IUTで、こういうモノドロミーを考えると、矛盾が起きる」という指摘だよね
その前にまずCor 3.12が証明されてないという指摘があって、
その上でCor 3.12は成り立たないだろうと指摘してる
681(1): 2021/02/18(木)16:05 ID:NzeyxT1l(4/7) AAS
>>679
ネットですぐ見られるからわざわざ言わないだけ
もし仮に見てなかったとしても、その改訂版証明がクリティカルなものなら、このブログの議論で知らないことを即ツッコまれる
このコメントの議論を読んでも、Cor 3.12が証明できないと明言していたりブラックボックスとして扱っていたりと、別にCor 3.12の証明の要請はショルツだけではないんだよね
にも関わらず理解者の人たちは誰も補強しようとはしないという
684(1): 2021/02/18(木)16:30 ID:NzeyxT1l(5/7) AAS
>>682
読めば書いてあるけどホッジ劇場を数学的に解釈するのが困難だという話
デュピュイが構造に関連づければ〜とか持ち出して、ショルツがホッジ劇場をどう解釈しても構造のフレームワークにフィットしないっていうことだろう
685(1): 2021/02/18(木)16:32 ID:NzeyxT1l(6/7) AAS
デュピュイが構造に関連づければ〜とか持ち出して、ショルツがホッジ劇場をどう解釈しても構造のフレームワークにフィットしないって説明してるということだろう
>>683
つまり現時点ではCor 3.12は証明されておらずCorではなく予想だが、この会議で証明する予定ということ？
690(1): 2021/02/18(木)18:22 ID:NzeyxT1l(7/7) AAS
>>688
ホッジ劇場の定義を否定してるのではなく、構造やトポス理論的フレームワークとして解釈することが困難だと言ってるだけ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s