Collaboration in Computability

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

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.