Boolos-style proofs of limitative theorems
arXiv:math/0309345
Abstract
Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.
6 pages
arXiv:math/0309345
Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.
6 pages