- 31 名前：12 mailto:sage [2011/10/30(日) 14:16:41.51 ]
- >>14
>「ゲーデル数xは、PAの項である」を再帰的に表す算術上の述語
>はどのようにして定義すればよいのでしょうか。
それは、PAの項をいかなる形で数に翻訳するかによる。
もちろんやり方は一つではない。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef