哥德爾數

在形式數論中 ， 哥德爾編號是對某些形式語言的每個符號和公式指派一個叫做哥德爾數 ( GN ) 的唯一的自然數的函數 。 這個概念是哥德爾爲證明他的哥德爾不完備定理而引入的 。 可計算函數集合的編號有時叫做哥德爾編號或有效編號 。 哥德爾編號可以被解釋爲一個編程語言 ， 帶有指派哥德爾數到每個可計算函數作爲在這種編程語言中計算這個函數的值的程序 。 Roger 等價定理特徵化了是哥德爾編號的可計算函數集合的編號 。