数学基础

✍ dations ◷ 2025-04-04 05:32:09 #数学基础

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

相关

心包填塞心包填塞（Cardiac tamponade）是指心包（包围心脏的双层膜囊）累积大量液体（英语：Pericardial effusion），并且压迫心脏的情形。其症状可能非常快速，也可能是渐进出现。心包填塞的一般症
新霉素新霉素（neomycin）是一种氨基糖苷类抗生素，1949年微生物学家Selman Waksman和他的学生Hubert Lechevalier在弗氏链霉菌（Streptomyces fradiae）中分离获得。新霉素大多用于局部给药
裸藻裸藻纲（Euglenophyceae）在生物分类学上是眼虫门（Euglenophyta）下的一个纲。医学导航: 原虫感染变形虫, 古虫, 囊泡虫 (结构)变形虫, 古虫, 囊泡藻变形虫, 古虫, 囊泡藻
覆盖噬菌体科覆盖噬菌体属 Corticovirus覆盖噬菌体科（Corticoviridae），Cortico-源自拉丁文，有厚皮之意。主要的宿主为细菌。覆盖噬菌体属（Corticovirus）代表种：
甲氨蝶呤氨甲蝶呤（英语：Methotrexate，又称甲氨喋呤、甲氨蝶呤、氨甲喋呤），在台湾商品名为灭杀除癌锭。氨甲蝶呤是一种化疗药物和免疫抑制剂，被用来治疗癌症、自体免疫疾病、子宫外孕和进行
急救包急救包，是一种装有急救药品或医疗器械的容器，根据急救包的形式，可以有急救箱、急救袋等不同称呼。急救包为急救的实施者提供保障。急救实施者可以从中获得药物和医疗器械，还可以
溃疡性结肠炎溃疡性结肠炎（英语：ulcerative colitis，缩写作 UC），也称非特异性溃疡性结肠炎是一种会导致结肠与直肠发炎与溃疡的慢性疾病。其发作时的主要症状包括腹痛与伴有血便的腹泻，体重减
简单扩散扩散作用是一个基于分子热运动的输运现象，是分子通过布朗运动从高浓度区域(或高化势)向低浓度区域(或低化势)的运输的过程。它是趋向于热平衡态的驰豫过程，是熵驱动的过程。菲
5号染色体人类的5号染色体是23对染色体的其中之一，正常状况下每个细胞拥有两条。此染色体含有大约181百万个碱基对，占细胞内所有DNA将近6%。其中有900到1300个基因，依预测方式而有所不同
通古斯语族满-通古斯语族（又称通古斯语系或通古斯－满语族）是世界主要语系之一，其下又分满语支和通古斯语支。通古斯语支的语言有长元音，满语支的语言复元音多；辅音的组合一般不超过两个音素，