11月13日,加州大学伯克利分校Theodore Slaman教授应邀来到数学学院,做题为“A Meta-Mathematical Perspective on Hausdorff Dimension”的精彩报告。这是数学学院第二十二场综合报告,也是今年第二场歆·恺讲座,报告由数学学院院长喻良教授主持。
在报告中,Slaman教授首先从Borel猜想讲起, 并介绍了强测度零集的概念。Borel猜想强测度零的实数集合必然是可数的。然而这一问题在连续统假设下并不成立。 Slaman回顾了Laver在Borel猜想方面的方面的结果,特别是Laver利用Laver证明Borel猜想与ZFC相容性的力迫方法。随后,他介绍了Hausdorff维数以及早期Besicovitch,Davies等人在这一领域的深刻结果。然后介绍了几何测度论中的广义Borel猜想。最终Slaman简短地给出了他对广义Borel猜想协调性的证明概要,并且提出了几个公开问题。
Theodore Slaman教授是加利福尼亚大学伯克利分校教授,主要从事递归论研究,是当今国际上递归论领域最杰出的学者。Slaman教授致力于将递归理论应用于其他领域,例如算法随机性理论,集合论等,在递归论方面代表性成果有:0’的可定义性;图灵度结构自同构至多可数个等等。Slaman先后任教于University of Chicago以及UC-Berkeley (分别于2003-2006, 2009-2010, 2011年任系主任), 1990年在ICM(国际数学家大会)做45分钟邀请报告。