2011
DOI: 10.1002/malq.201010017
|View full text |Cite
|
Sign up to set email alerts
|

Kolmogorov complexity and characteristic constants of formal theories of arithmetic

Abstract: MSC (2010) 03A99, 03B25We investigate two constants c T and r T , introduced by Chaitin and Raatikainen respectively, defined for each recursively axiomatizable consistent theory T and universal Turing machine used to determine Kolmogorov complexity. Raatikainen argued that c T does not represent the complexity of T and found that for two theories S and T, one can always find a universal Turing machine such that c S = c T . We prove the following are equivalent: c S = c T for some universal Turing machine, r S… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 6 publications
(8 reference statements)
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?