一、讲座题目
可计算性与有穷主义
二、主讲人
杨跃
三、主讲人简介
杨跃1985年毕业于北京大学数学系，1992年在美国康奈尔大学取得数学博士学位。1993年起至今在新加坡国立大学数学系任教。研究方向为数理逻辑中的递归论和反推数学。
四、讲座简介
哥德尔曾经试图利用有穷类型上的可计算泛函来证明经典数论的一致性。在他看来，可计算泛函这样的抽象概念可以在广义上被视为有穷主义的，尽管它不是希尔伯特意义上的有穷主义，见哥德尔[1972] “On an extension of finitary mathematics which has not yet been used”。报告的前一部分将会讨论希尔伯特意义上的有穷主义和Tait给有穷主义下的数学定义。后一部分将介绍我和合作者关于有穷类型上可计算性的工作，并以此为出发点讨论在何种意义上上面提到的可计算泛函是有穷主义的。
五、主持人
H视频
哲学系 王轶教授
六、讲座时间
2026年1月5日（星期一）15：00——17：00
七、讲座地点
H视频
中心校区知新楼A115
