数学基础

✍ dations ◷ 2025-05-15 16:07:08 #数学基础

数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论（可计算性理论）。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为真?目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。实际上，几乎所有现在的数学定理都可以表述为集合论下的定理。在这个观点下，所谓数学命题的真实性，不过就是该命题可以从集合论公理使用形式逻辑推导出来。这个形式化的方法不能解释一些问题：为什么我们应沿用现行的公理而不是别的，为什么我们应沿用现行的逻辑规则而不是别的，为什么"真"数学命题（例如，算术领域的皮亚诺公理）在物理世界中似乎是真的。这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”（The unreasonable effectiveness of mathematics in the natural sciences）。在数学实在论（有时也叫柏拉图主义）中，独立于人类的数学对象的世界的存在性被作为一个基本假设；这些对象的真实性由人类发现。在这种观点下，自然定律和数学定律有类似的地位，因此"有效性"不再"无理由"。不是我们的公理，而是数学对象的真实世界构成了数学基础。但，显然的问题在于，我们如何接触这个世界？一些数学哲学的现代理论不承认这种数学基础的存在性。有些理论倾向于专注数学实践（英语：Mathematical practice），并试图把数学家的实际工作视为一种社会群体来作描述和分析。也有理论试图创造一个数学认知科学（英语：Numerical cognition），把数学在"现实世界"中的可靠性归结为人类的认知。这些理论建议只在人类的思考中找到基础，

相关

骨膜炎骨膜炎是指因骨膜发炎而引起的病症。骨膜是骨头周围的一层结缔组织。骨膜炎通常是一种慢性疾病，伴有疼痛和肿胀。初次参加运动或运动量猛增的锻炼者，容易发生疲劳性骨膜炎。
超声心动图超声心动图，是一种心脏超声波检查，它使用标准的超声波技术显示心脏的二维图片。现在最新的超声诊断系统采用三维及时成像。耗时大约15-20分钟，甚至更长。除了产生心血管系统的
卡介苗卡介苗（Bacillus Calmette-Guérin，简称BCG，中文名称来自于其发明者卡氏-介氏）是一种最初被用于预防结核病的疫苗。在结核病常发的国家，常推荐健康的婴儿在出生时候尽快接受一剂
国民收入国民收入（或称国民生产毛额、本地居民收入）是反映整体经济活动的重要指标，因此常被使用于总体经济学的研究中，亦是国际投资者非常注视的国际统计项目。反映本地居民收入的两个主
OECD经济合作与发展组织（简称经合组织；英语：Organization for Economic Cooperation and Development，OECD）是全球36个市场经济国家组成的政府间国际组织，总部设在法国巴黎米埃特堡（Ch
孕激素孕激素（英语：progestogens）是一类包括孕酮在内的激素。孕激素是五大类类固醇激素中的一大类，其他四种分别是雌激素、雄激素、盐皮质激素与糖皮质激素。所有孕激素都有着基于二十
犹太教灯台犹太教灯台（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taam
生命周期产品生命周期管理（Product Lifecycle Management,简称PLM）是覆盖了从产品诞生到消亡的产品生命周期全过程的、开放的、互操作的一整套应用方案。为了使产品及时上市，打败竞争者
脊椎驼背后凸症脊椎驼背后凸症（英语：Scheuermann's Disease）亦称舒尔曼病、舒曼氏症（英语：Sherman's Disease），或绍尔曼病，是一种骨骼性疾病，造成脊椎曲线后凸，发生在胸部脊椎多于腰部脊椎。发生原
解释解释（explanation）是对事物的现象、过程、状态、道理等进行描述，以说明其含义、原因、理由等。这样的描述可能是建立在一定规则（如逻辑推理、科学分析）、法律基础之上的。解释也