𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Theories of complexity

✍ Scribed by Dominique Chu; Roger Strand; Ragnar Fjelland

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
158 KB
Volume
8
Category
Article
ISSN
1076-2787

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The complexity of logical theories
The complexity of logical theories
✍ Leonard Berman πŸ“‚ Article πŸ“… 1980 πŸ› Elsevier Science 🌐 English βš– 693 KB
Kolmogorov complexity and characteristic
Kolmogorov complexity and characteristic constants of formal theories of arithmetic
✍ Shingo Ibuka; Makoto Kikuchi; Hirotaka Kikyo πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 84 KB

We 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 f

Arithmetic complexity of the predicate l
Arithmetic complexity of the predicate logics of certain complete arithmetic theories
✍ Valery Plisko πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 137 KB

It is proved in this paper that the predicate logic of each complete constructive arithmetic theory T having the existential property is T 1 -complete. In this connection, the techniques of a uniform partial truth deΓΏnition for intuitionistic arithmetic theories is used. The main theorem is applied

The complexity of living bodies and the
The complexity of living bodies and the structure of biological theories
✍ David B. Kitts πŸ“‚ Article πŸ“… 1983 πŸ› Springer 🌐 English βš– 621 KB

It has been suggested that biological theories differ from physical theories because the subject matter of biology differs from the subject matter of physics especially in the fact that living bodies are more complex than nonliving bodies. It is shown that the interactional complexity of living bodi