阿兰·图灵(Alan Turing)

发布时间：

阿兰·图灵（AlanTuring）
佚名

【期刊名称】《程序员》【年(卷,期】2002(000006
【摘要】阿兰·图灵16岁开始研究爱因斯坦的相对论。1931年．他进入剑桥大学研究量子力学、概率论和逻辑学．这逻辑学是由剑桥大学的怀特海和罗素创立的数理逻辑。德国大数学家大卫·希尔伯特(D．Hillbert在此基础上，于1928年提出著名的”希尔伯特纲领”．认为《数学原理》所定义的系统既是一致的．也是完备的。换言之，任何系统的完备和一致性．可以由系统本身得到证明。
【总页数】1页(13
【关键词】《数学原理》;阿兰·图灵;逻辑学;数理逻辑【作者】佚名【作者单位】无【正文语种】英文【中图分类】O1-0【相关文献】
1.语境条件下索引词和索引句的运用[J],王超辉2.篇章分析与逻辑学中"逻辑"含义的比较[J],郑东升3.浅析《资本论》的方法论[J],褚云茂4.素质教育概念的逻辑学解析[J],柯登地
5.“纯粹理性批判”与“纯粹理性体系”——对黑格尔《精神现象学》与《逻

阿兰·图灵(Alan Turing)

推荐内容

相关推荐