《哥德尔、埃舍尔、巴赫：集异璧之大成》（Gödel, Escher, Bach: an Eternal Golden Braid），是一本赢得普利策奖的书。它是侯世达的著作，由Basic Books出版社在1979年出版的。这本书的二十周年版本在1999年发行，而且由侯世达加上新的前言。《集异璧之大成》（ISBN 7-100 ...

在形式数论中，哥德尔编号是对某些形式语言的每个符号和公式指派一个叫做哥德尔数(GN)的唯一的自然数的函数。这个概念是哥德尔为证明他的哥德尔不完备定理而引入的。 可计算函数集合的编号有时叫做哥德尔编号或有效编号。哥德尔编号可以被解释为一个 ...