猜想

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

相关

  • 乔治亚州使²»äºšå·ï¼ˆè‹±è¯­ï¼šState of Georgia),是ç¾å›½ä¸œå—方的一个å·ï¼Œé‚®æ”¿ç®€å†™æ˜
  • 冬虫夏草Sphaeria sinensis Berkeley (1843) Cordyceps sinensis (Berk.) Sacc. (1878)冬虫夏草(学名:Ophiocordyceps sinensis,藏语:.mw-parser-output .uchen{font-family:"Qomolangma
  • 催化转换器催化转换器又称触媒转化器(catalytic converter)、触媒转换器,安装于汽车废气排放系统中,含有铂、钯及铑等贵金属作为触媒,利用催化机制减少有害废气,如碳氢化合物(HC)、一氧化碳(CO)
  • 芬兰-乌戈尔语族芬兰-乌戈尔语族(也译称为芬-乌戈尔语族或芬诺-乌戈尔语族)是乌拉尔语系的一支,多数语言学家认为芬兰语、匈牙利语和爱沙尼亚语都包含在此语族中。与欧洲其他地方使用的语言不
  • 导航导航是用来指引人一定的设备(载具)从一点出发到达另一点的技术的总称。狭义上讲,导航的过程是一个通过监视和控制载具的位置、速度等,并于目标点比对进而指引载具到指定点的过程
  • 中药学中药学是中药学科的统称。研究中药基本理论和各种药材饮片、中成药的来源、采制、性能、功效、临床应用等知识的学科。为中国基于弘扬本国医学传统理论的立场以中国传统医学
  • 复数形式复数,或称众数(英语:plural,可简写为pl),在语言学中是词素的其中一种,常和单数相对,在没有双数概念的语言中用于标示多于一个的物件,在有双数概念的语言中则表示多于两个的名词数量。
  • 无恒变形虫无恒变形虫(学名:Polychaos dubium),又称无恒多卓变虫,是一种生活在淡水中的变形虫,其基因组由多达6700亿碱基对组成,是已知生物中基因组最庞大者,惟此测量结果目前有所争议。无恒变
  • 玛雅文明玛雅文明(Mayan),是古代分布于今墨西哥东南部、危地马拉、洪都拉斯、萨尔瓦多和伯利兹5个国家的丛林文明。虽然处于新石器时代,惟在天文学、数学、农业、艺术及文字等方面都有极
  • 双缩脲双缩脲(英语:Biuret)通常指化学式为 2NH 的有机化合物,是两分子尿素的脱氨产物,常温下为白色固体,易溶于热水。同时,双缩脲也指带有 -(HN-CO-)2N- 这一官能团的化合物,如 2NH 称为二