数学基础

✍ dations ◷ 2025-12-08 21:29:52 #数学基础

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

相关

胸部X光的百科知识|胸部X光的意思解释|胸部X光是什么意思胸部X光摄影(Chest film），又称为X光摄影或胸部摄影，是一种使用在胸部区域的放射造影技术，可以检视胸腔与周边器官状况。胸部X光是目前在医疗上最常见的检验项目之一。就像其他放
核蛋白核蛋白是指与核酸（脱氧核糖核酸，DNA或者核糖核酸，RNA）有关的任何蛋白质。譬如，组织蛋白类型的蛋白－染色质。端粒酶，核糖核蛋白和精蛋白都是核蛋白。典型的核蛋白包括核糖体，核小体和
碘苷碘苷（INN：idoxuridine）是一种主要用于角膜炎的抗疱疹病毒科抗病毒药物。碘苷与脱氧尿苷的结构非常类似，可以在病毒DNA复制的过程中被使用，碘苷当中的碘原子妨碍了碱基对的生成，从
外阴炎外阴炎是指外阴皮肤、黏膜炎症性病变，由病原体或刺激性物质刺激引起。表现为瘙痒、疼痛、烧灼感，活动、性交、大小便时感觉不适。外阴炎包括有非特异行外阴炎、前庭大腺炎、前
埃莉诺·罗斯福安娜·埃莉诺·罗斯福（英语：Anna Eleanor Roosevelt，/ˈɛlᵻnɔːr ˈroʊzəvɛlt/，1884年10月11日－1962年11月7日）是一位美国政治人物。第32任美国总统富兰克林·德拉诺·罗斯
重建时期美国重建时期（英语：Reconstruction Era）在美国历史上指1865年－1877年，当南方邦联与奴隶制度一并被摧毁时，试图解决南北战争遗留问题的时期。“重建”提出了南方分离各州如何重返联
疤痕疤痕是皮肤损伤后取代正常皮肤的纤维组织（纤维化），它是生物身体皮肤和其他组织的创面修复过程中的结果。因此，疤痕是自然愈合过程的一部分。除了非常轻微的病变，每一个伤口（如意外
黑心药品黑心药品即假药和劣药。假药通常指药品所含成分与销售地和生产地药品标准规定的成分不同的药物以及以非药品冒充药品或以一种药品冒充另一种药品；劣药通常指药品成分含量不达
游戏治疗游戏治疗是指透过游戏来协助小孩（一般是3岁至11岁）去表达他们的感受和困难，如恐惧、憎恶、孤独、觉得失败和自责等等，从而达到治疗效果。事实上，游戏是小朋友最自然的方式去表达
石鼓文陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