Epimenides、Gödel、Turing：永恒的金色缠结
计算机科学中的逻辑
2016-06-29 v1
摘要
停机问题是说谎者悖论的一个版本。
引用
@article{arxiv.1606.08722,
title = {Epimenides, G\"odel, Turing: an Eternal G\"olden Tangle},
author = {Eric C. R. Hehner},
journal= {arXiv preprint arXiv:1606.08722},
year = {2016}
}
备注
7 pages