题目：寻找不可解问题

时间：2016年3月25日，下午4:30-5:30

地点：北京师范大学后主楼 1124

报告人：喻良 教授 南京大学

摘要：图灵于1936年证明了停机问题的不可解性。这是第一个“自然”的不可解问题。随后大量的自然的不可解问题被发现，但它们本质上都与停机问题等价。马丁猜想断言实际上停机问题是唯一的不可解问题。这一猜想不但哲学上非常重要，而且将集合论与递归论深刻地联系起来。