20/04/01 16:42:24 b6rmcN1+.net
ｽﾚﾘﾝｸ(math板:66番)
■プール＝エルとクリプキの定理
１９６０年代，プール＝エルとクリプキは，
”算術を含むどんな理論も，字面だけ見ればみんな同型になっている”
というすごい定理を発見した．
不完全性定理の最強バージョンともいえるこの結果には，
さすがのゲーデルも驚いたらしい．
URLﾘﾝｸ(sites.google.com)
20/04/01 16:42:24 b6rmcN1+.net
ｽﾚﾘﾝｸ(math板:66番)
■プール＝エルとクリプキの定理
１９６０年代，プール＝エルとクリプキは，
”算術を含むどんな理論も，字面だけ見ればみんな同型になっている”
というすごい定理を発見した．
不完全性定理の最強バージョンともいえるこの結果には，
さすがのゲーデルも驚いたらしい．
URLﾘﾝｸ(sites.google.com)