数学基础

✍ dations ◷ 2025-10-29 02:16:04 #数学基础

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

相关

SIRT1n/an/an/an/an/an/an/an/an/an/aSIRT1（英语：Sirtuin 1），也被称为 NAD-依赖性去乙酰化酶Sirtuin-1（英语：NAD-dependent deacetylase sirtuin-1），是人类基因组中由SIRT1基因编码的蛋白
爱沙尼亚– 欧洲（绿色及灰色）– 欧盟（绿色） —爱沙尼亚共和国（爱沙尼亚语：Eesti Vabariik），通称爱沙尼亚（爱沙尼亚语：Eesti，爱沙尼亚语发音： .mw-parser-output .IPA{font-family:"Charis S
传导系统心脏电传导系统（Electrical conduction system of the heart）可以使窦房结产生的脉动传播至心肌，并刺激心肌使其收缩。这种节奏性地刺激心肌使得心肌可以有效地收缩，将血液输运
硫酰脲硫酰基尿素类（英语：Sulfonylurea）衍生物是用于2型糖尿病的抗糖尿病药。主要作用是促进胰脏β细胞分泌胰岛素。硫酰基尿素类是由法国科学家Marcel Janbon和他的同事们发现的，当他
体适能体适能（英语：Physical Fitness），为身体适应外界环境之能力，可视为身体适应生活、运动与环境（例如，温度、气候变化或病毒等因素）的综合能力。它包含了两个面向，一般素质（身体健康的状
事故灾害，又称为灾难、灾祸、灾厄、灾患、祸患、浩劫，是对能够给人类和人类赖以生存的环境造成破坏性影响的事物总称。灾害不表示程度，通常指局部，可以扩张和发展，演变成灾难。如蝗虫
湖南省儿童铅中毒案湖南省儿童铅中毒案发生于中国湖南省武冈市。因武冈市精炼锰加工厂污染导致数十名农村地区儿童血液中铅含量超标，居民中出现恐慌和愤怒情绪。舆论高度关注中国农村和边远地区
羟氯喹羟氯喹（英文名称：Hydroxychloroquine、HCQ），商用为必赖克瘘 (英文名称：Plaquenil) ，是一种以口服形式摄取的抗疟疾类和4-氨基喹啉类药物，羟氯喹的口服形式为硫酸羟氯喹（Hydroxychlor
男性生殖器官男性生殖系统是由男性许多生殖器官或组织组成，和人类繁殖有关的系统。有些在体外，有些则在骨盆腔内。男性主要的性器官是制造精子的睾丸，以及分泌精液的阴茎，在和女性性交，精子可
语言人类学体质人类学文化人类学语言人类学分子人类学社会人类学考古学应用人类学民族志参与观察文化相对论文化 • 社会史前史 • 人类演化亲属婚姻 • 家庭物质文化种