希尔伯特的有穷数学

来源 :自然辩证法通讯 | 被引量 : 0次 | 上传用户:longeLRTT
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
希尔伯特为了一劳永逸地解决数学基础问题,提出了著名的希尔伯特纲领。该纲领旨在把数学归约到毋庸置疑的有穷数学。遗憾的是,希尔伯特本人并未对有穷数学给出具体形式化。在简介希尔伯特有穷数学的基本思想后,梳理了各种不同的形式化系统:初始递归算术(PRA)、ZFC的有穷数学系统(Fin(ZFC))和基本算术(EA),并对PRA是希尔伯特的有穷数学进行辩护和简要述评。
其他文献
本文阐述了隔声罩的设计要点及设计步骤,对隔声罩的实际隔声量及加罩后设备的通风散热进行了剖析。
对已采用各种消声器降噪后的离心风机来说,其蜗壳振动噪声也需重视。本文在对结构表面声幅射研究基础上,进行了四方面的工作:①蜗壳模态测试分析;②容声特性分析;③表面声强识别技
<正>朝阳市矿产资源丰富,矿产开发是朝阳市经济的支柱产业。加强矿产资源开发管理,对于推动全市经济发展意义重大。为了更好地履行检察职能,依法保护矿产资源,维护矿产资源开
文章以生态学的视角,用系统论原理、对公路生态影响的空间概念模型初步做了营造。对即将开工建设的天水到宝鸡生态高速公路通过“生态公路系统、路基通透度、种群缩小、和公
随着当今世界经济一体化进程的加快,世界各国及地区间的经济活动越来越频繁。而作为经济活动载体的物流的发展程度也将决定区域经济发展的速度,因此物流业的发展也日益受到各
从综合经济角度分析导致日本金融危机的最根本原因应该在于经济的基本层面 ,即 ,日本的金融体制效率低下并且长期没有提高 ,同时实体经济缺乏发展空间 ,无法填充虚拟经济中产
随着气象现代化建设的迅速发展,自动气象站的计量检定工作越来越受重视。如何利用信息管理系统与自动气象站计量检定相结合,提高自动气象站的计量检定管理能力是我们需要探讨
随着经济全球化,市场国际化和一体化,用户需求的个性和不确定性以及科学技术的迅猛发展,供应链管理尤其是供应链库存管理能够有效地降低库存量,减少资金积压,提高整个系统的
近年来,国有商业银行在宏观经济发展需要和自身业务拓展要求的推动下,通过购买国家债券和国家认可的其他债券,逐渐步入了债券投资这个传统信贷业务以外的崭新领域。这给国有商业
利用仿真平台描述仿人机器人的物理模型,并模拟机器人的动力学特性;对于改进其运动规划方法以及机器人快速原型化都有重要的意义。本文研究了组件型数字化样机建模理论,并针对