Pages that link to "Item:Q2453066"
From MaRDI portal
The following pages link to The axiomatic power of Kolmogorov complexity (Q2453066):
Displaying 9 items.
- A note on the Kolmogorov data complexity and nonuniform logical definitions (Q290271) (← links)
- Kolmogorov complexity and the second incompleteness theorem (Q1374675) (← links)
- An additivity theorem for plain Kolmogorov complexity (Q1946492) (← links)
- Axiomatizing Kolmogorov complexity (Q1946501) (← links)
- Revisiting Chaitin's incompleteness theorem (Q1982000) (← links)
- Kolmogorov complexity and characteristic constants of formal theories of arithmetic (Q3096081) (← links)
- (Q4223783) (← links)
- (Q5204596) (← links)
- Approximating Kolmogorov complexity (Q6062178) (← links)