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