[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
963: 2020/04/04(土)09:28 ID:8Oswo/OV(1) AAS
>>948
その判定基準は人間がつくるんだよ。AI過信しすぎ
964: 2020/04/04(土)09:33 ID:o9S8lGnM(1) AAS
B本が更に売れる以外の波及効果は期待できないのん
965(1): 2020/04/04(土)09:33 ID:t13u2EPI(1/2) AAS
転載
Inter-universal geometry と ABC 予想 45
2chｽﾚ:math
924 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 04:30:16.20 ID:oEv2ickP [1/3]
Dupuyが明確にショルツ否定してるってさ
Twitterﾘﾝｸ:DupuyTaylor
Max Lieblich
@algeom
6時間
返信先: @DupuyTaylor
省17
966: 2020/04/04(土)09:33 ID:t13u2EPI(2/2) AAS
>>965
誤爆すまん
967: 2020/04/04(土)09:35 AAS
>>912
>京大数理研の複数の教授が確認したってことは
>証明は正しいのでしょう
>さすがに小保方案件にはならないと思います
間違ってたら数理研解体なのでは
968: 2020/04/04(土)09:37 ID:UMkIjQ8g(1) AAS
最終的にどう判断されらかはわからないけど、小保方さんみたいに発表して数日で破綻するような
お粗末な事態にはならんはず
969: 2020/04/04(土)10:07 ID:qRYCuq0Q(1) AAS
>>912
柏原・玉川は理解していないと思うよ。望月の言い分をそのまま認めただけ。
IUTがだめだと確信できる理由の一つに、若い人の理解者がいないという点がある。
最先端の数学が理解されるのは、まず若い人から。
ワイルズが証明の穴を指摘されてた時、助け船を出したのはワイルズの弟子だった。
今回、望月を助ける若手が全く存在しない。
要するに、弟子たちは師匠を崇拝するだけで、誤りを指摘するなんてことはできないのだろう。結局のところアジアンの限界だ。
唯一シカゴ大学で博士号取った越川だけがショルツやコンラッズと同じ個所の疑問を呈しているが、無視されているｗ
970: 2020/04/04(土)10:12 ID:whYolgjl(1) AAS
Dupuy かなりハイだね。
本当に本当に本当に初歩的なことだよ、ショルツ君
971: 2020/04/04(土)10:16 ID:WEnM0TDI(1) AAS
もっちー、ブログコメント読んでるんだな
一件早速返信してて、喜びがいかほどのものかよくわかる
おめでとうございます。
しかし明らか電波な妖精コメまでも天才数学者の目に触れてるのかと思うとゾッとするな
972: 2020/04/04(土)10:26 ID:DqGScTxQ(1/2) AAS
>>944
もし○○予想が正しいなら△△は正しいみたいな論文は結構あるらしいよ
973: 2020/04/04(土)10:31 ID:m90SM1JO(2/2) AAS
日本人の年功序列意識が数学界でも悪い方向に出てるんだね！
974(2): 2020/04/04(土)10:38 ID:DqGScTxQ(2/2) AAS
>>961
それは証明できない
全称命題と一般に呼ばれるものは二種類ある
∀x∈X P(x)と∀x P(x)
∃x∈X P(x)と∃x P(x)
全称命題から存在命題が証明できるとは∀x P(x)から∃x P(x)は証明できることを言ってる
じゃあ∀x∈X P(x)から∃x∈X P(x)は証明できないのかよというと、君の言う通り証明できない
なぜかというと∀x∈X P(x)とは∀x(x∈X →P(x))の略記で∃x∈X P(x)は∃x(x∈X ∧P(x))の略記で中身の命題が実は違うからだ
反例としてはXが空集合の場合
975: 2020/04/04(土)10:41 ID:F2JYhm1v(2/2) AAS
どこも逃げ恥がどうとか書いてなくてよかった
976(1): 2020/04/04(土)10:41 ID:2Ri0X5Mp(2/2) AAS
予算、パフォーマンスのために状況が変わらずのアクセプトなら他言レベルじゃ済まない、小保方レベルのスキャンダル。
こいつら首をかけるだけの覚悟があってやってるのかな？
レフェリーが完全理解したというなら、それが誰かも公表すべきだろ。
少なくとも公平に判断できて第一級レベルのレフェリーが1人はいるはずだろ？
そういった人物が(レフェリーですとは名乗らないまでも)
完全に理解した、質問ならなんでもこい、と名乗りをあげれば
普及や彼らのいう「基本的な誤解」の解消も一気に進むはずなんだがなぁ。
このレベルの論文にアクセプトの判断を出したんだから、
少なくとも最深レベルの理解、確証と研究者生命を賭けられるだけの覚悟があったはずだろ？
レフェリーがF, H, Yとかだったらいい笑いもんだ
977: 2020/04/04(土)10:44 ID:tyB0DUit(3/4) AAS
まあレフェリーレポートは今回の件については公開したほうがいいよね。
普通はそんなことしないっていうけど「特例を理由に公開時期未定」なのだから、
特例を理由にレフェリーレポートの公開も認めてもいいだろう。
978(1): 2020/04/04(土)10:44 ID:CTVUpSZE(1/5) AAS
>>974
＞∀x P(x)から∃x P(x)は証明できる
これも、正しくは嘘
なぜなら対象が１つも存在しない場合も
¬∃x¬P(x)だから∀xP(x)が導ける
979: 2020/04/04(土)10:50 ID:DZ3hypNA(2/6) AAS
>>974
>∀x P(x)から∃x P(x)
具体例は
A∧B ⇒ A∨B
これですか？
証明してください
980: 2020/04/04(土)10:53 ID:CTVUpSZE(2/5) AAS
>>976
誰がレフェリーだったのかは気になる
981: 2020/04/04(土)10:57 ID:ZUFmsUYr(1) AAS
976
多分、実際はそうだろうね
982: 2020/04/04(土)11:00 ID:voqvxXg9(1) AAS
志村に反応しそうと思ったら、やっぱり反応してた
上下前次1-新書関写板覧索設栞歴
あと 20 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.196s*