ノート:ゲーデル数
表示
列のゲーデル数化で指数部分に来るのは非零の自然数でないといけない
[編集]版 https://ja-two.iwiki.icu/w/index.php?title=%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E6%95%B0&oldid=34719881 で「正の整数」から「自然数」への変更が入っているが、(自然数を0以上の整数とする場合) 指数部分に来る数に0が含まれていると、ゲーデル数化の逆変換をした場合に結果が一意にならない。例: --しんのすけ代表(会話) 2020年3月5日 (木) 06:27 (UTC)