On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos

From MaRDI portal
Publication:2910986


DOI10.1002/malq.201110067zbMath1257.03088MaRDI QIDQ2910986

Hiroshi Sakai, Taishi Kurahashi, Makoto Kikuchi

Publication date: 12 September 2012

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201110067


03A05: Philosophical and critical aspects of logic and foundations

68Q30: Algorithmic information theory (Kolmogorov complexity, etc.)

03F30: First-order arithmetic and fragments

03F40: Gödel numberings and issues of incompleteness


Related Items



Cites Work