[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
812: CIA 2020/04/01(水)07:29 ID:b6rmcN1+(1/6) AAS
2chスレ:math
813: CIA 2020/04/01(水)07:33 ID:b6rmcN1+(2/6) AAS
2chスレ:math
816(1): CIA 2020/04/01(水)14:56 ID:b6rmcN1+(3/6) AAS
2chスレ:math
数学に限らず、知力の無い者の発言は、名前の有無に関わらず、全く無意味
817: CIA 2020/04/01(水)14:59 ID:b6rmcN1+(4/6) AAS
2chスレ:math
818: CIA 2020/04/01(水)16:42 ID:b6rmcN1+(5/6) AAS
2chスレ:math
■プール=エルとクリプキの定理
1960年代,プール=エルとクリプキは,
”算術を含むどんな理論も,字面だけ見ればみんな同型になっている”
というすごい定理を発見した.
不完全性定理の最強バージョンともいえるこの結果には,
さすがのゲーデルも驚いたらしい.
外部リンク:sites.google.com
819: CIA 2020/04/01(水)22:52 ID:b6rmcN1+(6/6) AAS
2chスレ:math
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.027s