U.S.-Germany Cooperative Research in Mathematical Logic

美德数理逻辑合作研究

• 批准号: 9023096
• 负责人: Robert Soare
• 金额: $ 1.5万
• 依托单位: University of Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-09-01 至 1996-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9023096&HistoricalAwards=false
• 关键词: U.S.; Germany; Cooperative; Research; Mathematical

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.

该奖项支持大学的罗伯特·索尔教授 芝加哥大学和其他三位美国数学家合作 在数理逻辑领域的研究与教授 海德堡大学的Klaus Ambos-Spies 通过 相互的研究访问，他们正在开发新的见解， 递归函数理论，计算理论， 计算复杂度 关于这些主题的研究最近在世界范围内变得非常活跃。 美国和国外。 日益增加的关系和应用， 理论计算机科学和计算复杂性 使他们更加及时。 美国参与其中 合作已经成为美国在该领域的一些领导者 递归函数理论 与此同时，德国经历了 在这一领域有着悠久而杰出的传统。 克劳斯·安博斯- 间谍是目前德国递归的领军人物 功能理论 他在应用方面做了大量的工作， 递归函数论方法 复杂性 这些领导者之间的进一步合作 数学家在这个日益重要的领域应该 仍然是非常富有成效的。