第六百六十六章 2021年度阿贝尔奖揭晓：这是计算机与数学的共荣时代（1 / 2）

但是自从20世纪计算机问世以来，学界研究的方式与兴趣发生了根本性的转向，很多数学家已不再满足于仅仅寻找解决问题的特定算法，他们转而考虑探索算法本身的性质，以及计算的边界问题。

一个可计算问题被认为是一个原则上可以用计算机解决的问题，换言之，这个问题同样可以在一系列机械的数学步骤下得到解决，例如算法。这成为了理论计算机科学的出发点之一。

而离散数学和理论计算机科学的完美结合，为信息时代诸多新兴技术、理论提供了基石。

但将时间倒推至50年前，理论计算机科学和纯数学尚还是各自独立的领域。

人们将很难想象，它们在不久的将来会成为枝叶相接、难以分割的交叉学科。

lovász说：“现在区分纯数学和应用数学已经越来越困难，不过我认为这是一个很好的发展趋势。”

lovász研究的主要影响之一是确立了离散数学能够解决计算机科学基本理论问题的方法。

1972年，他解出了“完美图猜想”，该猜想是图理论中一个长期存在的开放性问题；

1978年，他使用代数拓扑证明了kneser猜想，轰动了学界；

1979年，他解决了信息理论中的经典问题，确定了五边形图的“香农容量“；