- 73 名前：42 mailto:sage [2011/10/30(日) 20:43:22.86 ]
- >>70
再帰的になるということは、各文献で目にしていますが、確認はしていません。
なので、現在はproof(x,y)が本当に再帰的な述語であるかどうかを確認するため、これを構成する際に必要な諸々の述語を再帰的かどうか確認しています。
とまぁ、この過程で今「ゲーデル数xはPAの項である。」でどんづまっています。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef