2025年3月26日,寇亮博士在青衣江校区大学生活动中心带来题为《莱布尼兹之梦:逻辑如何定义计算机的能与不能》的学术讲座,吸引了百余名师生参与。
讲座从古典逻辑与现代逻辑的演变切入,揭示逻辑学对计算机科学的奠基作用。寇博士以"计算"的本质为线索,结合通用图灵机原理,阐释计算机能力的边界,并借助哥德尔不完全性定理与数学系统的不完全性,探讨"机器能否超越人类思维"这一哲学命题。现场通过"停机问题""自指悖论"等案例分析,引发同学们对人工智能局限性的深度思考。

互动环节中,学生围绕"量子计算是否突破图灵机框架""不完全性定理的现实影响"展开热烈讨论。寇亮博士以生动的比喻解答抽象理论,现场气氛活跃。本次讲座不仅深化了听众对计算本质的理解,更为跨学科研究提供了新视角。