题目：Combinatorial property vs computational property

主讲：刘路

时间：2017年5月23日15:10

地点：北京大学一教304

摘要：We present several results on the relationship between combinatorial properties and computational properties of sets. This issue is closely related to reverse mathematics (RM) and algorithmic randomness theory (ART). In particular, we introduce our research on partition class and give its applications in RM and ART. If time permits, we will introduce some recent reduction concepts in RM from the perspective of computability theory. Background knowledge on computability theory and relevant literatures on reverse mathematics are included.

简介：刘路（又名刘嘉艺），中南大学数学科学与计算技术学院研究员，在大学三年级时独立解决了反推数学中的西塔潘猜想，引起数理逻辑学界的关注，并在本科毕业时被破格晋升为教授级研究员。