[预告]03.25数科院讲座《寻找不可解问题》

　　题目： 寻找不可解问题

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

　　地点： 后主楼 1124

　　主讲人： 喻良 教授 南京大学

　　主讲人简介： 喻良，南京大学数学系教授，研究方向为数理逻辑，尤其是递归论，集合论与算法信息论。

　　讲座简介：

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