無法解決的問題：Navier-Stokes方程，霍奇猜想，黎曼假設。 千年目標

無法解決的問題 - 一個有趣7數學問題。 他們每個人都已經提出了一次著名的科學家，通常是在假設的形式。 幾十年來，以解決他們的全球撓頭數學。 這些誰成功，等待由克萊研究所提供百萬美元的獎勵。

史前

1900年，偉大的德國數學家大衛·希爾伯特旅行車，提出了23問題的列表。

研究進行他們的決定的目的，已經對20世紀的科學產生了巨大影響。 目前，他們大多已經不再是一個謎。 在未解決或部分解決的是：

• 算術的公理的一致性的問題;
• 在任何數字字段的空間互惠的一般規律;
• 物理公理的數學研究;
• 對任意代數數係數二次型研究;
• 問題嚴密證明枚舉幾何費奧多爾舒伯特;
• 等等。

未知的已知克羅內克定理和任何代數區域合理性傳播問題 黎曼假設 。

克萊研究所

在這個名字被稱為私人非營利性組織，總部設在馬薩諸塞州劍橋市。 它是由哈佛大學數學家和商人杰弗裡A.克萊L.成立於1998年。 該研究所的宗旨是促進和發展數學知識。 為了實現這一目標的組織給予獎勵的科學家和資助有前途的研究。

在21世紀初的克萊數學研究所提供了一個優質那些誰就能解決問題，這是被稱為最複雜的無法解決的問題，呼喚你的千禧年大獎問題的列表。 從“希爾伯特的名單”成了唯一的黎曼假設。

千年目標

在克萊研究所的名單最初包括：

• 上週期霍奇猜想;
• 楊的量子理論的方程 - 米爾斯;
• 龐加萊猜想 ;
• 類P和NP的平等的問題;
• 黎曼假設;
• Navier-Stokes方程，存在及其決定的平滑度;
• 問題樺木 - 斯維訥代爾。

這些開放的數學問題是極大的興趣，因為他們可以有很多實際的實現。

什麼證明Grigoriy佩雷爾曼

在1900年，著名科學家和哲學家杏Puankare表明無邊界每單純連接緊湊3-維流形是同胚於三維球體。 在一般情況下，證明沒有超過一世紀以來英寸 只有在2002- 2003年，聖彼得堡數學家佩雷爾曼G.發表了一系列與龐加萊問題的解決方案的文章。 他們重磅炸彈。 2010年，龐加萊猜想已經被排除在“未解決的問題”克萊數學研究所的名單，並佩雷爾曼應邀得到應有的他相當的報酬，後者拒絕，而不解釋其決定的理由。

什麼可以證明俄羅斯數學家最簡單易懂的解釋，可以給予，提供一個甜甜圈（圓環），拉膠盤，然後嘗試去拉它的圓周邊緣在一個點上。 顯然，這是不可能的。 另一件事是，如果我們把這個實驗用球。 在這種情況下，似乎是三維的領域，我們從架著點假想線的盤圓周考取的是一般人的理解立體感，但在數學意義上的二維。

龐加萊建議，三維球體是唯一的三維“對象”，其表面可以被收縮到一個點，並佩雷爾曼能夠證明這一點。 因此，“無法解決的問題”名單目前包括6問題。

楊 - 米爾斯理論

這個數學問題已經在1954年已經提出了作者。 理論的科學配方如下：用於通過陽和Millsom創建的任何簡單緊湊規組空間量子理論存在，並且因此具有零質量缺陷。

說起被普通人理解的語言，自然物體之間的相互作用（顆粒，機構，海浪等）分為4種類型：電磁，重力，強和弱。 多年來，物理學家正在試圖創建一個一般場論。 它必須成為解釋所有這些相互作用的工具。 楊 - 米爾斯理論 - 數學語言與它可以描述自然界的4種基本力3。 它並不適用於重力。 因此，我們不能想當然地認為楊和米爾斯能開發領域的理論。

