数学基础

✍ dations ◷ 2025-06-27 05:05:37 #数学基础

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

相关

道尔顿原子质量单位（Atomic mass unit，amu），现称统一原子质量单位（Unified atomic mass unit，u）或道尔顿（dalton，Da），是用来衡量原子质量的单位，定义为静止未键结且处于基态碳12原子质量的1/12
ACE抑制剂血管紧张肽I转化酶抑制剂（英语：ACE inhibitor，简称为ACEI）是一类抗高血压药。血管紧张素转化酶（ACE）是肾素-血管紧张素-醛固酮（RAA）系统中的一个重要环节，该系统对血压的调节有着及其
核形虫纲核形虫纲（Cristidiscoidea或Nucleariae）是真菌总界下的一个演化支，与后孢菌（英语：Opisthosporidia）（真菌所属类群）为旁系群。由于核形虫接近，但又位于真菌与动物主要分支之外，对核形虫
夜惊夜惊（night terror、sleep terror，北方话称撒呓挣、夜惊症），在睡眠中突然尖叫、哭喊，意识呈朦胧状态，发作后约一至两分钟，又复入睡，隔天则不知何事。常见于儿童，其中男童又略多于女童
野猫野猫可以指：
空气污染指数空气污染指数（Air Pollution Index, API）是反映空气污染物，如最常见的氮氧化物、悬浮粒子（来自汽车）和二氧化硫（来自工厂）水平的一个指数，一般是根据实际污染物观测值并用特定公式算
季风季风（又称季候风）是周期性的风，随着季节变化，并且盛行风向（40%以上风频）季节切变达120度以上（按照传统定义，非全球性季风定义）。主要发生在季风亚洲（东亚、东南亚、南亚地区）、西非几内
好氧菌好氧生物（英语：Aerobic organism，或 aerobe），又译为好气生物、耗氧生物、需氧生物，是能在有氧的环境中生存及生长的生物。好氧生物利用氧的化学反应来分解糖及脂肪，以获得能量。几
经验经验（英语：Experience）在一般概念包括了知识、技巧。是体验或观察某一事或某一事件后所获得的心得并应用于后续作业。而这些以前获取的知识技巧，对于工作或教授学问上，掌握相当重
言语言语是个语言学术语，由索绪尔创造，是一个与语言相对立的概念──言语活动中受个人意志支配的部分，它带有个人发音、用词、表达习惯等的特点。言语活动是语言学家索绪尔定义的