The double-incompleteness theorem
Loading...
Date
Authors
Co-author
Advisor
Journal Title
Journal ISSN
Volume Title
Publisher
Latvia State University
Language
rus
Abstract
Let T be a theory, Q - a metatheory of T. Under certain conditions there exist T-undecidable sentences for which this undecidability cannot be proved in Q.
For English translation and proof, see K. Podnieks What is mathematics: Godel's theorem and around.
Citation
Karlis Podnieks. The double-incompleteness theorem. Scientific Proceedings of Latvia State University, 1975, Vol.233, pp.191-200 (in Russian)