The Posner-Robinson Theorem and Martin’s Conjecture
主 题: The Posner-Robinson Theorem and Martin’s Conjecture
报告人: 杨跃 教授（新加坡国立大学）
时 间: 2011-05-27 14:00-15:00
地 点: 理科一号楼1114（数学所活动）
马丁猜想是递归论中尚未解决的重要问题之一。本报告通过介绍马丁猜想，一方面回溯递归论与之相关的发展历史，另一方面汇报近期在广义波斯纳-罗宾逊定理方面的工作。波斯纳-罗宾逊定理及其各种推广形式在递归论中有广泛的应用（包括对由马丁猜想衍生的一些问题）。我将试图从基本定义讲起，尽量避免过多的预备知识。报告中的结果是与新加坡国立大学的庄志达和北京师范大学的施翔晖合作的。
