Boolos-style proofs of limitative theorems
Abstract
Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- September 2003
- DOI:
- 10.48550/arXiv.math/0309345
- arXiv:
- arXiv:math/0309345
- Bibcode:
- 2003math......9345S
- Keywords:
-
- Logic;
- 03F30
- E-Print:
- 6 pages