您所在的位置: biwn必赢  >  学术研究  >  学术信息  >  正文

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

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

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