哈工大承办2025全国数理逻辑年会

哈工大全媒体（阚思邈 周洋 闫墨/文 数学研究院/图）近日，由我校数学研究院承办的2025全国数理逻辑年会（Chinese Annual Conference on Mathematical Logic 2025）在哈尔滨举行。中国数学会数理逻辑专业委员会主任、南开大学讲席教授高速，校长韩杰才院士出席开幕式并致辞。

会议现场

新加坡国家科学院院士庄志达，加州大学伯克利分校西奥多·斯拉曼教授、国际数学家大会报告人西奥多·斯拉曼，世界计量经济学会会士罗伯特·安德森等来自中国、美国、加拿大、波兰、新加坡、韩国的100余名专家学者参会。

高速在致辞中回顾了中国数理逻辑的发展历程。他表示，近年来中国数理逻辑学科呈现蓬勃发展态势，研究规模、学术质量均显著提升。期待与会专家学者全方位展现数理逻辑在理论深度、应用广度及跨学科融合方面的独特魅力，持续激发学科创新活力。

韩杰才指出，数理逻辑能够突破传统数学的边界，为人工智能、计算机科学等发展提供新的思路和方法。希望与会专家充分展示最新科研成果，深入探讨前沿问题，以本次大会为契机开展深度交流和广泛合作，以基础研究的持续突破带动科技创新和人才培养实现高质量发展。

会议现场

会议期间，西奥多·斯拉曼教授、罗伯特·安德森教授，中国科学院乔治·巴姆巴利亚斯教授，华沙大学米科瓦伊·博扬茨克教授，南开大学丁龙云教授等5位国际知名专家学者分别作大会报告，分享前沿研究成果。会议还设置1场科普报告，并围绕集合论、模型论、递归论和哲学逻辑等领域展开了12场分组报告，为与会学者搭建多层次学术交流平台。