Collaboration in Computability

可计算性协作

• 批准号: 1101123
• 负责人: Julia Knight
• 金额: $ 8.25万
• 依托单位: University of Notre Dame
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-05-01 至 2016-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1101123&HistoricalAwards=false
• 关键词: Collaboration; Computability

The area of computability has blossomed in recent years. Some of the most interesting problems call for combining computability with sophisticated algebra, model theory, descriptive set theory, and/or probability. There is a large group in Novosibirsk working on these problems. There are smaller groups doing related work elsewhere in Russia, in Kazakhstan, and at several universities in the U.S. The grant will be used to help build and maintain working relationships among these researchers. The first goal is to to solve problems. The grant will help us to produce better results, to work more quickly, and to be aware of more important connections.Two earlier NSF grants have, for the past ten years, served to facilitate joint work by researchers from the U.S., Russia, and Kazakhstan. At the time the first proposal was submitted, collaboration among researchers in logic in the U.S. and the former Soviet Union was just beginning, with occasional visits by senior researchers. The first grant had an enormous impact and greatly magnified the ties among researchers in the three countries. The second grant led to much greater involvement of young researchers. The current grant will be used to continue building a network of collaborators who are committed to sharing ideas and working together on fundamental problems. We will continue the emphasis on involving young researchers. We want our graduate students and postdocs to see themselves as part of an international research community.

可计算性领域近年来蓬勃发展。 一些最有趣的问题需要将可计算性与复杂的代数、模型论、描述集合论和/或概率结合起来。 在新西伯利亚有一个大的小组在研究这些问题。 在俄罗斯其他地方、哈萨克斯坦和美国的几所大学，也有一些较小的小组在做相关工作。这笔赠款将用于帮助建立和维护这些研究人员之间的工作关系。 第一个目标是解决问题。 这笔赠款将帮助我们产生更好的结果，更快地工作，并意识到更重要的联系。在过去的十年里，两个早期的NSF赠款有助于促进来自美国的研究人员的联合工作，俄罗斯和哈萨克斯坦。 在第一个提案提交时，美国和前苏联的逻辑研究人员之间的合作刚刚开始，高级研究人员偶尔会访问。 第一笔赠款产生了巨大的影响，极大地放大了三国研究人员之间的联系。 第二笔赠款使年轻研究人员的参与程度大大提高。 目前的赠款将用于继续建立一个致力于分享想法和共同解决基本问题的合作者网络。 我们将继续重视青年研究人员的参与。 我们希望我们的研究生和博士后将自己视为国际研究社区的一部分。