您的位置： 专家智库 > >

刘大为

作品数：1 被引量：3H指数：1
供职机构：华南师范大学公共管理学院更多>>
相关领域：哲学宗教更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇哲学宗教

主题

  • 1篇定理
  • 1篇心灵
  • 1篇一致性
  • 1篇哥德尔
  • 1篇哥德尔不完全...

机构

  • 1篇华南师范大学
  • 1篇中南大学

作者

  • 1篇孙明湘
  • 1篇刘大为

传媒

  • 1篇中南大学学报...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
哥德尔不完全性定理和“心灵与机器”的关系问题被引量：3
2009年
一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器(计算机)关系的争论,得出心灵优于所有目前原理计算机的论点。
刘大为孙明湘
关键词：哥德尔不完全性定理一致性
全选 清除 导出
共1页<1>
聚类工具0