论文标题
有效的不可分割性和元数学中的某些应用
Effective inseparability and some applications in meta-mathematics
论文作者
论文摘要
有效地不可分割的对及其特性在算术和不完整的荟萃数学中起着重要作用。在文献中引入并显示了不同的概念等同于有效的不可分割性。我们使用强大的双递归定理给出了这些等价的简单证明。然后，我们证明了有关在荟萃数学中应用有效不可分割性的一些结果。
Effectively inseparable pairs and their properties play an important role in the meta-mathematics of arithmetic and incompleteness. Different notions are introduced and shown in the literature to be equivalent to effective inseparability. We give a much simpler proof of these equivalences using the strong double recursion theorem. Then we prove some results about the application of effective inseparability in meta-mathematics.
