期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
阿兰·图灵
Alan Turing
下载PDF
职称材料
导出
摘要
阿兰·图灵16岁开始研究爱因斯坦的相对论。1931年.他进入剑桥大学研究量子力学、概率论和逻辑学.这逻辑学是由剑桥大学的怀特海和罗素创立的数理逻辑。德国大数学家大卫·希尔伯特(D.Hillbert)在此基础上,于1928年提出著名的”希尔伯特纲领”.认为《数学原理》所定义的系统既是一致的.也是完备的。换言之,任何系统的完备和一致性.可以由系统本身得到证明。
出处
《程序员》
2002年第6期13-13,共1页
Programmer
关键词
《数学原理》
阿兰·图灵
逻辑学
数理逻辑
分类号
O1-0 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
赵树智.
希尔伯特纲领的潜科学价值[J]
.潜科学,1993(2):3-4.
2
朱晖.
怀疑牛顿[J]
.科海故事博览,2009(4):54-54.
3
朱晖.
怀疑牛顿[J]
.小学教学研究(教研版),2009(6):9-9.
4
朱晖.
怀疑牛顿[J]
.作文与考试(高中版),2010(4):8-8.
5
张永康.
从柏拉图到怀特海:关于"数学与善"的思考[J]
.工程兵工程学院学报(94643X),1994,9(4):49-53.
6
B.Linsky(著),陈涛.
《数学原理》的演化罗素写第2版时的手稿和笔记[J]
.国外科技新书评介,2012(5):23-24.
7
胡作玄.
数学原理:李群和李代数7—9章[J]
.国外科技新书评介,2006(5):1-1.
8
Jack.,B,刘光明.
被遗忘的阿兰·图灵计算机科学思想[J]
.科学(中文版),1999(7):38-41.
被引量:1
9
殷伟.
谜一样的图灵[J]
.中国科技纵横,2002(12):64-67.
10
达维德.卡斯泰尔韦基,丁家琦.
不可解的物理学难题,源于数学核心的悖论[J]
.今日科苑,2016,0(1):64-65.
程序员
2002年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部