课题基金 / 基金详情

Collaboration in Computability

Collaboration in Computability
可计算性协作
批准号:
0554841
负责人:
Julia Knight
金额:
$7.5万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2006
资助国家:
美国
项目状态:
已结题
起止时间:
2006-04-01 至 2011-03-31

项目摘要

项目成果

Julia Knight的其他基金

相似基金

相关文献

中文摘要
翻译
该项目将促进来自美国10所机构、俄罗斯3所大学和哈萨克斯坦1所大学的教师和研究生的合作。 该研究是在三个快速发展的领域的可计算性:算法的随机性,可计算的结构理论,和比较研究的可计算性理论的结构。 该项目有两大目标。 第一个目标是更快的科学进步,将通过建立一个来自所有三个国家的广泛合作者网络来实现,使他们能够汇集他们的想法来解决根本问题。 第二个目标是为学生和青年研究人员提供积极参与世界科学界的机会,将以完全相同的方式实现。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computable Structure Theory
  • 批准号:
    1800692
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $16.03万
  • 财政年份:
    2018
  • 负责人:
    Julia Knight
  • 依托单位:
Collaboration in Computability
  • 批准号:
    1600625
  • 项目类别:
    Standard Grant
  • 资助金额:
    $10.0万
  • 财政年份:
    2016
  • 负责人:
    Julia Knight
  • 依托单位:
Collaboration in Computability
  • 批准号:
    1101123
  • 项目类别:
    Standard Grant
  • 资助金额:
    $8.25万
  • 财政年份:
    2011
  • 负责人:
    Julia Knight
  • 依托单位:
Artists' Film and Video Database/Digitised Collection Projects: Addressing sustainability and historiography
  • 批准号:
    AH/E510205/1
  • 项目类别:
    Research Grant
  • 资助金额:
    $3.16万
  • 财政年份:
    2007
  • 负责人:
    Julia Knight
  • 依托单位:
海外基金