论文部分内容阅读
希尔伯特(D.Hilbert,1862～1943)是国际著名的德国数学家和逻辑学家。他所提出的元数学纲领奠定了证明论的基础,在数学和数理逻辑发展史上具有重大意义。本文试图对希尔伯特纲领作出全面的、历史的评述,并根据马克思主义哲学观点对它的哲学意义作出初步的概括。
论希尔伯特的元数学纲领及其哲学意义
【摘 要】
：
希尔伯特(D.Hilbert,1862～1943)是国际著名的德国数学家和逻辑学家。他所提出的元数学纲领奠定了证明论的基础,在数学和数理逻辑发展史上具有重大意义。本文试图对希尔伯特纲
【机 构】
：
中国社会科学院哲学研究所
【出 处】
：
自然辩证法研究
【发表日期】
：
1991年7期
其他文献
我今年59岁，入党已38年，当村干部也已38年。30多年来，特别是1978年担任村党支部书记以来，我把带领群众致富作为当村党支部书记的最大责任，团结带领全村干部群众艰苦奋斗，走科技致富
“今年上半年，国内市场粮食价格继续保持了稳定上升态势，下半年粮食市场供需基本平衡的格局不会改变。“不过，该负责人同时也表示，要高度关注国内气候条件极端异常、农业灾害频发
摘要：本文采用ActiveX技术，制作专用的图象处理控件。利用该控件使信息发布系统可以对图片信息进行处理。改变了传统的信息系统只能对简单的信息(如文本信息)进行处理的弊端。使信息发布系统更加完善，一体化。 关键词：数字图象处理：ActiveX控件 中图分类号：TP393 文献标识码：A 文章编号：1009－3044(2007)09－20677－01
理性(Rationality),也称合理性,理智,是人类长期研究的问题。在西方文化中,从亚里士多德的《工具论》到近代培根的《新工具》、笛卡尔的《方法论》、洛克的《人类理解论》、
期刊
无法追溯“土特产”之说源于何时，也无法考证它出自何处一不过“士特产”很快被人们接受、认同，许已成为当今经久不衰的“公共词汇”“土特产”本意，依笔者之见，是有地方特色的产
发展养蜂业是增加农民收入的有效途径，它不与种植业争地、争肥、争水，也不与养殖业争饲料。具有投资小、见效快、用工省、无污染、回报率高的特点。按照一个家庭蜂场饲养100群蜂，正常年份每群蜂纯收入300元计算，每年养蜂年收益可达3万元。 发展养蜂业是满足蜂产品市场需要的重要保障。2008年全国蜂产品人均消费量仪0.3千克，部分城市居民和大多数农村居民基本上还没有消费蜂产品。随着人们生活水平的不断提高，
随着电子技术的迅速发展，卡诺图已经成为逻辑设计中常用的一种数学工具。由于卡诺图形象、直观。能把各种复杂的逻辑函数用图形表示出来。因此，卡诺图在电子技术中得到了广泛的
各位理事、同志们: 党的十三届七中全会讨论和通过了关于十年规划和“八五”计划的建议,这标志着我国社会主义现代化建设进入了一个新的发展阶段。九十年代面临错综复杂的国
期刊
在小学语文教学中构建自主性课堂教学,对教师而言,是深入落实“以人为本”教学理念以及教学形式创新的重要体现;对学生来讲,让学生成为课堂的主人,对培养学生良好的学习习惯