U.S.-Federal Republic of Germany Cooperative Research in Mathematical Logic

美德意志联邦共和国数理逻辑合作研究

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

This award supports several short term research visits to the Federal Republic of Germany by Robert Soare and Theodore Slaman of the University of Chicago and Steffen Lempp of Yale University in order to collaborate with Klaus Ambos-Spies of the University of Heidelberg in several topics of mathematical logic. In particular, they will pursue research on recursive function theory and the theory of computation. The University of Chicago (where Lempp recently obtained his PhD) is a major center of research on these topics and these U.S. mathematicians have produced some outstanding contributions to the field. Germany has a long and distinguished tradition in this field as well, and Professor Ambos-Spies is a leading figure in recursive function theory there. He has also done extensive research in applications of the methods of recursive function theory to computational complexity. Previous intermittent collaboration between Professors Soare and Ambos-Spies has been mutually stimulating and productive. The proposed visits will allow more frequent collaboration between them and the inclusion of two other U.S. mathematicians whose work is directly relevant to that of Ambos-Spies. Mathematical logic and particularly recursive function theory and the theory of computation have recently been very active in the U.S. and abroad. Recursion theory arises from an attempt to formalize what it means for a set to be mechanically definable, and thus it has applications to theoretical computer science and the theory of computational complexity.

该奖项支持芝加哥大学的Robert Soare和Theodore Slaman以及耶鲁大学的Steffen Lempp对德意志联邦共和国进行的几次短期研究访问，以便与海德堡大学的Klaus Ambos-Spies在几个数理逻辑主题上进行合作。特别是，他们将继续研究递归函数理论和计算理论。芝加哥大学(Lempp最近在那里获得了博士学位)是这些课题的主要研究中心，这些美国数学家在这一领域做出了一些杰出的贡献。德国在这一领域也有着悠久而杰出的传统，Ambos-Spies教授是那里递归函数理论的领军人物。他还在递归函数理论方法在计算复杂性方面的应用方面进行了广泛的研究。Soare教授和Ambos-Spies之前的断断续续的合作是相互刺激和富有成效的。拟议中的访问将允许他们之间更频繁的合作，并包括另外两名与Ambos-Spies的工作直接相关的美国数学家。数理逻辑，特别是递归函数理论和计算理论最近在美国和国外非常活跃。递归理论起源于试图将集合的含义形式化为可机械定义的集合，因此它应用于理论计算机科学和计算复杂性理论。