大問題

古い順新しい順

すべてのリストミレニアム賞ヒルベルトランダウスメイルエルデシュ

20世紀
1. 1963
  ローレンツ・アトラクターの存在微分方程式と力学系. 古典的なローレンツ微分方程式系が実際に頑健なカオス的ストレンジ・アトラクターを持つことを示し、ウォリック・タッカーの厳密な計算機援用証明によってスメイルの第14問題を解決した。スメイル #14解決済み