数学基础

✍ dations ◷ 2025-11-18 18:27:55 #数学基础

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

相关

胞吞内吞作用（Endocytosis）是大分子物质（如糖类、脂质、蛋白质等）或其他细胞（如细菌）进入细胞内部的方式。它区别于小分子物质(如水、无机盐、氨基酸等)进入细胞的方式(自由扩散或主动
尿酸尿酸是含有碳、氮、氧、氢的杂环化合物，其分子式为C5H4N4O3。尿酸在人体内是嘌呤的最终代谢物。爬虫类和鸟类会将代谢废物氨转换成尿酸在粪便排出。尿酸是强抗氧化剂，在有些灵
香菇多糖香菇多糖（英语：Lentinan）是从香菇(Lentinula edodes)子实体或菌丝中分离的一种多糖，以β-1,3-葡聚糖为主，在6号位碳原子上有支链。透过静脉注射，有免疫激活和抗肿瘤活性，特别是胃癌
细胞信息传递细胞信息传递（英语：cell signaling）是一个主管细胞基本活动并协调细胞行为的复杂沟通系统。细胞对周遭微环境进行感知与正确回应的能力是其发展、修复组织、免疫以及体内正常动
酸酐酸酐是具有两个酰基键合于同一氧原子上的有机化合物。称为“酐”的原因因为它是由两个羧酸脱水而成。若两侧酰基由同种羧酸衍生而来则称为对称酸酐，分子式可表达为：(RC(O))2O
核电存废问题核电存废问题是人类社会对核能发电使用的持续的争议性讨论。第一个成功的核裂变实验装置在1938年的柏林被德国科学家奥托·哈恩、莉泽·迈特纳和弗瑞兹·斯特拉斯曼制成。在
中爪哇省中爪哇省（印尼语：Jawa Tengah）是印尼的一个省，位于爪哇岛的中部，首府是三宝珑。现任省长是甘查尔·普拉诺沃，由副省长代理。中爪哇省位于东爪哇省及西爪哇省之间，北面是爪哇海，南面
气孔气孔是植物用来与外界交换气体和水的部位。一般来说气孔由两个腰果状的保卫细胞组成，它们形成一个可以开闭的孔。一般气孔位于植物叶子的背面，禾本科植物叶子两面都有气孔，只有
鼻部 (部首)鼻部，为汉字索引中的部首之一，康熙字典214个部首中的第二百〇九个（十四划的则为第一个）。就繁体和简体中文中，鼻部归于十四划部首。鼻部大都以左方为部字。且无其他部首可用者将
颈链项链是一种戴在脖子上的绳状饰品，通常会使用金，银等贵金属制成，用宝石镶嵌其上。但有时也会使用木头、石头、贝壳、或是塑胶等不同材料。项链是一种挂在脖子上的珠宝饰品。已被