带可枚举信息源的计算和学习理论

本项目在可计算理论,计算复杂性及其应用方面完成论文23篇，在国内外有关学术刊物上发表论文4篇，其中在国外著名刊物上发表3篇；由中国科学出版社出专著1本；待发表论文8篇，其中4篇将在国外刊物上发表；独立地解决重要未解决问题3个；应邀在国际会议上作1小时报告1次。解决了Downey提出的关于用可计算枚举图灵度囿界极小一般图灵度的未解决问题证明了递归可计算枚举图灵度囿界可盖的递归可计算枚举图灵度的一个重要性质；独立地证明了在R/M中的非可杯性质；后两个问题均是由Lempp在1990年左右提出的一个未解决问题。