search

rleiva / NescienceBook

The Mathematics of the Unknown
Other
1 stars 0 forks source link

Uncomputable Kolmogorov #22

Closed rleiva closed 8 months ago

rleiva commented 3 years ago

Prove Theorem 5.1.2 on the uncomputability of Kolmogorov complexity

rleiva commented 8 months ago

Duplicated