存在的不可数集合与暂停问题的不确定性之间是否存在隐藏的联系？

由于两个证明都使用对角线论证，因此我想知道不可数无限集的存在与停止问题的不确定性之间是否存在模糊的联系。如果所有集合都是可计数的，停止问题是否可以确定？

它不是一个隐藏的链接，而是已使用类别理论的语言明确表达的一个链接，也是一个很自然的问题，需要提出和研究。关于这个主题有很多材料。

• CS理论问题问同样的事情
• 安德烈·鲍尔（Andrej Bauer）的博客文章，介绍了不动点定理和康托定理。
• 自我参照自相矛盾，不完全性和不动点的通用方法，Noson Yanofsky，2003年。下面向您简要介绍Lawvere的论文。
• 对角论证和笛卡尔封闭类，F。William Lawvere，2006年对1969年发表的文章进行了重新出版，以使这些联系更加精确。
• 《一般情况下的不完整性》，约翰·贝尔，2007年
• 从Lawvere到Brandenburger-Keisler：对角线化和自我参照的互动形式，Samson Abramsky和Jonathan Zvesper，2010年。Lawvere论据的扩展到博弈论不可能的结果。