Boolos-style proofs of limitative theorems
逻辑
2007-05-23 v1
摘要
Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.
引用
@article{arxiv.math/0309345,
title = {Boolos-style proofs of limitative theorems},
author = {Gyorgy Sereny},
journal= {arXiv preprint arXiv:math/0309345},
year = {2007}
}
备注
6 pages