数学基础

✍ dations ◷ 2024-07-03 06:12:45 #数学基础

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

相关

死亡丧钟死亡丧钟（英语：Death Knell）是教堂里在有人去世后敲响的三次钟中的第二次。以英国来说，它前面一个为Passing Bell（临终之钟），在临死时敲响；后面一个为Lych Bell或Corpse Bell（葬礼之
妊娠糖尿病妊娠期糖尿病（gestational diabetes mellitus，简写成GDM）是指原先没有糖尿病症状的女性，在怀孕时出现高血糖的症状，妊娠糖尿病不一定会有明显症状，不过会增加妊娠毒血症、忧郁症的
成人隐匿迟发性自体免疫糖尿病成人隐匿迟发性自体免疫糖尿病（latent autoimmune diabetes in adults, LADA），又称为1.5型糖尿病。是一种介于1型糖尿病与2型糖尿病之间的糖尿病。大多数1型糖尿病患者在进行诊
膀胱癌膀胱癌泛指各种出自膀胱的恶性肿瘤，也就是有异常细胞大量增殖而不受管制。膀胱是贮存尿液的中空器官，外壁主要由肌肉构成，位于下腹部。最常见的膀胱癌细胞来自膀胱内面黏膜表
毒鹅膏蕈伞凸面毒鹅膏，包括东亚的黄盖毒鹅膏菌（拉丁学名：Amanita subjunquillea）的和欧洲的黄绿毒鹅膏菌（拉丁学名：Amanita phalloides），为两种具有极近亲缘关系、外表无法区分的剧毒担子
中生动物门中生动物是一种多肉海洋无脊椎寄生动物，现今依然不清楚它们是退化了的扁形动物，还是独立发展出的。一般而言，这些细小、难以理解的生物是由包附在一个或多个生殖细胞上的纤毛种
模式生物模式生物（英语：model organism）是指受到广泛研究，对其生物现象有深入了解的物种。根据从这些物种所得的科学研究结果，可以归纳出一些涵盖许多生物的模型，并应用在各领域的研究。利
立法机构多数党（53）少数党（47）多数党（233）少数党（198）空缺（4）美国国会（英语：United States Congress）是《美国宪法》规定的立法机构，位于国会大厦。根据《美国宪法》，美国是一个三权分立的国家，其中
L-多巴L-多巴（英语：L-DOPA，全称3,4-二羟苯丙氨酸）是酪氨酸经酪氨酸羟化酶的作用下羟化产生的一种氧化产物，具有儿茶酚羟基，可进一步生成另外一些有生物活性的物质：L-多巴在酪氨酸酶的作用
标靶治疗人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学靶向治疗或靶向分子治疗（英语：Targeted