编号 (可计算性理论)维基百科,自由的 encyclopedia 可计算性理论里,编号(英语:numbering、indexing等)是将一个集合的元素(如函数、有理数、图、或形式语言的字串)编上自然数号码。可计算性[1]以及相关的概念最先定义在自然数上,而利用编号,可将这些概念传递到上述的其他集合中作讨论。 常见例子有一阶逻辑的哥德尔编号以及偏可计算函数的可接受编号(英语:admissible numbering)。
可计算性理论里,编号(英语:numbering、indexing等)是将一个集合的元素(如函数、有理数、图、或形式语言的字串)编上自然数号码。可计算性[1]以及相关的概念最先定义在自然数上,而利用编号,可将这些概念传递到上述的其他集合中作讨论。 常见例子有一阶逻辑的哥德尔编号以及偏可计算函数的可接受编号(英语:admissible numbering)。