咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 理学
    • 1 篇 数学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 工学

主题

  • 3 篇 godel不完全性定理...
  • 1 篇 心灵私有性
  • 1 篇 认识论算术
  • 1 篇 图灵机
  • 1 篇 心身问题
  • 1 篇 不可判定的命题
  • 1 篇 可数无穷集

机构

  • 1 篇 大连理工大学
  • 1 篇 francis
  • 1 篇 sc
  • 1 篇 辽宁 大连
  • 1 篇 武汉大学
  • 1 篇 usa
  • 1 篇 新疆师范大学

作者

  • 1 篇 王迪吉
  • 1 篇 费定舟
  • 1 篇 爱德华·阿罗约 徐...
  • 1 篇 徐惠中

语言

  • 3 篇 中文
检索条件"主题词=Godel不完全性定理"
3 条 记 录,以下是1-10 订阅
排序:
心灵与机器的界线
收藏 引用
自然辩证法研究 2004年 第9期20卷 22-25,54页
作者: 费定舟 武汉大学哲学系 湖北武汉430072
心灵与机器的关系问题是心智哲学与认识科学的重要课题之一。遵循语言与逻辑分析的分析传统,我们着重从两方面讨论心身问题:一是围绕G del不完全定理,二是认知逻辑尤其是有关认识论算术(EpistemologicalArithmetic)与机器是否有私有... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
蕴含Gdel定理抽象形式的集合论引理(英文)
收藏 引用
Journal of Mathematical Research with Applications 2005年 第4期 81-84页
作者: 爱德华·阿罗约,徐利治 Francis Marion大学计算机科学系 大连理工大学应用数学系 Florence SC USA 辽宁 大连 116024
本文证明了—个集合论质的引理,由它可直接得出godel不完全性定理的抽象形式. 文中还述及该引理的有关诸推论.
来源: 同方期刊数据库 同方期刊数据库 评论
关于数学中的不可判定命题
收藏 引用
新疆师范大学学报(自然科学版) 1990年 第2期9卷 11-14页
作者: 王迪吉 徐惠中 新疆师范大学数学系
本文首先从数学基础的有关概念谈起,介绍了数理逻辑中的一个重要定理——godel不完全性定理。该定理揭示了在一个相容形式系统中存在着不可判定的命题。接着,给出了三个不可判定的命题的例子。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论