ACM通信
ACM通信
海德堡重新
我刚刚参加完第四届海德堡奖得主论坛，我想强调ACM图灵奖得主参与这个项目的重要性。每年有200名数学和计算机科学专业的本科生参加这个项目，每人大约100人。获奖者的演讲穿插在本科生研讨会和全体公开会议中。学生和获奖者之间以及学生之间有充足的互动机会。
今年，布莱恩·施密特(Brian Schmidt)发表了林道演讲(来自年度诺贝尔奖得主会议)。施密特发现宇宙不仅在膨胀，而且在加速膨胀。很难想象还有比这更深刻的发现了。从很长一段时间来看，宇宙似乎会膨胀到只有一定的局部引力才能将一个星系或一小群星系聚集在一起的地步。其余的将加速离开，宇宙将在冰冷的呜咽中结束。
幸运的是，今年的海德堡论坛(Heidelberg Forum)上除了令人兴奋的对话之外，什么也没有。我们比以往任何时候都更能看到数学和计算机科学是如何相互作用的，尤其是随着神经网络和量子计算机的到来，它们的能力与主宰计算领域超过70年的传统冯·诺伊曼设计截然不同。在这些新的计算引擎的照耀下，关于什么是可计算的基本问题(由Gödel阐明)正在引起人们的注意。
Leslie Lamport发表了另一场精彩的演讲，强调了在考虑编程过程时进行数学思考的价值。抽象的价值有助于对预期的程序功能进行推理，这与我以及其他与会者产生了强烈的共鸣。
和往常一样，数学和计算机科学专业的学生充满了活力和想法，他们渴望与彼此以及与在场的获奖者互动。组织者努力最大化学生与获奖者见面的机会，包括一些研讨会，以支持一些深入的讨论。一些获奖者强烈建议，应该尽一切努力让这两个学科的学生之间进行丰富的互动。
看到现有的获奖者出席名单，我不禁想象，未来的海德堡活动将受益于更多的年轻获奖者，所以我期待其他ACM获奖者可能被邀请参加年度活动。
6月下旬，我参加了林道(Lindau)的活动，在那次活动中，诺贝尔奖得主与学生们打成了一圈，我对计算机在发现科学中日益重要的作用感到震惊。对物理现象的模拟揭示了我们对宇宙本质的新见解。我看到的一个引人注目的例子是一个从大爆炸开始演化的宇宙，它考虑到了暗物质和暗能量，并产生了一个模拟宇宙，其中有许多我们在可观测宇宙中看到的大尺度结构。我们看到巨大的网状结构正在出现，它们主要是大量暗物质的产物，这些暗物质将普通物质组织成恒星和气体的网状结构。这些预测可以通过观察来验证，这加强了计算在我们探索自然世界中的重要性。
我们正在进入科学发现的一个激动人心的时期，在这个时期，计算与实验室实验和观察一样重要。
我们正在进入科学发现的一个激动人心的时期，在这个时期，计算与实验室实验和观察一样重要。我们可以发明我们自己的宇宙，并测试它们与我们可以测量的真实宇宙的相容性。事实上，我们可能会发现，如果没有计算的启示，我们的预测可能会把我们的注意力吸引到我们可能永远不会去寻找的现象上。
数字图书馆是由计算机协会出版的。版权所有©2016 ACM股份有限公司
没有发现记录