项目简介
项目名称
可计算性理论及其应用
项目批准号
11071114
学科分类
A0115
数理科学部
_数学
_数理逻辑和与计算机相关的数学
资助类型
数理科学
负责人
喻良
依托单位
南京大学
批准年份
2010
起止时间
201101-201312
批准金额
24.00万元
摘要
我们继续研究可计算性的纯粹理论及其应用方面。对于可计算性理论方面我们致力于研究不可解度的可定义性，例如REA性质，Martin猜想，集合论公理系统对于不可解度的结构影响等；应用方面我们关注于可计算性理论在算法信息论和分析方面的应用，着重于刻画随机性以及低性性质，研究算法信息论中引入的新的归约度的结构，高等随机性理论以及概率测度和随机变量的可计算性理论等等。
评论区 (0)
#插入话题
