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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
507
(1): 2018/04/22(日)21:04 ID:45WUSHEk(1/3) AAS
でも不完全性定理や統計力学については、まだまだ深いレベルでは
わかってないと言っていいからな。そういう意味では気持ち悪くもあり面白くもある
例えば環論も終わったわけではなく、IUT抜きにしてもまだ基本部分が解明されてない
何故スキーム論ではHasse-Weil予想が解けないのかっていう問題がある
508: 2018/04/22(日)21:09 ID:45WUSHEk(2/3) AAS
不完全性定理についてはマジで天才に解明してもらいたいと思うわ
もはや古典の常識みたいになっちまったが、意味論的な解釈は全くの謎のまま
これは基礎論の専門家すらよく認識してなかったりする
菊池誠の解説は結構まともだったな
510
(1): 2018/04/22(日)21:49 ID:45WUSHEk(3/3) AAS
>>509
必ずしも君に言うわけではないけど、最強だの究極だの言ってたが
「一番強い理論」がないとは証明されてないよ。不完全性定理は回避できないとしてもね
それがわかれば物理、数学、論理の事が殆どわかってしまうような強い理論がね
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.026s