自指与自复制教程.pdfVIP

  • 40
  • 0
  • 约1.23万字
  • 约 54页
  • 2018-03-31 发布于山东
  • 举报
自指与自复制 Jake 集智俱乐部 《GEB》读书会,2011.2.27 提纲  哥德尔定理的回顾  哥德尔定理的推论  自打印程序  自复制自动机  印符遗传学  递归定理  冯诺依曼的自复制自动机理论 提纲  哥德尔定理的回顾  哥德尔定理的推论  自打印程序  自复制自动机  印符遗传学  递归定理  冯诺依曼的自复制自动机理论 哥德尔定理回顾  哥德尔不完全性定理:  任何具备与 《数学原理》同等能力的形式系统 都不能兼备:  一致性:A 和~A都是该形式系统的定理;  完备性:任何真命题都是系统中的定理。 哥德尔证明  哥德尔证明的关键:  用系统中支持的方法,构造了一个哥德尔 句子G  G=“G不是系统中的定理”  所谓系统中支持的方法:  哥德尔配数(为每个谓词命题编号)  Q

文档评论(0)

1亿VIP精品文档

相关文档