首页 >
猜想
✍ dations ◷ 2025-08-26 15:30:03 #猜想
数学中的猜想是在根据不完全资讯下的结论及命题,是不知其真假的数学叙述,它可能为真,暂时未被证明或反证 。某些猜想会称为“假设”,尤其是当它是针对某些问题提出的答案。像黎曼猜想(目前仍然是猜想)或是费马最后定理(以往是猜想,一直到1995年才得证)都对数学历史带来许多的进展,而且为了证明这些猜想,也发展了新的数学领域。当猜想被证明后,它便会成为定理。猜想只要未成为定理,数学家都要小心在逻辑结构之中使用这些猜想。猜想主要因为类比推理和偶然发现的巧合而出现。数学家通常会使用不完全归纳法,来测试自己的猜想。例如费马曾经根据首五个费马数是素数,便猜想所有费马数都是素数(此猜想已被推翻)。正式数学是以可以验证的事实为基础。在数学上,一个猜想不管有多少的例子支持,都无法让猜想变成定理,因为只要有一个反例立刻就可以推翻此一猜想。数学家会设法为猜想寻找反例,有时数学期刊的论文内容会提到针对猜想寻找反例的范围已经超过以往的纪录。例如考拉兹猜想内容是特定的整数数列是否会结束在特定的一个数值,已经针对 1.2 × 1012以下的所有整数进行测试。不过没有找到反证不代表反证不存在,也不代表猜想成立,有可能有极少数的反证存在,只是因为数值太大或是其他原因,尚未找到这个反证。一个猜想只有在逻辑上不可能为误时,才能视为此一猜想成立。作法有许多种,细节可以参考证明技巧。若猜想的可能反例只有有限多组时,有一种证明方式称为“暴力法”(brute force),就是用所有的反例一一验证,确定它们都不是反例。因为可能反例的数量可能很多,此时的暴力法可能需要配合一些实际的作法,例如用电脑算法来确认所有的可能反例都不是反例。像1976年及1977年的四色定理暴力法证明,一开始也有人质疑,最后在2005年由定理证明软件确认过结果无误。若猜想已被证明,猜想就不再是猜想,而是定理了。有许多重要的定理是从猜想开始的,例如几何化猜想(证明了庞加莱猜想)、费马大定理等。若已找到反例的猜想,有时会称为“假猜想”,例如波利亚猜想(英语:Pólya conjecture)及欧拉猜想。并非所有的猜想都能解决。连续统假设已被显示为不能决定(或独立)于集合论公理体系。可以将此陈述或其反例作为一个新的体系而保持一致(例如可以视平行公理或真或假)。在这个情况,若果某个证明使用了这个陈述,研究者通常会找寻另一个不须假设的解(同样道理,想像一件诱人的事情——欧几理德几何的陈述可以只用中立几何(axioms of neutral geometry)的公理来证明,那就是没有平行公理)。除非是专注研究这个公理,研究者通常不必担心结果要不要选择公理。
相关
- 基因遗传遗传学是研究生物体的遗传和变异的科学,是生物学的一个重要分支。史前时期,人们就已经利用生物体的遗传特性通过选择育种来提高谷物和牲畜的产量。而现代遗传学,其目的是寻求了
- 肛门癌肛门癌(anal cancer)是在肛门(英语:human anus)的癌症,是位在消化道远端开口处的癌症。肛门癌和更常见的大肠癌是不同的病症。肛门癌一般是在鳞柱交界区附近的肛门鳞状细胞癌,多半
- 药用大麻医用大麻(法语:Cannabis médical; 英语:medical cannabis或medical marijuana)是可用于医疗处方的大麻或大麻素。相比娱乐用大麻的高强度THC,医用大麻拥有相对较高的大麻二酚(CBD)
- 石炭纪雨林崩溃事件石炭纪雨林崩溃事件(Carboniferous rainforest collapse)是一个小型灭绝事件,发生在大约3.05亿年前的石炭纪末期。它改变了覆盖欧洲和美洲赤道地区的广阔煤炭森林。 这一事件可
- 成链成链(catenation)是指同一种化学元素的原子经由连续的共价键互相连接形成长链状的分子。成链之形式在碳原子中最易出现,形成碳原子和碳原子之间相连的共价键。成链是自然界存在
- 城市热岛效应热岛效应是一个自1960年代开始,在世界各地大城市所发现的一个地区性气候现象。具体来说,无论从早上到日落以后,城市的气温都比周边地区来得高,并容易产生雾气。这个现象的发现,是
- CeOsub2/sub二氧化铈(化学式:CeO2 ),是稀土元素铈最稳定的氧化物。它在常温下为淡黄色固体,加热时黄色加深。二氧化铈中铈是+4价,具有强氧化性,可以被过氧化氢(H2O2)还原。CeO2不溶于一般的酸
- 深度昏迷昏迷(英语:coma)语出希腊语κῶμα(“沉睡”的意思),是一种深度失去意识的状态。处于这个状态的病人无法被唤醒,对光和声音没有反应,没有睡眠-惊醒周期,也不能随意活动。昏迷有多种
- 罗马皇帝罗马皇帝是罗马帝国时期的最高头衔,是身兼国家元首和政府首脑的最高领导人。在欧洲历史中,皇帝(拉丁语:Imperator;英语:emperor)源自于古罗马时期,音译为“英白拉多”,原意是统帅,源自
- 多核心模式多核心模式(英语:Multiple nuclei model)是昌西·哈里斯(英语:Chauncy Harris)和爱德华·乌尔曼(英语:Edward Ullman)在1945年的文章《The Nature of Cities》中创建的经济模型。该模