- 478 名前：１３２人目の素数さん mailto:sage [2011/11/24(木) 20:26:01.91 ]
- >>474
証明の定義というより可証性述語の定義。
今新井の本をちらっと見たけど
第一不完全性定理の証明の前に
算術化を行ってProv(a,b)を定義していて、
第一不完全性定理でロッサー述語を一気に導入して証明してた。
ロッサー述語は定理の条件のω無矛盾が無矛盾に広げられる。
ゲーデルも論文出したときは無矛盾にしたかったらしいよ。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef