1月05日，望岳·海外论坛第17期在知新楼A115举行，论坛由王轶老师主持，新加坡国立大学杨跃老师主讲，主题为“可计算性与有穷主义”。

讲座核心是围绕有穷主义与可计算性展开深度探讨。杨跃老师首先介绍希尔伯特的有穷主义观点，其在《论无穷》一文中分析无穷概念，欲通过证明论转化为有穷以捍卫数学一致性。接着，聚焦全称命题的有穷主义解释，提出原始递归函数应被有穷主义接受的阐释。随后，介绍了哥德尔的相关研究，即通过引入有穷类型上的可计算泛函概念，扩张有穷主义数学，来解决一致性问题。同时，提及了哥德尔与图灵在“机器与心灵”问题上的分歧。最后，杨老师还分享了自身的相关研究，并表达了对物理主义与柏拉图主义的思考。

讲座后开展了自由讨论，老师同学们围绕机器与心灵的相关观点、抽象概念引入的悖论风险、连续函数的处理、心灵操作的规律性以及构造主义数学等议题与杨跃老师交流，杨老师逐一回应，进一步明晰了相关理论的核心内涵与实践意义。

文：王晨

审核：张仑