期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
正确理解哥德尔不完全性定理
被引量:
9
1
作者
陈慕泽
《湖南科技大学学报(社会科学版)》
2008年第2期27-30,共4页
借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容:第一,一个不弱于初等数论的形式系统,如果一致,则不完全;第二,这样的形式系统如...
借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容:第一,一个不弱于初等数论的形式系统,如果一致,则不完全;第二,这样的形式系统如果一致,则这种一致性在系统内不可证。
展开更多
关键词
哥德尔不完全性定理
不可判定公式
可证
真
下载PDF
职称材料
题名
正确理解哥德尔不完全性定理
被引量:
9
1
作者
陈慕泽
机构
中国人民大学哲学系
出处
《湖南科技大学学报(社会科学版)》
2008年第2期27-30,共4页
文摘
借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容:第一,一个不弱于初等数论的形式系统,如果一致,则不完全;第二,这样的形式系统如果一致,则这种一致性在系统内不可证。
关键词
哥德尔不完全性定理
不可判定公式
可证
真
Keywords
the Godel's Incompleteness Theorem
provable
true
分类号
O141.1 [理学—基础数学]
B712.59 [哲学宗教—外国哲学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
正确理解哥德尔不完全性定理
陈慕泽
《湖南科技大学学报(社会科学版)》
2008
9
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部