數(shù)學(xué)真理的極限在哪里,？希爾伯特第十問(wèn)題擴(kuò)展版得到證明(2)

小大

用微信掃描二維碼
分享至好友和朋友圈

關(guān)鍵詞：

2025-02-06 11:25:37 機(jī)器之心Pro

是否存在一種算法可以確定每個(gè)方程的解，還是說(shuō)這個(gè)問(wèn)題是不可判定的,？也許不可能為所有數(shù)學(xué)問(wèn)題找到一種完備而系統(tǒng)的求解方法 —— 甚至不可能解決希爾伯特的所有 23 個(gè)問(wèn)題 —— 但對(duì)于丟番圖方程,，可能仍然存在一種求解方法，作為希爾伯特理想的一個(gè)微縮版本,。烏得勒支大學(xué)的 Peter Koymans 說(shuō)：「這個(gè)問(wèn)題是那個(gè)夢(mèng)想的一個(gè)非常自然的版本,。」

1970 年,，一位名叫 Yuri Matiyasevich 的俄羅斯數(shù)學(xué)家打破了這個(gè)夢(mèng)想,。他的研究表明，并不存在一種可以確定任何給定的丟番圖方程是否有整數(shù)解的通用算法——希爾伯特第十問(wèn)題是一個(gè)不可判定的問(wèn)題,。你也許能夠構(gòu)想出一種可以評(píng)估大多數(shù)方程的算法,，但它無(wú)法適用于每一個(gè)方程。即使在這種最簡(jiǎn)單的數(shù)學(xué)中,，也隱藏著不可知性,。

Yuri Matiyasevich，攝于 1969 年

數(shù)學(xué)家們想檢驗(yàn)Matiyasevich的結(jié)論的適用范圍,。比如如果允許丟番圖方程有復(fù)數(shù)解（可以用實(shí)部和虛部寫(xiě)出的數(shù)字,，并且不限于整數(shù)）呢,？在這種情況下，每個(gè)丟番圖方程都有一個(gè)解,，而希爾伯特第十問(wèn)題的答案是肯定的,。但是，在解必須是整數(shù)的方程和解可以是復(fù)數(shù)的方程之間,，丟番圖方程還存在很廣的范圍,。

「對(duì)于整數(shù)，它是不可求解的,，然后當(dāng)傳遞給更大的數(shù)字系統(tǒng)時(shí),，可能會(huì)突然獲得可解性?！构鸫髮W(xué)的 Barry Mazur 說(shuō),。「但這個(gè)轉(zhuǎn)折點(diǎn)在哪里,？」

自希爾伯特第十問(wèn)題被解決以來(lái)的 50 年里,，數(shù)學(xué)家們一直在尋找這個(gè)轉(zhuǎn)折點(diǎn)。現(xiàn)在,，Koymans 和他的長(zhǎng)期合作伙伴,、蒙特利爾康考迪亞大學(xué)的 Carlo Pagano 以及另一組獨(dú)立研究的團(tuán)隊(duì)朝著這一目標(biāo)邁出了重要一步。

這兩個(gè)小組都證明,，對(duì)于整數(shù)之外的大量重要數(shù)集,，同樣不存在可確定任意給定的丟番圖方程是否有解的通用算法。

首頁(yè)上一頁(yè)123 4 5...全文共 6 頁(yè)下一頁(yè)

關(guān)閉

數(shù)學(xué)真理的極限在哪里,？希爾伯特第十問(wèn)題擴(kuò)展版得到證明(2)

相關(guān)新聞

今日熱點(diǎn)

頻道熱點(diǎn)