2025年2月17日，“疆生”逻辑学项目资助基金管理委员会公布第二届“疆生”逻辑学项目资助基金评审结果，由郭美云教授指导的博士生郭希所申报的“图灵可计算性的逻辑思想研究”获青年学者项目立项。“疆生”逻辑学奖助项目由中国逻辑学会与王勇（笔名“疆生”）共同发起，旨在通过资助逻辑学、因明、中国名辩学的优秀研究成果，鼓励世界三大逻辑体系的研究与进步，进而推动当代逻辑学在中国的发展。

“图灵可计算性的逻辑思想研究”聚焦于图灵可计算性，以图灵机为线索系统梳理图灵可计算性的丰富理论内涵，同时探究图灵可计算函数的理论发展与等价性证明，进而在逻辑学视域下重点关注图灵对判定问题与停机问题的理论阐释与逻辑思考。

“疆生”逻辑学资助基金项目的获立，是中心研究生在重庆市研究生科研创新项目外取得的又一突破，是中心研究生培养成效的显著体现。中心将以此为契机，进一步丰富研究生培养体系，提升研究生培养质量，推动学科建设与发展。

(郭希/文稿，郭美云/审核，熊作军/发布)