5月23日刘路讲座:Combinatorial property vs computational property

题目:Combinatorial property vs computational property

主讲:刘路

时间:201752315: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.

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


发布时间:2017-05-16 23:07:22
联系我们      关于本站      版权所有© 2009-2017  北京大学哲学系逻辑、语言与认知研究中心      地址:北京大学人文学苑二号楼