海因茨·霍普夫模型理论家奖

2019年海因茨·霍普夫奖授予以色列数学家埃胡德·赫鲁晓夫斯基。他生于1959年，1986年在加州大学伯克利分校获得博士学位，随后在普林斯顿大学、麻省理工学院和耶路撒冷希伯来大学等大学任职，之后被任命为牛津大学数理逻辑默顿教授。他一直是全体议长在柏林和1998年国际数学家大会得到了许多奖项的开创性的工作,包括在1993年(和亚历克斯·威尔基一起)和1998年卡普奖协会的符号逻辑,这是只授予每五年。苏黎世ETH现在将2019年亨氏-霍普夫奖授予赫鲁索夫斯基，以表彰他在模型理论及其在代数和几何中的应用方面的杰出贡献。

模型理论是一门相对年轻的学科。自20世纪50年代初以来，它就得到了系统的发展，但起源于较老的学科，包括逻辑学、普适代数和集合论。简言之，模型理论应用逻辑来研究纯数学中的结构。数学结构定义一组对象上的操作和关系。在这样一个框架内，可以对一个结构做出正确或错误的陈述——这取决于给定上下文中的解释。这不是一个缺陷，而是可以用来表达思想的不同数学语言的结果。模型理论提供了抽象问题的工具。一方面，这允许获得关于所研究的数学结构的新信息，另一方面，从理论的有趣性质发展出一般定理，这反过来有助于在非常普遍的水平上理解数学本身。

惊人而美丽的贡献

在他的职业生涯中，赫鲁索夫斯基在这两方面都做出了重大贡献，将模型理论作为一门学科加以发展，并将其工具应用于数学各个领域的经典问题，其方式常常被该领域的人描述为令人惊讶和美丽。他最重要的贡献之一是1988年构造了一个新的强极小集，证明了1984年Boris Ziber的猜想是错误的，他与Ziber在Zariski几何方面的工作以及1996年对函数场的Mordell-Lang猜想的证明，2001年，他与ZoéChatzidakis合作研究差分场模型理论和Manin Mumford猜想的新证明，与Ya'acov Peterzil和Anand Pillay合作研究NIP（“非独立属性”）结构，以及2012年关于近似子群的论文，这些在Emmanuel Breuillard的后续工作中发挥了关键作用，本·格林和特伦斯·陶。

纪念亨氏·霍普夫

苏黎世ETH奖亨氏霍普夫奖每两年在纯数学领域的杰出科学工作。该奖项是为了纪念海因茨·霍普夫教授（1894-1971），他于1931年来到苏黎世ETH，接替数学家、物理学家和哲学家赫尔曼·韦尔。霍普夫一直留在ETH，直到1965年，他在数学的各个领域做出了重要贡献，这反映在以他的名字命名的许多实体中，包括霍普夫不变量、霍普夫代数和霍普夫链接。但他也留下了自己作为教师的印记：“一个学生，通过参加霍普夫教授的课程，对‘什么是数学？’这个问题得到了一个很好的答案，概念必须清晰，智力工具必须是最优秀的，论点必须是令人信服的和无可挑剔的。”他的前学生这样说阿尔弗雷德·阿普利（1928-2008）回顾他在1947-48年参加的霍普夫线性代数入门课程的经历。

在他生命的后期，阿尔弗雷德·埃普利和他的妻子多萝西为纪念他的老师做出了慷慨的捐赠，这成为了设立海因茨·霍普夫奖的基础。苏黎世ETH自2009年起颁发该奖项在海因茨·霍普夫（Heinz Hopf）长期两年一次的演讲之际，霍普夫奖获得者正在进行演讲。此外，该奖项还包括30000瑞士法郎的奖金。

2019年Hopf奖授予在更广泛的逻辑领域做出杰出贡献的人，而此前最新的奖项是授予几何学分析领域的工作(2017年由Richard Schoen颁发)和代数几何学(2015年由Claire Voisin颁发)。在2019年10月28日颁奖典礼之前，Ehud Hrushovski将在2019年首次进行Heinz Hopf讲座。第二场讲座将于10月29日(星期二)举行，届时还将举行专题讨论会(见方框)。