- 38 名前：１３２人目の素数さん mailto:sage [2011/10/30(日) 14:52:05.30 ]
- 参考にしている本には、IsTerm(x)を以下のように定義するとありました。
:= x=/0/
または ヨn<x (IsTerm(n)かつ/S/*par(n))
または ヨm<x ヨn<x ［IsTerm(m)かつIsTerm(n)かつ(par(m)*/+/*par(n)または par(m)*/・/*par(n) )］
とありました。
ただし、/x/はxのゲーデル数、x*yはxとyを連結させたゲーデル数を、par(x)は/(/ * x * /)/とします。
これは正しい定義になってるのでしょうか？
・再帰的な定義になっている
・" )(+-0S(0) "などというPAの項にはならないテキトーな記号列のゲーデル数は、IsTermでも真にならない。
この二点がよくわかりません。
