[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/11 16:44 / Filesize : 600 KB / Number-of Response : 1089
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

現代数学の系譜　カントル　超限集合論2

893 名前：CIA [2020/04/01(水) 16:42:24 ID:b6rmcN1+.net]
rio2016.5ch.net/test/read.cgi/math/1582599485/66

■プール＝エルとクリプキの定理
　１９６０年代，プール＝エルとクリプキは，
　”算術を含むどんな理論も，字面だけ見ればみんな同型になっている”
　というすごい定理を発見した．

　不完全性定理の最強バージョンともいえるこの結果には，
　さすがのゲーデルも驚いたらしい．

https://sites.google.com/site/sendailogichomepage/files/ref/ref_06




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（；´Д｀）＜600KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef