DouKaku?

あれ、これだと

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