猜想
的解決方式
證明
正式數(shù)學(xué)是以可以驗(yàn)證的事實(shí)為基礎(chǔ)。在數(shù)學(xué)上,一個(gè)猜想不管有多少的例子支持,都無(wú)法讓猜想變成定理,因?yàn)橹灰幸粋€(gè)反例立刻就可以推翻此一猜想。數(shù)學(xué)家會(huì)設(shè)法為猜想尋找反例,有時(shí)數(shù)學(xué)期刊的論文內(nèi)容會(huì)提到針對(duì)猜想尋找反例的范圍已經(jīng)超過(guò)以往的紀(jì)錄。例如考拉茲猜想內(nèi)容是特定的整數(shù)數(shù)列是否會(huì)結(jié)束在特定的一個(gè)數(shù)值,已經(jīng)針對(duì) 1.2 × 10以下的所有整數(shù)進(jìn)行測(cè)試。不過(guò)沒(méi)有找到反證不代表反證不存在,也不代表猜想成立,有可能有極少數(shù)的反證存在,只是因?yàn)閿?shù)值太大或是其他原因,尚未找到這個(gè)反證。
一個(gè)猜想只有在邏輯上不可能為誤時(shí),才能視為此一猜想成立。作法有許多種,細(xì)節(jié)可以參考證明技巧。
若猜想的可能反例只有有限多組時(shí),有一種證明方式稱為“暴力法”(brute force),就是用所有的反例一一驗(yàn)證,確定它們都不是反例。因?yàn)榭赡芊蠢臄?shù)量可能很多,此時(shí)的暴力法可能需要配合一些實(shí)際的作法,例如用電腦算法來(lái)確認(rèn)所有的可能反例都不是反例。像1976年及1977年的四色定理暴力法證明,一開(kāi)始也有人質(zhì)疑,最后在2005年由定理證明軟件確認(rèn)過(guò)結(jié)果無(wú)誤。
若猜想已被證明,猜想就不再是猜想,而是定理了。有許多重要的定理是從猜想開(kāi)始的,例如幾何化猜想(證明了龐加萊猜想)、費(fèi)馬大定理等。
反證
若已找到反例的猜想,有時(shí)會(huì)稱為“假猜想”,例如波利亞猜想(英語(yǔ):Pólya conjecture)及歐拉猜想。
不能解決的猜想
并非所有的猜想都能解決。連續(xù)統(tǒng)假設(shè)已被顯示為不能決定(或獨(dú)立)于集合論公理體系??梢詫⒋岁愂龌蚱浞蠢鳛橐粋€(gè)新的體系而保持一致。(例如可以視平行公理或真或假)。
在這個(gè)情況,若果某個(gè)證明使用了這個(gè)陳述,研究者通常會(huì)找尋另一個(gè)不須假設(shè)的解(同樣道理,想像一件誘人的事情——?dú)W幾理德幾何的陳述可以只用中立幾何(axioms of neutral geometry)的公理來(lái)證明,那就是沒(méi)有平行公理)。除非是專注研究這個(gè)公理,研究者通常不必?fù)?dān)心結(jié)果要不要選擇公理。
相關(guān)條目
數(shù)學(xué)猜想列表
免責(zé)聲明:以上內(nèi)容版權(quán)歸原作者所有,如有侵犯您的原創(chuàng)版權(quán)請(qǐng)告知,我們將盡快刪除相關(guān)內(nèi)容。感謝每一位辛勤著寫(xiě)的作者,感謝每一位的分享。
- 有價(jià)值
- 一般般
- 沒(méi)價(jià)值
{{item.userName}} 舉報(bào)
{{item.time}} {{item.replyListShow ? '收起' : '展開(kāi)'}}評(píng)論 {{curReplyId == item.id ? '取消回復(fù)' : '回復(fù)'}}
{{_reply.userName}} 舉報(bào)
{{_reply.time}}