首页 >
猜想
✍ dations ◷ 2025-08-02 14:22:52 #猜想
数学中的猜想是在根据不完全资讯下的结论及命题,是不知其真假的数学叙述,它可能为真,暂时未被证明或反证 。某些猜想会称为“假设”,尤其是当它是针对某些问题提出的答案。像黎曼猜想(目前仍然是猜想)或是费马最后定理(以往是猜想,一直到1995年才得证)都对数学历史带来许多的进展,而且为了证明这些猜想,也发展了新的数学领域。当猜想被证明后,它便会成为定理。猜想只要未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首五个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)。正式数学是以可以验证的事实为基础。在数学上,一个猜想不管有多少的例子支持,都无法让猜想变成定理,因为只要有一个反例立刻就可以推翻此一猜想。数学家会设法为猜想寻找反例,有时数学期刊的论文内容会提到针对猜想寻找反例的范围已经超过以往的纪录。例如考拉兹猜想内容是特定的整数数列是否会结束在特定的一个数值,已经针对 1.2 × 1012以下的所有整数进行测试。不过没有找到反证不代表反证不存在,也不代表猜想成立,有可能有极少数的反证存在,只是因为数值太大或是其他原因,尚未找到这个反证。一个猜想只有在逻辑上不可能为误时,才能视为此一猜想成立。作法有许多种,细节可以参考证明技巧。若猜想的可能反例只有有限多组时,有一种证明方式称为“暴力法”(brute force),就是用所有的反例一一验证,确定它们都不是反例。因为可能反例的数量可能很多,此时的暴力法可能需要配合一些实际的作法,例如用电脑算法来确认所有的可能反例都不是反例。像1976年及1977年的四色定理暴力法证明,一开始也有人质疑,最后在2005年由定理证明软件确认过结果无误。若猜想已被证明,猜想就不再是猜想,而是定理了。有许多重要的定理是从猜想开始的,例如几何化猜想(证明了庞加莱猜想)、费马大定理等。若已找到反例的猜想,有时会称为“假猜想”,例如波利亚猜想(英语:Pólya conjecture)及欧拉猜想。并非所有的猜想都能解决。连续统假设已被显示为不能决定(或独立)于集合论公理体系。可以将此陈述或其反例作为一个新的体系而保持一致(例如可以视平行公理或真或假)。在这个情况,若果某个证明使用了这个陈述,研究者通常会找寻另一个不须假设的解(同样道理,想像一件诱人的事情——欧几理德几何的陈述可以只用中立几何(axioms of neutral geometry)的公理来证明,那就是没有平行公理)。除非是专注研究这个公理,研究者通常不必担心结果要不要选择公理。
相关
- 氦-3氦-3,是氦的同位素之一,元素符号为3He。它的原子核由二颗质子和一颗中子所组成。是稳定同位素。其相对丰度是0.000137%。一般相信,月球表面的风化层(表皮土)富含着大量的氦-3。因
- 6第6周期元素是元素周期表第六行(即周期)的元素,包括镧系元素。该周期元素都具有一定毒性。有:第1周期元素 - 第2周期元素 - 第3周期元素 - 第4周期元素 - 第5周期元素 - 第6周期
- 多汗症多汗症,是一种症状,系指身体在必要性的调节体温的范围时,产生异常增加发汗的症状。好发于手、足、腋窝(即腋下),在日常生活中被认为是有过度发汗的疾病患者。。
- 一阶逻辑一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统。过去一百多年,一阶逻辑出现过许多种名称,包括:一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑
- 甲锡烷甲锡烷(SnH4)是锡的氢化物。它可以由氢化铝锂还原四氯化锡制得。 甲锡烷在室温下缓慢分解产生锡和氢气,与空气接触会起火。甲锡烷的衍生物都是剧毒的化合物。甲锡烷可以看作甲
- 劳厄马克斯·冯·劳厄(德语:Max von Laue,1879年10月9日-1960年4月24日),德国物理学家,因发现晶体中X射线的衍射现象而获得1914年诺贝尔物理学奖。1879年10月9日,马克斯·劳厄出生于科布
- 翼手目蝙蝠,又名.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-s
- 聊天机器人聊天机器人(ChatBot)是经由对话或文字进行交谈的计算机程序。能够模拟人类对话,通过图灵测试。聊天机器人可用于实用的目的,如客户服务或资讯获取。有些聊天机器人会搭载自然语
- 佟振合佟振合(1937年9月1日-),中国有机化学家。生于山东梁山。1963年毕业于中国科学技术大学高分子化学和物理系。1983年获美国哥伦比亚大学博士学位。中国科学院理化技术研究所研究员
- 脱氢抗坏血酸脱氢抗坏血酸(Dehydroascorbic acid, DHA)是氧化形式的抗坏血酸(维生素C)。维生素C以DHA的形式通过葡萄糖转运体(GLUT1)进入在有大量自由基产生的线粒体中并聚集。脱氢抗坏血酸已