哥德尔数 在形式数论中哥德尔编号是对某些形式语言的每个符号和公式指派一个叫做哥德尔数GN的唯一的自然数的函数这个概念是哥德尔为证明他的哥德尔不完备定理而引入的 可计算函数集合的编号有时叫做哥德尔编号或有效编号哥德尔编号可以被解释为一个编程语言带有指派哥德尔数到每个可计算函数作为在这种编程语言中计算这个函数的值的程序Roger 等价定理特征化了是哥德尔编号的可计算函数集合的编号