Abstract.
We shall prove the second incompleteness theorem via Kolmogorov complexity.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received July 3, 1995
Rights and permissions
About this article
Cite this article
Kikuchi, M. Kolmogorov complexity and the second incompleteness theorem . Arch Math Logic 36, 437–443 (1997). https://doi.org/10.1007/s001530050074
Issue Date:
DOI: https://doi.org/10.1007/s001530050074