[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
170: 2022/04/10(日)09:21:45.64 ID:JfaVaId9(1/3) AAS
今夜、お見逃し無く
4月10日(日)午後9:00
NHKスペシャル「数学者は宇宙をつなげるか? abc予想証明をめぐる数奇な物語」
30秒予告動画つき
外部ﾘﾝｸ:www.nhk.jp
初回放送日: 2022年4月10日
２０２０年春、数学の難問“ａｂｃ予想”を日本人が証明したというニュースが報じられた。京大数理解析研の望月新一教授の論文「宇宙際タイヒミューラー理論」が専門誌に掲載されたのだ。だが数学界では「証明が理解できない」「いや絶対に正しい」と激論が続く。論理を積み上げれば誰もが同じ答えにたどり着くはずの数学の世界で、なぜ主張が真っ向から対立するのか？前代未聞の議論を追い、数学の魅力に迫る。▼語り・小倉久寛
238: 2022/04/11(月)19:56:37.64 ID:8ttuGPfz(2/2) AAS
>>237
何すんねん？
ろーんぶーんかきましたー♪
みんな見てね❤
とかyoutube動画でも作る？
そんな事してる数学者見た事ないわ
243: 2022/04/11(月)22:44:37.64 ID:TKY3tNzR(2/2) AAS
>>233
意味なんてないでしょ
例の一般向け公式書籍は高校生でも読み通せるのを基準に書いたという話だった筈だから
そっちを読むのが現状での王道でしょ
それが読めないなら漫画に書き換えても結果は同じ事
390(1): 2022/04/18(月)06:39:57.64 ID:N9uDBBSz(3/4) AAS
だから、
＞等号原理って、等号で左辺と右辺を等号でむすんで、式を変形原則で証明しないと頭りだって事？
＞ABC予想が
ｃ＞rad（abc)^(1+ε)
＞の不等号の式たから、「等号の式変形」以外の方法で解けるよ。
という点を、先にグランディングしました。
402(1): 2022/04/18(月)10:28:25.64 ID:eaxs7s6m(1) AAS
コップとドーナッツの例えはいかにも通俗書で数学を知った気になってるやつっぽい
遺伝子的に整理できるというのも意味不明
406: 2022/04/18(月)11:42:48.64 ID:16TothxP(3/4) AAS
星さんの解説はペダンチックで難しいと思うひとのために
思いっきり簡単なケースを説明してみる。
高木貞治の『代数学講義』という古い本に
g(z)=Π(z-a_i)のとき
(1) g'(z)/g(z)=Σ1/(z-a_i)
が成立すると書いてある。これはg(z)が重根を持っていてもいい。
（たとえばaがk重根の場合は1/(z-a)をk回数えるから
(1)の右辺の和はk/(z-a) とまとめてあらわせる。）
(1)式は明確に加法性を持っている。つまり
(g_1(z))'/g_1(z)+(g_2(z))'/g_2(z)
省6
677: 2022/04/28(木)15:07:17.64 ID:90oIbXEw(1/4) AAS
>>676
>あれ、ロジシャンには通じへんで
>数学者は論理もわからんのかいな
数学者≠ロジシャンで、良いんじゃない？
下記によれば、論理学者(＝ロジシャン)らしいね
日本人では、「竹内外史、前原昭二、廣瀬健」3人のみ
貴方は入ってないよね
外部ﾘﾝｸ:ja.wikipedia.org
Category:論理学者
論理学者 (ロジシャン)に関するカテゴリ。
省24
678(1): 2022/04/28(木)15:25:19.64 ID:90oIbXEw(2/4) AAS
>>669
>いや、十分に可読な証明がないという点でファルティングスもショルツも一致してるだろ
同意。664です
・ファルティングスもショルツも、証明と称する文書はある
・ファルティングスは、「証明が可読でない（おれには読めない）。だから、正しいとは認められない。師匠のオレに読めないならば、殆どの人には読めない。だから、（証明とは別に）可読な説明いる」
（なお、BuzzardのICM22講演 >>657 「証明でたけど、みんな分からん言っている。どうすんの？」ｗ）
・ショルツ氏、「おれの見解はSS文書で示した。おれの解釈では、証明とは認められない」
・英エクスター大教授モハメド・サイディのレビュー >>567「望月IUT論文正しい （ショルツ氏のレビューもSS文書も踏まえての結論です）」
まあ、なので
いま必要なのは証明ではなく（証明はもうある）
省3
719(4): 2022/04/29(金)15:30:13.64 ID:b8gsErp4(7/15) AAS
>>716
> 10年前からずっとそんな調子だったが、、、
>査読が駄目ならあとは何をもって認められたことになるんだろう？
10年間ずっと同じじゃ無い
実際、10年目のNHKスペシャルは、ビッグな出来事ですｗ
それは冗談として、何をもって認められたことになるか
「認められた」は、その専門分野の数学者の大多数が、「正しい」と納得したときでしょう
実際、査読は、その過程の一部でしかない。例えば、下記の有限単純群の分類は、査読無しで、1983年から認められているし
理論の一部は、コンピュータでの群の構成だから、計1万5000ページをまともに読んだ人はいない。けど、みんな、認めている
IUTは、更なる普及の努力が必要でしょう
省11
855(1): 2022/05/01(日)15:52:29.64 ID:txhCGf0/(7/7) AAS
>>854 補足
>その結果ついて具体的なεで反例があるかどうかチェックしたかね？
Explicit Estimatesの論文が出たときに、下記数値と比較した記憶がある
そのときのレスも、過去スレにあると思うが
ともかく、Explicit Estimatesの数値は、下記との比較で「荒い」という印象を受けた
まだまだ、改善・改良の余地ありと思う
外部ﾘﾝｸ:ja.wikipedia.org
ABC予想
4 コンピューティング（演算）による成果
q は上記で定義した abc-triple (a, b, c) の質 q(a, b, c) である。このとき、c の上限によって、質 q は以下のような分布を取る。
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s