数学基础

✍ dations ◷ 2025-10-08 16:20:00 #数学基础

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

相关

方式关系方式关系（英语：troponymy）指的是词位之间因“方式”的联系而存在的关系。这个概念由克里斯蒂安妮·费尔巴姆（英语：Christiane Fellbaum）和乔治·A·米勒首次提出。例如，咕哝、嘟囔
竹桃霉素竹桃霉素是一种大环内酯类抗生素。该抗生素由细黄链霉菌（Streptomyces antibioticus）合成，其抗菌谱与红霉素相同，但抗菌能力较红霉素弱。竹桃霉素与红霉素有不完全的交叉耐药性，
前列腺炎前列腺炎（Prostatitis）指发生于前列腺组织的炎症。由于前列腺在一定水平血睾丸酮作用下形成，女性仅找到组织胚胎学意义上的前列腺痕迹；没有人体解剖学意义上的前列腺，前列腺炎属
DNA脱氧核糖核酸病毒（英语：DNA virus），又称DNA病毒，其遗传物质为DNA。一般为正链DNA病毒。医学导航: 病毒病病毒(蛋白质)/分类cutn/syst (hppv/艾滋病, 流感/疱疹/人畜共患)/人名体
育亨宾育亨宾（英语：Yohimbine）是一种温和的单胺氧化酶抑制剂，并具有壮阳与兴奋剂功效。它作为治疗性功能障碍的医用处方药销售。育亨宾也是携带α2A肾上腺素受体基因多态性的人类与动
脑干脑部除了大脑，小脑，间脑以外的区域，合称脑干，由中脑（midbrain）、脑桥（pons）、延髓（medulla）三部分组成，上接间脑、下接脊髓。脑干位于大脑下方，小脑前方。它负责调节复杂的反射活动，包括
美国短吻鳄美国短吻鳄（学名：Alligator mississippiensis），又称密西西比河鳄，是西半球大型的鳄鱼物种。雄性鳄长达4米以上，雌的不到3米。幼鳄为黑色，身上点缀著无规律的黄色横向带纹，到了成年时
皮质大脑皮质（英语：cerebral cortex），又称为大脑灰质，或简称为皮质或皮层，是大脑的一个解剖结构。大脑皮层是端脑的一部分，属于脑和整个神经系统演化史上最为晚出现、功能上最为高阶的
肠扭转肠扭转（volvulus）是指人体内环形消化道沿着本身及固定大小肠的肠系膜打结，最后会导致肠阻塞（英语：Bowel obstruction）。症状包括腹痛、腹胀、呕吐、便秘以及血便（英语：Blood in stoo
无薪假无薪假（No-pay leave or furlough）又称减班休息。狭义而言，泛指在职业场所中，因工作业务或企业获利缩减，而导致劳方必须进行缩减工时，与资方不支付劳方休假期间工资的休假行为。广