Premium
Boolos‐style proofs of limitative theorems
Author(s) -
Serény György
Publication year - 2004
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200310091
Subject(s) - mathematical proof , mathematics , simple (philosophy) , style (visual arts) , calculus (dental) , yield (engineering) , mathematical economics , algebra over a field , discrete mathematics , pure mathematics , philosophy , epistemology , geometry , physics , literature , medicine , dentistry , art , thermodynamics
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)