此外，所提出的方程的非線性使得它們極難解決的問題。 他們設法在小的耦合常數為擾動一系列近似求解。 但是，目前尚不清楚如何解決這些方程的強耦合。

Navier-Stokes方程

用這些表達式描述的處理，例如空氣流，流體流和湍流。 對於一些特殊情況下，Navier-Stokes方程的解析解已經找到，但這樣做對共同還沒有一個成功。 與此同時，對於速度，密度，壓力，時間等的具體數值的數值模擬允許實現優異的結果。 我們只能希望有人會用Navier-Stokes方程在相反的方向，即E.計算，運用它們的參數，或者證明該方法是解決不了問題。

樺木的任務 - 斯維訥代爾

“優秀的問題”一類適用於由劍橋大學英國科學家提出假說。 即使2300年年前，古希臘學者歐幾里得給了方程X2 + Y2 = Z2的解決方案的完整描述。

如果每一個素數來計算他的單位的曲線上的點的數量，我們得到一個無限整數集。 如果具體辦法“膠水”，它复變函數1，然後拿到哈塞 - 韋爾zeta函數的三階曲線，用字母表示L.它包含有關模的立即全部素數的行為的信息。

布賴恩·伯奇和彼得·斯溫納頓·戴爾假設橢圓曲線相對。 根據這一點，結構及其設置的與L-功能單元的行為有關合理的決定的數量。 目前未經證實的假設樺木 - Swynnerton代爾取決於描述3度代數方程，並且只用於計算橢圓曲線的秩比較簡單的一般方法。

要了解這個問題的現實意義，它足以說，在基於橢圓曲線的現代密碼學是一類非對稱系統，以及它們的應用都是基於數字簽名的國內標準。

類P與NP的平等

如果“千年挑戰”的其餘部分是純粹的數學，這是關係到算法的實際理論。 與平等類P與NP，也被稱為庫克萊理解語言的問題，一個問題可以如下制定。 假設正面回答一個問題可被驗證的速度不夠快，那是。E.在多項式時間（PT）。 然後，如果語句是正確的，答案可能相當迅速找到？ 更容易 ，這個問題 是：該如何解決真的沒有檢查難度要比找呢？ 如果類P與NP的平等永遠不會被證明了所有的選擇問題是可以解決的PV。 目前，許多專家懷疑這個說法的真實性，但無法證明。

黎曼猜想

截至直到1859年也沒有的，將介紹如何分發任何法律證據的質數的自然之中。 也許這是由於一個事實，即科學涉及的其他事項。 然而，到19世紀中期，情況發生了變化，他們已經成為最迫切的，開始練習數學的一個。

黎曼假設，它出現在這一時期 - 這是存在於素數分佈的特定模式的假設。

今天，許多現代科學家認為，如果它被證明，它將不得不重新考慮許多現代密碼學的基本原理，形成了電子商務的機制有很大一部分的基礎。

據黎曼猜想，素數分佈的性質可能在這個時候的預期大相徑庭。 事實是，到現在為止還沒有在素數分佈中發現的任何系統。 例如，存在這樣的問題“雙生”，區別其之間是等於2。這些數字是11和13，29.其他素數形成簇。 這是101，103，107等。長期以來，科學家們懷疑，非常大的素數之間存在這樣的集群。 如果你找到他們，現代加密密鑰的的阻力會受到質疑。

霍奇週期假說

此未解的難題仍然是制定於1941年。 霍奇假說認為通過“粘合”在一起的簡單機構更大的尺寸近似的任何對象的形式的可能性。 這種方法已經知道，並已成功地使用了很長時間。 但是，不知道可以進行何種程度的簡化。

現在你知道此刻是什麼存在無法解決的問題。 他們是世界各地成千上萬的科學家的主題。 人們希望，他們將很快得到解決，他們的實際應用將幫助人類達到新一輪的技術發展。