中科院数学与系统科学研究院
数学研究所
数理逻辑讨论班
日 期:2016.06.23 下午3:00-5:00
报告人:杨 跃 教授(新加坡国立大学)
题 目:实数计算模型的等价刻画
摘 要:本报告讨论实数上的计算理论。在前一部分我将介绍一些背景知识。之后我将引入一个函数类,它具有三种等价刻画:递归方程、类图灵机和lambda-演算。这个结果表明该函数类可以视为自然数上可计算函数类的一个自然推广。
地 点:数学院南楼N820室