About: ナンバリング (計算可能性理論)

ナンバリング（英: numbering）は自然数から対象の集合への対応付けをいう。対象としては例えば関数、有理数、グラフ、形式言語などである。ナンバリングは自然数に対して定義された計算可能性や関連する概念を他の種類の対象に一般化する際に用いることができる。 よく知られた例としては一階述語論理のゲーデル数化や部分計算可能関数のがある。