首页 >
数学基础
✍ dations ◷ 2025-04-24 20:17:14 #数学基础
数学上,数学基础一词有时候用于数学的特定领域,例如数理逻辑,公理化集合论,证明论,模型论,和递归论(可计算性理论)。但是寻求数学的基础也是数学哲学的中心问题:在什么终极基础上命题可以称为真?目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。实际上,几乎所有现在的数学定理都可以表述为集合论下的定理。在这个观点下,所谓数学命题的真实性,不过就是该命题可以从集合论公理使用形式逻辑推导出来。这个形式化的方法不能解释一些问题:为什么我们应沿用现行的公理而不是别的,为什么我们应沿用现行的逻辑规则而不是别的,为什么"真"数学命题(例如,算术领域的皮亚诺公理)在物理世界中似乎是真的。这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”(The unreasonable effectiveness of mathematics in the natural sciences)。在数学实在论(有时也叫柏拉图主义)中,独立于人类的数学对象的世界的存在性被作为一个基本假设;这些对象的真实性由人类发现。在这种观点下,自然定律和数学定律有类似的地位,因此"有效性"不再"无理由"。不是我们的公理,而是数学对象的真实世界构成了数学基础。但,显然的问题在于,我们如何接触这个世界?一些数学哲学的现代理论不承认这种数学基础的存在性。有些理论倾向于专注数学实践(英语:Mathematical practice),并试图把数学家的实际工作视为一种社会群体来作描述和分析。也有理论试图创造一个数学认知科学(英语:Numerical cognition),把数学在"现实世界"中的可靠性归结为人类的认知。这些理论建议只在人类的思考中找到基础,
相关
- 不死生物不死生物(英语:undead),又称不死族、亡灵族、死灵族,是指肉体已经死亡却还能活动的怪物,通常被认为是遗留人间的魂魄和具自我意识的尸体。不死生物以不同的型态出现在各地文化的传
- 特应性湿疹异位性皮肤炎(Atopic dermatitis,简称AD),又叫过敏性皮肤炎或异位性湿疹(Atopic eczema),常见症状包含发痒、红肿,以及皮肤龟裂。发炎区域常有清澈液体流出,液体会随着发炎时间越久而
- 疖疖(boil、furuncle)是毛囊炎的一种,其常见起因为金黄色葡萄球菌感染,可导致皮肤上出现一片由脓和死亡组织累积形成之有痛感的肿块。肿胀的疖肿基本上为充满脓液的结节。单独的疖
- 加勒比加勒比可以指:
- FMA解剖学基础模型,又称解剖学基础模型本体(Foundational Model of Anatomy Ontology, FMA),是解剖学领域的一部参考本体。它是对生物体典型的表现型结构的符号表达形式;FMA是一部由
- 自然保护区自然保护区指相关法律建立的以保护生物多样性的环境、地质构造及水资源等自然综合体的核心区域。在自然保护区内,人类的各种活动受到不同程度的限制,以确保一区域内的保护对象
- 增生性贫血增生性贫血即指血液中某种细胞增生过多引起其他细胞成分相对减少的贫血。包括三大类贫血:溶血性贫血、缺铁性贫血和巨幼细胞增生性贫血
- 黄斑水肿黄斑水肿是一种发生在眼睛内的黄斑后面的视网膜水肿,一般来说,水肿是由一些液体和蛋白质造成有关部位的增厚和膨胀。肿胀可能会扭曲一个人的中央视力,因为黄斑是眼球中心附近的
- 落枕颈部僵硬(英文:Neck Stiffness),又名落枕(“落”,拼音:lào,中医学病名)、失枕、瞓捩颈,西医上称作急性颈椎关节周围炎(Acute fibrositis)或颈部肌肉扭伤,伤者会感到头部转动困难,轻微扭动
- 尊称尊称,或称敬称,是对人表示尊敬的称谓,属于敬语的一种。一般可分为接尾词型、接头词型、代名词型。对不同身份地位的人往往使用不同的尊称。