首页  科学研究  学术活动

关于5月31日(周五)吴飙学术报告的通知(School of Physics Colloquium)

发布时间:2024-05-28     来源:物理学系综合网     编辑:     浏览次数:10

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

报告人:吴飙

邀请人:应磊

时间: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多篇。