期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
Godcl的完全性定理与早期数学哲学思想
下载PDF
职称材料
导出
摘要
Godel以其三大数学贡献闻名于世,Godel定理甚至被各个领域的人津津乐道。然而很少有人关注在他的巨大数学成就背后丰富而深刻的哲学思想。本文借助原始资料,通过对完全性定理证明与Gdel早期数学哲学思想的分析,试图揭示他超越同时代人的深刻之处,并且指出,说Godel从二十年代后期起就是一个数学实在论者并不缺少证据。
作者
刘晓力
出处
《自然辩证法通讯》
CSSCI
北大核心
1996年第6期9-15,共7页
Journal of Dialectics of Nature
关键词
GODEL
完全性定理
数学哲学
分类号
O1-0 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
林作铨,李未.
参态逻辑[J]
.中国科学(A辑),1995,25(4):414-425.
2
徐福新.
高斯的数学贡献和他的非欧几何构想[J]
.数理天地(初中版),2005(4):1-1.
3
黄廷章.
m+1阶波斯特代数公理化的讨论[J]
.潍坊学院学报,2002,2(2):20-23.
4
张清宇.
A命题的系统[J]
.毕节学院学报(综合版),2010,28(11):31-34.
5
陈晓玉,高巍.
魏晋时期刘徽的数学贡献与影响[J]
.兰台世界(下旬),2013(7):64-65.
6
Jay,Jorgenson,Steven,G.Krantz,高燕芳(译),赵振江(校).
人物与传记SergeLang的数学贡献(Ⅰ)[J]
.数学译林,2011,30(4):349-361.
7
李琳.
莱布尼茨及其数学贡献[J]
.数学通报,2005,44(10):28-30.
8
孤鹤.
哥德尔的一阶逻辑完全性证明的原始版本(英文)[J]
.逻辑学研究,2011,4(1):101-108.
9
荆晶.
霍金设宴验证“穿越时空”不可能[J]
.发明与创新(大科技),2012(8):54-54.
10
陈永明.
π的亿位值是用刘徽割圆方法算出来的吗[J]
.小学数学教师,2014(11):70-71.
自然辩证法通讯
1996年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部