自2013年5月22日至5月25日，新加坡南洋理工大学吴国华副教授应邀访问我院，并做了“Q-度理论”系列学术报告。吴国华副教授介绍了Post’s Problem的解决历程及其所涉及到的simple sets, hypersimple sets和hyperhypersimple sets之间的关系和重要性质。分析了在解决Post’s Problem的历程中所用到的数学思想和方法，特别是Friedberg构造的maximal sets的构造思想和方法的巧妙之处。Q-度理论是可计算性理论的一个新的研究方向，吴国华副教授介绍了Post’s Problem和Q-度的关系，以及国际上有关Q-度的最新研究进展。重点介绍了c.e. Q-degrees 和n-c.e. Q-degrees的度结构性质, 特别是R. Downey, G. LaForte和A. Nies 对c.e. Q-度的集中分析结果，比如c.e. Q-degrees的稠密性和nonbranching性质，这些与图灵度中的相应性质非常类似。对于n-c.e. Q-degrees，重点介绍了Arslanov, Omanadze和Batyrshin 等人的研究工作，比如对n-c.e. Q-度的splitting和capping性质的考察，以及对Q-度中isolated d.c.e.度和nonisolated  d.c.e.度的研究。特别地，吴国华副教授还提出了几个有关Q-度理论的可能研究课题，并分析了可借鉴的研究方案。我院软件理论组沈复兴教授等多位教师以及2012级软件理论部分硕士生等20余人听取了报告，并与吴国华进行了学术研讨。

吴国华教授就职于新加坡南洋理工大学（终身教职），2002年于新西兰惠灵顿维多利亚大学取得博士学位，师从递归论大师Rod Downey 教授。他长期从事可计算性理论和度结构方向的研究，在图灵度结构、枚举度结构领域做了许多很好的结果，发表论文40余篇，其中有十多篇发表在 Journal of Symbolic Logic，Annals of Pure and Applied Logic等数理逻辑领域的顶级期刊上。本次交流为我院带来了Q-度理论方面的最新进展，为我院进一步开展Q-度理论相关的研究奠定了良好的基础。