[過去ログ] Inter-universal geometry とABC 予想48 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
287
(1): 2022/04/10(日) 11:24:31 ID:vV+fd845(1)調 AAS
theHigherGeometerがNスペを前に考えをツイートしているが、
トーマスCヘイルズがケプラー予想を証明したときになかなか浸透せず、袖をまくってチームをアッセンブルし、より詳細な証明を与えた、
そして今回何故それができなかったというのは本当にその通りだな
次世代センターというのをわざわざ京都大学の研究所に作りながら、何故「自明」を埋める取り組みには入らないのか違和感を禁じえない

余談だがヘイルズ単独のwikipediaの記事が、英語、中国語、フランス語、ドイツ語などはあるのに日本語だけない
ケプラー予想をコンピュータを用いて証明した偉大な数学者の記事が、日本だけないのはなぜだろう?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 1.336s*