您所在的位置： 首页  >  学术研究  >  学术信息  >  正文

学术研究

【11月16日】可定义性思维——数理逻辑论坛

点击次数：  更新时间：2021-11-10

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

版权所有©2018 beat·365(网页版)-官方网站    地址：中国 武汉 珞珈山    邮编：430072    邮箱：phil@whu.edu.cn