[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
659: 2022/04/27(水)08:31 ID:6sq23jZI(1) AAS
どこをどう見たらそう思えるのかwwww
ど素人wwwwwww
660: 2022/04/27(水)10:54 ID:t9lpRfCk(1) AAS
いかにもな文系レスワロタ
661(1): 2022/04/27(水)12:06 ID:8AhAvuMM(1/3) AAS
というか欧米のコミュニケーションの基本がわかってないな
正解は「よくわからんが、ひとまず貶さないで前向きなアドバイスをしている」だよ
肝心の意味に納得してたら、もっと突っ込んで加藤みたいな振る舞いになる
662: 2022/04/27(水)15:37 ID:TkhBCbGu(1/2) AAS
ファルティングス氏の師匠愛？
663: 2022/04/27(水)18:42 ID:6lVYKnYn(1/2) AAS
>>661
否定しない＝肯定する、ではない
前向きなアドバイスをする＝肯定している、でもない
664(2): 2022/04/27(水)20:31 ID:t8TFBQLv(4/4) AAS
・NHKスペシャルのときには、モハメド・サイディ氏のMath Reviews誌のレビュー>>567 はまだ無かったが
しかし、SS文文書とショルツェ氏のIUTに対する批判的レビュー>>624はあった
・ショルツェ氏の主張は、”Corollary 3.12に与えられた議論は証明ではなく、これらの論文で構築された理論は、ABC予想を証明するには明らかに不十分です。”>>624
なので、ショルツェ氏の主張が肯定されれば、IUTは否定される
・だから、ファルティングス師匠は、明らかに、ショルツェ氏の主張は肯定していないのです
ですが、ショルツェ氏の主張が否定されても、IUTが肯定されるわけではないのは、その通りです
・だから、ファルティングス師匠は、「望月よ、もっと説明に力をいれよ」
とNHKスペシャルで諭したわけですね
665: 2022/04/27(水)21:12 ID:XozVPtoF(1) AAS
ファルティングスの説明の求めに対しては、Ｎスぺは、「同じものでもあり異なるものでもあるという論理展開を、詳しく解説する文章を公表」のときに映像で映したのが、「“∧” and“∨”」のIUTの論理構造の論文。つまりあの論文により望月は「答えようとしている」との示唆。
学部レベルの§２から専門家レベルの§３まで。
<外部ﾘﾝｸ:www.kurims.kyoto-u.ac.jp
最新の4月24日の追記は、Nスぺの影響からと思われるが、アブストラクトを付けるなどで解説的にしていた。
例えば、環の乗法構造と密接に関係するのがΘ-linkで、加法的な対数殻を構成するための装置がlog-Kummer-correspondenceであるとか、Nスぺの乗法と加法の話に合わせた解説を入れており、頑張って味を出した感があり、以前からの無味からな文から差を感じる。
666: 2022/04/27(水)21:23 ID:8AhAvuMM(2/3) AAS
そもそもlog-linkがTate曲線の話というのは論文にあったっけ？
667(4): 2022/04/27(水)21:35 ID:UAVjJ+6B(1) AAS
余談ですが新論文のアブストラクトなどで排他的論理和が無限に連なっているアナロジーを説明していますが、
普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね
668: 2022/04/27(水)21:40 ID:6lVYKnYn(2/2) AAS
>>664
ファルティングスはそもそも望月新一を肯定していないけど
IUTを否定する＝IUTから矛盾を導く、と思ってるなら
ショルツはそんなことは行ってない
IUTが無矛盾でも、3.12は導けないだろう、といってるだけ
ファルティングスも望月新一の論文では
3.12は証明できていないと思ってるだろう
証明できているなら説明など求めない
ファルティングス自身が説明する
そうしないのだからファルティングスは
省2
669(1): 2022/04/27(水)21:58 ID:8AhAvuMM(3/3) AAS
>>664
いや、十分に可読な証明がないという点でファルティングスもショルツも一致してるだろ
望月含め全員p進ホッジ理論関係というのが面白いな
670: 2022/04/27(水)23:11 ID:qZAcN4rn(1) AAS
番組に出てたパーティー好きの数学者ってスピロ予想の人だったのか
外部ﾘﾝｸ:en.wikipedia.org
671: 2022/04/27(水)23:49 ID:TkhBCbGu(2/2) AAS
「もう少し説明が必要」と「証明が不十分」「証明に欠陥がある」
「証明が間違っている」などは別ものだよね？
672: 2022/04/28(木)00:48 ID:BDacDgTE(1) AAS
すごくオブラートに包んでるから素人には分かりづらいだろうけど、
ショルツやファルティングスのコメントって、
お前はもう死んでいる
ってことだからな。
673: 2022/04/28(木)02:09 ID:eX/QmZx3(1) AAS
イヤ、いくら素人でも彼らの発言の真意はホントはわかってるんだと思うよ
わかってるんだけど、「イヤ、そんなことはない、オレが間違ってるはずない、オレは負けない」って感じであえて曲解してるんだよ
ホントは当人たちももう終わってるのはわかってるんだよ
ただ認めたくないだけなんでしょ
674: 2022/04/28(木)02:54 ID:b/M5qbNJ(1) AAS
まるで「空気を読め」みたいなお話で
数学板で展開するような論理じゃないね。
675(1): 2022/04/28(木)06:22 ID:7u46cckq(1) AAS
>>667
Wikiの文献1。
宇宙際タイヒミュラー理論（うちゅうさいタイヒミュラーりろん、英語: Inter-Universal Teichmüller Theory、略称: IUT）は、数学者望月新一によって開発された、数論におけるさまざまな予想、特にABC予想を解く要件[1]の考察により、遠アーベル幾何などを拡大した圏の宇宙際 (IU) 幾何を構想した数学理論である[2]。
＞考察で得た「ABC予想を解く要件」と書かれている。
2008年の文献1だから新論文の後付けはでなくれ、着想のフロー図は、
スタートの「ABC予想を解きたい」から始まるが、
下波線で「重要なポイント」となっており、「通常の集合論を拡大する必要がある」として、ABCを解く解決策で導入した部分で肝であることが分かる。
Ｎスぺが「これまでにない数学への進化」が含まれたところで論議が起きており、この新しい数学の解説が求められるに対し、ANDとORの論文が回答であるとした。
だから分かり易くなるようにアブストラクトを付けたのではないのかな。
どこが乗法の情報で、どこが加法の情報かを書き加えて、
省1
676(1): 2022/04/28(木)07:36 ID:uVT9WkdK(1/5) AAS
>>675
あれ、ロジシャンには通じへんで
数学者は論理もわからんのかいな
物理学者が数学わからへんのと全く同じやな
677: 2022/04/28(木)15:07 ID:90oIbXEw(1/4) AAS
>>676
>あれ、ロジシャンには通じへんで
>数学者は論理もわからんのかいな
数学者≠ロジシャンで、良いんじゃない？
下記によれば、論理学者(＝ロジシャン)らしいね
日本人では、「竹内外史、前原昭二、廣瀬健」3人のみ
貴方は入ってないよね
外部ﾘﾝｸ:ja.wikipedia.org
Category:論理学者
論理学者 (ロジシャン)に関するカテゴリ。
省24
678(1): 2022/04/28(木)15:25 ID:90oIbXEw(2/4) AAS
>>669
>いや、十分に可読な証明がないという点でファルティングスもショルツも一致してるだろ
同意。664です
・ファルティングスもショルツも、証明と称する文書はある
・ファルティングスは、「証明が可読でない（おれには読めない）。だから、正しいとは認められない。師匠のオレに読めないならば、殆どの人には読めない。だから、（証明とは別に）可読な説明いる」
（なお、BuzzardのICM22講演 >>657 「証明でたけど、みんな分からん言っている。どうすんの？」ｗ）
・ショルツ氏、「おれの見解はSS文書で示した。おれの解釈では、証明とは認められない」
・英エクスター大教授モハメド・サイディのレビュー >>567「望月IUT論文正しい （ショルツ氏のレビューもSS文書も踏まえての結論です）」
まあ、なので
いま必要なのは証明ではなく（証明はもうある）
省3
上下前次1-新書関写板覧索設栞歴
あと 324 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s