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