【摘 要】
：
库尔特·哥德尔(1906～1978年)20世纪初的数学家们致力于将符号逻辑学应用于数学最基本的分支体系——算术,进而使其成为所有分支的基础,包括“数”本身的概念。最引人注目的成
论文部分内容阅读
库尔特·哥德尔(1906～1978年)20世纪初的数学家们致力于将符号逻辑学应用于数学最基本的分支体系——算术,进而使其成为所有分支的基础,包括“数”本身的概念。最引人注目的成果当属具有里程碑意义的《数学原理》一书,该书由伯特兰·罗素和阿尔弗雷德·诺斯·怀特黑德合著而成。
Kurt Gödel (1906-78) mathematicians in the early 20th century were devoted to applying symbolic logic to the most basic branch of mathematics—arithmetics, which in turn made it the basis of all branches, including the number of "The concept of itself. The most striking achievement is the landmark Mathematical Principles, which was co-written by Bertrand Russell and Alfred North Whitehead.
其他文献
作文是高考第一大题,语文的半壁江山,万万小觑不得。这是每个备战高考的人都明白的道理,但是在复习中,我们却常常事倍功半,力气用了不少,却收效甚微,甚至有一部分学生干脆选
在我们的语文课堂上,当孩子的“个性阅读”遇到“标准答案”的时候,当文本的价值取向有争议的时候,笔者认为可以往一下四方面进行引导:一、在尊重文本的前提下适当超越。二、
笔者与白天佑教授曾是同在教育部中央教育科学研究所共事的挚友。1980年,白教授从基层学校的领导岗位调至中央教育科学研究所从事教学法研究。笔者1981年研究生毕业后来到所
住在高楼的居民,往往为擦拭窗外玻璃面发愁。怎样能够既保证安全又能搞好窗户的清洁卫生呢?我们自制了一种简单的擦玻璃窗器。擦玻璃窗器采用上、下连杆连接做成,可以弯曲,
一种收割机新品———悬挂式双滚筒全喂入联合收割机在江苏农垦临海农场研制成功。这种收割机是将4ＬＤ-220型悬挂式收割机改制成双滚筒收割机,损失率由改制前的15%～12%下降到05%～0
改善用工制度,创新营销方式,实施差异化战略,盘活资金运用,加强技术创新,建立战略合作伙伴关系。自全球金融危机以来,在我国经济发展速度放缓和结构转型的双重压力下,国内经
工程机械研究所最近设计并试制成功一种管道绝缘机。该机与移动式沥青锅或沥青洒布机联合作业,完成管道绝缘工作。用其本身发动机的动力,可沿管道移动,同时完成管外面的涂布
最近一院生产指挥组标准设计管理组向交通部基建组备文并通过电话联系,请示有关设计规范问题,现将部基建组答复之有关情况简介如下:(1)问:房建、给水等专业过去设计中采用19
国共协商决战与阎锡山撤军移师再说另一个战场的情况。二战区司令长官阎锡山坐镇太和岭口村行营，正调兵遣将部署平型关防线，阻止敌人向西锐进。33军独8旅旅长孟宪吉率部从雁门
1966年,正当台湾海峡两岸私下接触日趋热烈,中共领导人将进一步拓展和平统一之路时,“文化大革命”发生了.在那艰难的十年,中共主要领导人毛泽东、周恩来、邓小平等为祖国的