题目：哥德尔不完全定理和量子计算

报告人：吴飙

邀请人：应磊

时间：2024年5月31日（周五）13:30-15:00

地点：紫金港校区海纳苑8幢215报告厅

摘要：

Landauer曾经说过信息是物理的(information is physical), 他的基本依据是计算总是通过物理实体完成的. 事实上， 数学也必须通过物理实体，人和/或机器，进行，因此我们也可以说数学是物理的(mathematics is physical). 我将通过哥德尔不完全定理和量子计算来详细阐明—数学是物理的—这个论点的具体含义. 哥德尔不完全定理实质上反映了这样一个基本事实：进行数学推导和计算的人或机器是有限的物理实体，他们只能处理有限的信息，进行有限步推导，因此不能证明或证伪很多数学命题. 量子计算则展示了，由于信息载体被拓展到量子系统，计算机的能力得到了极大的加强. 我在报告中会简单介绍哥德尔不完全定理的证明。

参考文献：

[1] Biao Wu, arXiv:2106.05189;

[2] 吴飙，Low. Temp. Phys. Lett. 45 (2023) 0001 (arXiv:2306.03766).

个人简介：

吴飙，北京大学博雅特聘教授。1992年在北京师范大学本科毕业；1995年在中国科学院研究生院获得硕士学位；2001年在美国德州大学奥斯汀分校（University of Texas at Austin)获博士学位； 2004年入选中国科学院 “百人计划”; 2007年获首届香港大学崔琦奖(D. Tsui Fellowship)；2008年获国家杰出青年基金; 2014年被聘为教育部长江学者特聘教授。从事凝聚态物理的理论研究，主要方向有量子动力学、量子算法、超冷原子气、几何相位等，发表论文100多篇。