报告人：邓徐冰 (北京大学哲学系)
题目：哥德尔不完全定理的不同证明路径

时间：2023/12/19 15:10-18:00
地点：地学楼108

摘要：此次报告将介绍哥德尔不完全定理的四种证明路径，包括哥德尔的经典证明方法，以及分别从递归可枚举集，丢番图方程和柯尔莫哥洛夫复杂度出发的三种不同论证。