题目：计算实数的图灵机

报告者：杨跃【新加坡国立大学数学系，1992年毕业于康奈尔大学，研究领域为递归论、皮亚诺算术模型、数理逻辑】

主持者：刘新文【逻辑室】

时间：2014年1月8日，周三，10:00-12:00

地点：902会议室

摘要：众所周知，图灵机是自然数计算的理想模型。如果我们计算的对象不是自然数，自然需要对计算模型作一些改动。杨跃博士将介绍这一方向的背景，以及逻辑学家和计算机科学家近来在这方面的成果。