数学基础

✍ dations ◷ 2025-08-28 13:39:48 #数学基础

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

相关

抗菌剂抗细菌药（英语：antibacterial）也称为“抗细菌剂”，是一类用于抑制细菌生长或杀死细菌的药物。在不引起歧义的情况下，抗细菌药也可简称为“抗菌药”，包括抗生素（英语：antibiotic）由微
循环性情感症循环性情感症（Cyclothymia）是情感障碍之一、躁郁症的一种形式。在极性病谱中有定义此症。具体而言，此疾患属于较轻微形式的第二型双极性疾患，伴随着时常在欢欣鼓舞与低落沮丧之
劳动劳动有许多不同的原因和目的。但不论是在哪一种社会体系中，抽象地来看劳动一般有以下的目的：通过劳动和劳动所创造的文化和技术的发展人类不但能够在自然界幸存下来，而且能够不
NFR坐标：1°23′40″S 13°09′39″E / 1.39444°S 13.16083°E / -1.39444; 13.16083天然核反应堆是指在铀矿层中发现的铀的同位素能够在过去自然发生自持核连锁反应的一种现象
磁力共振核磁共振（NMR，Nuclear Magnetic Resonance）是基于原子尺度的量子磁物理性质。具有奇数质子或中子的核子，具有内在的性质：核自旋，自旋角动量。核自旋产生磁矩。NMR观测原子的方法，是
止痛药镇痛药（Analgesic）是指能缓解痛的一类药物。该词起源于希腊语中的"an"（意即“没有”）和"algos"（意即“痛”）。镇痛药通过不同的机理作用于中枢和周围神经系统，对痛觉中枢有选择性抑
头重脚轻头重脚轻（Lightheadedness）也称为头昏目眩，是头晕时常见，令人不悦的感觉，常伴随着可能会昏倒的感觉。头重脚轻的感觉可能是短期或长期的，偶尔也可能是慢性病。当时也可能会出现所
甾体甾体（英语：steroid）是属于脂类的一类，特征是有一个四环的母核。所有甾体都是从乙酰辅酶A生物合成路径所衍生的。不同的甾体在其附在环上的官能团有所不同，而其基本结构都是有一个
监护宣告行为能力（capacity）为一种法律上的概念，其与“权利能力”及“意思能力”不同，乃指为法律行为之资格，亦即个人以独自的意思表示，使其行为发生法律上效果的资格而言。民法中基于私法
NASA美国国家航空航天局（英语： National Aeronautics and Space Administration ，缩写为NASA，/ˈnæsə/）是美国联邦政府的一个独立机构，负责制定、实施美国的民用太空计划、与开展航