[過去ログ] Interuniversal geometry とABC 予想59 
 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
963: 03/28(土)22:38 ID:vkX1gmQg(1) AAS
記者会見3/31は第1回IUT Innovator Prizeの受賞者発表からちょうど2年だね
10年間毎年出すと言ってたのはどうなったんだか誰か聞いてくれんかな
964: 03/28(土)22:40 ID:usfYrqNM(2/2) AAS
4?の雨
火曜日
965: 03/29(日)05:03 ID:3z293icX(1) AAS
>>962
カトブンがIUTを持ち上げるのは・・・一種の炎上商法
966: 03/29(日)08:14 ID:AigKJD+E(1) AAS
>>962
>そもそも加藤は自分はIUTは理解してないってはっきり言っとる。
いつどこで明言しました?
967: 03/29(日)08:18 ID:vezpcYQa(1) AAS
implicitには言ったことの中に含まれているが
明言したことはないのではなかろうか
968: 03/30(月)22:43 ID:kOhvBPtp(1) AAS
明日記者会見

形式化は望月陣営の責任で主導しない限り何も動かない
プロジェクトでiut理解者を雇ってleanを学ばせればいい
iutと違ってleanの方は理解不能って話は聞いたことないから

しかしもし、iutをlean化できる形で説明してやるから
実際の形式化はlean習熟者がそれを理解して行えって話なら
これまでと同様の茶番劇を繰り返すことになるだけだろーな
969: 03/31(火)14:32 ID:sCPWigvO(1/2) AAS
数学・ABC予想、証明に暗雲? 国際チーム検証中、望月氏と議論へ(朝日新聞)
www.asahi.com/articles/ASV3V3VPBV3VDIFI00NM.html

数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、
「1年半前から証明の検証を進めていた」と発表した。京都大の望月新一教授(57)の証明には
「現時点で解明できていないポイントがある」「ギャップ(論理的な飛躍)の可能性もある」として、
望月氏らと議論を続けているという。
970
(1): 03/31(火)15:48 ID:2fcvYucV(1) AAS
ショルツの指摘が正しかったと認めるのにかかった時間
971: 03/31(火)15:58 ID:d63xSbvm(1) AAS
本当に8年前から何にも進んでないんだな
972: 03/31(火)16:13 ID:1Dkzf38l(1) AAS
理解者達もショルツと同レベルっぽいのでショルツも理解者に入れてやれ
万が一あっててもショルツ悪くねえだろコレ
973
(2): 03/31(火)16:17 ID:/0ke9CXn(1) AAS
系3.12が完全に証明されてると思ってる人:望月1人
系3.12には現状ギャップがあるけど正しいだろうと思ってる人:理解者20人
系3.12は誤ってると思ってる人:?人
系3.12にギャップがある以上ABC予想の証明だと認めていない人:大多数の数学者

?の人数が知りたいね
974: 03/31(火)16:34 ID:xiueKiyK(1) AAS
ギャップがある時点で論理的には正しくないんだから正しいと主張する側がギャップを埋めないとダメなんだよ
それを8年間埋められてないのが現状
975: 03/31(火)16:41 ID:zsJJmk5L(1/3) AAS
>>973
>系3.12には現状ギャップがあるけど正しいだろうと思ってる人:理解者20人
その「理解」って数学的な意味での「理解」じゃないよね
「あなたの立場は認めよう」みたいな意味でないかな
976: 03/31(火)16:43 ID:zsJJmk5L(2/3) AAS
>>973
>系3.12にギャップがある以上ABC予想の証明だと認めていない人:大多数の数学者
「ギャップがある以上」でなくて「ギャップがあると指摘されている以上」でないかな
977: 03/31(火)16:43 ID:zsJJmk5L(3/3) AAS
ギャップがあるかどうか判定できるだけの知識が必要なので
ほとんどの数学者にはそれはできそうにない
978: 03/31(火)17:06 ID:k/sIZtir(1/5) AAS
動画リンク[YouTube]
979: 03/31(火)17:35 ID:k/sIZtir(2/5) AAS
共同通信記者のケドレヤへ最後の質問は良かった。
980: 03/31(火)17:35 ID:k/sIZtir(3/5) AAS
共同通信記者のケドレヤへ最後の質問は良かった。
981
(1): 03/31(火)17:42 ID:k/sIZtir(4/5) AAS
会見の質問から星裕一郎准教授
は逃げた
982: 03/31(火)18:07 ID:wJWuuQZQ(1/2) AAS
要するに界隈一同証明をチェックする能力もないくせに
できたことにしていたってことだろ
「数論幾何は高尚」というステロタイプに甘やかされていた
とんでもなくレベルの低い集団だったわけだな
1-
あと 20 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.024s