[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
818: CIA 2020/04/01(水)16:42 ID:b6rmcN1+(5/6) AAS
2chｽﾚ:math
■プール＝エルとクリプキの定理
１９６０年代，プール＝エルとクリプキは，
”算術を含むどんな理論も，字面だけ見ればみんな同型になっている”
というすごい定理を発見した．
不完全性定理の最強バージョンともいえるこの結果には，
さすがのゲーデルも驚いたらしい．
外部ﾘﾝｸ:sites.google.com
上下前次1-新書関写板覧索設栞歴
あと 184 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s