在全校冲击“双一流”建设的关键时期，我校信息科学学院再传捷报。学院青年教师吴慧珊副教授在国际数学领域权威期刊《中国科学：数学（英文版）》发表了高水平研究成果《Reverse Mathematics and Local Rings》，在数理逻辑与代数学交叉领域取得了重要的理论进展，充分彰显了我校在基础学科研究方面的强劲实力。
该研究聚焦于反推数学与代数学的交叉领域，针对日本学者Sato提出的局部环等价刻画定理的反推数学问题展开了深度探究。吴慧珊团队通过创新性地构建可计算的非局部环的例子，成功证明了关键命题在基系统RCA0上与ACA0系统的等价性，填补了该领域的研究空白。同时，研究还揭示了非交换局部环等价刻画定理的证明强度，为反推代数理论提供新元素。该研究成果在逻辑推理与代数结构之间架起了一座桥梁，为后续相关领域的研究开辟了新的维度。该成果也为人工智能时代的数据逻辑分析提供了可借鉴的方法论，具有重要的理论与实践意义。
吴慧珊老师于2017年获新加坡南洋理工大学基础数学专业博士学位，2018年入职北京语言大学信息科学学院，研究方向为可计算性理论和反推数学领域。作为国家自然科学基金青年项目（C类）主持人，吴慧珊长期深耕数理逻辑及相关交叉领域，重点针对环论的反推数学问题开展了系统性研究，累计发表SCI论文十余篇。2025年3月，她应邀在第二届京津冀数学会联合学术会议上作了题为《Reverse Mathematics and Rough Set Theory》的分组报告，与国内外顶尖学者共同探讨学科前沿问题，充分展现了我校在该领域的学术实力和影响力。
作为青年骨干教师，吴慧珊始终秉持“以研促教、教研相长”的教育理念，在承担本科生数学基础课程教学任务的同时，她注重提高学生的逻辑思维能力和解决实际问题的能力，为培养创新型人才积极贡献力量。
吴慧珊副教授取得的研究成果，不仅是其个人学术追求的华丽绽放，更是北语信科人勇攀科研高峰的奋进缩影。未来，信息科学学院将持续贯彻创新驱动发展理念，聚焦前沿，追求卓越，力求产出更多高水平、高质量的科研成果，为服务国家战略需求贡献北语智慧。全院师生也将继续以“功成不必在我，功成必定有我”的使命担当，在学校冲击“双一流”工作中积极作为，奋进拼搏。
新闻背景
《中国科学：数学（英文版）》是中国科学院主管、中国科学院和国家自然科学基金委员会共同主办的数学类综合性学术刊物，是我国数学领域的高水平学术期刊，位列SCI Q1区,在国际数学学术界具有广泛的影响力。
特别支持 | 吴慧珊
编辑 | 陆瑶
审核 | 李超