期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
数学是不可完全的——哥德尔的哲学手稿
1
作者 刘晓力 《自然辩证法研究》 CSSCI 北大核心 1998年第4期21-25,共5页
数学是不可完全的———哥德尔的哲学手稿刘晓力摘要数学的不可完全性是哥德尔不完全性定理揭示的深刻的数学本质。由此引发的哲学反思是哥德尔建立柏拉图主义数学哲学的坚实基础，同时在各种哲学争论中哥德尔都以这一哲学义蕴空前深刻... 数学是不可完全的———哥德尔的哲学手稿刘晓力摘要数学的不可完全性是哥德尔不完全性定理揭示的深刻的数学本质。由此引发的哲学反思是哥德尔建立柏拉图主义数学哲学的坚实基础，同时在各种哲学争论中哥德尔都以这一哲学义蕴空前深刻的数学结果为自己的立场辩护。本文从... 展开更多
关键词 数学 哥德尔 不可完全性 不完全性定理
下载PDF
A Set-Theoretical Lemma That Implies an Abstract Form of Gdel's Theorem
2
作者 爱德华.阿罗约 徐利治 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2005年第4期647-650,共4页
We propose a simple set-theoretical lemma that implies Godel＇s Incompleteness Theorem. Also mentioned are some related consequences.
关键词 Enumerably infinite set Godel＇s Incompleteness Theorem turing machines.
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部