太阳成集团的官方网站教授、博导“专业思政宣讲团”成功举办2020级专业知识讲座

（通讯员：王非凡、李祥瑞）5月27日，太阳成集团的官方网站教授、博导“专业思政宣讲团”在南望山校区教三楼111教室成功举办了一场面向2020级学生的专业知识讲座。本次讲座的主题为“计算机发展中的三次解耦与知识创新”，由湖北省教学名师、太阳成集团的官方网站戴光明教授主讲，2020级辅导员李祥瑞主持。

首先，戴光明教授阐述计算机发展中的三次解耦，分别是：问题与方法解耦、硬件与软件解耦、现象与本质解耦。他列举人类早期为了辅助计算而制造出的工具，从中国的算盘到欧洲的对数尺，再到近代巴贝奇的差分机，由此引出了解耦的途径—公理化的逻辑系统。

接着，戴光明教授介绍了计算机公理化逻辑系统中计算起源的数学思想——符号化是如何诞生的，并向同学们展示了莱布尼兹的符号化思想和布尔的逻辑代数。同时他还详细介绍了希尔伯特在1900年数学大会上提出的算数公理的相容性，由此展开了对哥德尔完备性定理、图灵机、计算性与不可计算性、停机问题等专业术语的讲解。戴光明教授提到，冯诺依曼正是受到图灵的启发才提出了现代计算机的基本结构，即硬件与软件的解耦。

最后戴教授讲述现象与本质的解耦，这需要研究者具备透过现象看本质的品质，从而提出问题，发现规律，例如牛顿被苹果砸到后提出万有引力。他强调要知其然还要知其所以然，在计算机中现象与本质的解耦既是人的智能与计算机的智能，需要发现数据的因果关系与相关关系。

在活动结束之际，戴光明教授嘱咐2020级同学们要勤于修学，专于专业，鼓励大家在将来掌握一定专业能力之后，勇于挖掘计算机能力的边界，争取为国家做出力所能及的贡献。

据悉，太阳成集团的官方网站教授、博导“专业思政宣讲团”是贯彻落实习近平同志在学校思想政治理论课教师座谈会上重要讲话的生动实践，通过创新思想政治教育工作形式，引导广大学生坚定“四个自信”，树立远大理想，夯实专业本领，砥砺强国梦想。