摘要
在过去的十年里,可计算性理论有了许多新的、令人着迷的发展,这些发展将该学科与逻辑内外的其他数学学科联系得更为紧密。例如,这包括关于枚举度的工作,它揭示了与一般拓扑的深刻而令人惊讶的关系,以及与符号动力学和几何测量理论密切相关的算法随机性的工作。逻辑内部与模型理论、集合论、有效描述性集合论、可计算分析和逆向数学有联系。在其中一些情况下,通向看似遥远的数学领域的桥梁已经为各自领域的开放问题提供了全新的证明,甚至是解决方案。因此,在过去的十年里,可计算性理论与其他数学领域形成了充满活力和有益的相互作用。
这次研讨会的目的是将代表可计算性理论不同方面的研究人员聚集在一起,讨论最近的进展,并激励未来的工作。