哥德尔数 Gödel numbering
（重定向自Godel Number）
在形式数论中，哥德尔编号是对某些形式语言的每个符号和公式指派一个叫做哥德尔数(GN)的唯一的自然数的函数。这个概念是哥德尔为证明他的哥德尔不完备定理而引入的。
可计算函数集合的编号有时叫做哥德尔编号或有效编号。哥德尔编号可以被解释为一个编程语言，带有指派哥德尔数到每个可计算函数作为在这种编程语言中计算这个函数的值的进程。Roger 等价定理特征化了是哥德尔编号的可计算函数集合的编号。
网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
依恋情感网英汉例句词典收录3870147条英语例句词条，基本涵盖了全部常用英语单词的释义及例句，是英语学习的有利工具。