可计算性理论

摘要

可计算性和可计算可枚举性是数学的两个基本概念。在著名的希尔伯特问题中，特别是第二个和第十个问题，以及在20世纪初德恩的工作中，人们对有效性的兴趣已经很明显，德恩的工作开创了群论中单词问题的研究。在过去的十年中，既有全新的分区发展，也有经典可计算性理论与应用领域之间双向互动的显著增长。在算法随机性、逆向数学、可计算分析和可计算结构理论/可计算模型理论方面也有大量工作。

本次研讨会的目标是将代表可计算性理论不同方面的研究人员聚集在一起，讨论最近的进展，并激励未来的工作。