“会前讲座”系NCML会议的传统环节，旨在普及现代逻辑的基本概念与研究方法等，为广大师生了解逻辑学、认识逻辑学提供窗口。本次会前讲座我们邀请到了河北工业大学理学院彭程老师带来关于可计算性理论历史及其发展的报告。具体如下：
- 题 目：可计算性理论历史发展与近代分支简介
- 报告人：彭程（河北工业大学理学院）
- 时 间：2025年11月7日19:00-21:00
- 地 点：华东师范大学闵行校区人文学院楼5号楼一楼冯契学术成就陈列室
- 摘 要：可计算性理论又称递归论，是数理逻辑的四大分支之一。其从对算法的严格定义和相对可计算结构的研究开始，范围逐渐扩大到对一般意义上的构造性、复杂性和可定义性的研究。当今可计算性理论与数理逻辑其它分支和理论计算机科学都有着紧密联系，其影响也逐渐深入到其它数学分支以及哲学中的有关讨论。本讲座面对哲学背景的逻辑学生，主要介绍可计算性理论的历史发展与基本概念，以及可计算性理论的一些主要分支。
欢迎广大师生与会讨论！