主讲人简介：刘路，中南大学数学与统计五楼自拍 特聘研究员。主要研究领域为数理逻辑，尤其是可计算性理论。在大学三年级时独立解决了反推数学中的Seetapun猜想，并在本科毕业时被破格聘请为正教授级研究员。
