Kolmogorov complexity and the second incompleteness theorem

DOI10.1007/S001530050074MaRDI QIDQ1374675zbMATH OpenOpenAlexFDO

Authors Makoto Kikuchi

Publication date 10 December 1997

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530050074

zbMATH Keywords

Kolmogorov complexitysecond incompleteness theorem

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) First-order arithmetic and fragments (03F30)

Recommendations

• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Is complexity a source of incompleteness?
• The surprise examination paradox and the second incompleteness theorem
• The Berry paradox
• The axiomatic power of Kolmogorov complexity

Cited in

(11)

• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Current research on Gödel's incompleteness theorems
• The surprise examination paradox and the second incompleteness theorem
• Kolmogorov Complexity and Noncomputability
• The axiomatic power of Kolmogorov complexity
• Existentially closed structures and Gödel's second incompleteness theorem
• The Berry paradox
• Acceptable complexity measures of theorems
• Randomness and intractability in Kolmogorov complexity
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• The incompleteness theorems after 70 years

This page was built for publication: Kolmogorov complexity and the second incompleteness theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1374675)