讲座题目：哥德尔不完备定理

                                    —人工智能和量子力学的应用

演讲人：  马兆远（清华大学未来实验室首席研究员、英国谢菲尔德大学先进制造中心教授）

时间地点：2020年3月19日 周四 15：00-17:00 腾讯会议

作为一个实验物理学工作者对哥德尔不完备定理的探索会被理论物理学家和数学家视为“ 民科” ， 所以这次报告更多是启发思考和提出问题， 以期获得同行的重视和共同探讨的兴趣。但我们注意到最近的一个工作证明“ MIP:RE ” （1 ）， 证明量子纠缠所能验证的问题类别等同于停机问题所涵盖的问题， 使得量子力学、计算科学和哥德尔不完备所代表的理论数学几者之间的关系重新回到了问题的焦点。这次报告会希望给出来一些哥德尔不完备定理的基础概念以及这之上关于它在人工智能行业（ 2 ）的影响以及它与量子计算之间的关系探索。

参考链接：1. www.nature.com/articles/d41586-020-00120-6  

                   2. Nature Machine Intelligence/Vol 1/Jan 2019/44-48/