首页 >
数学基础
✍ 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日），是英国的政治哲学家，创立了机械唯物主义的完整体系，认为宇宙是所有机械地运动着的广延物体的总和。他提出“自然
