李昂生:从图灵计算到网络科学解40余年可计算性理论之悬疑

• 作者: 李玉 郑静
• 来源期刊: 科技中国
• 年，卷（期）: 2012,（11）
• 所属期刊栏目: 英才
• 页码范围: 88-89
• 页数: 2页
• 语种: 中文

摘要

20世纪60年代,加拿大学者Lachlan提出计算可枚举图灵度结构理论的主子度问题.40多年来,世界各国的众多科研人员、专家学者试图挑战这一难题,但却没能成功. 如今,这一重大学术难题在中国科学院软件研究所、计算机科学国家重点实验室研究员李昂生这里找到了答案.他与英国可计算性理论学家Cooper合作,彻底攻克了这一难题.