Original Paper

Boolos-style proofs of limitative theorems

  1. György Serény

Article first published online: 3 FEB 2004

DOI: 10.1002/malq.200310091

Issue

Mathematical Logic Quarterly

Mathematical Logic Quarterly

Volume 50, Issue 2, pages 211–216, March 2004

Additional Information

How to Cite

Serény, G. (2004), Boolos-style proofs of limitative theorems. Mathematical Logic Quarterly, 50: 211–216. doi: 10.1002/malq.200310091

Author Information

  1. Department of Algebra, Budapest University of Technology and Economics, 1111 Stoczek u. 2. H ép. 5. em., Budapest, Hungary

Publication History

  1. Issue published online: 3 FEB 2004
  2. Article first published online: 3 FEB 2004
  3. Manuscript Accepted: 12 JAN 2004
  4. Manuscript Revised: 8 JAN 2004
  5. Manuscript Received: 12 SEP 2003

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (126K)

Keywords:

  • Limitative results of logic;
  • Boolos's incompleteness proof;
  • Berry's paradox

Abstract

Boolos's proof of incompleteness is extended straightforwardly to yield simple “diagonalization-free” proofs of some classical limitative theorems of logic. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Get PDF (126K)