【报告摘要】 我们探讨随机性与不可解性的问题。形式化什么是随机性以及“自然的”不可解问题，并且讨论在一定的集合论公理下二者之间的关系。

【报告人介绍】喻良，南京大学数学系教授、数学系主任。国家杰出青年科学基金获得者、教育部自然科学杰出成果奖获得者。主要研究领域为数理逻辑，尤其是递归论、集合论以及算法随机性理论。通过与一些合作者合作，解决了例如r.e.度是否d.r.e度的E的初等子结构，随机性的刻画问题，发展了高阶递归论与随机性理论以及解决了决定性公理与选择公理的关系等一系列公开问题。