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