本网讯（文/阮异凡 朱浩然 图/吴怡）为了帮助同学们更为深入地了解现代逻辑基本理论与思想，2021级中国语言文学类3班于4月3日晚邀请班导师程华清老师在2050204教室开展了专业前沿学术报告分享会。

程华清老师以“逻辑与计算”为主题，回顾了莱布尼兹、布尔、弗雷格、哥德尔和图灵等人的重要工作，深入浅出地介绍了推理和计算的关系：推理和计算都是符号演算，计算可以由推理来完成，推理也可以转化为计算。重点介绍了哥德尔不完全性定理和图灵机理论，简要探讨了邱奇-图灵论题：直观能行可计算函数都是图灵机可计算函数，指出了不同的计算模型（图灵机、元胞自动机、量子计算机等）在计算能力上是相同的。

通过此次分享会，同学们开拓了理论视野，认识到可以从新的视角来认识推理与计算。学到了课堂外的理性思维方法，掌握了更明晰的专业分析方法。