[過去ログ] 現代数学の系譜 カントル 超限集合論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