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.