首页 >
猜想
✍ dations ◷ 2025-04-26 13:07:52 #猜想
数学中的猜想是在根据不完全资讯下的结论及命题,是不知其真假的数学叙述,它可能为真,暂时未被证明或反证 。某些猜想会称为“假设”,尤其是当它是针对某些问题提出的答案。像黎曼猜想(目前仍然是猜想)或是费马最后定理(以往是猜想,一直到1995年才得证)都对数学历史带来许多的进展,而且为了证明这些猜想,也发展了新的数学领域。当猜想被证明后,它便会成为定理。猜想只要未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首五个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)。正式数学是以可以验证的事实为基础。在数学上,一个猜想不管有多少的例子支持,都无法让猜想变成定理,因为只要有一个反例立刻就可以推翻此一猜想。数学家会设法为猜想寻找反例,有时数学期刊的论文内容会提到针对猜想寻找反例的范围已经超过以往的纪录。例如考拉兹猜想内容是特定的整数数列是否会结束在特定的一个数值,已经针对 1.2 × 1012以下的所有整数进行测试。不过没有找到反证不代表反证不存在,也不代表猜想成立,有可能有极少数的反证存在,只是因为数值太大或是其他原因,尚未找到这个反证。一个猜想只有在逻辑上不可能为误时,才能视为此一猜想成立。作法有许多种,细节可以参考证明技巧。若猜想的可能反例只有有限多组时,有一种证明方式称为“暴力法”(brute force),就是用所有的反例一一验证,确定它们都不是反例。因为可能反例的数量可能很多,此时的暴力法可能需要配合一些实际的作法,例如用电脑算法来确认所有的可能反例都不是反例。像1976年及1977年的四色定理暴力法证明,一开始也有人质疑,最后在2005年由定理证明软件确认过结果无误。若猜想已被证明,猜想就不再是猜想,而是定理了。有许多重要的定理是从猜想开始的,例如几何化猜想(证明了庞加莱猜想)、费马大定理等。若已找到反例的猜想,有时会称为“假猜想”,例如波利亚猜想(英语:Pólya conjecture)及欧拉猜想。并非所有的猜想都能解决。连续统假设已被显示为不能决定(或独立)于集合论公理体系。可以将此陈述或其反例作为一个新的体系而保持一致(例如可以视平行公理或真或假)。在这个情况,若果某个证明使用了这个陈述,研究者通常会找寻另一个不须假设的解(同样道理,想像一件诱人的事情——欧几理德几何的陈述可以只用中立几何(axioms of neutral geometry)的公理来证明,那就是没有平行公理)。除非是专注研究这个公理,研究者通常不必担心结果要不要选择公理。
相关
- 骨关节炎骨关节炎(Osteoarthritis,简称OA),或称退化性关节炎,是一种关节软骨(英语:articular cartilage)或关节下骨头损伤的关节炎,常见症状是关节疼痛或僵硬,初次发病常仅见于运动之后但发病
- 丝氨酸蛋白酶抑制剂结构 / ECOD1m37A:1-378 1hleB:349-379 1jrrA:1-415 1by7A:1-415 1ovaA:1-385 1uhgA:1-385 1jtiB:1-385 1attB:77-433 1nq9L:76-461 1oyhI:76-461
- 半乳糖半乳糖(galactose、简称:gal,分子式:CH2OH(CHOH)4CHO, Jmol 立体图)是单糖的一种,可在奶制品或甜菜中找到。因它含有热量,它也会被用作营养增甜剂。半乳糖与葡萄糖是同分异构物,另一
- 侯云德侯云德(1929年7月13日-),江苏常州人,中国医学病毒学专家,中国工程院院士,现任中国疾病预防控制中心病毒病预防控制所院士实验室主任,传染病国家重大专项技术总师,曾任中国工程院副院
- 腿人类腿部,或称人腿,一般指的是人体的整个下肢部分,包括足部、大腿甚至髋关节等。然而,人体解剖一般谈及“人腿”时,指的只是从膝盖到脚踝的这一段下肢,也称“小腿”。腿部在站立以
- 内涵内涵(Intension或connotation)是指一个符号、词语、或句子的意义或特征,多半是用定义的方式表达。内涵经常与外延一起讨论的。内涵称谓一个词能描述一下的所有可能的事物的集合
- 交通运输运输,是指运输主体(人或者是货物)透过运输工具(或交通工具与运输路径),由甲地移动至乙地,完成某个经济目的的行为。因此,运输是一种“衍生的经济行为”,运输多半都是为了完成某些经济
- NiS硫化镍是一种无机化合物,化学式为NiS。它在自然界中以针镍矿的形式存在。硫化镍可由传统的镍盐与硫化氢反应的方法制备:镍盐溶液和硫化铵溶液反应,也能得到α-NiS,它刚沉淀出来
- 威廉·杰森·摩根威廉·杰森·摩根(英语:William Jason Morgan,1935年10月10日-),出生在乔治亚州萨凡纳,美国地球物理学家,对板块构造与地球动力学理论方面作出了开创性的贡献。他为哈佛大学地球与行
- 黑磷磷的同素异形体有许多种,其中白磷和红磷最为常见。另外还存在紫磷和黑磷。气态磷单质中有P2分子与磷原子。白磷(因商品白磷常带黄色,故又称为黄磷:180),分子式P4,为白色固体,质软。