Axiomatizing Kolmogorov Complexity

作者:Taveneaux Antoine*
来源:Theory of Computing Systems, 2013, 52(1): 148-161.
DOI:10.1007/s00224-012-9395-2

摘要

We revisit the axiomatization of Kolmogorov complexity given by Alexander Shen, currently available only in Russian language. We derive an axiomatization for conditional plain Kolmogorov complexity. Next we show that the axiomatic system given by Shen cannot be weakened (at least in any natural way). In addition we prove that the analogue of Shen%26apos;s axiomatic system fails to characterize prefix-free Kolmogorov complexity.

  • 出版日期2013-1

全文