位置:立项数据库 > 立项详情页
可计算性理论及其在算法信息论中的应用
  • 项目名称:可计算性理论及其在算法信息论中的应用
  • 项目类别:青年科学基金项目
  • 批准号:10701041
  • 申请代码:A011501
  • 项目来源:国家自然科学基金
  • 研究期限:2008-01-01-2010-12-31
  • 项目负责人:喻良
  • 负责人职称:教授
  • 依托单位:南京大学
  • 批准年度:2007
中文摘要:

我们研究了图灵度的结构与集合论公理之间的关系,证明了不可达基数的存在性与图灵度中极大链的不存在性是等价协调的;提出了Pi^1_1一致化原理;研究了Martin猜想与确定性公理之间的关系;证明了Non-GL_2度都是REA;引入了higher randomness理论;用Kolmogorov复杂性刻画了随机数等;初步建立了随机数之间的Kolmogorov复杂性关系问题。我们还在基金委资助下主办了一次国际会议;每年都在国外会议上做邀请报告;培养了一名说是研究生。我们因为在可计算性理论与随机性上的工作获得了2008年度高等学校科学研究优秀成果奖二等奖(第二完成人)。

结论摘要:

英文主题词Turing degrees, randomness, Kolmogorov complexity


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 7
  • 1
  • 0
  • 2
  • 0
相关项目
期刊论文 19 会议论文 3
期刊论文 13 会议论文 4 专利 1
喻良的项目