penrose: 哥德尔不完备性定理,图灵机 can't be made, limit of a logical system

来源: marketreflections 于 2011-03-11 15:15:12 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (4434 bytes)

哥德尔图灵机  以下为前 2 个搜索结果

  •  

    康托尔、哥德尔、图灵——永恒的金色对角线- this.Study(DateTime.Now ...
    2010年1月7日 ... 但后面，在介绍完了与图灵的停机问题“同构”的Y combinator之后，我们会深入哥德尔的不完备性定理，在理解了哥德尔不完备性定理之后，我们从这一同样 ...
    www.cnblogs.com/zhouyinhui/archive/2010/01/.../1640911.html - 网页快照
  •  

    康托尔、哥德尔、图灵——永恒的金色对角线（4）_极夜•潜_百度空间
    2008年8月5日 ... 这个对角线方法实际上说明了，无论多聪明的H，总存在一个图灵机的停机行为是它无法判断的。这跟哥德尔定理“无论多'完备'的形式化公理系统，都存在 ...
    hi.baidu.com/jiyeqian/blog/item/ebeeaf82b7f0e8a40df4d24c.html - 网页快照
    • 请您先登陆，再发跟帖！