U.S.-Germany Cooperative Research in Mathematical Logic

该奖项支持芝加哥大学的Robert Soare教授和其他三位美国数学家与海德堡大学的Klaus Ambos-Spies教授合作进行数理逻辑领域的研究。通过互惠的研究访问，他们正在发展对递归函数理论、计算理论和计算复杂性的新见解。关于这些话题的研究最近在美国和国外变得非常活跃。与理论计算机科学和计算复杂性的联系和应用日益增多，这使得它们变得更加及时。参与这一合作的美国人已经成为递归函数理论领域的一些美国领导者。与此同时，德国在这一领域有着悠久而杰出的传统。Klaus Ambos-Spies目前是德国递归函数理论的领军人物。他在将递归函数理论的方法应用于计算复杂性方面做了大量的工作。在这个日益重要的领域，这些顶尖数学家之间的进一步合作应该会继续卓有成效。

This award supports Professor Robert Soare of the University of Chicago and three other US mathematicians to collaborate on research in the field of mathematical logic with Professor Klaus Ambos-Spies of the University of Heidelberg. Through reciprocal research visits, they are developing new insights into recursive function theory, the theory of computation, and computational complexity. Research on these topics has recently become very active in the U.S. and abroad. The increasing relation and application to theoretical computer science and computational complexity have made them even more timely. The U.S. participants in this collaboration have become some of the U.S. leaders in the field of recursive function theory. Germany, meanwhile, has had a long and distinguished tradition in the field. Klaus Ambos- Spies is currently the leading figure in Germany in recursive function theory. He has done extensive work in applications of the methods of recursive function theory to computational complexity. Further collaboration among these leading mathematicians in this increasingly important field should continue to be extremely productive.