学术资讯｜哲学前沿问题讲座系列第七讲：结构化证明论简介

以证明为对象的研究源于希尔伯特纲领。 虽然纲领中的有穷主义部分因哥德尔不完全性定理而宣告失败，证明论至今依然蓬勃发展，与数学的基础问题、自动定理证明、人工智能等领域密切相关。 本次讲座将简要介绍证明论的历史背景、几种命题逻辑的形式演算、结构证明论研究的基本问题，以及本人所做的相关工作。