数学基础

✍ dations ◷ 2025-07-18 06:31:55 #数学基础

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

相关

HIV人类免疫缺陷病毒（英语：human immunodeficiency virus，簡稱HIV，又称艾滋病毒）是一种感染人类免疫系统细胞的慢病毒，属逆转录病毒的一种。普遍认为，人类免疫缺陷病毒的感染导致艾滋
SIRT1n/an/an/an/an/an/an/an/an/an/aSIRT1（英语：Sirtuin 1），也被称为 NAD-依赖性去乙酰化酶Sirtuin-1（英语：NAD-dependent deacetylase sirtuin-1），是人类基因组中由SIRT1基因编码的蛋白
传统经济传统经济体系是经济学的名词又称为自然经济，与商品经济相对，多是于乡村以及农业社会之中出现，主要是依据社会风俗和惯例以解决三个基本经济问题(生产什么、如何生产、生产给谁)
呼吸道感染呼吸道感染（英语：Respiratory tract infection）指的是任何涉及到呼吸道部分的感染性疾病，这类疾病一般会被进一步细分为上呼吸道感染（URI、URTI）或者下呼吸道感染（英语：lower respir
火鸡野生火鸡 Meleagris gallopavo 眼斑火鸡 Meleagris ocellata火鸡（英语：turkey），又名七面鸟或吐绶鸡，是一种原产于北美洲的家禽。火鸡体型比一般鸡大，可达10公斤以上。根据传统，美国
锡诺普的第欧根尼锡诺普的第欧根尼（Διογένης）（亦翻译为戴奥基尼斯或狄奥根尼），古希腊哲学家，犬儒学派的代表人物。活跃于公元前4世纪，相传于公元前413年生于锡诺普（Σινώπη，现属土耳其），相
Netscape ISP网景通信（英语：Netscape Communications ），以前称为网景通信公司（Netscape Communications Corporation），大部分通常被简称为网景（Netscape）。网景曾经是一家美国的电脑服务公司，以其
抗肿瘤药物抗肿瘤药（英语：Anticancer Drugs，Antitumor Drugs，Antineoplastic Agents）也称为抗癌药、抗恶性肿瘤药，是指治疗恶性肿瘤的药物。此类药物通过多种途径杀灭或抑制癌细胞来达到治疗
甲杓肌甲杓肌（thyroarytenoid muscle）是一种宽而薄的肌肉，形成声带的主体，支撑著室壁及其附加组织。甲杓肌也起到放松声带的作用。甲杓肌起于甲状软骨的下半部分，及中环甲韧带。甲杓肌
经典逻辑经典逻辑（英语：Classical logic），又称古典逻辑，标识已经被最深入的研究和最广泛的使用的一类形式逻辑，也被称为标准逻辑（standard logic）。经典逻辑被特征化为一些性质，非经典逻辑缺