dankogai #4657(2007/12/06 21:07 GMT) Rating2/2=1.00
あれ、これだと goedel 230 ⇒ 2^2 * 3^3 * 5^0 ⇒ 108 goedel 23 ⇒ 2^2 * 3^3 ⇒ 108 なので、ゲーデル数と元の数との一対一対応が取れないのでは? こうすればOKだけど goedel' 230 ⇒ 2^(2+1) * 3^(3+1) * 5^(0+1) ⇒ 3240 goedel' 23 ⇒ 2^(2+1) * 3^(3+1) ⇒ 648 Dan the Goedel Numberer
1 reply [ reply ]
horiuchi #4661(2007/12/06 23:19 GMT) Rating3/3=1.00
ゲーテル数の定義とは関係ないですが、 一対一対応を素直に取れるように定義を変更するなら、 逆向きに並べるのが単純でいい気がします。 goedel 230 ⇒ 2^2 * 3^3 * 5^0 ⇒ 108 goedel 23 ⇒ 2^2 * 3^3 ⇒ 108 ではなく、 goedel 230 ⇒ 2^0 * 3^3 * 5^2 ⇒ 675 goedel 23 ⇒ 2^3 * 3^2 * 5^0 ⇒ 72 これで、位取りの意味的に上位の0は無視することと、 0乗した値が無視できることが対応づけられます。
[ reply ]
dankogai
#4657()
Rating2/2=1.00
1 reply [ reply ]