自指与自复制教程.pdfVIP

自指与自复制 Jake 集智俱乐部 《GEB》读书会,2011.2.27 提纲  哥德尔定理的回顾  哥德尔定理的推论  自打印程序  自复制自动机  印符遗传学  递归定理  冯诺依曼的自复制自动机理论 提纲  哥德尔定理的回顾  哥德尔定理的推论  自打印程序  自复制自动机  印符遗传学  递归定理  冯诺依曼的自复制自动机理论 哥德尔定理回顾  哥德尔不完全性定理：  任何具备与 《数学原理》同等能力的形式系统 都不能兼备：  一致性：A 和~A都是该形式系统的定理；  完备性：任何真命题都是系统中的定理。 哥德尔证明  哥德尔证明的关键：  用系统中支持的方法，构造了一个哥德尔 句子G  G=“G不是系统中的定理”  所谓系统中支持的方法：  哥德尔配数（为每个谓词命题编号）  Q