数学基础

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

相关

  • 麻疹麻疹(拉丁语:Morbilli;德语:Masern;法语:Rougeole;英语:Measles 或 Rubeola;日语:はしか),是麻疹疫苗未出现前,一种好发在儿童身上的传染病,但成人也有一定机会感染。儿童常见的急性病毒是
  • 鼻炎鼻炎(rhinitis)是医学术语,用于描述鼻腔中的一些区域受到刺激而产生的炎症。鼻炎典型的病征通常表现为流鼻涕。鼻炎是由于急性或慢性的鼻粘膜如病毒、病菌感染,或刺激物作用下受
  • 孔道蛋白结构 / ECOD2fgrA:21-351 2fgqX:20-351 1pho :27-351 1iivA:27-378 1osmA:27-363 1opfD:28-362 1mpf :28-362 2omf :28-362 1gfm :28-362 1hxuA:28-362
  • 慢性疼痛慢性疼痛(英语:Chronic Pain)指的是持续时间较长的疼痛症状。在医学领域,急性疼痛和慢性疼痛一般是由持续时间划分,最常见的是用“持续3个月”或者“持续6个月”作为两种疼痛的分
  • 恶性贫血维生素 B12 缺乏贫血(英语:Vitamin B12 deficiency anemia),是指因缺乏维生素B12造成红血球不足的疾病,恶性贫血(英语:Pernicious anemia)是造成维生素 B12 缺乏的原因之一。最常见
  • 性偏离性偏离(英语:paraphilia),或称性变态(英语:sexual perversion)、性偏见(英语:sexual deviation)、性心理失控(英语:psychosexual disorder)和性反常等,是对非典型对象、恋物、情境、幻想、
  • 毒性休克症候群毒性休克症候群(Toxic shock syndrome,TSS)是一种因细菌外毒素引起的症候群。相关症状包含发烧、红疹、皮肤脱落(英语:skin peeling),及低血压等等。其它与特定病原菌相关的症状包
  • 腺病毒感染腺病毒感染是指人体受腺病毒感染后的病征,主要是影响呼吸系统,但也可以引致肠胃炎、结膜炎、膀胱炎及出疹。呼吸系统受腺病毒影响下,会出现类似流行性感冒的病征,例如咳嗽、流鼻
  • 多神论一多神论或多神教(来自希腊语:πολυθεϊσμός,英语:polytheism),相对于一神论或一神教而言,指崇拜或信仰许多(复数)神的信仰体系或者宗教教条。典型代表为印度教、古希腊宗教
  • 托马斯·霍布斯托马斯·霍布斯(英语:Thomas Hobbes 1588年4月5日-1679年12月4日),是英国的政治哲学家,创立了机械唯物主义的完整体系,认为宇宙是所有机械地运动着的广延物体的总和。他提出“自然