主讲：杨跃教授  新加坡国立大学数学系

主持：许涤非副教授  中国人民大学哲学院

简介：杨跃，康奈尔大学理学博士，现为新加坡国立大学数学系教授，研究领域主要集中在递归论和反推数学。

摘要：内容主要涉及以下几方面：递归论中的构造方法概述；有穷损害方法：不可比的递归可枚举度的构造，递归可枚举度的下稠密性，叶尔绍夫层谱；无穷损害方法：如何利用优先树组织构造，萨克斯跃变求逆定理，极小对的构造；无穷之外的优先方法：斯莱曼的三元组构造。

地点：本次短期课程的授课地点均为：中国人民大学第二教学楼2408室。

安排：（1）2017年6月5日09:00-12:00；（2）2017年6月7日09:00-12:00；（3）2017年6月9日09:00-12:00；（4）2017年6月12日09:00-12:00；（5）2017年6月14日09:00-12:00