beat-365(中国)-官方网站

您所在的位置： 首頁 > 學術研究 > 學術信息 > 正文

【11月16日】可定義性思維——數理邏輯論壇

主講人簡介：劉路，中南大學數學與統計學院特聘研究員。主要研究領域為數理邏輯，尤其是可計算性理論。在大學三年級時獨立解決了反推數學中的Seetapun猜想，并在本科畢業時被破格聘請為正教授級研究員。