Title: 论可计算性

Speaker: 杨跃 (National University of Singapore) 

Time: 2025/09/23 (Tuesday) 15:10-17:10 

Location: Room 211, Natural Sciences Teaching Building (理教), Peking University 

Abstract: 

报告的主题是一般论域上的可计算性。首先我要简单回顾一下可计算性的经典定义及其深刻影响。之后我重点讨论一下贝尔空间上的可计算性以及其上的正规性定理。最后介绍目前还在尝试的在有穷类型对象上的可计算性定义。虽然最终给出的是严格的数学定义，但哲学上的思考是必不可少的。报告是基于和新加坡南洋理工大学的 Keng Meng Ng 和伊朗 Amir Kabir大学 Nazanin Tavana 的合作。