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.