Collaboration in Computability

可计算性协作

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

This project will facilitate collaborative work of faculty and graduate students from ten U.S. institutions, three universities in Russia, and one university in Kazakhstan. The research is in three rapidly developing areas of computability: algorithmic randomness, computable structure theory, and the comparative study of computability-theoretic structures. The project has two broad goals. The first goal, more rapid scientific progress, will be met by establishing a broad network of collaborators, from all three countries, enabling them to pool their ideas to solve fundamental problems. The second goal, providing opportunities for students and young researchers to participate actively in the world community of scientists, will be met in exactly the same way.

该项目将促进来自美国十所机构、俄罗斯三所大学和哈萨克斯坦一所大学的教师和研究生的合作工作。研究方向是可计算性的三个快速发展的领域：算法随机性、可计算结构理论和可计算理论结构的比较研究。该项目有两大目标。第一个目标，即更快的科学进步，将通过建立一个来自所有三个国家的广泛的合作者网络来实现，使他们能够汇集他们的想法来解决基本问题。第二个目标，即为学生和年轻研究人员提供积极参与世界科学家社区的机会，将以完全相同的方式实现。