猜想

✍ dations ◷ 2025-11-29 03:57:41 #猜想

数学中的猜想是在根据不完全资讯下的结论及命题，是不知其真假的数学叙述，它可能为真，暂时未被证明或反证。某些猜想会称为“假设”，尤其是当它是针对某些问题提出的答案。像黎曼猜想（目前仍然是猜想）或是费马最后定理（以往是猜想，一直到1995年才得证）都对数学历史带来许多的进展，而且为了证明这些猜想，也发展了新的数学领域。当猜想被证明后，它便会成为定理。猜想只要未成为定理，数学家都要小心在逻辑结构之中使用这些猜想。猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法，来测试自己的猜想。例如费马曾经根据首五个费马数是素数，便猜想所有费马数都是素数（此猜想已被推翻）。正式数学是以可以验证的事实为基础。在数学上，一个猜想不管有多少的例子支持，都无法让猜想变成定理，因为只要有一个反例立刻就可以推翻此一猜想。数学家会设法为猜想寻找反例，有时数学期刊的论文内容会提到针对猜想寻找反例的范围已经超过以往的纪录。例如考拉兹猜想内容是特定的整数数列是否会结束在特定的一个数值，已经针对 1.2 × 1012以下的所有整数进行测试。不过没有找到反证不代表反证不存在，也不代表猜想成立，有可能有极少数的反证存在，只是因为数值太大或是其他原因，尚未找到这个反证。一个猜想只有在逻辑上不可能为误时，才能视为此一猜想成立。作法有许多种，细节可以参考证明技巧。若猜想的可能反例只有有限多组时，有一种证明方式称为“暴力法”（brute force），就是用所有的反例一一验证，确定它们都不是反例。因为可能反例的数量可能很多，此时的暴力法可能需要配合一些实际的作法，例如用电脑算法来确认所有的可能反例都不是反例。像1976年及1977年的四色定理暴力法证明，一开始也有人质疑，最后在2005年由定理证明软件确认过结果无误。若猜想已被证明，猜想就不再是猜想，而是定理了。有许多重要的定理是从猜想开始的，例如几何化猜想（证明了庞加莱猜想）、费马大定理等。若已找到反例的猜想，有时会称为“假猜想”，例如波利亚猜想（英语：Pólya conjecture）及欧拉猜想。并非所有的猜想都能解决。连续统假设已被显示为不能决定（或独立）于集合论公理体系。可以将此陈述或其反例作为一个新的体系而保持一致（例如可以视平行公理或真或假）。在这个情况，若果某个证明使用了这个陈述，研究者通常会找寻另一个不须假设的解（同样道理，想像一件诱人的事情——欧几理德几何的陈述可以只用中立几何（axioms of neutral geometry）的公理来证明，那就是没有平行公理）。除非是专注研究这个公理，研究者通常不必担心结果要不要选择公理。

相关

单氟磷酸钠单氟磷酸钠，化学式Na2PO3F，缩写MFP。单氟磷酸钠是一种白色固体，饱和水溶液在25°C时含单氟磷酸钠42％。可从0°C水溶液中获得单氟磷酸钠十水合物，结晶水若用加热方式除去，则导致水
骨外科骨科即骨外科，也被称为矫形外科（英语：Orthopedic surgery 或 Orthopaedics，美式英文：Orthopedics）是使用手术和非手术的方法来治疗肌肉骨骼系统创伤、脊柱损伤、运动损伤、退行性
菲.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
亲核芳香取代反应芳香族亲核取代反应（Nucleophilic Aromatic Substitution reaction，SNAr）是亲核取代反应的一类，发生在芳香环上。当中一个亲核体取代了一个好的离去基团，例如在芳香环上的卤代烃
托托（符号为Torr），与毫米汞柱（符号为mmHg）近乎等价，为压强、压力的单位，但并非国际单位制单位（SI unit）的成员之一。原本的 1 mmHg 是指“将幼细直管内的水银顶高一毫米之压力”，而正
生物群系生物群系（英语：Biome）又称生物区系。由诸如植物集群、动物集群和土壤生物（英语：Soil biology）集群的各种生物群落组成，是生态学上气候条件相似并按照气候和地理划分的区域。因常以
塞瓦斯托波尔塞瓦斯托波尔（俄语：Севастополь，罗马化：Sevastopol；克里米亚鞑靼语：Акъяр, Aqyar，乌克兰语：Севастополь，转写：Sevastopol'），位于克里米亚半岛西南岸的港湾都
佩德罗·阿尔莫多瓦尔佩德罗·阿尔莫多瓦尔·卡瓦耶罗（西班牙语：Pedro Almodóvar Caballero，西班牙语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Sego
非霍奇金淋巴瘤非霍奇金氏淋巴瘤（Non-Hodgkin lymphoma）简称NHL，是指霍奇金氏淋巴瘤以外的其他淋巴瘤。其症状包括淋巴结肿大（英语：Lymphadenopathy）、发烧、盗汗、体重降轻、容易疲倦。其他症状
石油输出国组织石油输出国组织（英语：Organization of the Petroleum Exporting Countries，OPEC，发音为/ˈoʊpɛk/ OH-pek；简称欧佩克、油盟或油组）是由伊朗、伊拉克、科威特、沙特阿拉伯和委内