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

作　　者：李玉 郑静 

出　　处：《科技中国》2012年第11期88-89,共2页China Scitechnology Think Tank

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

关 键 词：可计算性理论 图灵度 网络科学 中国科学院软件研究所 国家重点实验室 专家学者 计算机科学 结构理论 

分 类 号：TP301.4[自动化与计算机技术—计算机系统结构]