数学基础

✍ dations ◷ 2025-09-18 06:06:44 #数学基础

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

相关

腐生细菌腐生生物指的是从其他生物尸体、动物组织或是枯萎的植物身上获得养分的生物。腐生生物不能自己进行光合作用，也不能自己制造有机养分，因此属于异养生物的一类。包含了真菌、细
腱鞘炎腱鞘炎又称肌腱滑膜炎（英语：Tenosynovitis），指腱鞘发炎，常造成关节疼痛、肿胀、关节活动受限。可以是感染性或非感染性，常见的非感染性腱鞘炎有狄奎凡氏症和板机指。所有手部感染
蒙特利尔大学蒙特利尔大学（法语：Université de Montréal，简称UdeM）是一所以法语为教学语言的加拿大公立大学，位于加拿大魁北克省蒙特利尔市皇家山脚下。学校由13个学院以及2个著名的附属学
心脏科人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学心脏病学（英语：cardiology）亦称心脏学，为
红酒葡萄酒是古希腊人日常生活中最常饮用的饮料之一。古希腊时代已经出现了啤酒，但当时人认为这是下等人才喝的。最早关于葡萄酒的记载出现于《荷马史诗》中，当攻陷特洛伊的英雄奥
吉尔伯特·赖尔吉尔伯特·赖尔（英语：Gilbert Ryle，1900年8月19日－1976年10月6日）是一名英国哲学家，是英国日常语言哲学中牛津学派的代表人物。他的著作《心的概念》被认为是日常语言学派的重要著
哈维哈维是多个外文人名的中文翻译。西班牙语的Xavi、Xabi以及英语的Harvey均可翻译为“哈维”。以哈维为名的人物有：
泪器泪器是副眼器的一种，由泪腺和泪道组成。泪器的功能是产生并运输眼泪。泪道是泪器的一部分，包括泪点、泪小管、泪囊和鼻泪管。泪小管属于泪道，是泪器的一部分，是连接泪点与泪囊的
鼻毛鼻毛是位于鼻子里的毛，在呼吸时可以做为阻挡灰尘的其中一项防御机制，这可以挡住大部分的灰尘，而无法挡住的灰尘则会到达鼻腔内的粘膜，以至于打喷嚏。某些人的毛较茂盛，甚至太长会