我们可以解决不了120年

许多人不知道例如,着名的和 费马大定理已被证明的,但通常没有经验证的数学问题。

在八月1900年在巴黎举行的第二次国际会议的数学家。 他可以通过被忽视,如果它是不是一位德国科学家、教授戴维*希尔伯特,谁在他的报告23中最重要的时候,重要的问题有关的数学、几何形状代数拓扑结构,一些理论、概率论,等等。

目前,16解决问题23. 2不是有效的数学问题(一个过于模糊了解,解决,或不是,其他远的解决方案,是实物的,不是数学的)。 五个剩余的两个问题没有解决的任何方式,而三解决仅用于一些案件。

这里是整个列表

064266a4f6.jpg



这是希尔伯特今天的问题及其状态:

1. 连续假设。 是有一个无限的基数严格之间的枢机主教的集整数和实数字? 解决由保罗*科恩在1963年这个问题的答案取决于公理中使用的一套理论。

2. 逻辑一致性的算术运算的。 证明标准的公理的算术不能导致一种矛盾。 解决库尔特*哥德尔在1931年:与通常的公理的一套理论,这样一个证明是不可能的。

3. Runasaccountname等四面体的。 如果两个四面体具有相同的体积,总是有可能切断他们中的一个成有限的多边形数量,并收集他们从第二次吗? 解决1901年由马克斯德恩,答案是否定的。

4. 直作为最短的两点之间的距离。 制定公理的几何根据定义,直接和看看这是什么暗示。 太模糊的一个目标,要能够依靠一定的决定,但是它是由多。

5. 说谎组而无需依赖differentiability的。 技术问题的理论的转变的群体。 在一个解释它的决定是安德鲁*格里森在1950年代,并在其他Hidehiko Yamabe的。

6. 公理的物理学。 制定一个严格的系统的公理为数学物理,喜欢数学或机制。 一个系统的公理对概率是由安德烈*洛夫1933年

7. 不合理和超越的数字。 来证明这些数字是不合理的或超越。 解决在1934年由亚历山大*格尔丰德和西奥多*施奈德。

8. 黎曼假设。 以证明,所有平凡的零的Riemann Zeta功能躺在临界线。

9. 法律互惠数领域。 概括古典法律的二次互惠(平方在一个特定的模块)向一个更高的程度。 部分解决。

10. 本的生存条件的解决方案,以丢番图方程式。 找到了一种算法,可以确定是否给定的多项式有许多变量的解决方案在整数。 不可能证明是由尤里Matiyasevich在1970年

11. 二次形式与代号为系数。 有关的技术问题的解决方案的丢番图式有许多变量。 解决的部分。

12. 克罗内的定理Abelian领域。 有关的技术问题的概括一个定理的克罗内克。 不成熟为止。

13. 的解决方案方程式的第七程度功能的一种特殊的。 来证明一般的公式的第七程度无法解决的使用功能的两个变量。 在一个解释的可能性,这样的解决方案证明了安德烈*洛夫和弗拉基米尔*阿诺德。

14. 的有限性的完整系统的功能。 延长的理Hilbert代数不变量的所有变革的群体。 剥夺正义Nagata在1959年。

15. Isilimela几何形状的舒伯特。 赫尔曼舒伯特找到松懈的计算方法的各种几何配置。 面临的挑战是使这种方法严谨。 一个完整的解决方案仍然存在。

16. 拓扑结构的曲线图和表面。 多少个连接部件可能是一个代数曲线的定程度? 有多少种不同的周期性循环可以有一个代数微分方程式一定程度? 一个有限的推广。

17. 演示文稿的某些形式的形式和广场。 如果一个合理的功能总是需要非负值,则应该一定被表示成一个总的方块? 决定埃米尔*马丁,D.Dubois和阿尔布雷希特*菲斯特的。 真的对真实数字,这是错误的,在一些其他数字系统。

18. 填充空间的多面体的。 常见的问题有关的填写空间的全面体的。 相关的开普勒猜想,现证明。

19. 解析的解决方案的变化微积分。 变的微积分答案的问题,例如"查找最短曲线与给予属性"。 如果一个类似的问题是制定意味着美丽的功能,应该决定还要美丽吗? 证明Ennio de Giorgi于1957年,约翰*纳什。

20. 边界值的问题。 要了解的解决方案的微分方程式的物理在某一区域的空间,如果设性的解决方案的界面上的区域。 主要是解决(所作的贡献的许多数学家).

21. 存在的微分方程定单值的。 一种特殊类型的复杂微分方程,它可处理数据点的奇异和单值组。 来证明那里可以是任何结合这些数据。 答案是"是"或"否"根据不同的解释。

22. 标准化使用自守函数。 技术简化的公式。 决定保罗Koebe后不久1900

23. 发展的微积分的变化。 希尔伯特求新的想法领域的微积分的变化。 已经做了很多工作,但措词太模糊,因此这个问题可以考虑解决。

再一次的相信这些话是不是"我的世界"。 所以还有谁有机会变成有名的...

e93a8febf7.jpg



通过这种方式

还有什么会得到一万美金...


在1998年,基金的亿万富翁兰登胶(Landon T.粘土)在剑桥(美国)创建的数学研究所以他的名义(土的数学研究所)促进数学。 24可以2000年该研究所的专家选择了七个最大,在他们看来,令人费解的问题。 并指定一个百万美元。

列表称为 千年奖的问题。

1. 问题做饭

你需要确定:是否核查的决定的正确性的一项任务是长于解决方案。 这种逻辑,任务是重要的专业人员在加密的数据加密。

2. 黎曼假设

有所谓的总数,例如第2、3、5、7个,等等。 这是可分割的,只有通过他们自己。 有多少是不知道。 Riemann认为这是可能确定的规律性,他们分布。 他们会找到也将提供服务的加密技术。

3. 猜想的桦和斯维讷-戴尔

问题与解决方程式与三个未知数的,竖立在的程度。 需要找出如何解决这些问题,不论的复杂性。

4. 在Hodge的猜想

在二十世纪的数学家已经发现了一个技术研究的形的复杂的对象。 想法是使用,而不是目的本身,一个简单的"建筑模块",都粘在一起,形成他的肖像。 我们需要证明是有效的。

5. 纳维–斯托克斯的方程式

关于他们值得记住的飞机。 该方程式描述的气流,保持它在空气中。 现在,解决该等式的约,通过大致的公式。 需要找到准确的,并证明在三维空间中存在着一个解决方案方程都是真实的。

6. 方程杨–米尔斯

在世界的物理有一个假设:如果一个基本粒子的质量,再有就是它的下限。 但是什么—不明确。 需要得到他。 这也许是最复杂的问题。 对于它的解决方案,有必要创建一个"万物理论"的公式,团结所有的力量和相互作用的性质。 一个人能够以可能获得诺贝尔奖。出版

 

也很有趣:10个最奇怪的生物发现的2016

伟大的女性科学家和他们的发现

 



资料来源:masterok.livejournal.com/3313959.html

标签

另请参见

新&值得注意