对应判定问题不可判定性的另一证明——假如我是 Emil Post
计算机科学中的逻辑
2014-11-20 v1 离散数学
摘要
1946 年，Emil Leon Post（Bulletin of Amer. Math. Soc. 52 (1946), 264 - 268）定义了一个著名的对应判定问题，即如今所称的 Post 对应问题，并证明了该问题是不可判定的。在本文中，我们遵循 Post 的步骤，利用与 Post 原始证明相同的归约来源，即 Post 正规系统，给出了该问题不可判定性的另一个更简单、更直接的证明。
引用
@article{arxiv.1411.5197,
title = {Another proof of undecidability for the correspondence decision problem - Had I been Emil Post},
author = {Vesa Halava},
journal= {arXiv preprint arXiv:1411.5197},
year = {2014}
}
备注
5 pages, manuscript